Trace number 357294

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.43 1800.99

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-bg512142.opb
MD5SUMbc049badf8b0b6990d4dd6f2aa909c41
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16800
Total number of constraints945
Number of constraints which are clauses11
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints934
Minimum length of a constraint1
Maximum length of a constraint183
Number of terms in the objective function 9600
Biggest coefficient in the objective function 5368709120000
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 773893279252632
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 5368709120000
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 773893279252632
Number of bits of the biggest sum of numbers50
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.19/0.29	c ...done
0.19/0.29	c #vars=16800 #constraints=1186 hasObjective=yes
0.39/0.41	c res. mode=mod
0.39/0.41	c VSIDS like heuristics
0.39/0.41	c complete search running
0.39/0.49	c restart after 401 decisions
0.49/0.50	c nbDecision=500 #constraints=1186
0.49/0.55	c restart after 801 decisions
0.49/0.59	c nbDecision=1000 #constraints=1186
0.59/0.67	c nbDecision=1500 #constraints=1186
0.59/0.68	c restart after 1601 decisions
0.69/0.75	c nbDecision=2000 #constraints=1186
0.79/0.83	c nbDecision=2500 #constraints=1186
0.89/0.91	c nbDecision=3000 #constraints=1186
0.89/0.94	c restart after 3201 decisions
0.89/1.00	c nbDecision=3500 #constraints=1186
1.00/1.08	c nbDecision=4000 #constraints=1186
1.10/1.16	c nbDecision=4500 #constraints=1186
1.19/1.23	c nbDecision=5000 #constraints=1186
1.29/1.31	c nbDecision=5500 #constraints=1186
1.29/1.38	c nbDecision=6000 #constraints=1186
1.39/1.44	c restart after 6401 decisions
1.39/1.46	c nbDecision=6500 #constraints=1186
1.49/1.54	c nbDecision=7000 #constraints=1186
1.59/1.62	c nbDecision=7500 #constraints=1186
1.69/1.70	c nbDecision=8000 #constraints=1186
1.69/1.78	c nbDecision=8500 #constraints=1186
1.79/1.85	c nbDecision=9000 #constraints=1186
1.89/1.92	c nbDecision=9500 #constraints=1186
1.89/1.99	c nbDecision=10000 #constraints=1186
1.99/2.05	c nbDecision=10500 #constraints=1186
2.59/2.68	c nbDecision=11000 #constraints=1383
4.19/4.25	c nbDecision=11500 #constraints=1870
6.69/6.73	c nbDecision=12000 #constraints=2364
10.19/10.25	c nbDecision=12500 #constraints=2862
13.29/13.38	c restart after 12801 decisions
13.49/13.55	c nbDecision=13000 #constraints=3166
13.59/13.69	c nbDecision=13500 #constraints=3166
13.69/13.78	c nbDecision=14000 #constraints=3166
13.79/13.85	c nbDecision=14500 #constraints=3166
13.89/13.93	c nbDecision=15000 #constraints=3166
13.99/14.02	c nbDecision=15500 #constraints=3166
14.09/14.12	c nbDecision=16000 #constraints=3166
14.09/14.18	c nbDecision=16500 #constraints=3166
14.19/14.24	c nbDecision=17000 #constraints=3166
16.69/16.71	c nbDecision=17500 #constraints=3454
22.49/22.59	c nbDecision=18000 #constraints=3945
30.28/30.39	c nbDecision=18500 #constraints=4452
38.39/38.45	c nbDecision=19000 #constraints=4952
47.78/47.86	c nbDecision=19500 #constraints=5436
65.17/65.29	c nbDecision=20000 #constraints=5951
87.57/87.66	c nbDecision=20500 #constraints=6451
112.56/112.64	c nbDecision=21000 #constraints=6953
139.75/139.80	c nbDecision=21500 #constraints=7456
169.75/169.85	c nbDecision=22000 #constraints=7951
201.44/201.50	c nbDecision=22500 #constraints=8454
228.34/228.41	c nbDecision=23000 #constraints=8950
265.23/265.39	c nbDecision=23500 #constraints=9454
300.12/300.29	c nbDecision=24000 #constraints=9949
333.00/333.12	c nbDecision=24500 #constraints=10453
370.00/370.11	c nbDecision=25000 #constraints=10952
411.29/411.49	c nbDecision=25500 #constraints=11452
420.19/420.36	c restart after 25601 decisions
422.39/422.54	c nbDecision=26000 #constraints=11555
422.49/422.62	c nbDecision=26500 #constraints=11555
422.59/422.70	c nbDecision=27000 #constraints=11555
422.59/422.78	c nbDecision=27500 #constraints=11555
422.79/422.93	c nbDecision=28000 #constraints=11555
422.99/423.18	c nbDecision=28500 #constraints=11555
423.29/423.41	c nbDecision=29000 #constraints=11555
423.29/423.46	c nbDecision=29500 #constraints=11555
423.69/423.87	c nbDecision=30000 #constraints=11555
462.27/462.48	c nbDecision=30500 #constraints=12051
500.17/500.39	c nbDecision=31000 #constraints=12554
543.36/543.59	c nbDecision=31500 #constraints=13054
593.84/594.03	c nbDecision=32000 #constraints=13557
632.53/632.78	c nbDecision=32500 #constraints=14054
682.93/683.12	c nbDecision=33000 #constraints=14558
718.21/718.49	c nbDecision=33500 #constraints=15051
759.19/759.42	c nbDecision=34000 #constraints=15554
804.89/805.20	c nbDecision=34500 #constraints=16055
853.67/853.98	c nbDecision=35000 #constraints=16554
908.27/908.54	c nbDecision=35500 #constraints=17052
961.85/962.17	c nbDecision=36000 #constraints=17548
993.24/993.51	c nbDecision=36500 #constraints=18051
1037.13/1037.43	c nbDecision=37000 #constraints=18552
1087.42/1087.79	c nbDecision=37500 #constraints=19049
1146.61/1146.99	c nbDecision=38000 #constraints=19555
1214.48/1214.87	c nbDecision=38500 #constraints=20054
1278.18/1278.65	c nbDecision=39000 #constraints=20558
1343.95/1344.40	c nbDecision=39500 #constraints=21051
1404.93/1405.46	c nbDecision=40000 #constraints=21551
1464.72/1465.26	c nbDecision=40500 #constraints=22052
1532.70/1533.24	c nbDecision=41000 #constraints=22552
1611.98/1612.59	c nbDecision=41500 #constraints=23055
1688.46/1689.01	c nbDecision=42000 #constraints=23546
1753.54/1754.11	c nbDecision=42500 #constraints=24052
1800.04/1800.60	Received signal 15
1800.33/1800.91	
1800.33/1800.91	s UNKNOWN
1800.33/1800.91	
1800.33/1800.91	c user time= 1799.72 s
1800.33/1800.91	c system time= 0.640902 s
1800.33/1800.91	c wall clock time=1800.92

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-357294-1176993631 -o ROOT/results/node70/solver-357294-1176993631 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357294-1176993631/instance-357294-1176993631.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.97 0.91 3/64 28289
/proc/meminfo: memFree=1464184/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=1468 CPUtime=0
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 138900491 1503232 159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 367 159 127 317 0 46 0

