[runlim] version:		1.9
[runlim] time limit:		1000 seconds
[runlim] real time limit:	311040000 seconds
[runlim] space limit:		7000 MB
[runlim] argv[0]:		/home/biere/bin/bunzip2-and-then
[runlim] argv[1]:		/data/cnf/sc2014/app/transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.050-NOTKNOWN.cnf.bz2
[runlim] argv[2]:		/home/biere/bin/glucose23
[runlim] start:			Fri May  8 01:36:19 2015
[runlim] main pid:		29516
[runlim] sample:		8.2 time, 10.7 real, 278.0 MB
[runlim] sample:		18.2 time, 20.7 real, 304.2 MB
[runlim] sample:		28.2 time, 30.7 real, 310.9 MB
[runlim] sample:		38.2 time, 40.7 real, 293.8 MB
[runlim] sample:		48.1 time, 50.7 real, 317.8 MB
[runlim] sample:		58.1 time, 60.7 real, 301.0 MB
[runlim] sample:		68.1 time, 70.7 real, 333.4 MB
[runlim] sample:		78.1 time, 80.7 real, 298.3 MB
[runlim] sample:		88.1 time, 90.7 real, 328.3 MB
[runlim] sample:		98.1 time, 100.7 real, 361.0 MB
[runlim] sample:		108.1 time, 110.7 real, 324.0 MB
[runlim] sample:		118.1 time, 120.7 real, 360.4 MB
[runlim] sample:		128.1 time, 130.7 real, 299.3 MB
[runlim] sample:		138.0 time, 140.7 real, 327.3 MB
[runlim] sample:		148.0 time, 150.7 real, 359.3 MB
[runlim] sample:		158.0 time, 160.7 real, 296.0 MB
[runlim] sample:		168.0 time, 170.7 real, 334.0 MB
[runlim] sample:		178.0 time, 180.7 real, 367.9 MB
[runlim] sample:		188.0 time, 190.7 real, 389.9 MB
[runlim] sample:		198.0 time, 200.7 real, 307.3 MB
[runlim] sample:		208.0 time, 210.7 real, 347.3 MB
[runlim] sample:		218.0 time, 220.7 real, 387.3 MB
[runlim] sample:		228.0 time, 230.7 real, 423.3 MB
[runlim] sample:		238.0 time, 240.7 real, 311.7 MB
[runlim] sample:		247.9 time, 250.7 real, 340.0 MB
[runlim] sample:		257.9 time, 260.7 real, 370.0 MB
[runlim] sample:		267.9 time, 270.7 real, 400.0 MB
[runlim] end:			Fri May  8 01:40:56 2015
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		16
[runlim] real:			277.27 seconds
[runlim] time:			273.97 seconds
[runlim] space:			475.6 MB
[runlim] samples:		2765
