Trace number 420865

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.19 1800.74

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/
QG/QG6-gensys-icl009.sat05-2721.reshuffled-07.opb
MD5SUMa64ff6c6d11450d4b5bd3dae8032edf8
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark194.471
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables1477
Total number of constraints7989
Number of constraints which are clauses7989
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 11
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 27
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.09/0.17	c ...done
0.09/0.17	c #vars=1477 #constraints=7989 hasObjective=no
0.09/0.19	c res. mode=mod
0.09/0.19	c VSIDS like heuristics
0.09/0.19	c complete search running
0.39/0.46	c restart after 401 decisions
0.49/0.50	c nbDecision=500 #constraints=8089
0.79/0.83	c restart after 801 decisions
0.99/1.03	c nbDecision=1000 #constraints=8278
2.29/2.31	c nbDecision=1500 #constraints=8623
2.49/2.52	c restart after 1601 decisions
3.69/3.71	c nbDecision=2000 #constraints=8950
5.89/5.97	c nbDecision=2500 #constraints=9347
6.09/6.14	c nbDecision=3000 #constraints=9361
6.09/6.17	c restart after 3201 decisions
6.79/6.82	c nbDecision=3500 #constraints=9456
7.38/7.48	c nbDecision=4000 #constraints=9557
7.48/7.54	c nbDecision=4500 #constraints=9565
8.59/8.63	c nbDecision=5000 #constraints=9719
11.09/11.13	c nbDecision=5500 #constraints=10026
12.99/13.08	c nbDecision=6000 #constraints=10291
15.39/15.45	c restart after 6401 decisions
15.78/15.86	c nbDecision=6500 #constraints=10574
18.39/18.45	c nbDecision=7000 #constraints=10815
21.19/21.26	c nbDecision=7500 #constraints=11061
22.29/22.35	c nbDecision=8000 #constraints=11147
22.39/22.42	c nbDecision=8500 #constraints=11157
22.39/22.47	c nbDecision=9000 #constraints=11162
22.49/22.52	c nbDecision=9500 #constraints=11165
22.49/22.57	c nbDecision=10000 #constraints=11166
22.59/22.61	c nbDecision=10500 #constraints=11169
22.59/22.65	c nbDecision=11000 #constraints=11173
22.69/22.71	c nbDecision=11500 #constraints=11182
22.69/22.74	c nbDecision=12000 #constraints=11184
22.69/22.77	c nbDecision=12500 #constraints=11185
22.69/22.78	c restart after 12801 decisions
23.59/23.67	c nbDecision=13000 #constraints=11265
25.49/25.55	c nbDecision=13500 #constraints=11440
26.69/26.70	c nbDecision=14000 #constraints=11522
30.28/30.31	c nbDecision=14500 #constraints=11793
32.58/32.61	c nbDecision=15000 #constraints=11945
37.78/37.87	c nbDecision=15500 #constraints=12280
41.68/41.79	c nbDecision=16000 #constraints=12498
45.08/45.18	c nbDecision=16500 #constraints=12696
51.78/51.90	c nbDecision=17000 #constraints=13036
60.28/60.31	c nbDecision=17500 #constraints=13410
70.58/70.66	c nbDecision=18000 #constraints=13816
82.17/82.29	c nbDecision=18500 #constraints=14218
91.77/91.87	c nbDecision=19000 #constraints=14563
103.57/103.66	c nbDecision=19500 #constraints=14937
114.37/114.42	c nbDecision=20000 #constraints=15266
128.66/128.72	c nbDecision=20500 #constraints=15642
136.66/136.72	c nbDecision=21000 #constraints=15877
144.56/144.65	c nbDecision=21500 #constraints=16110
155.55/155.65	c nbDecision=22000 #constraints=16413
167.35/167.42	c nbDecision=22500 #constraints=16724
181.35/181.46	c nbDecision=23000 #constraints=17038
194.34/194.44	c nbDecision=23500 #constraints=17308
203.74/203.80	c nbDecision=24000 #constraints=17559
212.25/212.32	c nbDecision=24500 #constraints=17778
221.04/221.14	c nbDecision=25000 #constraints=18003
235.43/235.57	c nbDecision=25500 #constraints=18325
237.14/237.24	c restart after 25601 decisions
247.13/247.21	c nbDecision=26000 #constraints=18545
247.13/247.27	c nbDecision=26500 #constraints=18551
247.23/247.31	c nbDecision=27000 #constraints=18554
252.13/252.25	c nbDecision=27500 #constraints=18659
263.62/263.71	c nbDecision=28000 #constraints=18919
277.62/277.76	c nbDecision=28500 #constraints=19215
301.92/302.00	c nbDecision=29000 #constraints=19622
320.11/320.26	c nbDecision=29500 #constraints=19950
343.51/343.66	c nbDecision=30000 #constraints=20295
358.20/358.33	c nbDecision=30500 #constraints=20533
359.00/359.17	c nbDecision=31000 #constraints=20566
359.10/359.21	c nbDecision=31500 #constraints=20567
359.10/359.25	c nbDecision=32000 #constraints=20570
360.10/360.22	c nbDecision=32500 #constraints=20594
360.10/360.27	c nbDecision=33000 #constraints=20607
360.20/360.31	c nbDecision=33500 #constraints=20615
360.20/360.34	c nbDecision=34000 #constraints=20620
360.20/360.38	c nbDecision=34500 #constraints=20628
360.30/360.42	c nbDecision=35000 #constraints=20637
360.30/360.46	c nbDecision=35500 #constraints=20639
360.30/360.49	c nbDecision=36000 #constraints=20640
360.40/360.51	c nbDecision=36500 #constraints=20640
360.40/360.55	c nbDecision=37000 #constraints=20642
360.40/360.58	c nbDecision=37500 #constraints=20645
360.50/360.62	c nbDecision=38000 #constraints=20649
360.50/360.66	c nbDecision=38500 #constraints=20651
360.50/360.68	c nbDecision=39000 #constraints=20651
360.71/360.81	c nbDecision=39500 #constraints=20665
360.71/360.84	c nbDecision=40000 #constraints=20668
361.20/361.38	c nbDecision=40500 #constraints=20691
361.30/361.40	c nbDecision=41000 #constraints=20691
361.40/361.57	c nbDecision=41500 #constraints=20692
361.60/361.73	c nbDecision=42000 #constraints=20693
361.81/361.90	c nbDecision=42500 #constraints=20694
361.81/361.93	c nbDecision=43000 #constraints=20695
361.81/361.95	c nbDecision=43500 #constraints=20695
361.90/362.06	c nbDecision=44000 #constraints=20704
361.90/362.08	c nbDecision=44500 #constraints=20704
369.60/369.77	c nbDecision=45000 #constraints=20847
371.50/371.63	c nbDecision=45500 #constraints=20883
376.20/376.30	c nbDecision=46000 #constraints=20971
376.50/376.69	c nbDecision=46500 #constraints=20978
376.60/376.72	c nbDecision=47000 #constraints=20981
376.60/376.74	c nbDecision=47500 #constraints=20983
376.60/376.77	c nbDecision=48000 #constraints=20987
379.30/379.43	c nbDecision=48500 #constraints=21037
387.11/387.30	c nbDecision=49000 #constraints=21202
387.20/387.34	c nbDecision=49500 #constraints=21210
393.20/393.37	c nbDecision=50000 #constraints=21315
393.20/393.39	c nbDecision=50500 #constraints=21316
393.30/393.43	c nbDecision=51000 #constraints=21321
396.60/396.76	c restart after 51201 decisions
407.29/407.42	c nbDecision=51500 #constraints=21523
407.29/407.44	c nbDecision=52000 #constraints=21523
407.29/407.49	c nbDecision=52500 #constraints=21524
407.39/407.53	c nbDecision=53000 #constraints=21525
407.49/407.65	c nbDecision=53500 #constraints=21537
407.49/407.69	c nbDecision=54000 #constraints=21541
407.59/407.73	c nbDecision=54500 #constraints=21547
407.59/407.75	c nbDecision=55000 #constraints=21548
407.59/407.78	c nbDecision=55500 #constraints=21550
407.69/407.81	c nbDecision=56000 #constraints=21553
407.69/407.83	c nbDecision=56500 #constraints=21554
407.69/407.85	c nbDecision=57000 #constraints=21555
407.69/407.88	c nbDecision=57500 #constraints=21556
407.79/407.92	c nbDecision=58000 #constraints=21557
407.79/407.94	c nbDecision=58500 #constraints=21557
420.49/420.60	c nbDecision=59000 #constraints=21743
432.19/432.39	c nbDecision=59500 #constraints=21951
460.08/460.24	c nbDecision=60000 #constraints=22332
476.47/476.69	c nbDecision=60500 #constraints=22572
476.57/476.72	c nbDecision=61000 #constraints=22573
476.57/476.74	c nbDecision=61500 #constraints=22573
476.57/476.78	c nbDecision=62000 #constraints=22574
477.27/477.45	c nbDecision=62500 #constraints=22588
477.27/477.49	c nbDecision=63000 #constraints=22589
477.37/477.51	c nbDecision=63500 #constraints=22589
481.68/481.81	c nbDecision=64000 #constraints=22654
481.68/481.85	c nbDecision=64500 #constraints=22655
481.68/481.86	c nbDecision=65000 #constraints=22655
496.67/496.84	c nbDecision=65500 #constraints=22868
521.96/522.18	c nbDecision=66000 #constraints=23196
549.77/549.93	c nbDecision=66500 #constraints=23537
572.86/573.06	c nbDecision=67000 #constraints=23833
600.15/600.37	c nbDecision=67500 #constraints=24173
608.74/608.96	c nbDecision=68000 #constraints=24267
608.74/609.00	c nbDecision=68500 #constraints=24270
608.84/609.02	c nbDecision=69000 #constraints=24271
608.84/609.05	c nbDecision=69500 #constraints=24274
608.84/609.07	c nbDecision=70000 #constraints=24274
608.84/609.09	c nbDecision=70500 #constraints=24276
608.94/609.12	c nbDecision=71000 #constraints=24278
608.94/609.15	c nbDecision=71500 #constraints=24279
608.94/609.19	c nbDecision=72000 #constraints=24286
609.04/609.25	c nbDecision=72500 #constraints=24297
609.04/609.30	c nbDecision=73000 #constraints=24299
609.15/609.34	c nbDecision=73500 #constraints=24300
609.64/609.90	c nbDecision=74000 #constraints=24314
609.74/609.94	c nbDecision=74500 #constraints=24318
609.74/609.98	c nbDecision=75000 #constraints=24325
609.84/610.02	c nbDecision=75500 #constraints=24326
612.64/612.83	c nbDecision=76000 #constraints=24369
624.24/624.45	c nbDecision=76500 #constraints=24509
633.13/633.34	c nbDecision=77000 #constraints=24603
633.13/633.38	c nbDecision=77500 #constraints=24605
633.83/634.03	c nbDecision=78000 #constraints=24626
637.24/637.48	c nbDecision=78500 #constraints=24680
641.44/641.62	c nbDecision=79000 #constraints=24732
641.44/641.67	c nbDecision=79500 #constraints=24733
641.54/641.70	c nbDecision=80000 #constraints=24734
641.54/641.74	c nbDecision=80500 #constraints=24735
641.54/641.79	c nbDecision=81000 #constraints=24741
641.64/641.85	c nbDecision=81500 #constraints=24745
641.64/641.89	c nbDecision=82000 #constraints=24748
641.74/641.92	c nbDecision=82500 #constraints=24749
649.53/649.78	c nbDecision=83000 #constraints=24844
649.84/650.09	c nbDecision=83500 #constraints=24857
654.03/654.20	c nbDecision=84000 #constraints=24918
661.13/661.38	c nbDecision=84500 #constraints=25006
673.93/674.13	c nbDecision=85000 #constraints=25156
675.73/675.94	c nbDecision=85500 #constraints=25177
681.22/681.45	c nbDecision=86000 #constraints=25258
681.22/681.49	c nbDecision=86500 #constraints=25260
681.32/681.53	c nbDecision=87000 #constraints=25261
681.32/681.58	c nbDecision=87500 #constraints=25263
681.42/681.61	c nbDecision=88000 #constraints=25263
712.68/712.93	c nbDecision=88500 #constraints=25575
720.06/720.39	c nbDecision=89000 #constraints=25649
729.53/729.88	c nbDecision=89500 #constraints=25749
742.92/743.27	c nbDecision=90000 #constraints=25900
771.90/772.22	c nbDecision=90500 #constraints=26197
796.88/797.27	c nbDecision=91000 #constraints=26436
796.98/797.33	c nbDecision=91500 #constraints=26448
796.98/797.39	c nbDecision=92000 #constraints=26455
798.49/798.86	c nbDecision=92500 #constraints=26488
798.59/798.92	c nbDecision=93000 #constraints=26491
798.99/799.39	c nbDecision=93500 #constraints=26512
799.09/799.42	c nbDecision=94000 #constraints=26512
799.09/799.46	c nbDecision=94500 #constraints=26514
803.39/803.79	c nbDecision=95000 #constraints=26587
818.68/819.00	c nbDecision=95500 #constraints=26763
832.48/832.89	c nbDecision=96000 #constraints=26924
832.58/832.96	c nbDecision=96500 #constraints=26931
832.68/833.03	c nbDecision=97000 #constraints=26937
832.68/833.09	c nbDecision=97500 #constraints=26942
850.67/851.04	c nbDecision=98000 #constraints=27126
859.98/860.31	c nbDecision=98500 #constraints=27253
863.37/863.73	c nbDecision=99000 #constraints=27287
877.97/878.32	c nbDecision=99500 #constraints=27425
905.96/906.35	c nbDecision=100000 #constraints=27703
950.25/950.60	c nbDecision=100500 #constraints=28068
954.54/954.95	c nbDecision=101000 #constraints=28118
954.64/955.00	c nbDecision=101500 #constraints=28121
954.64/955.05	c nbDecision=102000 #constraints=28122
955.35/955.72	c restart after 102401 decisions
960.96/961.38	c nbDecision=102500 #constraints=28184
975.25/975.62	c nbDecision=103000 #constraints=28343
1009.53/1009.90	c nbDecision=103500 #constraints=28651
1028.43/1028.84	c nbDecision=104000 #constraints=28823
1039.53/1039.98	c nbDecision=104500 #constraints=28929
1067.63/1068.04	c nbDecision=105000 #constraints=29227
1094.72/1095.19	c nbDecision=105500 #constraints=29494
1133.80/1134.23	c nbDecision=106000 #constraints=29841
1166.90/1167.35	c nbDecision=106500 #constraints=30129
1194.29/1194.72	c nbDecision=107000 #constraints=30374
1196.79/1197.29	c nbDecision=107500 #constraints=30419
1226.29/1226.78	c nbDecision=108000 #constraints=30682
1253.18/1253.68	c nbDecision=108500 #constraints=30906
1276.67/1277.15	c nbDecision=109000 #constraints=31105
1318.56/1319.02	c nbDecision=109500 #constraints=31421
1355.25/1355.70	c nbDecision=110000 #constraints=31735
1405.94/1406.44	c nbDecision=110500 #constraints=32133
1429.44/1429.96	c nbDecision=111000 #constraints=32322
1429.73/1430.24	c nbDecision=111500 #constraints=32323
1429.73/1430.26	c nbDecision=112000 #constraints=32324
1443.84/1444.38	c nbDecision=112500 #constraints=32478
1493.11/1493.68	c nbDecision=113000 #constraints=32825
1535.31/1535.81	c nbDecision=113500 #constraints=33136
1587.50/1588.07	c nbDecision=114000 #constraints=33506
1636.48/1637.07	c nbDecision=114500 #constraints=33862
1681.87/1682.42	c nbDecision=115000 #constraints=34198
1726.37/1727.00	c nbDecision=115500 #constraints=34512
1778.95/1779.58	c nbDecision=116000 #constraints=34863
1800.05/1800.61	Received signal 15
1800.15/1800.71	
1800.15/1800.71	s UNKNOWN
1800.15/1800.71	
1800.15/1800.71	c user time= 1799.77 s
1800.15/1800.71	c system time= 0.398939 s
1800.15/1800.71	c wall clock time=1800.71

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node72/watcher-420865-1177433362 -o ROOT/results/node72/solver-420865-1177433362 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420865-1177433362/instance-420865-1177433362.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 30766
/proc/meminfo: memFree=1878792/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=1468 CPUtime=0
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 219374637 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 367 163 130 317 0 46 0

