Trace number 2669320

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? (TO) 1800.07 1800.66

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-scagr25.opb
MD5SUM58a5a60742220a9ba7e3c02a1efc153b
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.10453
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables15000
Total number of constraints471
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 constraints471
Minimum length of a constraint30
Maximum length of a constraint300
Number of terms in the objective function 14250
Biggest coefficient in the objective function 35540854374400
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 4668575759312850
Number of bits of the sum of numbers in the objective function 53
Biggest number in a constraint 35540854374400
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 4668575759312850
Number of bits of the biggest sum of numbers53
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 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.19/0.21	c constraints 471/0 clauses 0/0 units 1049
0.19/0.21	c vars 15000
0.19/0.25	c objective 13819 + -4000493597042250
1800.02/1800.61	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-2669320-1276550158/watcher-2669320-1276550158 -o /tmp/evaluation-result-2669320-1276550158/solver-2669320-1276550158 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669320-1276550158.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: 1.17 1.05 1.10 2/106 31483
/proc/meminfo: memFree=1822000/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=2488 CPUtime=0
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 305 0 0 0 0 0 0 0 20 0 1 0 30617214 2547712 227 1992294400 134512640 136485738 4290273632 18446744073709551615 135411158 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31483/statm: 622 227 151 482 0 138 0

[startup+0.069423 s]
/proc/loadavg: 1.17 1.05 1.10 2/106 31483
/proc/meminfo: memFree=1822000/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=3476 CPUtime=0.06
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 598 0 0 0 6 0 0 0 20 0 1 0 30617214 3559424 487 1992294400 134512640 136485738 4290273632 18446744073709551615 135178895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31483/statm: 869 487 157 482 0 385 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3476

[startup+0.101427 s]
/proc/loadavg: 1.17 1.05 1.10 2/106 31483
/proc/meminfo: memFree=1822000/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=4140 CPUtime=0.09
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 775 0 0 0 9 0 0 0 20 0 1 0 30617214 4239360 664 1992294400 134512640 136485738 4290273632 18446744073709551615 135177438 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31483/statm: 1035 664 157 482 0 551 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4140

[startup+0.301462 s]
/proc/loadavg: 1.17 1.05 1.10 2/106 31483
/proc/meminfo: memFree=1822000/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=12656 CPUtime=0.29
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 2849 0 0 0 28 1 0 0 20 0 1 0 30617214 12959744 2738 1992294400 134512640 136485738 4290273632 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 3164 2739 197 482 0 2680 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12656

[startup+0.70153 s]
/proc/loadavg: 1.17 1.05 1.10 2/106 31483
/proc/meminfo: memFree=1822000/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=37652 CPUtime=0.69
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 9279 0 0 0 64 5 0 0 21 0 1 0 30617214 38555648 8795 1992294400 134512640 136485738 4290273632 18446744073709551615 135848155 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 9413 8796 197 482 0 8929 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37652

[startup+1.50167 s]
/proc/loadavg: 1.16 1.05 1.09 2/107 31484
/proc/meminfo: memFree=1770160/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=84424 CPUtime=1.49
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 21658 0 0 0 139 10 0 0 23 0 1 0 30617214 86450176 20433 1992294400 134512640 136485738 4290273632 18446744073709551615 134600080 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 21106 20434 197 482 0 20622 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84424

[startup+3.10194 s]
/proc/loadavg: 1.16 1.05 1.09 2/107 31484
/proc/meminfo: memFree=1705680/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=197228 CPUtime=3.09
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 51739 0 0 0 284 25 0 0 25 0 1 0 30617214 201961472 48652 1992294400 134512640 136485738 4290273632 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 49307 48657 199 482 0 48823 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 197228

[startup+6.30149 s]
/proc/loadavg: 1.14 1.05 1.09 2/107 31484
/proc/meminfo: memFree=1543984/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=293020 CPUtime=6.29
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 75994 0 0 0 584 45 0 0 25 0 1 0 30617214 300052480 69883 1992294400 134512640 136485738 4290273632 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 73255 69883 228 482 0 72771 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 293020

[startup+12.7016 s]
/proc/loadavg: 1.13 1.05 1.09 2/107 31486
/proc/meminfo: memFree=1534684/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=301128 CPUtime=12.69
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 78008 0 0 0 1208 61 0 0 25 0 1 0 30617214 308355072 71897 1992294400 134512640 136485738 4290273632 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 75282 71897 228 482 0 74798 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 301128

[startup+25.5008 s]
/proc/loadavg: 1.10 1.04 1.09 2/107 31486
/proc/meminfo: memFree=1525384/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=309960 CPUtime=25.49
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 80214 0 0 0 2467 82 0 0 25 0 1 0 30617214 317399040 74103 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 77490 74103 228 482 0 77006 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 309960

