Trace number 356976

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.28 1800.92

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-scagr7.opb
MD5SUM898083402c7ca4355f8e4024f5c352c7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark472
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 472
Optimality of the best value was proved NO
Number of variables4200
Total number of constraints129
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 constraints129
Minimum length of a constraint30
Maximum length of a constraint300
Number of terms in the objective function 3990
Biggest coefficient in the objective function 14255
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 527499
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262051
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527499
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.05	c ...done
0.00/0.05	c #vars=4200 #constraints=214 hasObjective=yes
0.04/0.08	c res. mode=mod
0.04/0.08	c VSIDS like heuristics
0.04/0.08	c complete search running
0.69/0.79	c restart after 401 decisions
0.79/0.81	c nbDecision=500 #constraints=491
1.69/1.79	c restart after 801 decisions
2.09/2.15	c nbDecision=1000 #constraints=838
4.79/4.84	c nbDecision=1500 #constraints=1338
5.40/5.50	c restart after 1601 decisions
7.49/7.54	c nbDecision=2000 #constraints=1710
11.88/11.97	c nbDecision=2500 #constraints=2212
17.18/17.27	c nbDecision=3000 #constraints=2711
19.58/19.67	c restart after 3201 decisions
22.09/22.18	c nbDecision=3500 #constraints=3086
29.48/29.51	c nbDecision=4000 #constraints=3582
37.57/37.66	c nbDecision=4500 #constraints=4087
46.57/46.68	c nbDecision=5000 #constraints=4586
57.17/57.28	c nbDecision=5500 #constraints=5087
67.87/67.98	c nbDecision=6000 #constraints=5584
77.87/77.95	c restart after 6401 decisions
78.67/78.71	c nbDecision=6500 #constraints=5986
91.17/91.25	c nbDecision=7000 #constraints=6463
104.95/105.09	c nbDecision=7500 #constraints=6959
120.25/120.34	c nbDecision=8000 #constraints=7461
136.85/136.90	c nbDecision=8500 #constraints=7960
154.65/154.72	c nbDecision=9000 #constraints=8460
172.84/172.97	c nbDecision=9500 #constraints=8961
192.63/192.74	c nbDecision=10000 #constraints=9461
213.02/213.17	c nbDecision=10500 #constraints=9959
234.72/234.90	c nbDecision=11000 #constraints=10458
258.21/258.33	c nbDecision=11500 #constraints=10960
282.62/282.77	c nbDecision=12000 #constraints=11462
308.40/308.51	c nbDecision=12500 #constraints=11963
323.90/324.05	c restart after 12801 decisions
329.90/330.04	c nbDecision=13000 #constraints=12340
356.29/356.48	c nbDecision=13500 #constraints=12838
383.88/384.03	c nbDecision=14000 #constraints=13341
412.97/413.10	c nbDecision=14500 #constraints=13838
443.56/443.70	c nbDecision=15000 #constraints=14339
474.15/474.32	c nbDecision=15500 #constraints=14839
506.24/506.40	c nbDecision=16000 #constraints=15339
539.56/539.88	c nbDecision=16500 #constraints=15837
573.60/573.99	c nbDecision=17000 #constraints=16341
609.60/609.97	c nbDecision=17500 #constraints=16841
645.99/646.35	c nbDecision=18000 #constraints=17340
683.87/684.28	c nbDecision=18500 #constraints=17841
722.37/722.73	c nbDecision=19000 #constraints=18340
761.05/761.43	c nbDecision=19500 #constraints=18838
801.84/802.23	c nbDecision=20000 #constraints=19341
843.23/843.61	c nbDecision=20500 #constraints=19841
886.41/886.88	c nbDecision=21000 #constraints=20339
931.31/931.79	c nbDecision=21500 #constraints=20840
977.49/977.91	c nbDecision=22000 #constraints=21343
1022.68/1023.15	c nbDecision=22500 #constraints=21841
1070.06/1070.54	c nbDecision=23000 #constraints=22339
1119.84/1120.31	c nbDecision=23500 #constraints=22842
1169.23/1169.75	c nbDecision=24000 #constraints=23343
1219.52/1220.01	c nbDecision=24500 #constraints=23843
1268.80/1269.39	c nbDecision=25000 #constraints=24336
1320.09/1320.67	c nbDecision=25500 #constraints=24838
1330.69/1331.29	c restart after 25601 decisions
1363.17/1363.78	c nbDecision=26000 #constraints=25213
1419.06/1419.63	c nbDecision=26500 #constraints=25719
1472.15/1472.72	c nbDecision=27000 #constraints=26213
1529.33/1529.93	c nbDecision=27500 #constraints=26716
1587.11/1587.77	c nbDecision=28000 #constraints=27212
1645.20/1645.84	c nbDecision=28500 #constraints=27713
1704.98/1705.64	c nbDecision=29000 #constraints=28218
1767.36/1768.01	c nbDecision=29500 #constraints=28717
1800.06/1800.71	Received signal 15
1800.16/1800.86	
1800.16/1800.86	s UNKNOWN
1800.16/1800.86	
1800.16/1800.86	c user time= 1799.69 s
1800.16/1800.86	c system time= 0.532918 s
1800.16/1800.86	c wall clock time=1800.86

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/node71/watcher-356976-1176850351 -o ROOT/results/node71/solver-356976-1176850351 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356976-1176850351/instance-356976-1176850351.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.91 0.97 0.99 3/64 18158
/proc/meminfo: memFree=1797576/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=1620 CPUtime=0
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 161024423 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 405 174 126 317 0 84 0

