Trace number 357390

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.35 1800.82

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-swath.opb
MD5SUM3553224658521cb15e26e6f30dd8f5c2
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9155
Total number of constraints884
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)423
Number of constraints which are nor clauses,nor cardinality constraints461
Minimum length of a constraint1
Maximum length of a constraint6754
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 16777216000000
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 66042304016951
Number of bits of the biggest sum of numbers46
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.29/0.39	c ...done
0.29/0.39	c #vars=9155 #constraints=1389 hasObjective=yes
0.39/0.44	c res. mode=mod
0.39/0.44	c VSIDS like heuristics
0.39/0.44	c complete search running
3.39/3.40	c restart after 401 decisions
3.99/4.01	c nbDecision=500 #constraints=1506
5.89/5.93	c restart after 801 decisions
8.09/8.12	c nbDecision=1000 #constraints=1601
27.98/28.00	c nbDecision=1500 #constraints=1723
28.78/28.82	c restart after 1601 decisions
44.98/45.03	c nbDecision=2000 #constraints=1810
47.78/47.87	c nbDecision=2500 #constraints=1826
49.58/49.62	c nbDecision=3000 #constraints=1842
65.18/65.26	c restart after 3201 decisions
75.78/75.83	c nbDecision=3500 #constraints=1972
78.57/78.65	c nbDecision=4000 #constraints=1988
79.87/79.95	c nbDecision=4500 #constraints=2004
99.97/100.01	c nbDecision=5000 #constraints=2113
102.76/102.86	c nbDecision=5500 #constraints=2130
104.06/104.10	c nbDecision=6000 #constraints=2146
117.26/117.39	c restart after 6401 decisions
127.46/127.58	c nbDecision=6500 #constraints=2274
132.26/132.35	c nbDecision=7000 #constraints=2306
146.05/146.13	c nbDecision=7500 #constraints=2377
148.46/148.59	c nbDecision=8000 #constraints=2394
159.85/159.93	c nbDecision=8500 #constraints=2452
162.75/162.85	c nbDecision=9000 #constraints=2469
164.45/164.53	c nbDecision=9500 #constraints=2485
180.15/180.25	c nbDecision=10000 #constraints=2572
183.24/183.35	c nbDecision=10500 #constraints=2589
184.84/184.97	c nbDecision=11000 #constraints=2605
196.74/196.82	c nbDecision=11500 #constraints=2660
199.53/199.62	c nbDecision=12000 #constraints=2676
200.94/201.00	c nbDecision=12500 #constraints=2693
210.94/211.08	c restart after 12801 decisions
230.53/230.69	c nbDecision=13000 #constraints=2831
233.43/233.58	c nbDecision=13500 #constraints=2847
235.43/235.56	c nbDecision=14000 #constraints=2863
248.53/248.67	c nbDecision=14500 #constraints=2931
251.53/251.62	c nbDecision=15000 #constraints=2948
252.83/252.98	c nbDecision=15500 #constraints=2965
264.72/264.80	c nbDecision=16000 #constraints=3020
267.32/267.49	c nbDecision=16500 #constraints=3037
268.42/268.51	c nbDecision=17000 #constraints=3054
281.42/281.60	c nbDecision=17500 #constraints=3110
283.92/284.05	c nbDecision=18000 #constraints=3126
294.12/294.28	c nbDecision=18500 #constraints=3179
297.41/297.51	c nbDecision=19000 #constraints=3195
299.21/299.36	c nbDecision=19500 #constraints=3211
310.11/310.24	c nbDecision=20000 #constraints=3264
313.11/313.21	c nbDecision=20500 #constraints=3280
314.81/314.92	c nbDecision=21000 #constraints=3297
326.41/326.50	c nbDecision=21500 #constraints=3349
329.21/329.35	c nbDecision=22000 #constraints=3366
337.60/337.72	c nbDecision=22500 #constraints=3406
342.60/342.75	c nbDecision=23000 #constraints=3433
345.00/345.19	c nbDecision=23500 #constraints=3449
355.10/355.30	c nbDecision=24000 #constraints=3499
358.40/358.59	c nbDecision=24500 #constraints=3515
360.30/360.42	c nbDecision=25000 #constraints=3532
370.69/370.85	c nbDecision=25500 #constraints=3581
371.49/371.68	c restart after 25601 decisions
403.59/403.73	c nbDecision=26000 #constraints=3706
406.79/406.99	c nbDecision=26500 #constraints=3722
408.58/408.75	c nbDecision=27000 #constraints=3738
422.38/422.59	c nbDecision=27500 #constraints=3793
425.68/425.87	c nbDecision=28000 #constraints=3809
427.48/427.61	c nbDecision=28500 #constraints=3825
442.68/442.88	c nbDecision=29000 #constraints=3882
445.87/446.01	c nbDecision=29500 #constraints=3898
447.58/447.78	c nbDecision=30000 #constraints=3915
463.17/463.38	c nbDecision=30500 #constraints=3972
466.37/466.57	c nbDecision=31000 #constraints=3989
481.26/481.49	c nbDecision=31500 #constraints=4057
485.47/485.65	c nbDecision=32000 #constraints=4073
488.36/488.53	c nbDecision=32500 #constraints=4089
500.76/500.93	c nbDecision=33000 #constraints=4140
504.76/504.95	c nbDecision=33500 #constraints=4156
507.36/507.57	c nbDecision=34000 #constraints=4172
519.86/520.00	c nbDecision=34500 #constraints=4223
524.05/524.23	c nbDecision=35000 #constraints=4240
526.25/526.50	c nbDecision=35500 #constraints=4256
539.95/540.10	c nbDecision=36000 #constraints=4308
543.15/543.39	c nbDecision=36500 #constraints=4324
544.95/545.16	c nbDecision=37000 #constraints=4340
558.74/558.92	c nbDecision=37500 #constraints=4388
562.34/562.50	c nbDecision=38000 #constraints=4404
564.14/564.31	c nbDecision=38500 #constraints=4420
577.35/577.54	c nbDecision=39000 #constraints=4467
580.54/580.80	c nbDecision=39500 #constraints=4484
591.73/591.90	c nbDecision=40000 #constraints=4532
595.94/596.13	c nbDecision=40500 #constraints=4548
598.63/598.84	c nbDecision=41000 #constraints=4564
610.23/610.48	c nbDecision=41500 #constraints=4612
614.83/615.04	c nbDecision=42000 #constraints=4628
617.43/617.61	c nbDecision=42500 #constraints=4644
627.42/627.65	c nbDecision=43000 #constraints=4688
630.93/631.14	c nbDecision=43500 #constraints=4704
632.23/632.50	c nbDecision=44000 #constraints=4720
644.23/644.40	c nbDecision=44500 #constraints=4764
647.92/648.16	c nbDecision=45000 #constraints=4780
654.92/655.15	c nbDecision=45500 #constraints=4810
662.02/662.26	c nbDecision=46000 #constraints=4840
665.11/665.34	c nbDecision=46500 #constraints=4856
674.51/674.79	c nbDecision=47000 #constraints=4899
679.11/679.36	c nbDecision=47500 #constraints=4915
681.82/682.00	c nbDecision=48000 #constraints=4931
691.90/692.11	c nbDecision=48500 #constraints=4974
696.41/696.63	c nbDecision=49000 #constraints=4990
698.81/699.07	c nbDecision=49500 #constraints=5007
708.41/708.66	c nbDecision=50000 #constraints=5048
711.50/711.71	c nbDecision=50500 #constraints=5064
718.31/718.52	c nbDecision=51000 #constraints=5099
720.70/720.90	c restart after 51201 decisions
766.99/767.20	c nbDecision=51500 #constraints=5232
770.79/771.04	c nbDecision=52000 #constraints=5249
772.58/772.83	c nbDecision=52500 #constraints=5265
788.68/788.97	c nbDecision=53000 #constraints=5321
792.28/792.54	c nbDecision=53500 #constraints=5337
793.98/794.22	c nbDecision=54000 #constraints=5355
811.58/811.89	c nbDecision=54500 #constraints=5410
815.28/815.51	c nbDecision=55000 #constraints=5427
830.87/831.16	c nbDecision=55500 #constraints=5483
835.48/835.76	c nbDecision=56000 #constraints=5500
838.07/838.38	c nbDecision=56500 #constraints=5516
853.07/853.39	c nbDecision=57000 #constraints=5569
857.67/857.92	c nbDecision=57500 #constraints=5585
859.87/860.13	c nbDecision=58000 #constraints=5602
875.37/875.67	c nbDecision=58500 #constraints=5654
879.06/879.34	c nbDecision=59000 #constraints=5670
880.66/880.93	c nbDecision=59500 #constraints=5687
897.66/897.91	c nbDecision=60000 #constraints=5739
901.36/901.62	c nbDecision=60500 #constraints=5756
915.35/915.68	c nbDecision=61000 #constraints=5808
920.25/920.59	c nbDecision=61500 #constraints=5824
923.15/923.40	c nbDecision=62000 #constraints=5841
936.85/937.13	c nbDecision=62500 #constraints=5889
941.74/942.01	c nbDecision=63000 #constraints=5906
943.74/944.00	c nbDecision=63500 #constraints=5922
958.74/959.00	c nbDecision=64000 #constraints=5971
962.84/963.15	c nbDecision=64500 #constraints=5987
964.64/964.99	c nbDecision=65000 #constraints=6004
980.94/981.22	c nbDecision=65500 #constraints=6052
984.43/984.79	c nbDecision=66000 #constraints=6069
997.03/997.36	c nbDecision=66500 #constraints=6117
1002.13/1002.49	c nbDecision=67000 #constraints=6133
1004.83/1005.14	c nbDecision=67500 #constraints=6150
1017.73/1018.04	c nbDecision=68000 #constraints=6195
1022.63/1022.96	c nbDecision=68500 #constraints=6211
1024.83/1025.11	c nbDecision=69000 #constraints=6227
1037.02/1037.35	c nbDecision=69500 #constraints=6272
1039.92/1040.26	c nbDecision=70000 #constraints=6288
1051.82/1052.17	c nbDecision=70500 #constraints=6332
1056.92/1057.26	c nbDecision=71000 #constraints=6349
1058.81/1059.13	c nbDecision=71500 #constraints=6365
1070.91/1071.23	c nbDecision=72000 #constraints=6407
1074.41/1074.74	c nbDecision=72500 #constraints=6424
1084.21/1084.52	c nbDecision=73000 #constraints=6467
1089.51/1089.88	c nbDecision=73500 #constraints=6483
1092.50/1092.84	c nbDecision=74000 #constraints=6500
1102.30/1102.65	c nbDecision=74500 #constraints=6541
1107.50/1107.80	c nbDecision=75000 #constraints=6558
1109.10/1109.45	c nbDecision=75500 #constraints=6575
1121.49/1121.84	c nbDecision=76000 #constraints=6617
1125.80/1126.16	c nbDecision=76500 #constraints=6633
1127.39/1127.75	c nbDecision=77000 #constraints=6649
1138.69/1139.04	c nbDecision=77500 #constraints=6687
1141.90/1142.23	c nbDecision=78000 #constraints=6704
1150.19/1150.52	c nbDecision=78500 #constraints=6745
1154.79/1155.17	c nbDecision=79000 #constraints=6761
1162.29/1162.64	c nbDecision=79500 #constraints=6799
1166.99/1167.35	c nbDecision=80000 #constraints=6815
1173.58/1173.99	c nbDecision=80500 #constraints=6850
1178.49/1178.81	c nbDecision=81000 #constraints=6867
1186.08/1186.45	c nbDecision=81500 #constraints=6903
1190.68/1191.04	c nbDecision=82000 #constraints=6919
1192.47/1192.85	c nbDecision=82500 #constraints=6936
1202.98/1203.37	c nbDecision=83000 #constraints=6971
1206.28/1206.65	c nbDecision=83500 #constraints=6988
1212.27/1212.69	c nbDecision=84000 #constraints=7021
1217.97/1218.37	c nbDecision=84500 #constraints=7038
1219.88/1220.20	c nbDecision=85000 #constraints=7055
1227.57/1227.94	c nbDecision=85500 #constraints=7088
1231.67/1232.07	c nbDecision=86000 #constraints=7104
1232.86/1233.22	c nbDecision=86500 #constraints=7121
1241.57/1241.90	c nbDecision=87000 #constraints=7153
1244.37/1244.73	c nbDecision=87500 #constraints=7170
1250.86/1251.26	c nbDecision=88000 #constraints=7199
1254.17/1254.54	c nbDecision=88500 #constraints=7215
1261.36/1261.75	c nbDecision=89000 #constraints=7245
1265.56/1265.94	c nbDecision=89500 #constraints=7262
1268.66/1269.00	c nbDecision=90000 #constraints=7282
1274.56/1274.95	c nbDecision=90500 #constraints=7308
1279.96/1280.39	c nbDecision=91000 #constraints=7337
1285.36/1285.75	c nbDecision=91500 #constraints=7354
1287.95/1288.38	c nbDecision=92000 #constraints=7370
1310.85/1311.22	c nbDecision=92500 #constraints=7438
1313.35/1313.79	c nbDecision=93000 #constraints=7447
1323.44/1323.81	c nbDecision=93500 #constraints=7491
1333.05/1333.48	c nbDecision=94000 #constraints=7522
1335.14/1335.53	c nbDecision=94500 #constraints=7544
1337.74/1338.13	c nbDecision=95000 #constraints=7551
1345.64/1346.08	c nbDecision=95500 #constraints=7596
1356.04/1356.47	c nbDecision=96000 #constraints=7644
1364.53/1364.96	c nbDecision=96500 #constraints=7673
1366.53/1366.98	c nbDecision=97000 #constraints=7695
1376.13/1376.52	c nbDecision=97500 #constraints=7739
1377.03/1377.41	c nbDecision=98000 #constraints=7745
1386.23/1386.62	c nbDecision=98500 #constraints=7787
1387.32/1387.74	c nbDecision=99000 #constraints=7795
1396.12/1396.50	c nbDecision=99500 #constraints=7839
1404.32/1404.74	c nbDecision=100000 #constraints=7878
1405.62/1406.06	c nbDecision=100500 #constraints=7888
1413.12/1413.59	c nbDecision=101000 #constraints=7926
1415.72/1416.19	c nbDecision=101500 #constraints=7936
1422.62/1423.02	c nbDecision=102000 #constraints=7975
1428.92/1429.38	c restart after 102401 decisions
1487.20/1487.63	c nbDecision=102500 #constraints=8075
1516.90/1517.35	c nbDecision=103000 #constraints=8131
1521.39/1521.85	c nbDecision=103500 #constraints=8147
1551.89/1552.36	c nbDecision=104000 #constraints=8217
1559.98/1560.46	c nbDecision=104500 #constraints=8233
1563.38/1563.86	c nbDecision=105000 #constraints=8250
1589.57/1590.09	c nbDecision=105500 #constraints=8304
1597.97/1598.42	c nbDecision=106000 #constraints=8320
1601.67/1602.10	c nbDecision=106500 #constraints=8337
1629.56/1630.05	c nbDecision=107000 #constraints=8392
1636.26/1636.73	c nbDecision=107500 #constraints=8409
1638.47/1639.00	c nbDecision=108000 #constraints=8425
1667.66/1668.14	c nbDecision=108500 #constraints=8478
1673.15/1673.66	c nbDecision=109000 #constraints=8494
1675.05/1675.52	c nbDecision=109500 #constraints=8510
1704.25/1704.73	c nbDecision=110000 #constraints=8564
1708.85/1709.32	c nbDecision=110500 #constraints=8581
1730.95/1731.44	c nbDecision=111000 #constraints=8633
1740.44/1740.92	c nbDecision=111500 #constraints=8650
1744.04/1744.55	c nbDecision=112000 #constraints=8666
1768.73/1769.21	c nbDecision=112500 #constraints=8718
1776.63/1777.11	c nbDecision=113000 #constraints=8735
1779.52/1780.09	c nbDecision=113500 #constraints=8751
1800.02/1800.50	Received signal 15
1800.02/1800.59	
1800.02/1800.59	s UNKNOWN
1800.02/1800.59	
1800.02/1800.59	c user time= 1798.11 s
1800.02/1800.59	c system time= 2.01769 s
1800.02/1800.59	c wall clock time=1800.59

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/node19/watcher-357390-1176996555 -o ROOT/results/node19/solver-357390-1176996555 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357390-1176996555/instance-357390-1176996555.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: 1.04 1.02 0.98 3/77 26704
/proc/meminfo: memFree=1717512/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1468 CPUtime=0
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 147572945 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827798 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 367 162 128 317 0 46 0