[startup+51.1012 s]
/proc/loadavg: 1.07 1.04 1.09 2/107 31486
/proc/meminfo: memFree=1513356/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=322420 CPUtime=51.08
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 83266 0 0 0 4995 113 0 0 25 0 1 0 30617214 330158080 77155 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 80605 77155 228 482 0 80121 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 322420

[startup+102.309 s]
/proc/loadavg: 1.03 1.03 1.08 2/107 31488
/proc/meminfo: memFree=1497484/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=338292 CPUtime=102.27
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 87166 0 0 0 10069 158 0 0 25 0 1 0 30617214 346411008 81055 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 84573 81055 228 482 0 84089 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 338292

[startup+162.301 s]
/proc/loadavg: 1.05 1.04 1.08 2/107 31490
/proc/meminfo: memFree=1489424/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=346296 CPUtime=162.24
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 89172 0 0 0 16011 213 0 0 25 0 1 0 30617214 354607104 83061 1992294400 134512640 136485738 4290273632 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 86574 83061 228 482 0 86090 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 346296

[startup+222.301 s]
/proc/loadavg: 1.02 1.03 1.08 2/107 31490
/proc/meminfo: memFree=1488804/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=346856 CPUtime=222.22
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 89327 0 0 0 21969 253 0 0 25 0 1 0 30617214 355180544 83216 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 86714 83216 228 482 0 86230 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 346856