[startup+0.0537719 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 18158
/proc/meminfo: memFree=1797576/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=3000 CPUtime=0.04
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 559 0 0 0 4 0 0 0 18 0 1 0 161024423 3072000 541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 750 541 137 317 0 429 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3000

[startup+0.101778 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 18158
/proc/meminfo: memFree=1797576/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=3264 CPUtime=0.09
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 644 0 0 0 9 0 0 0 18 0 1 0 161024423 3342336 626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 816 626 139 317 0 495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3264

[startup+0.301805 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 18158
/proc/meminfo: memFree=1797576/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=4312 CPUtime=0.29
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 884 0 0 0 29 0 0 0 20 0 1 0 161024423 4415488 866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713829 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 1078 866 139 317 0 757 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4312

[startup+0.70186 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 18158
/proc/meminfo: memFree=1797576/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=5760 CPUtime=0.69
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 1265 0 0 0 69 0 0 0 24 0 1 0 161024423 5898240 1247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 1440 1247 139 317 0 1119 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5760

[startup+1.50197 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 18159
/proc/meminfo: memFree=1791808/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=8244 CPUtime=1.49
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 1896 0 0 0 148 1 0 0 25 0 1 0 161024423 8441856 1878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 2061 1878 139 317 0 1740 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8244

[startup+3.10119 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 18159
/proc/meminfo: memFree=1788288/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=12212 CPUtime=3.09
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 2888 0 0 0 307 2 0 0 25 0 1 0 161024423 12505088 2870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 3053 2870 139 317 0 2732 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12212

[startup+6.30162 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 18159
/proc/meminfo: memFree=1781632/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=18564 CPUtime=6.29
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 4320 0 0 0 626 3 0 0 25 0 1 0 161024423 19009536 4302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 4641 4302 139 317 0 4320 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18564

[startup+12.7015 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 18159
/proc/meminfo: memFree=1774088/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=28764 CPUtime=12.69
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 6622 0 0 0 1264 5 0 0 25 0 1 0 161024423 29454336 6604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 7191 6604 139 317 0 6870 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28764

[startup+25.5012 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 18159
/proc/meminfo: memFree=1761352/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=37812 CPUtime=25.48
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 9144 0 0 0 2542 6 0 0 25 0 1 0 161024423 38719488 9126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 9453 9126 139 317 0 9132 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37812

[startup+51.1017 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 18159
/proc/meminfo: memFree=1743560/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=58184 CPUtime=51.08
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 13582 0 0 0 5098 10 0 0 25 0 1 0 161024423 59580416 13564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 14546 13564 139 317 0 14225 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 58184

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 18159
/proc/meminfo: memFree=1723400/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=76124 CPUtime=102.26
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 18576 0 0 0 10213 13 0 0 25 0 1 0 161024423 77950976 18558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 19031 18558 139 317 0 18710 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 76124

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18159
/proc/meminfo: memFree=1699464/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=106888 CPUtime=162.24
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 24626 0 0 0 16207 17 0 0 25 0 1 0 161024423 109453312 24550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 26722 24550 139 317 0 26401 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 106888

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18159
/proc/meminfo: memFree=1684616/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=120424 CPUtime=222.23
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 28292 0 0 0 22202 21 0 0 25 0 1 0 161024423 123314176 28216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 30106 28216 139 317 0 29785 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 120424

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18159
/proc/meminfo: memFree=1672456/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=131544 CPUtime=282.21
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 31333 0 0 0 28198 23 0 0 25 0 1 0 161024423 134701056 31257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 32886 31257 139 317 0 32565 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 131544

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18159
/proc/meminfo: memFree=1661128/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=141224 CPUtime=342.19
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 34152 0 0 0 34195 24 0 0 25 0 1 0 161024423 144613376 34076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 35306 34076 139 317 0 34985 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 141224

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18159
/proc/meminfo: memFree=1650696/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=150668 CPUtime=402.17
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 36770 0 0 0 40192 25 0 0 25 0 1 0 161024423 154284032 36694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 37667 36694 139 317 0 37346 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 150668

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18159
/proc/meminfo: memFree=1640904/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=159456 CPUtime=462.15
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 39180 0 0 0 46188 27 0 0 25 0 1 0 161024423 163282944 39104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 39864 39104 139 317 0 39543 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 159456

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 18233
/proc/meminfo: memFree=1631104/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=167568 CPUtime=522.1
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 41464 0 0 0 52181 29 0 0 25 0 1 0 161024423 171589632 41388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 41892 41388 139 317 0 41571 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 167568

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1623496/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=175708 CPUtime=582.01
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 43512 0 0 0 58170 31 0 0 25 0 1 0 161024423 179924992 43436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 43927 43436 139 317 0 43606 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 175708

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1608392/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=211872 CPUtime=641.99
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 51185 0 0 0 64165 34 0 0 25 0 1 0 161024423 216956928 47167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 52968 47167 139 317 0 52647 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 211872


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1571208/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=244548 CPUtime=941.9
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 60463 0 0 0 94149 41 0 0 25 0 1 0 161024423 250417152 56445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 61137 56445 139 317 0 60816 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 244548

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1564616/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=250328 CPUtime=1001.88
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 62089 0 0 0 100147 41 0 0 25 0 1 0 161024423 256335872 58071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 62582 58071 139 317 0 62261 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 250328

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1557768/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=255824 CPUtime=1061.87
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 63818 0 0 0 106144 43 0 0 25 0 1 0 161024423 261963776 59800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 63956 59800 139 317 0 63635 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 255824

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1551688/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=261076 CPUtime=1121.84
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 65346 0 0 0 112141 43 0 0 25 0 1 0 161024423 267341824 61328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 65269 61328 139 317 0 64948 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 261076

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1545736/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=266420 CPUtime=1181.83
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 66841 0 0 0 118139 44 0 0 25 0 1 0 161024423 272814080 62823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 66605 62823 139 317 0 66284 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 266420

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1539720/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=271636 CPUtime=1241.81
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 68327 0 0 0 124136 45 0 0 25 0 1 0 161024423 278155264 64309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 67909 64309 139 317 0 67588 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 271636

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1533832/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=276716 CPUtime=1301.8
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 69809 0 0 0 130134 46 0 0 25 0 1 0 161024423 283357184 65791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 69179 65791 139 317 0 68858 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 276716

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1528392/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=281584 CPUtime=1361.77
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 71175 0 0 0 136131 46 0 0 25 0 1 0 161024423 288342016 67157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 70396 67157 139 317 0 70075 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 281584

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1522824/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=286316 CPUtime=1421.76
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 72543 0 0 0 142129 47 0 0 25 0 1 0 161024423 293187584 68525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 71579 68525 139 317 0 71258 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 286316

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1517256/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=291064 CPUtime=1481.74
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 73931 0 0 0 148126 48 0 0 25 0 1 0 161024423 298049536 69913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 72766 69913 139 317 0 72445 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 291064

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1511880/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=295644 CPUtime=1541.73
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 75261 0 0 0 154124 49 0 0 25 0 1 0 161024423 302739456 71243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 73911 71243 139 317 0 73590 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 295644

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1506696/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=300096 CPUtime=1601.7
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 76572 0 0 0 160121 49 0 0 25 0 1 0 161024423 307298304 72554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 75024 72554 139 317 0 74703 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 300096

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1501512/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=304564 CPUtime=1661.69
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 77869 0 0 0 166119 50 0 0 25 0 1 0 161024423 311873536 73851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 76141 73851 139 317 0 75820 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 304564

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1496456/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=309144 CPUtime=1721.67
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 79170 0 0 0 172116 51 0 0 25 0 1 0 161024423 316563456 75119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 77286 75119 139 317 0 76965 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 309144

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1491592/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=313348 CPUtime=1781.65
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 80390 0 0 0 178113 52 0 0 25 0 1 0 161024423 320868352 76339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602407 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 78337 76339 139 317 0 78016 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1489544/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=314656 CPUtime=1800.06
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 80878 0 0 0 179953 53 0 0 25 0 1 0 161024423 322207744 76827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 78664 76827 139 317 0 78343 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 314656

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1489544/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=314656 CPUtime=1800.16
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194304 80882 0 0 0 179963 53 0 0 25 0 1 0 161024423 322207744 76831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 78664 76831 139 317 0 78343 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 314656

[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 18357
/proc/meminfo: memFree=1489544/2055920 swapFree=4184232/4192956
[pid=18158] ppid=18156 vsize=0 CPUtime=1800.25
/proc/18158/stat : 18158 (oree) R 18156 18158 17243 0 -1 4194308 80898 0 0 0 179969 56 0 0 25 0 1 0 161024423 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18158/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.28
CPU user time (s): 1799.69
CPU system time (s): 0.583911
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 314656

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

runsolver used 1.2858 second user time and 3.69844 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Tue Apr 17 22:52:31 UTC 2007

IDJOB= 356976
IDBENCH= 1714
IDSOLVER= 172
FILE ID= node71/356976-1176850351

PBS_JOBID= 4590177

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  898083402c7ca4355f8e4024f5c352c7

RANDOM SEED= 33275883

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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:       1797984 kB
Buffers:         20288 kB
Cached:         174004 kB
SwapCached:       2772 kB
Active:          55356 kB
Inactive:       148700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797984 kB
SwapTotal:     4192956 kB
SwapFree:      4184232 kB
Dirty:            1452 kB
Writeback:           0 kB
Mapped:          15788 kB
Slab:            39908 kB
Committed_AS:  2502464 kB
PageTables:       1448 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= 66502 MiB

End job on node71 on Tue Apr 17 23:22:34 UTC 2007