Trace number 357060

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.21 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-opt1217.opb
MD5SUM0d06ca66c5954e6533e2fcc6f3f13fb8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-16384
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16384
Optimality of the best value was proved NO
Number of variables787
Total number of constraints65
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint16
Maximum length of a constraint67
Number of terms in the objective function 19
Biggest coefficient in the objective function 262144
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524287
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 393216
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 917503
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.00/0.00	c ...done
0.00/0.00	c #vars=787 #constraints=114 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.39/0.42	c restart after 401 decisions
0.49/0.51	c nbDecision=500 #constraints=538
0.99/1.07	c restart after 801 decisions
1.29/1.38	c nbDecision=1000 #constraints=1008
2.68/2.71	c nbDecision=1500 #constraints=1498
2.99/3.03	c restart after 1601 decisions
4.59/4.68	c nbDecision=2000 #constraints=1961
7.79/7.89	c nbDecision=2500 #constraints=2444
11.69/11.75	c nbDecision=3000 #constraints=2933
13.29/13.38	c restart after 3201 decisions
16.28/16.33	c nbDecision=3500 #constraints=3385
22.78/22.87	c nbDecision=4000 #constraints=3863
29.98/30.04	c nbDecision=4500 #constraints=4339
36.98/37.02	c nbDecision=5000 #constraints=4838
44.58/44.68	c nbDecision=5500 #constraints=5326
53.68/53.71	c nbDecision=6000 #constraints=5821
63.78/63.86	c restart after 6401 decisions
65.28/65.30	c nbDecision=6500 #constraints=6251
78.47/78.53	c nbDecision=7000 #constraints=6748
91.36/91.40	c nbDecision=7500 #constraints=7245
104.86/104.94	c nbDecision=8000 #constraints=7743
119.76/119.83	c nbDecision=8500 #constraints=8234
135.56/135.68	c nbDecision=9000 #constraints=8720
153.45/153.54	c nbDecision=9500 #constraints=9179
169.94/170.09	c nbDecision=10000 #constraints=9665
189.05/189.19	c nbDecision=10500 #constraints=10160
204.34/204.47	c nbDecision=11000 #constraints=10656
221.64/221.70	c nbDecision=11500 #constraints=11153
240.03/240.12	c nbDecision=12000 #constraints=11640
259.53/259.62	c nbDecision=12500 #constraints=12137
272.42/272.53	c restart after 12801 decisions
280.82/281.00	c nbDecision=13000 #constraints=12588
303.71/303.81	c nbDecision=13500 #constraints=13077
325.21/325.35	c nbDecision=14000 #constraints=13560
349.40/349.59	c nbDecision=14500 #constraints=14004
371.30/371.43	c nbDecision=15000 #constraints=14437
397.99/398.13	c nbDecision=15500 #constraints=14932
426.48/426.68	c nbDecision=16000 #constraints=15419
455.58/455.79	c nbDecision=16500 #constraints=15884
483.57/483.71	c nbDecision=17000 #constraints=16377
514.96/515.17	c nbDecision=17500 #constraints=16874
548.56/548.70	c nbDecision=18000 #constraints=17342
578.04/578.25	c nbDecision=18500 #constraints=17817
612.54/612.78	c nbDecision=19000 #constraints=18307
648.53/648.76	c nbDecision=19500 #constraints=18790
685.42/685.62	c nbDecision=20000 #constraints=19287
720.61/720.84	c nbDecision=20500 #constraints=19784
758.70/758.97	c nbDecision=21000 #constraints=20283
795.69/795.93	c nbDecision=21500 #constraints=20777
833.18/833.42	c nbDecision=22000 #constraints=21272
873.67/873.92	c nbDecision=22500 #constraints=21766
912.16/912.42	c nbDecision=23000 #constraints=22259
959.15/959.49	c nbDecision=23500 #constraints=22751
1006.44/1006.77	c nbDecision=24000 #constraints=23245
1056.83/1057.17	c nbDecision=24500 #constraints=23740
1103.72/1104.00	c nbDecision=25000 #constraints=24238
1154.93/1155.36	c nbDecision=25500 #constraints=24733
1164.31/1164.80	c restart after 25601 decisions
1206.08/1206.55	c nbDecision=26000 #constraints=25188
1258.97/1259.43	c nbDecision=26500 #constraints=25686
1313.66/1314.18	c nbDecision=27000 #constraints=26186
1371.35/1371.88	c nbDecision=27500 #constraints=26679
1430.64/1431.14	c nbDecision=28000 #constraints=27169
1493.52/1494.09	c nbDecision=28500 #constraints=27664
1547.30/1547.88	c nbDecision=29000 #constraints=28156
1607.29/1607.84	c nbDecision=29500 #constraints=28648
1661.68/1662.28	c nbDecision=30000 #constraints=29135
1734.26/1734.89	c nbDecision=30500 #constraints=29630
1800.04/1800.60	Received signal 15
1800.14/1800.73	
1800.14/1800.73	s UNKNOWN
1800.14/1800.73	
1800.14/1800.73	c user time= 1799.79 s
1800.14/1800.73	c system time= 0.38894 s
1800.14/1800.73	c wall clock time=1800.73

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/node4/watcher-357060-1176853331 -o ROOT/results/node4/solver-357060-1176853331 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357060-1176853331/instance-357060-1176853331.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.92 0.99 0.99 3/77 26264
/proc/meminfo: memFree=1827536/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=1468 CPUtime=0
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 161370859 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 367 166 131 317 0 46 0