[startup+0.0422811 s]
/proc/loadavg: 0.92 0.97 0.91 3/64 28289
/proc/meminfo: memFree=1464184/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=2012 CPUtime=0.04
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 305 0 0 0 4 0 0 0 18 0 1 0 138900491 2060288 254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 503 254 131 317 0 182 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2012

[startup+0.101287 s]
/proc/loadavg: 0.92 0.97 0.91 3/64 28289
/proc/meminfo: memFree=1464184/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=2936 CPUtime=0.09
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 545 0 0 0 9 0 0 0 18 0 1 0 138900491 3006464 494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 734 494 131 317 0 413 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2936

[startup+0.301306 s]
/proc/loadavg: 0.92 0.97 0.91 3/64 28289
/proc/meminfo: memFree=1464184/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=7892 CPUtime=0.29
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 1797 0 0 0 29 0 0 0 20 0 1 0 138900491 8081408 1746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 1973 1746 137 317 0 1652 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7892

[startup+0.701346 s]
/proc/loadavg: 0.92 0.97 0.91 3/64 28289
/proc/meminfo: memFree=1464184/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=8816 CPUtime=0.69
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 2044 0 0 0 68 1 0 0 23 0 1 0 138900491 9027584 1993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 2204 1993 138 317 0 1883 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8816

[startup+1.50143 s]
/proc/loadavg: 0.92 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1456688/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=8816 CPUtime=1.49
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 2044 0 0 0 148 1 0 0 25 0 1 0 138900491 9027584 1993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 2204 1993 138 317 0 1883 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8816

[startup+3.10159 s]
/proc/loadavg: 0.93 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1456496/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=12208 CPUtime=3.09
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 2908 0 0 0 308 1 0 0 25 0 1 0 138900491 12500992 2857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 3052 2857 170 317 0 2731 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12208

[startup+6.30291 s]
/proc/loadavg: 0.93 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1445936/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=22492 CPUtime=6.29
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 5404 0 0 0 627 2 0 0 25 0 1 0 138900491 23031808 5353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 5623 5353 170 317 0 5302 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22492