[startup+0.0486811 s]
/proc/loadavg: 1.04 1.02 0.98 3/77 26704
/proc/meminfo: memFree=1717512/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=2020 CPUtime=0.04
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 310 0 0 0 4 0 0 0 18 0 1 0 147572945 2068480 292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 505 292 131 317 0 184 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2020

[startup+0.102687 s]
/proc/loadavg: 1.04 1.02 0.98 3/77 26704
/proc/meminfo: memFree=1717512/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=2812 CPUtime=0.1
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 499 0 0 0 10 0 0 0 18 0 1 0 147572945 2879488 481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 703 481 131 317 0 382 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2812

[startup+0.301708 s]
/proc/loadavg: 1.04 1.02 0.98 3/77 26704
/proc/meminfo: memFree=1717512/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=5456 CPUtime=0.29
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 1152 0 0 0 29 0 0 0 19 0 1 0 147572945 5586944 1134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 1364 1134 131 317 0 1043 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5456

[startup+0.702752 s]
/proc/loadavg: 1.04 1.02 0.98 3/77 26704
/proc/meminfo: memFree=1717512/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=9972 CPUtime=0.69
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 2286 0 0 0 69 0 0 0 23 0 1 0 147572945 10211328 2268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 2493 2268 138 317 0 2172 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9972

