Trace number 357231

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.7 1801.16

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n370e.opb
MD5SUM2ed7df63a411bcdd93a5895df0fcaa15
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4571140278
Best CPU time to get the best result obtained on this benchmark1804.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4571140278
Optimality of the best value was proved NO
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29700464693312
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29700464693312
Number of bits of the biggest sum of numbers45
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...
2.29/2.35	c ...done
2.29/2.35	c #vars=155000 #constraints=5301 hasObjective=yes
4.19/4.26	c res. mode=mod
4.19/4.26	c VSIDS like heuristics
4.19/4.26	c complete search running
5.50/5.55	c restart after 401 decisions
5.69/5.77	c nbDecision=500 #constraints=5301
6.39/6.43	c restart after 801 decisions
6.79/6.87	c nbDecision=1000 #constraints=5301
7.89/7.99	c nbDecision=1500 #constraints=5301
8.19/8.22	c restart after 1601 decisions
9.09/9.13	c nbDecision=2000 #constraints=5301
10.19/10.27	c nbDecision=2500 #constraints=5301
11.29/11.38	c nbDecision=3000 #constraints=5301
11.79/11.84	c restart after 3201 decisions
12.49/12.53	c nbDecision=3500 #constraints=5301
13.59/13.67	c nbDecision=4000 #constraints=5301
14.79/14.80	c nbDecision=4500 #constraints=5301
15.89/15.93	c nbDecision=5000 #constraints=5301
16.99/17.07	c nbDecision=5500 #constraints=5301
18.09/18.19	c nbDecision=6000 #constraints=5301
19.09/19.10	c restart after 6401 decisions
19.29/19.32	c nbDecision=6500 #constraints=5301
20.39/20.44	c nbDecision=7000 #constraints=5301
21.49/21.53	c nbDecision=7500 #constraints=5301
22.59/22.65	c nbDecision=8000 #constraints=5301
23.69/23.77	c nbDecision=8500 #constraints=5301
24.89/24.90	c nbDecision=9000 #constraints=5301
25.99/26.02	c nbDecision=9500 #constraints=5301
27.09/27.14	c nbDecision=10000 #constraints=5301
28.19/28.29	c nbDecision=10500 #constraints=5302
29.38/29.40	c nbDecision=11000 #constraints=5302
30.48/30.53	c nbDecision=11500 #constraints=5302
31.58/31.66	c nbDecision=12000 #constraints=5302
32.78/32.82	c nbDecision=12500 #constraints=5303
33.48/33.51	c restart after 12801 decisions
33.88/33.97	c nbDecision=13000 #constraints=5303
34.98/35.10	c nbDecision=13500 #constraints=5303
36.19/36.24	c nbDecision=14000 #constraints=5303
37.29/37.37	c nbDecision=14500 #constraints=5303
38.49/38.50	c nbDecision=15000 #constraints=5303
39.58/39.63	c nbDecision=15500 #constraints=5303
40.68/40.75	c nbDecision=16000 #constraints=5303
41.78/41.86	c nbDecision=16500 #constraints=5303
42.88/42.98	c nbDecision=17000 #constraints=5303
43.98/44.09	c nbDecision=17500 #constraints=5303
45.18/45.21	c nbDecision=18000 #constraints=5303
46.28/46.32	c nbDecision=18500 #constraints=5303
47.38/47.45	c nbDecision=19000 #constraints=5303
48.48/48.57	c nbDecision=19500 #constraints=5303
49.58/49.69	c nbDecision=20000 #constraints=5303
50.78/50.81	c nbDecision=20500 #constraints=5303
51.88/51.93	c nbDecision=21000 #constraints=5304
52.98/53.05	c nbDecision=21500 #constraints=5304
54.08/54.16	c nbDecision=22000 #constraints=5304
55.18/55.28	c nbDecision=22500 #constraints=5304
68.37/68.49	c nbDecision=23000 #constraints=5642
95.16/95.24	c nbDecision=23500 #constraints=6138
125.96/126.09	c nbDecision=24000 #constraints=6624
166.05/166.15	c nbDecision=24500 #constraints=7119
210.94/211.01	c nbDecision=25000 #constraints=7621
263.23/263.39	c nbDecision=25500 #constraints=8118
274.22/274.35	c restart after 25601 decisions
278.42/278.51	c nbDecision=26000 #constraints=8218
279.52/279.61	c nbDecision=26500 #constraints=8218
280.62/280.74	c nbDecision=27000 #constraints=8218
281.72/281.87	c nbDecision=27500 #constraints=8218
282.92/283.00	c nbDecision=28000 #constraints=8218
284.02/284.12	c nbDecision=28500 #constraints=8218
285.12/285.24	c nbDecision=29000 #constraints=8218
286.22/286.36	c nbDecision=29500 #constraints=8218
287.32/287.49	c nbDecision=30000 #constraints=8218
288.52/288.62	c nbDecision=30500 #constraints=8218
289.62/289.75	c nbDecision=31000 #constraints=8218
290.72/290.85	c nbDecision=31500 #constraints=8218
291.92/292.01	c nbDecision=32000 #constraints=8218
293.02/293.11	c nbDecision=32500 #constraints=8218
294.12/294.21	c nbDecision=33000 #constraints=8218
295.22/295.35	c nbDecision=33500 #constraints=8218
297.12/297.22	c nbDecision=34000 #constraints=8218
299.12/299.25	c nbDecision=34500 #constraints=8218
301.12/301.24	c nbDecision=35000 #constraints=8218
309.12/309.22	c nbDecision=35500 #constraints=8263
369.40/369.52	c nbDecision=36000 #constraints=8765
430.48/430.68	c nbDecision=36500 #constraints=9262
502.26/502.50	c nbDecision=37000 #constraints=9763
582.05/582.30	c nbDecision=37500 #constraints=10259
672.93/673.16	c nbDecision=38000 #constraints=10760
767.30/767.51	c nbDecision=38500 #constraints=11262
864.87/865.15	c nbDecision=39000 #constraints=11761
969.14/969.45	c nbDecision=39500 #constraints=12254
1085.52/1085.81	c nbDecision=40000 #constraints=12755
1192.39/1192.70	c nbDecision=40500 #constraints=13256
1316.27/1316.70	c nbDecision=41000 #constraints=13754
1452.23/1452.68	c nbDecision=41500 #constraints=14252
1597.89/1598.34	c nbDecision=42000 #constraints=14754
1752.75/1753.29	c nbDecision=42500 #constraints=15252
1800.04/1800.50	Received signal 15
1800.34/1800.88	
1800.34/1800.88	s UNKNOWN
1800.34/1800.88	
1800.34/1800.88	c user time= 1798.97 s
1800.34/1800.88	c system time= 1.45578 s
1800.34/1800.88	c wall clock time=1800.88

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/node70/watcher-357231-1176991827 -o ROOT/results/node70/solver-357231-1176991827 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357231-1176991827/instance-357231-1176991827.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.95 0.91 3/64 28246
/proc/meminfo: memFree=1292600/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1468 CPUtime=0
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 138720061 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827785 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 367 161 127 317 0 46 0