[startup+12.7015 s]
/proc/loadavg: 0.94 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1432176/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=34108 CPUtime=12.69
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 8325 0 0 0 1265 4 0 0 25 0 1 0 138900491 34926592 8274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 8527 8274 170 317 0 8206 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34108

[startup+25.5018 s]
/proc/loadavg: 0.95 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1414704/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=51968 CPUtime=25.49
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 12547 0 0 0 2543 6 0 0 25 0 1 0 138900491 53215232 12496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 12992 12496 170 317 0 12671 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51968

[startup+51.1014 s]
/proc/loadavg: 0.96 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1394288/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=72916 CPUtime=51.08
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 17657 0 0 0 5099 9 0 0 25 0 1 0 138900491 74665984 17606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 18229 17606 170 317 0 17908 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72916

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1370736/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=97180 CPUtime=102.27
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 23459 0 0 0 10214 13 0 0 25 0 1 0 138900491 99512320 23408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 24295 23408 170 317 0 23974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 97180

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1351536/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=116016 CPUtime=162.25
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 28277 0 0 0 16209 16 0 0 25 0 1 0 138900491 118800384 28226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 29004 28226 170 317 0 28683 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 116016

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1334448/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=131532 CPUtime=222.23
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 32557 0 0 0 22205 18 0 0 25 0 1 0 138900491 134688768 32448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 32883 32448 170 317 0 32562 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 131532

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1318384/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=152120 CPUtime=282.22
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 36585 0 0 0 28202 20 0 0 25 0 1 0 138900491 155770880 36476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 38030 36476 170 317 0 37709 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 152120

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1299760/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=174196 CPUtime=342.21
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 41205 0 0 0 34198 23 0 0 25 0 1 0 138900491 178376704 41096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 43549 41096 170 317 0 43228 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 174196

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1287920/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=185136 CPUtime=402.19
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 44163 0 0 0 40194 25 0 0 25 0 1 0 138900491 189579264 44054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 46284 44054 170 317 0 45963 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 185136

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1276528/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=195272 CPUtime=462.17
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 47000 0 0 0 46190 27 0 0 25 0 1 0 138900491 199958528 46891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 48818 46891 170 317 0 48497 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 195272

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1264560/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=206388 CPUtime=522.16
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 49999 0 0 0 52187 29 0 0 25 0 1 0 138900491 211341312 49890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 51597 49890 170 317 0 51276 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 206388

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1253488/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=218544 CPUtime=582.15
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 52741 0 0 0 58185 30 0 0 25 0 1 0 138900491 223789056 52632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 54636 52632 170 317 0 54315 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 218544

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28290
/proc/meminfo: memFree=1241008/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=231432 CPUtime=642.14
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 55836 0 0 0 64182 32 0 0 25 0 1 0 138900491 236986368 55727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 57858 55727 170 317 0 57537 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 231432


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28292
/proc/meminfo: memFree=1186352/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=282676 CPUtime=942.05
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 69616 0 0 0 94164 41 0 0 25 0 1 0 138900491 289460224 69393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 70669 69393 170 317 0 70348 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 282676

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 28292
/proc/meminfo: memFree=1170480/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=307416 CPUtime=1002.04
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 75399 0 0 0 100160 44 0 0 25 0 1 0 138900491 314793984 73328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563419 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 76854 73328 170 317 0 76533 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 307416

[startup+1062.3 s]
/proc/loadavg: 1.03 0.99 0.91 2/65 28292
/proc/meminfo: memFree=1156976/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=333776 CPUtime=1062.02
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 81147 0 0 0 106156 46 0 0 25 0 1 0 138900491 341786624 76700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 83444 76700 170 317 0 83123 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 333776

[startup+1122.3 s]
/proc/loadavg: 1.05 1.00 0.92 2/65 28292
/proc/meminfo: memFree=1147248/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=342220 CPUtime=1122.01
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 83544 0 0 0 112153 48 0 0 25 0 1 0 138900491 350433280 79097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 85555 79097 170 317 0 85234 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 342220

[startup+1182.3 s]
/proc/loadavg: 1.13 1.03 0.93 2/65 28292
/proc/meminfo: memFree=1139056/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=349612 CPUtime=1181.99
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 85594 0 0 0 118150 49 0 0 25 0 1 0 138900491 358002688 81147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 87403 81147 170 317 0 87082 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 349612

[startup+1242.3 s]
/proc/loadavg: 1.04 1.02 0.93 2/71 28374
/proc/meminfo: memFree=1128176/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=360260 CPUtime=1241.94
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 88026 0 0 0 124143 51 0 0 25 0 1 0 138900491 368906240 83579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 90065 83579 170 317 0 89744 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 360260