[startup+1.50184 s]
/proc/loadavg: 1.04 1.02 0.98 2/78 26705
/proc/meminfo: memFree=1708928/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=10256 CPUtime=1.49
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 2376 0 0 0 149 0 0 0 25 0 1 0 147572945 10502144 2358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 2564 2358 139 317 0 2243 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10256

[startup+3.10201 s]
/proc/loadavg: 1.04 1.02 0.98 2/78 26705
/proc/meminfo: memFree=1707840/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=12636 CPUtime=3.09
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 2883 0 0 0 309 0 0 0 25 0 1 0 147572945 12939264 2865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 3159 2865 139 317 0 2838 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12636

[startup+6.30136 s]
/proc/loadavg: 1.04 1.02 0.98 2/78 26705
/proc/meminfo: memFree=1704320/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=15020 CPUtime=6.29
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 3455 0 0 0 629 0 0 0 25 0 1 0 147572945 15380480 3437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 3755 3437 139 317 0 3434 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15020

[startup+12.7011 s]
/proc/loadavg: 1.04 1.02 0.98 2/78 26705
/proc/meminfo: memFree=1697160/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=27516 CPUtime=12.69
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 6565 0 0 0 1267 2 0 0 25 0 1 0 147572945 28176384 5925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278980 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 6879 5925 139 317 0 6558 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27516

