Trace number 2681940

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB/CT 0.1 fixed? (TO) 1800.19 1800.59

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-modszk1.opb
MD5SUM73a69ec0478725312d0c26d36222113a
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 variables48602
Total number of constraints686
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 constraints686
Minimum length of a constraint30
Maximum length of a constraint600
Number of terms in the objective function 29700
Biggest coefficient in the objective function 197378980184064000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 14554406665136992500
Number of bits of the sum of numbers in the objective function 64
Biggest number in a constraint 197378980184064000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 14554406665136992500
Number of bits of the biggest sum of numbers64
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.39/0.42	c constraints 686/0 clauses 0/0 units 0
0.39/0.42	c vars 48602
0.39/0.42	c objective 29700 + 0
1800.09/1800.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2681940-1277487042/watcher-2681940-1277487042 -o /tmp/evaluation-result-2681940-1277487042/solver-2681940-1277487042 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681940-1277487042.opb 

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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27505
/proc/meminfo: memFree=1813348/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=2416 CPUtime=0
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 294 0 0 0 0 0 0 0 20 0 1 0 89999275 2473984 213 1992294400 134512640 136421960 4287899616 18446744073709551615 135160348 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27505/statm: 604 213 138 467 0 135 0

[startup+0.08185 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27505
/proc/meminfo: memFree=1813348/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=4008 CPUtime=0.07
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 813 0 0 0 7 0 0 0 20 0 1 0 89999275 4104192 585 1992294400 134512640 136421960 4287899616 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27505/statm: 1002 585 138 467 0 533 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4008

[startup+0.10085 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27505
/proc/meminfo: memFree=1813348/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=4008 CPUtime=0.09
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 851 0 0 0 9 0 0 0 20 0 1 0 89999275 4104192 623 1992294400 134512640 136421960 4287899616 18446744073709551615 135159042 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27505/statm: 1002 623 140 467 0 533 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4008

[startup+0.300865 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27505
/proc/meminfo: memFree=1813348/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=7968 CPUtime=0.29
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 1825 0 0 0 29 0 0 0 20 0 1 0 89999275 8159232 1597 1992294400 134512640 136421960 4287899616 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27505/statm: 1992 1597 145 467 0 1523 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7968

[startup+0.700893 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27505
/proc/meminfo: memFree=1813348/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=35012 CPUtime=0.69
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 8560 0 0 0 65 4 0 0 20 0 1 0 89999275 35852288 8332 1992294400 134512640 136421960 4287899616 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 8753 8332 195 467 0 8284 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35012

[startup+1.50095 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 27506
/proc/meminfo: memFree=1756548/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=95788 CPUtime=1.49
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 24165 0 0 0 137 12 0 0 22 0 1 0 89999275 98086912 23196 1992294400 134512640 136421960 4287899616 18446744073709551615 134757566 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 23947 23197 195 467 0 23478 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95788

[startup+3.10206 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 27506
/proc/meminfo: memFree=1678924/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=204908 CPUtime=3.09
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 53218 0 0 0 284 25 0 0 25 0 1 0 89999275 209825792 50387 1992294400 134512640 136421960 4287899616 18446744073709551615 135812090 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 51227 50387 195 467 0 50758 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 204908

[startup+6.30128 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 27506
/proc/meminfo: memFree=1438364/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=451760 CPUtime=6.29
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 118372 0 0 0 575 54 0 0 25 0 1 0 89999275 462602240 112208 1992294400 134512640 136421960 4287899616 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 112940 112209 195 467 0 112471 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 451760

[startup+12.7007 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 27506
/proc/meminfo: memFree=1130596/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=715596 CPUtime=12.69
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 185993 0 0 0 1178 91 0 0 25 0 1 0 89999275 732770304 170675 1992294400 134512640 136421960 4287899616 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 178899 170675 217 467 0 178430 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 715596

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 27506
/proc/meminfo: memFree=1120552/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=724912 CPUtime=25.48
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 188315 0 0 0 2433 115 0 0 25 0 1 0 89999275 742309888 172997 1992294400 134512640 136421960 4287899616 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 181228 172997 217 467 0 180759 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 724912

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 27506
/proc/meminfo: memFree=1109268/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=736604 CPUtime=51.08
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 191156 0 0 0 4965 143 0 0 25 0 1 0 89999275 754282496 175838 1992294400 134512640 136421960 4287899616 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 184151 175838 217 467 0 183682 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 736604

[startup+102.309 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 27511
/proc/meminfo: memFree=1094140/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=751420 CPUtime=102.27
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 194774 0 0 0 10040 187 0 0 25 0 1 0 89999275 769454080 179456 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 187855 179456 217 467 0 187386 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 751420

[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 27513
/proc/meminfo: memFree=1081616/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=764032 CPUtime=162.25
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 197926 0 0 0 15990 235 0 0 25 0 1 0 89999275 782368768 182608 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 191008 182608 217 467 0 190539 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 764032

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27515
/proc/meminfo: memFree=1067852/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=778616 CPUtime=222.24
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 201389 0 0 0 21947 277 0 0 25 0 1 0 89999275 797302784 186071 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 194654 186071 217 467 0 194185 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 778616

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27517
/proc/meminfo: memFree=1056816/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=789624 CPUtime=282.23
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 204073 0 0 0 27910 313 0 0 25 0 1 0 89999275 808574976 188755 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 197406 188755 217 467 0 196937 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 789624

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27517
/proc/meminfo: memFree=1049624/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=797552 CPUtime=342.22
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 205850 0 0 0 33875 347 0 0 25 0 1 0 89999275 816693248 190532 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 199388 190532 217 467 0 198919 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 797552

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27519
/proc/meminfo: memFree=1040076/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=807132 CPUtime=402.2
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 208257 0 0 0 39833 387 0 0 25 0 1 0 89999275 826503168 192939 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 201783 192939 217 467 0 201314 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 807132

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27521
/proc/meminfo: memFree=1032512/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=814540 CPUtime=462.19
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 210099 0 0 0 45799 420 0 0 25 0 1 0 89999275 834088960 194781 1992294400 134512640 136421960 4287899616 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 203635 194781 217 467 0 203166 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 814540

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27523
/proc/meminfo: memFree=1025816/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=821472 CPUtime=522.17
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 211748 0 0 0 51768 449 0 0 25 0 1 0 89999275 841187328 196430 1992294400 134512640 136421960 4287899616 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 205368 196430 217 467 0 204899 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 821472

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27525
/proc/meminfo: memFree=1020732/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=826516 CPUtime=582.16
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 213034 0 0 0 57738 478 0 0 25 0 1 0 89999275 846352384 197716 1992294400 134512640 136421960 4287899616 18446744073709551615 135020790 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 206629 197717 217 467 0 206160 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 826516

[startup+642.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 27525
/proc/meminfo: memFree=1015028/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=832028 CPUtime=642.15
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 214416 0 0 0 63705 510 0 0 25 0 1 0 89999275 851996672 199098 1992294400 134512640 136421960 4287899616 18446744073709551615 134862021 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 208007 199098 217 467 0 207538 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 832028

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 27533
/proc/meminfo: memFree=1013664/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=833548 CPUtime=882.09
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 214773 0 0 0 87536 673 0 0 25 0 1 0 89999275 853553152 199455 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 208387 199455 217 467 0 207918 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 833548

[startup+942.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 27533
/proc/meminfo: memFree=1013540/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=833548 CPUtime=942.08
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 214778 0 0 0 93500 708 0 0 25 0 1 0 89999275 853553152 199460 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 208387 199460 217 467 0 207918 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 833548

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 27535
/proc/meminfo: memFree=1013292/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=833788 CPUtime=1002.06
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 214832 0 0 0 99465 741 0 0 25 0 1 0 89999275 853798912 199514 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 208447 199514 217 467 0 207978 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 833788

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27537
/proc/meminfo: memFree=1010564/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=836676 CPUtime=1062.05
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 215523 0 0 0 105430 775 0 0 25 0 1 0 89999275 856756224 200205 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 209169 200205 217 467 0 208700 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 836676

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27539
/proc/meminfo: memFree=1009324/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=837764 CPUtime=1122.04
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 215811 0 0 0 111394 810 0 0 25 0 1 0 89999275 857870336 200493 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 209441 200493 217 467 0 208972 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 837764

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27541
/proc/meminfo: memFree=1009324/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=837764 CPUtime=1182.02
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 215818 0 0 0 117364 838 0 0 25 0 1 0 89999275 857870336 200500 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 209441 200500 217 467 0 208972 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 837764

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27541
/proc/meminfo: memFree=1009200/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=837764 CPUtime=1242.01
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 215822 0 0 0 123332 869 0 0 25 0 1 0 89999275 857870336 200504 1992294400 134512640 136421960 4287899616 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 209441 200504 217 467 0 208972 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 837764

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27543
/proc/meminfo: memFree=1008208/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=838844 CPUtime=1302.01
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 216065 0 0 0 129305 896 0 0 25 0 1 0 89999275 858976256 200747 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 209711 200747 217 467 0 209242 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 838844

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27545
/proc/meminfo: memFree=1005604/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=842376 CPUtime=1361.99
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 216730 0 0 0 135275 924 0 0 25 0 1 0 89999275 862593024 201412 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 210594 201412 217 467 0 210125 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 842376

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27547
/proc/meminfo: memFree=1000892/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=846952 CPUtime=1421.98
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 217868 0 0 0 141248 950 0 0 25 0 1 0 89999275 867278848 202550 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 211738 202550 217 467 0 211269 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 846952

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27549
/proc/meminfo: memFree=993948/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=854108 CPUtime=1481.96
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 219626 0 0 0 147218 978 0 0 25 0 1 0 89999275 874606592 204308 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 213527 204308 217 467 0 213058 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 854108

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27549
/proc/meminfo: memFree=988864/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=858836 CPUtime=1541.94
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 220851 0 0 0 153187 1007 0 0 25 0 1 0 89999275 879448064 205533 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 214709 205533 217 467 0 214240 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 858836

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27551
/proc/meminfo: memFree=985392/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=862320 CPUtime=1601.93
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 221734 0 0 0 159164 1029 0 0 25 0 1 0 89999275 883015680 206416 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 215580 206416 217 467 0 215111 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 862320

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27553
/proc/meminfo: memFree=984524/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=863112 CPUtime=1661.92
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 221926 0 0 0 165130 1062 0 0 25 0 1 0 89999275 883826688 206608 1992294400 134512640 136421960 4287899616 18446744073709551615 135010280 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 215778 206608 217 467 0 215309 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 863112

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27555
/proc/meminfo: memFree=984524/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=863112 CPUtime=1721.91
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 221926 0 0 0 171084 1107 0 0 25 0 1 0 89999275 883826688 206608 1992294400 134512640 136421960 4287899616 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 215778 206608 217 467 0 215309 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 863112

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27557
/proc/meminfo: memFree=984276/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=863356 CPUtime=1781.89
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 221961 0 0 0 177046 1143 0 0 25 0 1 0 89999275 884076544 206643 1992294400 134512640 136421960 4287899616 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 215839 206643 217 467 0 215370 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 863356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27557
/proc/meminfo: memFree=984276/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=863356 CPUtime=1800.09
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 221961 0 0 0 178857 1152 0 0 25 0 1 0 89999275 884076544 206643 1992294400 134512640 136421960 4287899616 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 215839 206643 217 467 0 215370 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 863356

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27557
/proc/meminfo: memFree=984276/2059040 swapFree=4140168/4192956
[pid=27505] ppid=27503 vsize=863356 CPUtime=1800.09
/proc/27505/stat : 27505 (pbct) R 27503 27505 26780 0 -1 4202496 221961 0 0 0 178857 1152 0 0 25 0 1 0 89999275 884076544 206643 1992294400 134512640 136421960 4287899616 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27505/statm: 215839 206643 217 467 0 215370 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 863356

Child status: 0
Real time (s): 1800.59
CPU time (s): 1800.19
CPU user time (s): 1788.57
CPU system time (s): 11.6152
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 863356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.57
system time used= 11.6152
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221963
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= 1
involuntary context switches= 3691

runsolver used 2.98855 second user time and 8.49471 second system time

The end

Launcher Data 

Begin job on node034 at 2010-06-25 19:30:42
IDJOB=2681940
IDBENCH=2416
IDSOLVER=1192
FILE ID=node034/2681940-1277487042
PBS_JOBID= 11190510
Free space on /tmp= 62432 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2681940-1277487042/watcher-2681940-1277487042 -o /tmp/evaluation-result-2681940-1277487042/solver-2681940-1277487042 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2681940-1277487042.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 73a69ec0478725312d0c26d36222113a
RANDOM SEED=1373270609

node034.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1813876 kB
Buffers:         43528 kB
Cached:          99788 kB
SwapCached:       5348 kB
Active:          61744 kB
Inactive:        94564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1813876 kB
SwapTotal:     4192956 kB
SwapFree:      4140168 kB
Dirty:            3916 kB
Writeback:           0 kB
AnonPages:       11540 kB
Mapped:          12080 kB
Slab:            66600 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181424 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62432 MiB
End job on node034 at 2010-06-25 20:00:45