[startup+0.042197 s]
/proc/loadavg: 0.91 0.95 0.91 3/64 28246
/proc/meminfo: memFree=1292600/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=2660 CPUtime=0.03
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 451 0 0 0 3 0 0 0 18 0 1 0 138720061 2723840 400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 665 400 127 317 0 344 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2660

[startup+0.101203 s]
/proc/loadavg: 0.91 0.95 0.91 3/64 28246
/proc/meminfo: memFree=1292600/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=3440 CPUtime=0.09
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 803 0 0 0 9 0 0 0 18 0 1 0 138720061 3522560 558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 860 558 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301223 s]
/proc/loadavg: 0.91 0.95 0.91 3/64 28246
/proc/meminfo: memFree=1292600/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=5520 CPUtime=0.29
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 1651 0 0 0 28 1 0 0 19 0 1 0 138720061 5652480 1149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 1380 1149 127 317 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.701262 s]
/proc/loadavg: 0.91 0.95 0.91 3/64 28246
/proc/meminfo: memFree=1292600/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=9548 CPUtime=0.69
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 2791 0 0 0 68 1 0 0 22 0 1 0 138720061 9777152 1776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284196 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 2387 1776 131 317 0 2066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9548

[startup+1.50134 s]
/proc/loadavg: 0.91 0.95 0.91 2/65 28247
/proc/meminfo: memFree=1280496/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=25520 CPUtime=1.49
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 6387 0 0 0 145 4 0 0 25 0 1 0 138720061 26132480 5372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 6380 5373 131 317 0 6059 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25520

[startup+3.1015 s]
/proc/loadavg: 0.92 0.95 0.91 2/65 28247
/proc/meminfo: memFree=1261744/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=54412 CPUtime=3.09
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 13461 0 0 0 302 7 0 0 25 0 1 0 138720061 55717888 12446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 13603 12446 137 317 0 13282 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54412

