Trace number 357394

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 NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.13 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-msc98-ip.opb
MD5SUM3c61282a3f224081a1f064cb1d1442be
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2809815002358493202
Best CPU time to get the best result obtained on this benchmark1801.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2666580001830528047
Optimality of the best value was proved NO
Number of variables36105
Total number of constraints16727
Number of constraints which are clauses5133
Number of constraints which are cardinality constraints (but not clauses)579
Number of constraints which are nor clauses,nor cardinality constraints11015
Minimum length of a constraint1
Maximum length of a constraint1209
Number of terms in the objective function 7440
Biggest coefficient in the objective function 233453000000000000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 7418790514839784695
Number of bits of the sum of numbers in the objective function 63
Biggest number in a constraint 233453000000000000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 7418790514839784695
Number of bits of the biggest sum of numbers63
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.69/0.78	c ...done
0.69/0.78	c #vars=36105 #constraints=21029 hasObjective=yes
1.19/1.23	c res. mode=mod
1.19/1.23	c VSIDS like heuristics
1.19/1.23	c complete search running
2.69/2.77	c restart after 401 decisions
2.89/2.91	c nbDecision=500 #constraints=21315
4.29/4.37	c restart after 801 decisions
4.89/4.98	c nbDecision=1000 #constraints=21691
7.59/7.60	c nbDecision=1500 #constraints=22187
8.09/8.16	c restart after 1601 decisions
9.89/9.95	c nbDecision=2000 #constraints=22577
12.99/13.02	c nbDecision=2500 #constraints=23076
16.19/16.29	c nbDecision=3000 #constraints=23571
17.59/17.64	c restart after 3201 decisions
18.49/18.55	c nbDecision=3500 #constraints=23894
20.99/21.05	c nbDecision=4000 #constraints=24386
23.69/23.73	c nbDecision=4500 #constraints=24888
26.29/26.35	c nbDecision=5000 #constraints=25375
28.88/28.91	c nbDecision=5500 #constraints=25875
31.18/31.23	c nbDecision=6000 #constraints=26293
32.78/32.87	c restart after 6401 decisions
32.99/33.03	c nbDecision=6500 #constraints=26572
36.78/36.82	c nbDecision=7000 #constraints=27040
40.38/40.46	c nbDecision=7500 #constraints=27475
44.38/44.48	c nbDecision=8000 #constraints=27875
48.87/48.90	c nbDecision=8500 #constraints=28305
54.18/54.29	c nbDecision=9000 #constraints=28804
59.78/59.89	c nbDecision=9500 #constraints=29305
65.27/65.36	c nbDecision=10000 #constraints=29799
71.57/71.60	c nbDecision=10500 #constraints=30296
77.77/77.80	c nbDecision=11000 #constraints=30795
84.47/84.56	c nbDecision=11500 #constraints=31289
92.37/92.41	c nbDecision=12000 #constraints=31786
99.36/99.47	c nbDecision=12500 #constraints=32255
103.36/103.40	c restart after 12801 decisions
104.86/104.94	c nbDecision=13000 #constraints=32608
115.06/115.17	c nbDecision=13500 #constraints=33098
125.26/125.36	c nbDecision=14000 #constraints=33573
135.96/136.08	c nbDecision=14500 #constraints=34072
146.85/146.99	c nbDecision=15000 #constraints=34569
156.85/156.97	c nbDecision=15500 #constraints=35064
168.75/168.86	c nbDecision=16000 #constraints=35557
180.14/180.28	c nbDecision=16500 #constraints=36059
193.94/194.07	c nbDecision=17000 #constraints=36513
206.54/206.61	c nbDecision=17500 #constraints=36950
220.53/220.61	c nbDecision=18000 #constraints=37431
233.43/233.58	c nbDecision=18500 #constraints=37900
247.43/247.59	c nbDecision=19000 #constraints=38396
260.53/260.61	c nbDecision=19500 #constraints=38850
273.12/273.23	c nbDecision=20000 #constraints=39272
286.72/286.89	c nbDecision=20500 #constraints=39720
301.11/301.26	c nbDecision=21000 #constraints=40220
316.51/316.68	c nbDecision=21500 #constraints=40683
332.11/332.22	c nbDecision=22000 #constraints=41148
343.90/344.07	c nbDecision=22500 #constraints=41567
347.60/347.76	c nbDecision=23000 #constraints=42064
351.39/351.55	c nbDecision=23500 #constraints=42561
355.10/355.21	c nbDecision=24000 #constraints=43058
359.09/359.26	c nbDecision=24500 #constraints=43554
362.89/363.05	c nbDecision=25000 #constraints=44041
365.90/366.00	c nbDecision=25500 #constraints=44539
366.50/366.64	c restart after 25601 decisions
378.59/378.72	c nbDecision=26000 #constraints=44896
384.09/384.23	c nbDecision=26500 #constraints=45389
389.09/389.30	c nbDecision=27000 #constraints=45888
393.99/394.16	c nbDecision=27500 #constraints=46369
397.18/397.34	c nbDecision=28000 #constraints=46777
399.68/399.84	c nbDecision=28500 #constraints=47219
401.88/402.03	c nbDecision=29000 #constraints=47544
404.49/404.68	c nbDecision=29500 #constraints=48007
406.99/407.15	c nbDecision=30000 #constraints=48390
409.68/409.86	c nbDecision=30500 #constraints=48787
411.98/412.16	c nbDecision=31000 #constraints=49063
414.78/414.98	c nbDecision=31500 #constraints=49427
417.67/417.82	c nbDecision=32000 #constraints=49781
420.67/420.82	c nbDecision=32500 #constraints=50096
423.58/423.78	c nbDecision=33000 #constraints=50416
427.18/427.36	c nbDecision=33500 #constraints=50817
430.77/430.96	c nbDecision=34000 #constraints=51197
434.17/434.35	c nbDecision=34500 #constraints=51485
437.87/438.01	c nbDecision=35000 #constraints=51837
441.37/441.50	c nbDecision=35500 #constraints=52155
445.27/445.49	c nbDecision=36000 #constraints=52655
449.96/450.19	c nbDecision=36500 #constraints=53070
453.97/454.18	c nbDecision=37000 #constraints=53358
457.67/457.87	c nbDecision=37500 #constraints=53611
462.47/462.63	c nbDecision=38000 #constraints=53895
467.76/467.99	c nbDecision=38500 #constraints=54304
473.76/473.94	c nbDecision=39000 #constraints=54769
479.86/480.02	c nbDecision=39500 #constraints=55154
485.16/485.34	c nbDecision=40000 #constraints=55558
491.46/491.65	c nbDecision=40500 #constraints=55853
497.75/497.91	c nbDecision=41000 #constraints=56125
502.95/503.10	c nbDecision=41500 #constraints=56354
508.15/508.32	c nbDecision=42000 #constraints=56641
514.65/514.87	c nbDecision=42500 #constraints=57004
523.25/523.45	c nbDecision=43000 #constraints=57343
531.05/531.22	c nbDecision=43500 #constraints=57670
536.84/537.04	c nbDecision=44000 #constraints=58092
543.15/543.32	c nbDecision=44500 #constraints=58595
550.54/550.70	c nbDecision=45000 #constraints=59094
557.24/557.44	c nbDecision=45500 #constraints=59587
564.23/564.49	c nbDecision=46000 #constraints=60084
571.93/572.14	c nbDecision=46500 #constraints=60583
579.13/579.39	c nbDecision=47000 #constraints=61080
583.84/584.05	c nbDecision=47500 #constraints=61501
591.64/591.88	c nbDecision=48000 #constraints=61946
599.34/599.57	c nbDecision=48500 #constraints=62444
607.53/607.77	c nbDecision=49000 #constraints=62861
615.33/615.55	c nbDecision=49500 #constraints=63248
618.62/618.82	c nbDecision=50000 #constraints=63669
622.33/622.55	c nbDecision=50500 #constraints=64047
626.52/626.71	c nbDecision=51000 #constraints=64406
627.82/628.05	c restart after 51201 decisions
630.82/631.06	c nbDecision=51500 #constraints=64748
636.42/636.61	c nbDecision=52000 #constraints=65241
642.22/642.45	c nbDecision=52500 #constraints=65739
648.21/648.44	c nbDecision=53000 #constraints=66233
654.32/654.53	c nbDecision=53500 #constraints=66701
659.92/660.11	c nbDecision=54000 #constraints=67200
665.91/666.13	c nbDecision=54500 #constraints=67692
672.11/672.33	c nbDecision=55000 #constraints=68190
678.21/678.50	c nbDecision=55500 #constraints=68687
684.11/684.35	c nbDecision=56000 #constraints=69180
691.30/691.54	c nbDecision=56500 #constraints=69678
698.90/699.14	c nbDecision=57000 #constraints=70179
707.10/707.33	c nbDecision=57500 #constraints=70675
713.89/714.11	c nbDecision=58000 #constraints=71169
722.00/722.21	c nbDecision=58500 #constraints=71669
729.80/730.07	c nbDecision=59000 #constraints=72167
737.59/737.87	c nbDecision=59500 #constraints=72667
749.79/750.07	c nbDecision=60000 #constraints=73151
760.19/760.45	c nbDecision=60500 #constraints=73650
770.68/770.97	c nbDecision=61000 #constraints=74152
780.48/780.71	c nbDecision=61500 #constraints=74651
790.97/791.22	c nbDecision=62000 #constraints=75149
800.07/800.35	c nbDecision=62500 #constraints=75647
809.07/809.31	c nbDecision=63000 #constraints=76016
815.88/816.20	c nbDecision=63500 #constraints=76341
821.38/821.69	c nbDecision=64000 #constraints=76692
826.07/826.39	c nbDecision=64500 #constraints=77154
830.97/831.25	c nbDecision=65000 #constraints=77640
838.16/838.43	c nbDecision=65500 #constraints=77964
848.56/848.86	c nbDecision=66000 #constraints=78298
857.36/857.64	c nbDecision=66500 #constraints=78633
863.66/863.99	c nbDecision=67000 #constraints=79093
869.86/870.17	c nbDecision=67500 #constraints=79592
876.15/876.47	c nbDecision=68000 #constraints=80087
882.95/883.20	c nbDecision=68500 #constraints=80588
890.25/890.56	c nbDecision=69000 #constraints=81084
897.65/897.91	c nbDecision=69500 #constraints=81581
905.35/905.67	c nbDecision=70000 #constraints=82046
914.25/914.56	c nbDecision=70500 #constraints=82545
923.35/923.60	c nbDecision=71000 #constraints=83045
932.84/933.17	c nbDecision=71500 #constraints=83541
942.74/943.08	c nbDecision=72000 #constraints=84031
954.33/954.61	c nbDecision=72500 #constraints=84528
965.44/965.72	c nbDecision=73000 #constraints=85012
977.33/977.69	c nbDecision=73500 #constraints=85513
987.82/988.17	c nbDecision=74000 #constraints=85996
1000.32/1000.62	c nbDecision=74500 #constraints=86465
1010.22/1010.56	c nbDecision=75000 #constraints=86810
1015.92/1016.29	c nbDecision=75500 #constraints=87267
1021.12/1021.41	c nbDecision=76000 #constraints=87584
1033.72/1034.03	c nbDecision=76500 #constraints=88068
1045.61/1045.98	c nbDecision=77000 #constraints=88453
1056.91/1057.24	c nbDecision=77500 #constraints=88927
1061.51/1061.81	c nbDecision=78000 #constraints=89356
1081.80/1082.12	c nbDecision=78500 #constraints=89795
1106.30/1106.67	c nbDecision=79000 #constraints=90238
1128.29/1128.61	c nbDecision=79500 #constraints=90653
1139.48/1139.81	c nbDecision=80000 #constraints=91026
1145.58/1145.97	c nbDecision=80500 #constraints=91525
1152.28/1152.67	c nbDecision=81000 #constraints=91842
1160.68/1161.07	c nbDecision=81500 #constraints=92275
1167.79/1168.11	c nbDecision=82000 #constraints=92773
1174.78/1175.13	c nbDecision=82500 #constraints=93273
1182.28/1182.66	c nbDecision=83000 #constraints=93767
1191.17/1191.55	c nbDecision=83500 #constraints=94261
1199.37/1199.77	c nbDecision=84000 #constraints=94756
1208.77/1209.19	c nbDecision=84500 #constraints=95255
1218.26/1218.67	c nbDecision=85000 #constraints=95748
1228.46/1228.82	c nbDecision=85500 #constraints=96248
1238.46/1238.87	c nbDecision=86000 #constraints=96743
1248.76/1249.12	c nbDecision=86500 #constraints=97238
1260.35/1260.78	c nbDecision=87000 #constraints=97735
1273.25/1273.65	c nbDecision=87500 #constraints=98233
1285.74/1286.15	c nbDecision=88000 #constraints=98732
1296.74/1297.16	c nbDecision=88500 #constraints=99083
1301.85/1302.23	c nbDecision=89000 #constraints=99410
1306.54/1306.97	c nbDecision=89500 #constraints=99824
1311.34/1311.75	c nbDecision=90000 #constraints=100284
1323.54/1323.98	c nbDecision=90500 #constraints=100582
1332.33/1332.74	c nbDecision=91000 #constraints=100891
1337.43/1337.83	c nbDecision=91500 #constraints=101350
1344.73/1345.12	c nbDecision=92000 #constraints=101597
1353.43/1353.87	c nbDecision=92500 #constraints=101980
1365.32/1365.74	c nbDecision=93000 #constraints=102202
1373.42/1373.85	c nbDecision=93500 #constraints=102585
1377.63/1378.05	c nbDecision=94000 #constraints=103077
1403.72/1404.12	c nbDecision=94500 #constraints=103520
1429.21/1429.64	c nbDecision=95000 #constraints=103906
1442.21/1442.65	c nbDecision=95500 #constraints=104223
1450.20/1450.62	c nbDecision=96000 #constraints=104438
1457.60/1458.04	c nbDecision=96500 #constraints=104727
1469.80/1470.23	c nbDecision=97000 #constraints=104970
1480.29/1480.71	c nbDecision=97500 #constraints=105224
1487.49/1488.00	c nbDecision=98000 #constraints=105644
1494.19/1494.63	c nbDecision=98500 #constraints=106032
1513.10/1513.58	c nbDecision=99000 #constraints=106277
1528.29/1528.75	c nbDecision=99500 #constraints=106511
1543.28/1543.79	c nbDecision=100000 #constraints=106837
1558.28/1558.75	c nbDecision=100500 #constraints=107132
1568.08/1568.56	c nbDecision=101000 #constraints=107362
1577.67/1578.11	c nbDecision=101500 #constraints=107583
1583.47/1583.97	c nbDecision=102000 #constraints=108057
1588.36/1588.87	c restart after 102401 decisions
1589.16/1589.66	c nbDecision=102500 #constraints=108389
1603.76/1604.23	c nbDecision=103000 #constraints=108832
1617.06/1617.51	c nbDecision=103500 #constraints=109332
1634.56/1635.06	c nbDecision=104000 #constraints=109831
1652.65/1653.17	c nbDecision=104500 #constraints=110328
1668.95/1669.42	c nbDecision=105000 #constraints=110806
1684.05/1684.51	c nbDecision=105500 #constraints=111149
1688.74/1689.24	c nbDecision=106000 #constraints=111651
1693.64/1694.14	c nbDecision=106500 #constraints=112149
1698.74/1699.21	c nbDecision=107000 #constraints=112634
1705.54/1706.06	c nbDecision=107500 #constraints=113113
1716.43/1716.95	c nbDecision=108000 #constraints=113507
1722.23/1722.75	c nbDecision=108500 #constraints=114006
1728.33/1728.82	c nbDecision=109000 #constraints=114506
1734.53/1735.08	c nbDecision=109500 #constraints=115003
1741.62/1742.14	c nbDecision=110000 #constraints=115456
1751.02/1751.53	c nbDecision=110500 #constraints=115856
1758.20/1758.75	c nbDecision=111000 #constraints=116220
1765.79/1766.30	c nbDecision=111500 #constraints=116715
1773.67/1774.28	c nbDecision=112000 #constraints=117065
1790.33/1790.98	c nbDecision=112500 #constraints=117444
1800.03/1800.61	Received signal 15
1800.03/1800.64	
1800.03/1800.64	s UNKNOWN
1800.03/1800.64	
1800.03/1800.64	c user time= 1799.83 s
1800.03/1800.64	c system time= 0.249962 s
1800.03/1800.64	c wall clock time=1800.65

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node57/watcher-357394-1176996708 -o ROOT/results/node57/solver-357394-1176996708 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357394-1176996708/instance-357394-1176996708.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.97 3/64 20591
/proc/meminfo: memFree=1608208/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=1468 CPUtime=0
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 140806801 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827838 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 367 161 127 317 0 46 0

