Trace number 362972

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.36 1801.14

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc205.opb
MD5SUM085f6c29f952ff5e0e711950d59893d5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables6090
Total number of constraints204
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints204
Minimum length of a constraint30
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524370
Number of bits of the biggest sum of numbers20
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.01/0.04	c ...done
0.01/0.04	c #vars=6090 #constraints=296 hasObjective=yes
0.01/0.05	c res. mode=mod
0.01/0.05	c VSIDS like heuristics
0.01/0.05	c complete search running
0.19/0.25	c restart after 401 decisions
0.19/0.29	c nbDecision=500 #constraints=587
0.49/0.50	c restart after 801 decisions
0.69/0.70	c nbDecision=1000 #constraints=913
1.39/1.48	c nbDecision=1500 #constraints=1407
1.59/1.67	c restart after 1601 decisions
2.09/2.18	c nbDecision=2000 #constraints=1863
3.19/3.20	c nbDecision=2500 #constraints=2361
4.69/4.75	c nbDecision=3000 #constraints=2862
5.49/5.57	c restart after 3201 decisions
7.09/7.10	c nbDecision=3500 #constraints=3325
9.99/10.01	c nbDecision=4000 #constraints=3825
12.89/12.94	c nbDecision=4500 #constraints=4323
16.88/16.90	c nbDecision=5000 #constraints=4818
22.09/22.14	c nbDecision=5500 #constraints=5310
27.88/27.96	c nbDecision=6000 #constraints=5807
31.68/31.79	c restart after 6401 decisions
33.57/33.69	c nbDecision=6500 #constraints=6277
42.57/42.67	c nbDecision=7000 #constraints=6773
53.67/53.78	c nbDecision=7500 #constraints=7273
64.97/65.05	c nbDecision=8000 #constraints=7768
73.76/73.87	c nbDecision=8500 #constraints=8263
87.17/87.27	c nbDecision=9000 #constraints=8757
101.46/101.53	c nbDecision=9500 #constraints=9252
114.66/114.74	c nbDecision=10000 #constraints=9750
131.15/131.27	c nbDecision=10500 #constraints=10249
155.15/155.23	c nbDecision=11000 #constraints=10738
176.14/176.25	c nbDecision=11500 #constraints=11230
202.42/202.58	c nbDecision=12000 #constraints=11722
224.72/224.90	c nbDecision=12500 #constraints=12213
240.11/240.21	c restart after 12801 decisions
241.61/241.79	c nbDecision=13000 #constraints=12529
242.22/242.36	c nbDecision=13500 #constraints=12975
243.12/243.24	c nbDecision=14000 #constraints=13468
244.42/244.51	c nbDecision=14500 #constraints=13966
246.01/246.15	c nbDecision=15000 #constraints=14463
248.11/248.24	c nbDecision=15500 #constraints=14963
251.02/251.17	c nbDecision=16000 #constraints=15460
254.41/254.58	c nbDecision=16500 #constraints=15955
258.51/258.60	c nbDecision=17000 #constraints=16452
263.41/263.52	c nbDecision=17500 #constraints=16943
269.01/269.10	c nbDecision=18000 #constraints=17433
274.70/274.87	c nbDecision=18500 #constraints=17930
280.51/280.61	c nbDecision=19000 #constraints=18419
286.70/286.85	c nbDecision=19500 #constraints=18910
296.69/296.87	c nbDecision=20000 #constraints=19400
305.80/305.94	c nbDecision=20500 #constraints=19893
316.70/316.85	c nbDecision=21000 #constraints=20391
326.99/327.15	c nbDecision=21500 #constraints=20887
339.08/339.25	c nbDecision=22000 #constraints=21385
350.89/351.02	c nbDecision=22500 #constraints=21879
362.88/363.01	c nbDecision=23000 #constraints=22372
372.87/373.04	c nbDecision=23500 #constraints=22875
385.07/385.20	c nbDecision=24000 #constraints=23371
403.66/403.88	c nbDecision=24500 #constraints=23864
419.97/420.15	c nbDecision=25000 #constraints=24361
438.55/438.79	c nbDecision=25500 #constraints=24860
442.06/442.24	c restart after 25601 decisions
447.65/447.86	c nbDecision=26000 #constraints=25309
453.56/453.71	c nbDecision=26500 #constraints=25797
458.05/458.21	c nbDecision=27000 #constraints=26295
465.44/465.65	c nbDecision=27500 #constraints=26781
470.75/470.97	c nbDecision=28000 #constraints=27277
478.04/478.26	c nbDecision=28500 #constraints=27771
485.74/485.91	c nbDecision=29000 #constraints=28273
491.24/491.43	c nbDecision=29500 #constraints=28766
499.73/499.99	c nbDecision=30000 #constraints=29257
507.14/507.34	c nbDecision=30500 #constraints=29754
516.93/517.11	c nbDecision=31000 #constraints=30254
524.43/524.70	c nbDecision=31500 #constraints=30746
533.13/533.38	c nbDecision=32000 #constraints=31248
541.12/541.38	c nbDecision=32500 #constraints=31740
548.42/548.63	c nbDecision=33000 #constraints=32240
554.72/554.94	c nbDecision=33500 #constraints=32739
565.12/565.34	c nbDecision=34000 #constraints=33234
577.41/577.65	c nbDecision=34500 #constraints=33728
589.21/589.46	c nbDecision=35000 #constraints=34228
599.41/599.66	c nbDecision=35500 #constraints=34727
610.90/611.15	c nbDecision=36000 #constraints=35225
620.70/620.98	c nbDecision=36500 #constraints=35723
632.20/632.42	c nbDecision=37000 #constraints=36223
642.10/642.31	c nbDecision=37500 #constraints=36724
648.89/649.12	c nbDecision=38000 #constraints=37223
656.49/656.70	c nbDecision=38500 #constraints=37722
678.78/679.02	c nbDecision=39000 #constraints=38221
698.48/698.74	c nbDecision=39500 #constraints=38721
712.08/712.36	c nbDecision=40000 #constraints=39217
726.77/727.08	c nbDecision=40500 #constraints=39714
737.46/737.73	c nbDecision=41000 #constraints=40214
746.67/746.97	c nbDecision=41500 #constraints=40715
765.86/766.10	c nbDecision=42000 #constraints=41214
784.75/785.09	c nbDecision=42500 #constraints=41713
797.25/797.50	c nbDecision=43000 #constraints=42214
807.85/808.10	c nbDecision=43500 #constraints=42709
831.04/831.34	c nbDecision=44000 #constraints=43206
847.84/848.10	c nbDecision=44500 #constraints=43706
857.93/858.30	c nbDecision=45000 #constraints=44207
881.22/881.50	c nbDecision=45500 #constraints=44705
896.51/896.84	c nbDecision=46000 #constraints=45205
916.51/916.88	c nbDecision=46500 #constraints=45702
930.98/931.30	c nbDecision=47000 #constraints=46203
944.56/944.94	c nbDecision=47500 #constraints=46704
958.12/958.55	c nbDecision=48000 #constraints=47204
971.62/972.07	c nbDecision=48500 #constraints=47704
984.20/984.66	c nbDecision=49000 #constraints=48202
994.29/994.71	c nbDecision=49500 #constraints=48702
1004.19/1004.62	c nbDecision=50000 #constraints=49204
1010.59/1011.10	c nbDecision=50500 #constraints=49703
1031.19/1031.62	c nbDecision=51000 #constraints=50197
1052.18/1052.65	c restart after 51201 decisions
1061.17/1061.69	c nbDecision=51500 #constraints=50655
1071.07/1071.60	c nbDecision=52000 #constraints=51154
1078.87/1079.38	c nbDecision=52500 #constraints=51654
1086.86/1087.34	c nbDecision=53000 #constraints=52154
1091.77/1092.21	c nbDecision=53500 #constraints=52595
1110.26/1110.78	c nbDecision=54000 #constraints=53068
1129.46/1129.91	c nbDecision=54500 #constraints=53562
1149.35/1149.90	c nbDecision=55000 #constraints=54063
1168.04/1168.56	c nbDecision=55500 #constraints=54560
1188.13/1188.65	c nbDecision=56000 #constraints=55060
1206.43/1206.91	c nbDecision=56500 #constraints=55558
1222.03/1222.59	c nbDecision=57000 #constraints=56053
1235.72/1236.22	c nbDecision=57500 #constraints=56551
1253.22/1253.73	c nbDecision=58000 #constraints=57047
1274.71/1275.20	c nbDecision=58500 #constraints=57543
1297.80/1298.33	c nbDecision=59000 #constraints=58041
1320.39/1320.94	c nbDecision=59500 #constraints=58541
1339.39/1339.98	c nbDecision=60000 #constraints=59041
1357.29/1357.83	c nbDecision=60500 #constraints=59535
1378.78/1379.38	c nbDecision=61000 #constraints=60035
1395.77/1396.32	c nbDecision=61500 #constraints=60537
1414.67/1415.27	c nbDecision=62000 #constraints=61032
1434.26/1434.88	c nbDecision=62500 #constraints=61530
1452.25/1452.88	c nbDecision=63000 #constraints=62026
1468.85/1469.42	c nbDecision=63500 #constraints=62524
1485.55/1486.13	c nbDecision=64000 #constraints=63021
1498.85/1499.44	c nbDecision=64500 #constraints=63518
1512.84/1513.42	c nbDecision=65000 #constraints=64014
1540.23/1540.82	c nbDecision=65500 #constraints=64512
1561.92/1562.55	c nbDecision=66000 #constraints=65010
1584.82/1585.45	c nbDecision=66500 #constraints=65508
1606.01/1606.69	c nbDecision=67000 #constraints=66006
1625.70/1626.37	c nbDecision=67500 #constraints=66507
1639.10/1639.76	c nbDecision=68000 #constraints=67003
1663.49/1664.12	c nbDecision=68500 #constraints=67494
1692.08/1692.76	c nbDecision=69000 #constraints=67992
1714.97/1715.66	c nbDecision=69500 #constraints=68490
1732.47/1733.12	c nbDecision=70000 #constraints=68986
1751.06/1751.73	c nbDecision=70500 #constraints=69489
1775.66/1776.38	c nbDecision=71000 #constraints=69984
1794.65/1795.30	c nbDecision=71500 #constraints=70485
1800.06/1800.70	Received signal 15
1800.25/1800.95	
1800.25/1800.95	s UNKNOWN
1800.25/1800.95	
1800.25/1800.95	c user time= 1799.76 s
1800.25/1800.95	c system time= 0.551916 s
1800.25/1800.95	c wall clock time=1800.95

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/node54/watcher-362972-1176849937 -o ROOT/results/node54/solver-362972-1176849937 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362972-1176849937/instance-362972-1176849937.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.97 0.98 3/66 11187
/proc/meminfo: memFree=1785280/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=1468 CPUtime=0
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 132368191 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 367 161 131 317 0 46 0