[startup+1302.3 s]
/proc/loadavg: 1.01 1.02 0.93 2/65 28490
/proc/meminfo: memFree=1120232/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=367876 CPUtime=1301.86
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 90217 0 0 0 130133 53 0 0 25 0 1 0 138900491 376705024 85770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 91969 85770 170 317 0 91648 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 367876

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 0.93 2/65 28490
/proc/meminfo: memFree=1114536/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=373120 CPUtime=1361.84
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 91695 0 0 0 136129 55 0 0 25 0 1 0 138900491 382074880 87248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 93280 87248 170 317 0 92959 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 373120

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28490
/proc/meminfo: memFree=1104616/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=386576 CPUtime=1421.83
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 94946 0 0 0 142126 57 0 0 25 0 1 0 138900491 395853824 89674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 96644 89674 170 317 0 96323 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 386576

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28490
/proc/meminfo: memFree=1096744/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=393456 CPUtime=1481.81
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 96919 0 0 0 148124 57 0 0 25 0 1 0 138900491 402898944 91647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 98364 91647 170 317 0 98043 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 393456

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28490
/proc/meminfo: memFree=1089384/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=403972 CPUtime=1541.8
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 99460 0 0 0 154121 59 0 0 25 0 1 0 138900491 413667328 93561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 100993 93561 170 317 0 100672 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 403972

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28490
/proc/meminfo: memFree=1083248/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=409492 CPUtime=1601.78
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 100964 0 0 0 160118 60 0 0 25 0 1 0 138900491 419319808 95065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 102373 95065 170 317 0 102052 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 409492

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28490
/proc/meminfo: memFree=1076720/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=415004 CPUtime=1661.76
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 102605 0 0 0 166115 61 0 0 25 0 1 0 138900491 424964096 96706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 103751 96706 170 317 0 103430 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 415004

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28490
/proc/meminfo: memFree=1069104/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=421936 CPUtime=1721.75
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 104572 0 0 0 172112 63 0 0 25 0 1 0 138900491 432062464 98640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710971 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 105484 98640 170 317 0 105163 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 421936

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28490
/proc/meminfo: memFree=1062320/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=427804 CPUtime=1781.73
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 106230 0 0 0 178110 63 0 0 25 0 1 0 138900491 438071296 100298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 106951 100298 170 317 0 106630 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 427804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28490
/proc/meminfo: memFree=1060656/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=429252 CPUtime=1800.04
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 106645 0 0 0 179940 64 0 0 25 0 1 0 138900491 439554048 100713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 107313 100713 170 317 0 106992 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 429252

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28490
/proc/meminfo: memFree=1060656/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=429252 CPUtime=1800.23
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 106649 0 0 0 179959 64 0 0 25 0 1 0 138900491 439554048 100717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 107313 100717 170 317 0 106992 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 429252

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28490
/proc/meminfo: memFree=1060656/2055920 swapFree=4183760/4192956
[pid=28289] ppid=28287 vsize=429252 CPUtime=1800.33
/proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 106653 0 0 0 179969 64 0 0 25 0 1 0 138900491 439554048 100721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28289/statm: 107313 100721 170 317 0 106992 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 429252

Child status: 0
Real time (s): 1800.99
CPU time (s): 1800.43
CPU user time (s): 1799.72
CPU system time (s): 0.708892
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 429252

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

runsolver used 1.44278 second user time and 3.54346 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Thu Apr 19 14:40:32 UTC 2007

IDJOB= 357294
IDBENCH= 2358
IDSOLVER= 172
FILE ID= node70/357294-1176993631

PBS_JOBID= 4630424

Free space on /tmp= 66475 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/unibo/normalized-mps-v2-20-10-bg512142.opb
COMMAND LINE= oree /tmp/evaluation/357294-1176993631/instance-357294-1176993631.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-357294-1176993631 -o ROOT/results/node70/solver-357294-1176993631 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357294-1176993631/instance-357294-1176993631.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  bc049badf8b0b6990d4dd6f2aa909c41

RANDOM SEED= 265857228

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:       1464536 kB
Buffers:         28464 kB
Cached:         492180 kB
SwapCached:       3092 kB
Active:          22424 kB
Inactive:       508112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1464536 kB
SwapTotal:     4192956 kB
SwapFree:      4183760 kB
Dirty:            2408 kB
Writeback:           0 kB
Mapped:          15916 kB
Slab:            46860 kB
Committed_AS:  2491160 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= 66475 MiB

End job on node70 on Thu Apr 19 15:10:34 UTC 2007