[startup+0.0071759 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 30766
/proc/meminfo: memFree=1878792/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=1468 CPUtime=0
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 219374637 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 367 175 130 317 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1468

[startup+0.101184 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 30766
/proc/meminfo: memFree=1878792/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=3316 CPUtime=0.09
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 644 0 0 0 9 0 0 0 18 0 1 0 219374637 3395584 627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 829 627 130 317 0 508 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3316

[startup+0.301203 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 30766
/proc/meminfo: memFree=1878792/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=6532 CPUtime=0.29
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 1459 0 0 0 29 0 0 0 19 0 1 0 219374637 6688768 1387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 1633 1387 139 317 0 1312 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6532

[startup+0.701239 s]
/proc/loadavg: 0.99 0.98 0.99 3/77 30766
/proc/meminfo: memFree=1878792/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=6532 CPUtime=0.69
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 1460 0 0 0 69 0 0 0 22 0 1 0 219374637 6688768 1388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 1633 1388 139 317 0 1312 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6532

[startup+1.50131 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1873536/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=7192 CPUtime=1.49
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 1601 0 0 0 149 0 0 0 25 0 1 0 219374637 7364608 1529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 1798 1529 139 317 0 1477 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7192

[startup+3.10146 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1872512/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=8376 CPUtime=3.09
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 1898 0 0 0 308 1 0 0 25 0 1 0 219374637 8577024 1826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 2094 1826 139 317 0 1773 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8376

[startup+6.30276 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1870272/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=10092 CPUtime=6.29
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 2348 0 0 0 628 1 0 0 25 0 1 0 219374637 10334208 2276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 2523 2276 139 317 0 2202 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10092

[startup+12.7013 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1867912/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=12484 CPUtime=12.69
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 2927 0 0 0 1267 2 0 0 25 0 1 0 219374637 12783616 2855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 3121 2855 139 317 0 2800 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12484

[startup+25.5015 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1864456/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=15652 CPUtime=25.49
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 3727 0 0 0 2546 3 0 0 25 0 1 0 219374637 16027648 3655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549870 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 3913 3655 139 317 0 3592 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15652

[startup+51.1018 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1859016/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=21164 CPUtime=51.08
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 5082 0 0 0 5103 5 0 0 25 0 1 0 219374637 21671936 5010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 5291 5010 139 317 0 4970 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21164

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1851912/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=28644 CPUtime=102.27
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 6835 0 0 0 10220 7 0 0 25 0 1 0 219374637 29331456 6763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 7161 6763 139 317 0 6840 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28644

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1846280/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=35052 CPUtime=162.25
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 8354 0 0 0 16217 8 0 0 25 0 1 0 219374637 35893248 8172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 8763 8172 139 317 0 8442 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 35052

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1841864/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=39452 CPUtime=222.24
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 9442 0 0 0 22214 10 0 0 25 0 1 0 219374637 40398848 9260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 9863 9260 139 317 0 9542 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 39452

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1838408/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=42788 CPUtime=282.23
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 10317 0 0 0 28211 12 0 0 25 0 1 0 219374637 43814912 10135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 10697 10135 139 317 0 10376 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 42788

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1835336/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=45876 CPUtime=342.21
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 11068 0 0 0 34208 13 0 0 25 0 1 0 219374637 46977024 10886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 11469 10886 139 317 0 11148 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 45876

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 30767
/proc/meminfo: memFree=1832008/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=50040 CPUtime=402.19
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 11895 0 0 0 40205 14 0 0 25 0 1 0 219374637 51240960 11713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 12510 11713 139 317 0 12189 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 50040

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1829128/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=53300 CPUtime=462.18
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 12591 0 0 0 46203 15 0 0 25 0 1 0 219374637 54579200 12409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 13325 12409 139 317 0 13004 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 53300

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1826248/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=56572 CPUtime=522.16
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 13331 0 0 0 52200 16 0 0 25 0 1 0 219374637 57929728 13149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 14143 13149 139 317 0 13822 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 56572

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1823496/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=59372 CPUtime=582.14
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 14005 0 0 0 58197 17 0 0 25 0 1 0 219374637 60796928 13823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 14843 13823 139 317 0 14522 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 59372

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30767
/proc/meminfo: memFree=1821128/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=61584 CPUtime=642.14
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 14596 0 0 0 64195 19 0 0 25 0 1 0 219374637 63062016 14414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 15396 14414 139 317 0 15075 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 61584


################
# More data... #
################

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1811976/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=70316 CPUtime=881.97
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 16790 0 0 0 88172 25 0 0 25 0 1 0 219374637 72003584 16608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 17579 16608 139 317 0 17258 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 70316

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1810056/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=72360 CPUtime=941.95
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 17281 0 0 0 94169 26 0 0 25 0 1 0 219374637 74096640 17099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 18090 17099 139 317 0 17769 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 72360

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1808456/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=73764 CPUtime=1001.94
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 17678 0 0 0 100167 27 0 0 25 0 1 0 219374637 75534336 17496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 18441 17496 139 317 0 18120 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 73764

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1806472/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=75516 CPUtime=1061.92
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 18147 0 0 0 106164 28 0 0 25 0 1 0 219374637 77328384 17965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 18879 17965 139 317 0 18558 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 75516

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1804808/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=77484 CPUtime=1121.91
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 18597 0 0 0 112162 29 0 0 25 0 1 0 219374637 79343616 18415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 19371 18415 139 317 0 19050 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 77484

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1803144/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=79000 CPUtime=1181.89
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 19006 0 0 0 118159 30 0 0 25 0 1 0 219374637 80896000 18824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 19750 18824 139 317 0 19429 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 79000

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1801160/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=81056 CPUtime=1241.88
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 19487 0 0 0 124157 31 0 0 25 0 1 0 219374637 83001344 19305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 20264 19305 139 317 0 19943 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 81056

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1799496/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=82364 CPUtime=1301.87
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 19881 0 0 0 130155 32 0 0 25 0 1 0 219374637 84340736 19699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 20591 19699 139 317 0 20270 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 82364

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1797576/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=84296 CPUtime=1361.85
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 20396 0 0 0 136152 33 0 0 25 0 1 0 219374637 86319104 20181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 21074 20181 139 317 0 20753 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 84296

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1795400/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=87284 CPUtime=1421.84
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 21137 0 0 0 142150 34 0 0 25 0 1 0 219374637 89378816 20704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 21821 20704 139 317 0 21500 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 87284

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1793608/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=89508 CPUtime=1481.82
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 21716 0 0 0 148147 35 0 0 25 0 1 0 219374637 91656192 21151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 22377 21151 139 317 0 22056 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 89508

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1791752/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=91868 CPUtime=1541.8
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 22285 0 0 0 154144 36 0 0 25 0 1 0 219374637 94072832 21588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 22967 21588 139 317 0 22646 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 91868

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1790024/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=94372 CPUtime=1601.79
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 22822 0 0 0 160142 37 0 0 25 0 1 0 219374637 96636928 22026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 23593 22026 139 317 0 23272 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 94372

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1788296/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=97008 CPUtime=1661.78
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 23446 0 0 0 166140 38 0 0 25 0 1 0 219374637 99336192 22452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 24252 22452 139 317 0 23931 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 97008

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1786696/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=99024 CPUtime=1721.77
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 23908 0 0 0 172138 39 0 0 25 0 1 0 219374637 101400576 22848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 24756 22848 139 317 0 24435 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 99024

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1785096/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=100724 CPUtime=1781.75
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 24295 0 0 0 178136 39 0 0 25 0 1 0 219374637 103141376 23235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 25181 23235 139 317 0 24860 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 100724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1784648/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=101248 CPUtime=1800.05
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 24429 0 0 0 179966 39 0 0 25 0 1 0 219374637 103677952 23336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 25312 23336 139 317 0 24991 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 101248

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30969
/proc/meminfo: memFree=1784648/2055920 swapFree=4157088/4192956
[pid=30766] ppid=30764 vsize=101248 CPUtime=1800.15
/proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 24429 0 0 0 179976 39 0 0 25 0 1 0 219374637 103677952 23336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30766/statm: 25312 23336 139 317 0 24991 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 101248

Child status: 0
Real time (s): 1800.74
CPU time (s): 1800.19
CPU user time (s): 1799.77
CPU system time (s): 0.414936
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 101248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.414936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24445
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 3052

runsolver used 1.51977 second user time and 4.32934 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Tue Apr 24 16:49:22 UTC 2007

IDJOB= 420865
IDBENCH= 47875
IDSOLVER= 172
FILE ID= node72/420865-1177433362

PBS_JOBID= 4675713

Free space on /tmp= 66406 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/QG/QG6-gensys-icl009.sat05-2721.reshuffled-07.opb
COMMAND LINE= oree /tmp/evaluation/420865-1177433362/instance-420865-1177433362.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-420865-1177433362 -o ROOT/results/node72/solver-420865-1177433362 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/420865-1177433362/instance-420865-1177433362.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  a64ff6c6d11450d4b5bd3dae8032edf8

RANDOM SEED= 163990676

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1879136 kB
Buffers:         24140 kB
Cached:          84232 kB
SwapCached:      17360 kB
Active:          81464 kB
Inactive:        50948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1879136 kB
SwapTotal:     4192956 kB
SwapFree:      4157088 kB
Dirty:            1900 kB
Writeback:           0 kB
Mapped:          30188 kB
Slab:            29836 kB
Committed_AS:  3297436 kB
PageTables:       1788 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66406 MiB

End job on node72 on Tue Apr 24 17:19:25 UTC 2007