[startup+0.0212489 s]
/proc/loadavg: 0.99 0.97 0.98 3/66 11187
/proc/meminfo: memFree=1785280/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=1864 CPUtime=0.01
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 264 0 0 0 1 0 0 0 18 0 1 0 132368191 1908736 246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 466 246 131 317 0 145 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1864

[startup+0.102259 s]
/proc/loadavg: 0.99 0.97 0.98 3/66 11187
/proc/meminfo: memFree=1785280/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=3164 CPUtime=0.09
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 615 0 0 0 9 0 0 0 18 0 1 0 132368191 3239936 597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 791 597 139 317 0 470 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3164

[startup+0.302284 s]
/proc/loadavg: 0.99 0.97 0.98 3/66 11187
/proc/meminfo: memFree=1785280/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=3564 CPUtime=0.29
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 734 0 0 0 29 0 0 0 19 0 1 0 132368191 3649536 716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 891 716 170 317 0 570 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3564

[startup+0.702336 s]
/proc/loadavg: 0.99 0.97 0.98 3/66 11187
/proc/meminfo: memFree=1785280/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=4220 CPUtime=0.69
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 906 0 0 0 69 0 0 0 23 0 1 0 132368191 4321280 888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270583 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 1055 888 170 317 0 734 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4220

[startup+1.50144 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1781880/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=5460 CPUtime=1.49
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 1208 0 0 0 149 0 0 0 25 0 1 0 132368191 5591040 1190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 1365 1190 170 317 0 1044 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5460

[startup+3.10164 s]
/proc/loadavg: 0.99 0.97 0.98 3/67 11188
/proc/meminfo: memFree=1779832/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=8576 CPUtime=3.09
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 1972 0 0 0 309 0 0 0 25 0 1 0 132368191 8781824 1954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 2144 1954 170 317 0 1823 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8576

[startup+6.30105 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1775032/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=12116 CPUtime=6.29
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 2816 0 0 0 628 1 0 0 25 0 1 0 132368191 12406784 2798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 3029 2798 170 317 0 2708 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12116

[startup+12.7019 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1770680/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=16500 CPUtime=12.69
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 3868 0 0 0 1267 2 0 0 25 0 1 0 132368191 16896000 3850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 4125 3850 170 317 0 3804 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16500

[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1765048/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=22236 CPUtime=25.48
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 5175 0 0 0 2545 3 0 0 25 0 1 0 132368191 22769664 5157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 5559 5157 170 317 0 5238 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22236

[startup+51.1017 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1759160/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=28112 CPUtime=51.08
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 6658 0 0 0 5103 5 0 0 25 0 1 0 132368191 28786688 6640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 7028 6640 170 317 0 6707 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28112

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1750456/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=37324 CPUtime=102.26
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 8846 0 0 0 10220 6 0 0 25 0 1 0 132368191 38219776 8771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 9331 8771 170 317 0 9010 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 37324

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1744248/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=44608 CPUtime=162.24
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 10405 0 0 0 16216 8 0 0 25 0 1 0 132368191 45678592 10330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 11152 10330 170 317 0 10831 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 44608

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1739448/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=49008 CPUtime=222.22
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 11578 0 0 0 22213 9 0 0 25 0 1 0 132368191 50184192 11503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562700 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 12252 11503 170 317 0 11931 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49008

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1716920/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=72048 CPUtime=282.21
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 17337 0 0 0 28207 14 0 0 25 0 1 0 132368191 73777152 17149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 18012 17149 170 317 0 17691 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 72048

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1705592/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=84392 CPUtime=342.18
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 20122 0 0 0 34203 15 0 0 25 0 1 0 132368191 86417408 19934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 21098 19934 170 317 0 20777 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 84392

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1697656/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=93092 CPUtime=402.16
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 22395 0 0 0 40199 17 0 0 25 0 1 0 132368191 95326208 21910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 23273 21910 170 317 0 22952 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 93092

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1690232/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=100672 CPUtime=462.15
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 24427 0 0 0 46196 19 0 0 25 0 1 0 132368191 103088128 23744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 25168 23744 170 317 0 24847 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 100672

[startup+522.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1681272/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=111472 CPUtime=522.13
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 27143 0 0 0 52191 22 0 0 25 0 1 0 132368191 114147328 25998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 27868 25998 170 317 0 27547 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 111472

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1673656/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=120208 CPUtime=582.11
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 29495 0 0 0 58187 24 0 0 25 0 1 0 132368191 123092992 27860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 30052 27860 170 317 0 29731 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 120208

[startup+642.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11188
/proc/meminfo: memFree=1667192/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=126728 CPUtime=642.1
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 31258 0 0 0 64184 26 0 0 25 0 1 0 132368191 129769472 29458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 31682 29458 170 317 0 31361 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 126728


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/73 11296
/proc/meminfo: memFree=1643400/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=150564 CPUtime=941.96
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 37780 0 0 0 94162 34 0 0 25 0 1 0 132368191 154177536 35070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 37641 35070 170 317 0 37320 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 150564

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11386
/proc/meminfo: memFree=1638904/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=156812 CPUtime=1001.89
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 39550 0 0 0 100153 36 0 0 25 0 1 0 132368191 160575488 36450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 39203 36450 170 317 0 38882 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 156812

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11386
/proc/meminfo: memFree=1635064/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=160520 CPUtime=1061.87
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 40593 0 0 0 106150 37 0 0 25 0 1 0 132368191 164372480 37428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 40130 37428 170 317 0 39809 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 160520

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11386
/proc/meminfo: memFree=1627384/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=168460 CPUtime=1121.86
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 42597 0 0 0 112146 40 0 0 25 0 1 0 132368191 172503040 39301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 42115 39301 170 317 0 41794 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 168460

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11386
/proc/meminfo: memFree=1622712/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=173352 CPUtime=1181.84
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 43800 0 0 0 118143 41 0 0 25 0 1 0 132368191 177512448 40504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 43338 40504 170 317 0 43017 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 173352

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11386
/proc/meminfo: memFree=1616568/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=181496 CPUtime=1241.82
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 45741 0 0 0 124139 43 0 0 25 0 1 0 132368191 185851904 42016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 45374 42016 170 317 0 45053 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 181496

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11386
/proc/meminfo: memFree=1612472/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=185488 CPUtime=1301.8
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 46796 0 0 0 130137 43 0 0 25 0 1 0 132368191 189939712 43038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 46372 43038 170 317 0 46051 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 185488

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11386
/proc/meminfo: memFree=1607864/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=189812 CPUtime=1361.79
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 47962 0 0 0 136134 45 0 0 25 0 1 0 132368191 194367488 44204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 47453 44204 170 317 0 47132 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 189812

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11388
/proc/meminfo: memFree=1602872/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=195108 CPUtime=1421.77
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 49232 0 0 0 142131 46 0 0 25 0 1 0 132368191 199790592 45441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 48777 45441 170 317 0 48456 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 195108

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11388
/proc/meminfo: memFree=1597880/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=199596 CPUtime=1481.75
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 50494 0 0 0 148128 47 0 0 25 0 1 0 132368191 204386304 46703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554600 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 49899 46703 170 317 0 49578 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 199596

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11388
/proc/meminfo: memFree=1592952/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=204068 CPUtime=1541.73
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 51741 0 0 0 154125 48 0 0 25 0 1 0 132368191 208965632 47917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 51017 47917 170 317 0 50696 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 204068

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11388
/proc/meminfo: memFree=1586744/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=212600 CPUtime=1601.71
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 53982 0 0 0 160121 50 0 0 25 0 1 0 132368191 217702400 49411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 53150 49411 170 317 0 52829 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 212600

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11388
/proc/meminfo: memFree=1583992/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=215400 CPUtime=1661.69
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 54857 0 0 0 166118 51 0 0 25 0 1 0 132368191 220569600 50154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 53850 50154 170 317 0 53529 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 215400

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11388
/proc/meminfo: memFree=1580536/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=218932 CPUtime=1721.67
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 55788 0 0 0 172115 52 0 0 25 0 1 0 132368191 224186368 51019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 54733 51019 170 317 0 54412 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 218932

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11388
/proc/meminfo: memFree=1576120/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=225048 CPUtime=1781.66
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 57287 0 0 0 178112 54 0 0 25 0 1 0 132368191 230449152 52122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 56262 52122 170 317 0 55941 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 225048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11388
/proc/meminfo: memFree=1574392/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=226612 CPUtime=1800.06
/proc/11187/stat : 11187 (oree) R 11185 11187 10844 0 -1 4194304 57717 0 0 0 179951 55 0 0 25 0 1 0 132368191 232050688 52552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11187/statm: 56653 52552 170 317 0 56332 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 226612

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

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

[startup+1801 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11388
/proc/meminfo: memFree=1574392/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=0 CPUtime=1800.34
/proc/11187/stat : 11187 (oree) D 11185 11187 10844 0 -1 4194308 57736 0 0 0 179976 58 0 0 25 0 1 0 132368191 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100133566 0 0 17 1 0 0
/proc/11187/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0

[startup+1801.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 11388
/proc/meminfo: memFree=1574392/2055920 swapFree=4181256/4192956
[pid=11187] ppid=11185 vsize=0 CPUtime=1800.34
/proc/11187/stat : 11187 (oree) D 11185 11187 10844 0 -1 4194308 57736 0 0 0 179976 58 0 0 23 0 1 0 132368191 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100133566 0 0 17 0 0 0
/proc/11187/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.14
CPU time (s): 1800.36
CPU user time (s): 1799.77
CPU system time (s): 0.58891
CPU usage (%): 99.9564
Max. virtual memory (cumulated for all children) (KiB): 226612

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

runsolver used 1.77173 second user time and 4.80127 second system time

The end

Launcher Data (download as text)

Begin job on node54 on Tue Apr 17 22:45:37 UTC 2007

IDJOB= 362972
IDBENCH= 1701
IDSOLVER= 172
FILE ID= node54/362972-1176849937

PBS_JOBID= 4590190

Free space on /tmp= 66340 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc205.opb
COMMAND LINE= oree /tmp/evaluation/362972-1176849937/instance-362972-1176849937.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node54/watcher-362972-1176849937 -o ROOT/results/node54/solver-362972-1176849937 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/362972-1176849937/instance-362972-1176849937.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  085f6c29f952ff5e0e711950d59893d5

RANDOM SEED= 836077273

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node54.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.234
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.234
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:       1785688 kB
Buffers:         19676 kB
Cached:         200580 kB
SwapCached:       5028 kB
Active:          48520 kB
Inactive:       182624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1785688 kB
SwapTotal:     4192956 kB
SwapFree:      4181256 kB
Dirty:            1468 kB
Writeback:           0 kB
Mapped:          15648 kB
Slab:            25064 kB
Committed_AS:  2018852 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66340 MiB

End job on node54 on Tue Apr 17 23:15:40 UTC 2007