[startup+6.30182 s]
/proc/loadavg: 0.92 0.95 0.91 2/65 28247
/proc/meminfo: memFree=1238128/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=59032 CPUtime=6.29
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 14631 0 0 0 621 8 0 0 25 0 1 0 138720061 60448768 13616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 14758 13616 138 317 0 14437 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59032

[startup+12.7015 s]
/proc/loadavg: 0.93 0.96 0.91 2/65 28247
/proc/meminfo: memFree=1238256/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=59032 CPUtime=12.69
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 14631 0 0 0 1261 8 0 0 25 0 1 0 138720061 60448768 13616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 14758 13616 138 317 0 14437 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59032

[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.91 2/65 28247
/proc/meminfo: memFree=1238320/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=59032 CPUtime=25.49
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 14631 0 0 0 2541 8 0 0 25 0 1 0 138720061 60448768 13616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 14758 13616 138 317 0 14437 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59032

[startup+51.1013 s]
/proc/loadavg: 0.96 0.96 0.91 2/65 28247
/proc/meminfo: memFree=1237936/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=59684 CPUtime=51.08
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 14775 0 0 0 5100 8 0 0 25 0 1 0 138720061 61116416 13723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 14921 13723 139 317 0 14600 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 59684

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.91 2/65 28247
/proc/meminfo: memFree=1109936/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=200820 CPUtime=102.27
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 46794 0 0 0 10208 19 0 0 25 0 1 0 138720061 205639680 45709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266299 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 50205 45709 170 317 0 49884 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 200820

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28247
/proc/meminfo: memFree=1002224/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=320572 CPUtime=162.25
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 73869 0 0 0 16196 29 0 0 25 0 1 0 138720061 328265728 72781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266166 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 80143 72781 170 317 0 79822 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 320572

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28247
/proc/meminfo: memFree=897904/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=445936 CPUtime=222.23
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 99723 0 0 0 22185 38 0 0 25 0 1 0 138720061 456638464 98622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 111484 98622 170 317 0 111163 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 445936

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28247
/proc/meminfo: memFree=839600/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=505080 CPUtime=282.22
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 114210 0 0 0 28177 45 0 0 25 0 1 0 138720061 517201920 113101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 126270 113101 170 317 0 125949 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 505080

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28247
/proc/meminfo: memFree=801392/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=544572 CPUtime=342.2
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 123838 0 0 0 34171 49 0 0 25 0 1 0 138720061 557641728 122717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 136143 122717 170 317 0 135822 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 544572

[startup+402.301 s]
/proc/loadavg: 1.03 0.99 0.91 2/65 28247
/proc/meminfo: memFree=745904/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=602480 CPUtime=402.19
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 137735 0 0 0 40164 55 0 0 25 0 1 0 138720061 616939520 136604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 150620 136604 170 317 0 150299 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 602480

[startup+462.301 s]
/proc/loadavg: 1.01 0.99 0.91 2/65 28247
/proc/meminfo: memFree=642864/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=750980 CPUtime=462.18
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 163384 0 0 0 46153 65 0 0 25 0 1 0 138720061 769003520 162237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 187745 162237 170 317 0 187424 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 750980

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=597296/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=798100 CPUtime=522.16
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 174871 0 0 0 52146 70 0 0 25 0 1 0 138720061 817254400 173720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284242 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 199525 173720 170 317 0 199204 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 798100

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=551536/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=844568 CPUtime=582.15
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 186213 0 0 0 58141 74 0 0 25 0 1 0 138720061 864837632 185052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 211142 185052 170 317 0 210821 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 844568

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=511344/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=884632 CPUtime=642.14
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 196188 0 0 0 64135 79 0 0 25 0 1 0 138720061 905863168 194947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 221158 194947 170 317 0 220837 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 884632


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

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=298416/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1101992 CPUtime=1002.04
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 249401 0 0 0 100105 99 0 0 25 0 1 0 138720061 1128439808 248132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 275498 248132 170 317 0 275177 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1101992

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=267760/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1133608 CPUtime=1062.03
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 257135 0 0 0 106100 103 0 0 25 0 1 0 138720061 1160814592 255866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 283402 255866 170 317 0 283081 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1133608

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=233008/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1168636 CPUtime=1122.01
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 265726 0 0 0 112093 108 0 0 25 0 1 0 138720061 1196683264 264445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 292159 264445 170 317 0 291838 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1168636

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=203248/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1201512 CPUtime=1181.99
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 273209 0 0 0 118089 110 0 0 25 0 1 0 138720061 1230348288 271922 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 300378 271922 170 317 0 300057 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1201512

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=175152/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1232980 CPUtime=1241.98
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 280171 0 0 0 124085 113 0 0 25 0 1 0 138720061 1262571520 278873 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 308245 278873 170 317 0 307924 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1232980

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=51696/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1451672 CPUtime=1301.97
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 310866 0 0 0 130071 126 0 0 25 0 1 0 138720061 1486512128 309565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 362918 309565 170 317 0 362597 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1451672

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=29680/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1476776 CPUtime=1361.94
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 316457 0 0 0 136066 128 0 0 25 0 1 0 138720061 1512218624 315149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 369194 315149 170 317 0 368873 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1476776

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=15792/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1502124 CPUtime=1421.94
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 323526 0 0 0 142062 132 0 0 25 0 1 0 138720061 1538174976 322215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 375531 322215 170 317 0 375210 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1502124

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=15408/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1530560 CPUtime=1481.92
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 329831 0 0 0 148058 134 0 0 25 0 1 0 138720061 1567293440 328517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284237 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 382640 328517 170 317 0 382319 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1530560

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=14832/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1553892 CPUtime=1541.9
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 336451 0 0 0 154054 136 0 0 25 0 1 0 138720061 1591185408 335137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 388473 335137 170 317 0 388152 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1553892

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=15856/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1580972 CPUtime=1601.88
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 342407 0 0 0 160050 138 0 0 25 0 1 0 138720061 1618915328 341092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 395243 341092 170 317 0 394922 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1580972

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=15984/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1603136 CPUtime=1661.88
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 347337 0 0 0 166048 140 0 0 25 0 1 0 138720061 1641611264 346014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278945 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 400784 346014 170 317 0 400463 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1603136

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=16304/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1626528 CPUtime=1721.86
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 353959 0 0 0 172043 143 0 0 25 0 1 0 138720061 1665564672 352635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 406632 352635 170 317 0 406311 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1626528

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=16240/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1650988 CPUtime=1781.84
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 359444 0 0 0 178040 144 0 0 25 0 1 0 138720061 1690611712 358112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 412747 358112 170 317 0 412426 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1650988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 28247
/proc/meminfo: memFree=15984/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1657984 CPUtime=1800.04
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 361020 0 0 0 179859 145 0 0 25 0 1 0 138720061 1697775616 359685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 414496 359685 170 317 0 414175 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1657984

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 28248
/proc/meminfo: memFree=15976/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=1657984 CPUtime=1800.14
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194304 361020 0 0 0 179869 145 0 0 25 0 1 0 138720061 1697775616 359685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 414496 359685 170 317 0 414175 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 1657984

[startup+1801 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 28248
/proc/meminfo: memFree=15976/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=0 CPUtime=1800.54
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194308 361063 0 0 0 179901 153 0 0 25 0 1 0 138720061 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 0

[startup+1801.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 28248
/proc/meminfo: memFree=15976/2055920 swapFree=4183760/4192956
[pid=28246] ppid=28244 vsize=0 CPUtime=1800.64
/proc/28246/stat : 28246 (oree) R 28244 28246 27470 0 -1 4194308 361063 0 0 0 179901 163 0 0 25 0 1 0 138720061 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28246/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.16
CPU time (s): 1800.7
CPU user time (s): 1799.01
CPU system time (s): 1.68974
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1658176

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

runsolver used 1.2788 second user time and 3.66744 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Thu Apr 19 14:10:27 UTC 2007

IDJOB= 357231
IDBENCH= 2292
IDSOLVER= 172
FILE ID= node70/357231-1176991827

PBS_JOBID= 4630424

Free space on /tmp= 66467 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370e.opb
COMMAND LINE= oree /tmp/evaluation/357231-1176991827/instance-357231-1176991827.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-357231-1176991827 -o ROOT/results/node70/solver-357231-1176991827 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357231-1176991827/instance-357231-1176991827.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  2ed7df63a411bcdd93a5895df0fcaa15

RANDOM SEED= 812085282

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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	: 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.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:       1292944 kB
Buffers:         29596 kB
Cached:         660844 kB
SwapCached:       3092 kB
Active:         177948 kB
Inactive:       522404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1292944 kB
SwapTotal:     4192956 kB
SwapFree:      4183760 kB
Dirty:            9896 kB
Writeback:           0 kB
Mapped:          15916 kB
Slab:            48668 kB
Committed_AS:  2491144 kB
PageTables:       1396 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= 66467 MiB

End job on node70 on Thu Apr 19 14:40:30 UTC 2007