[startup+0.0159721 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 26264
/proc/meminfo: memFree=1827536/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=1600 CPUtime=0.01
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 233 0 0 0 1 0 0 0 18 0 1 0 161370859 1638400 215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563718 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 400 215 139 317 0 79 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1600

[startup+0.10198 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 26264
/proc/meminfo: memFree=1827536/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=1864 CPUtime=0.09
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 293 0 0 0 9 0 0 0 18 0 1 0 161370859 1908736 275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 466 275 139 317 0 145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1864

[startup+0.301999 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 26264
/proc/meminfo: memFree=1827536/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=2392 CPUtime=0.29
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 433 0 0 0 29 0 0 0 19 0 1 0 161370859 2449408 415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 598 415 139 317 0 277 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2392

[startup+0.701037 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 26264
/proc/meminfo: memFree=1827536/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=3316 CPUtime=0.69
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 660 0 0 0 69 0 0 0 22 0 1 0 161370859 3395584 642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279022 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 829 642 139 317 0 508 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3316

[startup+1.50111 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1824968/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=4616 CPUtime=1.49
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 960 0 0 0 149 0 0 0 25 0 1 0 161370859 4726784 942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 1154 942 139 317 0 833 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4616

[startup+3.10127 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1823112/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=6624 CPUtime=3.09
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 1467 0 0 0 308 1 0 0 25 0 1 0 161370859 6782976 1449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 1656 1449 139 317 0 1335 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6624

[startup+6.30157 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1820744/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=9096 CPUtime=6.29
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 1989 0 0 0 628 1 0 0 25 0 1 0 161370859 9314304 1971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 2274 1971 139 317 0 1953 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9096

[startup+12.7012 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1817480/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=11584 CPUtime=12.69
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 2654 0 0 0 1267 2 0 0 25 0 1 0 161370859 11862016 2636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 2896 2636 139 317 0 2575 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11584

[startup+25.5014 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1814088/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=14604 CPUtime=25.48
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 3452 0 0 0 2545 3 0 0 25 0 1 0 161370859 14954496 3434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 3651 3434 139 317 0 3330 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14604

[startup+51.1019 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1807624/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=21632 CPUtime=51.08
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 5076 0 0 0 5103 5 0 0 25 0 1 0 161370859 22151168 5058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 5408 5058 139 317 0 5087 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21632

[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1800840/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=28044 CPUtime=102.27
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 6736 0 0 0 10221 6 0 0 25 0 1 0 161370859 28717056 6718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 7011 6718 139 317 0 6690 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28044

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1793352/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=36896 CPUtime=162.25
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 8648 0 0 0 16217 8 0 0 25 0 1 0 161370859 37781504 8573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 9224 8573 139 317 0 8903 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 36896

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1786248/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=44172 CPUtime=222.24
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 10395 0 0 0 22214 10 0 0 25 0 1 0 161370859 45232128 10320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 11043 10320 139 317 0 10722 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 44172

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1780168/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=49836 CPUtime=282.22
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 11907 0 0 0 28211 11 0 0 25 0 1 0 161370859 51032064 11832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 12459 11832 139 317 0 12138 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49836

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1775048/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=54608 CPUtime=342.2
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 13204 0 0 0 34207 13 0 0 25 0 1 0 161370859 55918592 13129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 13652 13129 170 317 0 13331 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 54608

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1771272/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=57924 CPUtime=402.19
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 14127 0 0 0 40205 14 0 0 25 0 1 0 161370859 59314176 14052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 14481 14052 170 317 0 14160 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 57924

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1767688/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=61484 CPUtime=462.17
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 15014 0 0 0 46202 15 0 0 25 0 1 0 161370859 62959616 14939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 15371 14939 170 317 0 15050 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 61484

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1763592/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=69784 CPUtime=522.16
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 16869 0 0 0 52200 16 0 0 25 0 1 0 161370859 71458816 15954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563429 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 17446 15954 170 317 0 17125 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 69784

[startup+582.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1760072/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=73588 CPUtime=582.14
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 17835 0 0 0 58197 17 0 0 25 0 1 0 161370859 75354112 16821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 18397 16821 170 317 0 18076 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 73588

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1756616/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=76732 CPUtime=642.13
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 18711 0 0 0 64195 18 0 0 25 0 1 0 161370859 78573568 17664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 19183 17664 170 317 0 18862 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 76732


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1742920/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=90368 CPUtime=882.07
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 22081 0 0 0 88184 23 0 0 25 0 1 0 161370859 92536832 21034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 22592 21034 170 317 0 22271 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 90368

[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1739848/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=93140 CPUtime=942.06
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 22841 0 0 0 94181 25 0 0 25 0 1 0 161370859 95375360 21794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 23285 21794 170 317 0 22964 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 93140

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1736968/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=95652 CPUtime=1002.04
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 23524 0 0 0 100178 26 0 0 25 0 1 0 161370859 97947648 22477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 23913 22477 170 317 0 23592 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 95652

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1734536/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=98248 CPUtime=1062.03
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 24249 0 0 0 106176 27 0 0 25 0 1 0 161370859 100605952 23103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563374 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 24562 23103 170 317 0 24241 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 98248

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 26265
/proc/meminfo: memFree=1731720/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=100884 CPUtime=1122.02
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 24930 0 0 0 112174 28 0 0 25 0 1 0 161370859 103305216 23784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 25221 23784 170 317 0 24900 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 100884

[startup+1182.3 s]
/proc/loadavg: 1.17 1.03 1.01 2/84 26443
/proc/meminfo: memFree=1727832/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=102992 CPUtime=1181.9
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 25534 0 0 0 118161 29 0 0 25 0 1 0 161370859 105463808 24388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 25748 24388 170 317 0 25427 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 102992

[startup+1242.3 s]
/proc/loadavg: 1.11 1.04 1.01 2/78 26463
/proc/meminfo: memFree=1726728/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=105084 CPUtime=1241.88
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 26107 0 0 0 124158 30 0 0 25 0 1 0 161370859 107606016 24961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 26271 24961 170 317 0 25950 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 105084

[startup+1302.3 s]
/proc/loadavg: 1.08 1.04 1.01 2/78 26463
/proc/meminfo: memFree=1723976/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=107592 CPUtime=1301.87
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 26758 0 0 0 130156 31 0 0 25 0 1 0 161370859 110174208 25612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 26898 25612 170 317 0 26577 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 107592

[startup+1362.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 26463
/proc/meminfo: memFree=1721928/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=109552 CPUtime=1361.85
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 27283 0 0 0 136153 32 0 0 25 0 1 0 161370859 112181248 26137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 27388 26137 170 317 0 27067 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 109552

[startup+1422.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 26463
/proc/meminfo: memFree=1719496/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=111668 CPUtime=1421.84
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 27877 0 0 0 142151 33 0 0 25 0 1 0 161370859 114348032 26731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 27917 26731 170 317 0 27596 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 111668

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 26463
/proc/meminfo: memFree=1717320/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=114160 CPUtime=1481.82
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 28419 0 0 0 148148 34 0 0 25 0 1 0 161370859 116899840 27273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 28540 27273 170 317 0 28219 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 114160

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 26463
/proc/meminfo: memFree=1714696/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=116516 CPUtime=1541.8
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 29047 0 0 0 154145 35 0 0 25 0 1 0 161370859 119312384 27901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 29129 27901 170 317 0 28808 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 116516

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 3/78 26463
/proc/meminfo: memFree=1712264/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=118616 CPUtime=1601.79
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 29637 0 0 0 160143 36 0 0 25 0 1 0 161370859 121462784 28491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 29654 28491 170 317 0 29333 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 118616

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26463
/proc/meminfo: memFree=1709576/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=121020 CPUtime=1661.78
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 30290 0 0 0 166141 37 0 0 25 0 1 0 161370859 123924480 29144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 30255 29144 170 317 0 29934 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 121020

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26463
/proc/meminfo: memFree=1707720/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=122588 CPUtime=1721.75
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 30736 0 0 0 172138 37 0 0 25 0 1 0 161370859 125530112 29590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 30647 29590 170 317 0 30326 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 122588

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26463
/proc/meminfo: memFree=1706312/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=123908 CPUtime=1781.74
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 31063 0 0 0 178136 38 0 0 25 0 1 0 161370859 126881792 29917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 30977 29917 170 317 0 30656 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 123908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 26463
/proc/meminfo: memFree=1705864/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=124172 CPUtime=1800.04
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 31173 0 0 0 179966 38 0 0 25 0 1 0 161370859 127152128 30027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 31043 30027 170 317 0 30722 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 124172

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 26463
/proc/meminfo: memFree=1705864/2055920 swapFree=4153860/4192956
[pid=26264] ppid=26262 vsize=124172 CPUtime=1800.14
/proc/26264/stat : 26264 (oree) R 26262 26264 25635 0 -1 4194304 31173 0 0 0 179976 38 0 0 25 0 1 0 161370859 127152128 30027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26264/statm: 31043 30027 170 317 0 30722 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 124172

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.21
CPU user time (s): 1799.8
CPU system time (s): 0.409937
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 124172

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

runsolver used 2.16267 second user time and 4.36634 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Tue Apr 17 23:42:11 UTC 2007

IDJOB= 357060
IDBENCH= 1877
IDSOLVER= 172
FILE ID= node4/357060-1176853331

PBS_JOBID= 4590189

Free space on /tmp= 66496 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0d06ca66c5954e6533e2fcc6f3f13fb8

RANDOM SEED= 433386027

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
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:       1827944 kB
Buffers:         15056 kB
Cached:         139144 kB
SwapCached:       2268 kB
Active:          41916 kB
Inactive:       135656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1827944 kB
SwapTotal:     4192956 kB
SwapFree:      4153860 kB
Dirty:            1344 kB
Writeback:           0 kB
Mapped:          31088 kB
Slab:            35876 kB
Committed_AS:  5222904 kB
PageTables:       1820 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= 66496 MiB

End job on node4 on Wed Apr 18 00:12:14 UTC 2007