[startup+25.5014 s]
/proc/loadavg: 1.03 1.02 0.98 2/78 26705
/proc/meminfo: memFree=1682824/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=42716 CPUtime=25.49
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 10346 0 0 0 2546 3 0 0 25 0 1 0 147572945 43741184 8778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 10679 8778 139 317 0 10358 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42716

[startup+51.1012 s]
/proc/loadavg: 1.02 1.02 0.98 2/78 26705
/proc/meminfo: memFree=1657480/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=76032 CPUtime=51.07
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 18337 0 0 0 5101 6 0 0 25 0 1 0 147572945 77856768 15043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 19008 15043 139 317 0 18687 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 76032

[startup+102.306 s]
/proc/loadavg: 1.01 1.01 0.98 2/78 26705
/proc/meminfo: memFree=1593160/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=156928 CPUtime=102.27
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 38293 0 0 0 10212 15 0 0 25 0 1 0 147572945 160694272 31056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 39232 31056 139 317 0 38911 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 156928

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.98 2/78 26705
/proc/meminfo: memFree=1536136/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=236236 CPUtime=162.25
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 57461 0 0 0 16201 24 0 0 25 0 1 0 147572945 241905664 45456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 59059 45456 139 317 0 58738 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 236236

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26705
/proc/meminfo: memFree=1464776/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=330236 CPUtime=222.23
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 79947 0 0 0 22189 34 0 0 25 0 1 0 147572945 338161664 63143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 82559 63143 139 317 0 82238 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 330236

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26705
/proc/meminfo: memFree=1409032/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=402976 CPUtime=282.21
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 98192 0 0 0 28179 42 0 0 25 0 1 0 147572945 412647424 77201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 100744 77202 139 317 0 100423 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 402976

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26705
/proc/meminfo: memFree=1356360/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=473444 CPUtime=342.2
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 115425 0 0 0 34168 52 0 0 25 0 1 0 147572945 484806656 90165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 118361 90165 139 317 0 118040 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 473444

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26705
/proc/meminfo: memFree=1282696/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=582364 CPUtime=402.19
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 137851 0 0 0 40158 61 0 0 25 0 1 0 147572945 596340736 108719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284215 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 145591 108719 139 317 0 145270 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 582364

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26705
/proc/meminfo: memFree=1233224/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=645328 CPUtime=462.17
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 153331 0 0 0 46149 68 0 0 25 0 1 0 147572945 660815872 120869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 161332 120869 139 317 0 161011 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 645328

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26705
/proc/meminfo: memFree=1189128/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=703528 CPUtime=522.16
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 168062 0 0 0 52141 75 0 0 25 0 1 0 147572945 720412672 131971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 175882 131971 139 317 0 175561 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 703528

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=1141448/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=763848 CPUtime=582.14
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 183311 0 0 0 58132 82 0 0 25 0 1 0 147572945 782180352 143832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284120 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 190962 143832 139 317 0 190641 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 763848

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=1095496/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=822004 CPUtime=642.12
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 197962 0 0 0 64123 89 0 0 25 0 1 0 147572945 841732096 155155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 205501 155155 139 317 0 205180 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 822004


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=848328/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1176032 CPUtime=942.05
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 274304 0 0 0 94080 125 0 0 25 0 1 0 147572945 1204256768 216893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712495 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 294008 216893 139 317 0 293687 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1176032

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=807496/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1229924 CPUtime=1002.03
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 287051 0 0 0 100072 131 0 0 25 0 1 0 147572945 1259442176 226987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713793 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 307481 226987 139 317 0 307160 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1229924

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=765512/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1285036 CPUtime=1062.01
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 300704 0 0 0 106064 137 0 0 25 0 1 0 147572945 1315876864 237506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272552 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 321259 237506 139 317 0 320938 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1285036

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=720968/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1342648 CPUtime=1121.99
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 314833 0 0 0 112056 143 0 0 25 0 1 0 147572945 1374871552 248558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 335662 248558 139 317 0 335341 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1342648

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=675656/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1399732 CPUtime=1181.98
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 329637 0 0 0 118048 150 0 0 25 0 1 0 147572945 1433325568 259791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713807 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 349933 259791 139 317 0 349612 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1399732

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=628232/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1460324 CPUtime=1241.96
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 345322 0 0 0 124038 158 0 0 25 0 1 0 147572945 1495371776 271651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 365081 271651 139 317 0 364760 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1460324

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=585288/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1515024 CPUtime=1301.95
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 359267 0 0 0 130031 164 0 0 25 0 1 0 147572945 1551384576 282259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 378756 282259 139 317 0 378435 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1515024

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=539720/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1573848 CPUtime=1361.93
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 374272 0 0 0 136022 171 0 0 25 0 1 0 147572945 1611620352 293705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284208 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 393462 293705 139 317 0 393141 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1573848

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=484296/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1644156 CPUtime=1421.93
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 392360 0 0 0 142013 180 0 0 25 0 1 0 147572945 1683615744 307456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134559091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 411039 307456 139 317 0 410718 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1644156

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=470088/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1662344 CPUtime=1481.9
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 397469 0 0 0 148008 182 0 0 25 0 1 0 147572945 1702240256 311094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 415586 311094 139 317 0 415265 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1662344

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=446280/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1692092 CPUtime=1541.89
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 405127 0 0 0 154003 186 0 0 25 0 1 0 147572945 1732702208 316912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 423023 316912 139 317 0 422702 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1692092

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=421576/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1726004 CPUtime=1601.88
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 413575 0 0 0 159997 191 0 0 25 0 1 0 147572945 1767428096 323395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 431501 323395 139 317 0 431180 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1726004

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=397704/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1755528 CPUtime=1661.85
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 420993 0 0 0 165992 193 0 0 25 0 1 0 147572945 1797660672 329086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284196 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 438882 329086 139 317 0 438561 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1755528

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=372680/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1787860 CPUtime=1721.84
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 429032 0 0 0 171987 197 0 0 25 0 1 0 147572945 1830768640 335344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272619 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 446965 335344 139 317 0 446644 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1787860

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=345992/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1820952 CPUtime=1781.83
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 437533 0 0 0 177982 201 0 0 25 0 1 0 147572945 1864654848 341856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 455238 341856 139 317 0 454917 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1820952



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 26707
/proc/meminfo: memFree=340232/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=1828716 CPUtime=1800.02
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194304 439491 0 0 0 179801 201 0 0 25 0 1 0 147572945 1872605184 343314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 457179 343314 139 317 0 456858 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1828716

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 0.98 2/79 26708
/proc/meminfo: memFree=350784/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=0 CPUtime=1800.13
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194308 439510 0 0 0 179811 202 0 0 25 0 1 0 147572945 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.98 2/79 26708
/proc/meminfo: memFree=350784/2055920 swapFree=4159444/4192956
[pid=26704] ppid=26702 vsize=0 CPUtime=1800.32
/proc/26704/stat : 26704 (oree) R 26702 26704 25991 0 -1 4194308 439510 0 0 0 179811 221 0 0 25 0 1 0 147572945 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26704/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.35
CPU user time (s): 1798.11
CPU system time (s): 2.23766
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 1828848

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

runsolver used 2.12768 second user time and 4.27335 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Thu Apr 19 15:29:16 UTC 2007

IDJOB= 357390
IDBENCH= 2511
IDSOLVER= 172
FILE ID= node19/357390-1176996555

PBS_JOBID= 4630466

Free space on /tmp= 66448 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-swath.opb
COMMAND LINE= oree /tmp/evaluation/357390-1176996555/instance-357390-1176996555.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-357390-1176996555 -o ROOT/results/node19/solver-357390-1176996555 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357390-1176996555/instance-357390-1176996555.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  3553224658521cb15e26e6f30dd8f5c2

RANDOM SEED= 358402832

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1717984 kB
Buffers:         34812 kB
Cached:         214672 kB
SwapCached:       2320 kB
Active:         143040 kB
Inactive:       129348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1717984 kB
SwapTotal:     4192956 kB
SwapFree:      4159444 kB
Dirty:            2828 kB
Writeback:           0 kB
Mapped:          30864 kB
Slab:            51084 kB
Committed_AS:  3018596 kB
PageTables:       1784 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= 66448 MiB

End job on node19 on Thu Apr 19 15:59:18 UTC 2007