[startup+0.059533 s]
/proc/loadavg: 0.99 0.98 0.97 3/64 20591
/proc/meminfo: memFree=1608208/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=2148 CPUtime=0.05
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 345 0 0 0 5 0 0 0 18 0 1 0 140806801 2199552 327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 537 328 131 317 0 216 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2148

[startup+0.101498 s]
/proc/loadavg: 0.99 0.98 0.97 3/64 20591
/proc/meminfo: memFree=1608208/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=2808 CPUtime=0.09
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 502 0 0 0 9 0 0 0 18 0 1 0 140806801 2875392 484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 702 484 131 317 0 381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2808

[startup+0.301515 s]
/proc/loadavg: 0.99 0.98 0.97 3/64 20591
/proc/meminfo: memFree=1608208/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=6004 CPUtime=0.29
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 1301 0 0 0 29 0 0 0 19 0 1 0 140806801 6148096 1283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 1501 1283 131 317 0 1180 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6004

[startup+0.70155 s]
/proc/loadavg: 0.99 0.98 0.97 3/64 20591
/proc/meminfo: memFree=1608208/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=12876 CPUtime=0.69
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 3016 0 0 0 68 1 0 0 22 0 1 0 140806801 13185024 2998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 3219 2998 131 317 0 2898 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12876