[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.07 2/107 31492
/proc/meminfo: memFree=1485828/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=350052 CPUtime=282.2
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 90062 0 0 0 27932 288 0 0 25 0 1 0 30617214 358453248 83951 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 87513 83951 228 482 0 87029 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 350052

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.06 2/107 31494
/proc/meminfo: memFree=1484216/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=352200 CPUtime=342.18
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 90500 0 0 0 33894 324 0 0 25 0 1 0 30617214 360652800 84389 1992294400 134512640 136485738 4290273632 18446744073709551615 134880635 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 88050 84389 228 482 0 87566 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 352200

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.06 2/107 31496
/proc/meminfo: memFree=1483844/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=352628 CPUtime=402.17
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 90544 0 0 0 39853 364 0 0 25 0 1 0 30617214 361091072 84433 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 88157 84433 228 482 0 87673 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 352628

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 31498
/proc/meminfo: memFree=1483472/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=352896 CPUtime=462.14
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 90632 0 0 0 45799 415 0 0 25 0 1 0 30617214 361365504 84521 1992294400 134512640 136485738 4290273632 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 88224 84521 228 482 0 87740 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 352896

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 31498
/proc/meminfo: memFree=1482480/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=354204 CPUtime=522.12
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 90882 0 0 0 51760 452 0 0 25 0 1 0 30617214 362704896 84771 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 88551 84771 228 482 0 88067 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 354204

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 31500
/proc/meminfo: memFree=1472312/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=364204 CPUtime=582.11
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 93396 0 0 0 57719 492 0 0 25 0 1 0 30617214 372944896 87285 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 91051 87285 228 482 0 90567 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 364204

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 31502
/proc/meminfo: memFree=1462888/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=373524 CPUtime=642.09
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 95732 0 0 0 63680 529 0 0 25 0 1 0 30617214 382488576 89621 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 93381 89621 228 482 0 92897 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 373524

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.03 1.01 1.02 2/107 31506
/proc/meminfo: memFree=1460904/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=375220 CPUtime=822.02
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 96166 0 0 0 81545 657 0 0 25 0 1 0 30617214 384225280 90055 1992294400 134512640 136485738 4290273632 18446744073709551615 134880904 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 93805 90055 228 482 0 93321 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 375220

[startup+882.301 s]
/proc/loadavg: 1.01 1.00 1.02 2/107 31508
/proc/meminfo: memFree=1458796/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=377728 CPUtime=882
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 96702 0 0 0 87507 693 0 0 25 0 1 0 30617214 386793472 90591 1992294400 134512640 136485738 4290273632 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 94432 90591 228 482 0 93948 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 377728

[startup+942.301 s]
/proc/loadavg: 1.06 1.02 1.02 2/107 31510
/proc/meminfo: memFree=1457060/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=379556 CPUtime=941.98
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 97143 0 0 0 93473 725 0 0 25 0 1 0 30617214 388665344 91032 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 94889 91032 228 482 0 94405 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 379556

[startup+1002.3 s]
/proc/loadavg: 1.08 1.03 1.02 2/107 31512
/proc/meminfo: memFree=1450488/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=386048 CPUtime=1001.97
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 98741 0 0 0 99438 759 0 0 25 0 1 0 30617214 395313152 92630 1992294400 134512640 136485738 4290273632 18446744073709551615 135180171 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 96512 92630 228 482 0 96028 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 386048

[startup+1062.3 s]
/proc/loadavg: 1.08 1.03 1.02 2/107 31514
/proc/meminfo: memFree=1450364/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=386048 CPUtime=1061.94
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 98744 0 0 0 105375 819 0 0 25 0 1 0 30617214 395313152 92633 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 96512 92633 228 482 0 96028 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 386048

[startup+1122.3 s]
/proc/loadavg: 1.08 1.04 1.02 2/107 31514
/proc/meminfo: memFree=1450240/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=386296 CPUtime=1121.93
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 98786 0 0 0 111335 858 0 0 25 0 1 0 30617214 395567104 92675 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 96574 92675 228 482 0 96090 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 386296

[startup+1182.3 s]
/proc/loadavg: 1.07 1.04 1.01 2/107 31516
/proc/meminfo: memFree=1449620/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=386896 CPUtime=1181.91
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 98914 0 0 0 117293 898 0 0 25 0 1 0 30617214 396181504 92803 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 96724 92803 228 482 0 96240 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 386896

[startup+1242.3 s]
/proc/loadavg: 1.07 1.05 1.01 2/107 31518
/proc/meminfo: memFree=1449124/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=387216 CPUtime=1241.89
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 99004 0 0 0 123259 930 0 0 25 0 1 0 30617214 396509184 92893 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 96804 92893 228 482 0 96320 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 387216

[startup+1302.3 s]
/proc/loadavg: 1.02 1.04 1.01 2/107 31520
/proc/meminfo: memFree=1444164/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=392104 CPUtime=1301.87
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 100241 0 0 0 129223 964 0 0 25 0 1 0 30617214 401514496 94130 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 98026 94130 228 482 0 97542 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 392104

[startup+1362.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 31522
/proc/meminfo: memFree=1437096/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=399880 CPUtime=1361.85
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102039 0 0 0 135192 993 0 0 25 0 1 0 30617214 409477120 95928 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 99970 95928 228 482 0 99486 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 399880

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31522
/proc/meminfo: memFree=1434492/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=402388 CPUtime=1421.84
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102660 0 0 0 141148 1036 0 0 25 0 1 0 30617214 412045312 96549 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 100597 96549 228 482 0 100113 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 402388

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31524
/proc/meminfo: memFree=1434120/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=402640 CPUtime=1481.82
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102717 0 0 0 147097 1085 0 0 25 0 1 0 30617214 412303360 96606 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 100660 96606 228 482 0 100176 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 402640

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31526
/proc/meminfo: memFree=1433872/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=402880 CPUtime=1541.79
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102770 0 0 0 153056 1123 0 0 25 0 1 0 30617214 412549120 96659 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 100720 96659 228 482 0 100236 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 402880

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31528
/proc/meminfo: memFree=1433748/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=403120 CPUtime=1601.77
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102817 0 0 0 159017 1160 0 0 25 0 1 0 30617214 412794880 96706 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 100780 96706 228 482 0 100296 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 403120

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31530
/proc/meminfo: memFree=1433748/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=403120 CPUtime=1661.76
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102817 0 0 0 164987 1189 0 0 25 0 1 0 30617214 412794880 96706 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 100780 96706 228 482 0 100296 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 403120

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31530
/proc/meminfo: memFree=1433624/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=403120 CPUtime=1721.74
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102823 0 0 0 170956 1218 0 0 25 0 1 0 30617214 412794880 96712 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 100780 96712 228 482 0 100296 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 403120

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31532
/proc/meminfo: memFree=1433252/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=403120 CPUtime=1781.71
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102827 0 0 0 176926 1245 0 0 25 0 1 0 30617214 412794880 96716 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 100780 96716 228 482 0 100296 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 403120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31532
/proc/meminfo: memFree=1433252/2059040 swapFree=4136080/4192956
[pid=31483] ppid=31481 vsize=403120 CPUtime=1800.02
/proc/31483/stat : 31483 (pbct) R 31481 31483 31163 0 -1 4202496 102827 0 0 0 178750 1252 0 0 25 0 1 0 30617214 412794880 96716 1992294400 134512640 136485738 4290273632 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31483/statm: 100780 96716 228 482 0 100296 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 403120

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

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

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.07
CPU user time (s): 1787.51
CPU system time (s): 12.5661
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 403120

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

runsolver used 3.10453 second user time and 8.37873 second system time

The end

Launcher Data 

Begin job on node014 at 2010-06-14 23:15:58
IDJOB=2669320
IDBENCH=2419
IDSOLVER=1170
FILE ID=node014/2669320-1276550158
PBS_JOBID= 11173486
Free space on /tmp= 62504 MiB

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

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

MD5SUM BENCH= 58a5a60742220a9ba7e3c02a1efc153b
RANDOM SEED=236408206

node014.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.258
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.51
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.258
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1822528 kB
Buffers:         35268 kB
Cached:         113300 kB
SwapCached:      11516 kB
Active:          74088 kB
Inactive:        89004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1822528 kB
SwapTotal:     4192956 kB
SwapFree:      4136080 kB
Dirty:            3088 kB
Writeback:           8 kB
AnonPages:       11480 kB
Mapped:           9376 kB
Slab:            51616 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183456 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= 62504 MiB
End job on node014 at 2010-06-14 23:46:01