[startup+1.50162 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1589768/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=22240 CPUtime=1.49
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 5353 0 0 0 147 2 0 0 25 0 1 0 140806801 22773760 5191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 5560 5191 139 317 0 5239 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22240

[startup+3.10176 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1587592/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=22240 CPUtime=3.09
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 5355 0 0 0 307 2 0 0 25 0 1 0 140806801 22773760 5193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 5560 5193 139 317 0 5239 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22240

[startup+6.30103 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1587400/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=22240 CPUtime=6.29
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 5380 0 0 0 627 2 0 0 25 0 1 0 140806801 22773760 5218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 5560 5218 139 317 0 5239 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22240

[startup+12.7026 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1586704/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=23164 CPUtime=12.69
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 5613 0 0 0 1266 3 0 0 25 0 1 0 140806801 23719936 5451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 5791 5451 139 317 0 5470 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23164

[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1584784/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=25028 CPUtime=25.49
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 6082 0 0 0 2546 3 0 0 25 0 1 0 140806801 25628672 5920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 6257 5920 139 317 0 5936 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25028

[startup+51.1019 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1581968/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=27976 CPUtime=51.08
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 6815 0 0 0 5104 4 0 0 25 0 1 0 140806801 28647424 6653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 6994 6653 139 317 0 6673 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27976

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1578576/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=31460 CPUtime=102.26
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 7661 0 0 0 10222 4 0 0 25 0 1 0 140806801 32215040 7499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 7865 7499 139 317 0 7544 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 31460

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1576080/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=34036 CPUtime=162.25
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 8318 0 0 0 16220 5 0 0 25 0 1 0 140806801 34852864 8123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 8509 8123 139 317 0 8188 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 34036

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1574096/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=35940 CPUtime=222.23
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 8798 0 0 0 22218 5 0 0 25 0 1 0 140806801 36802560 8603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 8985 8603 139 317 0 8664 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 35940

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1572176/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=37636 CPUtime=282.22
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 9263 0 0 0 28216 6 0 0 25 0 1 0 140806801 38539264 9068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 9409 9068 139 317 0 9088 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 37636

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1570448/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=39900 CPUtime=342.2
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 9793 0 0 0 34214 6 0 0 25 0 1 0 140806801 40857600 9499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 9975 9499 139 317 0 9654 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 39900

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1565200/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=46380 CPUtime=402.18
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 11416 0 0 0 40211 7 0 0 25 0 1 0 140806801 47493120 10835 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 11595 10835 139 317 0 11274 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 46380

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1558096/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=53328 CPUtime=462.17
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 13178 0 0 0 46207 10 0 0 25 0 1 0 140806801 54607872 12597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 13332 12597 139 317 0 13011 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 53328

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1553616/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=57908 CPUtime=522.15
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 14307 0 0 0 52204 11 0 0 25 0 1 0 140806801 59297792 13726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 14477 13726 139 317 0 14156 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 57908

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1549328/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=62000 CPUtime=582.14
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 15350 0 0 0 58202 12 0 0 25 0 1 0 140806801 63488000 14769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 15500 14769 139 317 0 15179 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 62000

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1545040/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=66372 CPUtime=642.12
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 16461 0 0 0 64200 12 0 0 25 0 1 0 140806801 67964928 15815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 16593 15815 139 317 0 16272 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 66372


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1534800/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=76576 CPUtime=822.07
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 19021 0 0 0 82192 15 0 0 25 0 1 0 140806801 78413824 18375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 19144 18375 139 317 0 18823 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 76576

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1530768/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=80508 CPUtime=882.05
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 20016 0 0 0 88190 15 0 0 25 0 1 0 140806801 82440192 19370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 20127 19370 139 317 0 19806 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 80508

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1525008/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=88304 CPUtime=942.04
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 21976 0 0 0 94188 16 0 0 25 0 1 0 140806801 90423296 20759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 22076 20759 139 317 0 21755 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 88304

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1524496/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=88880 CPUtime=1002.02
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 22127 0 0 0 100186 16 0 0 25 0 1 0 140806801 91013120 20910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 22220 20910 139 317 0 21899 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 88880

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1521808/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=91608 CPUtime=1062.01
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 22798 0 0 0 106184 17 0 0 25 0 1 0 140806801 93806592 21581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 22902 21581 139 317 0 22581 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 91608

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1520336/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=93028 CPUtime=1121.99
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 23152 0 0 0 112182 17 0 0 25 0 1 0 140806801 95260672 21935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 23257 21935 139 317 0 22936 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 93028

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1517328/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=96228 CPUtime=1181.98
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 23915 0 0 0 118180 18 0 0 25 0 1 0 140806801 98537472 22698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 24057 22698 139 317 0 23736 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 96228

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1514512/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=98968 CPUtime=1241.96
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 24599 0 0 0 124178 18 0 0 25 0 1 0 140806801 101343232 23382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 24742 23382 139 317 0 24421 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 98968

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1512144/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=101108 CPUtime=1301.95
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 25166 0 0 0 130176 19 0 0 25 0 1 0 140806801 103534592 23949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 25277 23949 139 317 0 24956 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 101108

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1509200/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=104296 CPUtime=1361.92
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 25898 0 0 0 136173 19 0 0 25 0 1 0 140806801 106799104 24681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 26074 24681 139 317 0 25753 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 104296

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1507216/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=106448 CPUtime=1421.92
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 26400 0 0 0 142172 20 0 0 25 0 1 0 140806801 109002752 25183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562700 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 26612 25183 139 317 0 26291 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 106448

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1505424/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=108220 CPUtime=1481.89
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 26855 0 0 0 148169 20 0 0 25 0 1 0 140806801 110817280 25638 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 27055 25638 139 317 0 26734 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 108220

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1503696/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=110004 CPUtime=1541.88
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 27277 0 0 0 154167 21 0 0 25 0 1 0 140806801 112644096 26060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 27501 26060 139 317 0 27180 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 110004

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1501520/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=112040 CPUtime=1601.86
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 27823 0 0 0 160165 21 0 0 25 0 1 0 140806801 114728960 26606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 28010 26606 139 317 0 27689 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 112040

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1499856/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=113772 CPUtime=1661.85
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 28215 0 0 0 166163 22 0 0 25 0 1 0 140806801 116502528 26998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 28443 26998 139 317 0 28122 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 113772

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 20592
/proc/meminfo: memFree=1496784/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=116812 CPUtime=1721.83
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 29000 0 0 0 172161 22 0 0 25 0 1 0 140806801 119615488 27783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 29203 27783 139 317 0 28882 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 116812

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/71 20748
/proc/meminfo: memFree=1492112/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=120052 CPUtime=1781.74
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 29767 0 0 0 178150 24 0 0 25 0 1 0 140806801 122933248 28550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 30013 28550 139 317 0 29692 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 120052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.97 2/71 20766
/proc/meminfo: memFree=1491856/2055920 swapFree=4183112/4192956
[pid=20591] ppid=20589 vsize=120340 CPUtime=1800.03
/proc/20591/stat : 20591 (oree) R 20589 20591 19209 0 -1 4194304 29860 0 0 0 179979 24 0 0 25 0 1 0 140806801 123228160 28643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20591/statm: 30085 28643 139 317 0 29764 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 120340

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

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

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.13
CPU user time (s): 1799.86
CPU system time (s): 0.267959
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 120340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.267959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29876
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= 1954

runsolver used 1.39879 second user time and 3.62945 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Thu Apr 19 15:31:48 UTC 2007

IDJOB= 357394
IDBENCH= 2516
IDSOLVER= 172
FILE ID= node57/357394-1176996708

PBS_JOBID= 4630425

Free space on /tmp= 66452 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-msc98-ip.opb
COMMAND LINE= oree /tmp/evaluation/357394-1176996708/instance-357394-1176996708.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node57/watcher-357394-1176996708 -o ROOT/results/node57/solver-357394-1176996708 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357394-1176996708/instance-357394-1176996708.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  3c61282a3f224081a1f064cb1d1442be

RANDOM SEED= 22325496

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.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.239
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	: 5914.62
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.239
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:       1608616 kB
Buffers:         10872 kB
Cached:         388144 kB
SwapCached:       3544 kB
Active:         145772 kB
Inactive:       263480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1608616 kB
SwapTotal:     4192956 kB
SwapFree:      4183112 kB
Dirty:            4200 kB
Writeback:           0 kB
Mapped:          16280 kB
Slab:            24120 kB
Committed_AS:   914848 kB
PageTables:       1412 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= 66452 MiB

End job on node57 on Thu Apr 19 16:01:51 UTC 2007