Trace number 2681942

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.11 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-bnl1.opb
MD5SUM6c2572528741ab95a20df4da6c9423f7
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 variables35250
Total number of constraints624
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 constraints624
Minimum length of a constraint30
Maximum length of a constraint2280
Number of terms in the objective function 29490
Biggest coefficient in the objective function 12938266856652800
Number of bits for the biggest coefficient in the objective function 54
Sum of the numbers in the objective function 1063579760735919966
Number of bits of the sum of numbers in the objective function 60
Biggest number in a constraint 12938266856652800
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 1063579760735919966
Number of bits of the biggest sum of numbers60
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.79/0.80	c constraints 619/0 clauses 0/0 units 6113
0.79/0.80	c vars 35250
1.49/1.51	c objective 25706 + -9623919333893216
1800.01/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-2681942-1277487122/watcher-2681942-1277487122 -o /tmp/evaluation-result-2681942-1277487122/solver-2681942-1277487122 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681942-1277487122.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.91 0.97 0.99 3/106 24243
/proc/meminfo: memFree=1829068/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=2416 CPUtime=0
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 291 0 0 0 0 0 0 0 18 0 1 0 124315922 2473984 211 1992294400 134512640 136421960 4292582144 18446744073709551615 135160329 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24243/statm: 604 211 138 467 0 135 0

[startup+0.0458759 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 24243
/proc/meminfo: memFree=1829068/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=3136 CPUtime=0.04
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 512 0 0 0 4 0 0 0 20 0 1 0 124315922 3211264 399 1992294400 134512640 136421960 4292582144 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24243/statm: 784 399 138 467 0 315 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3136

[startup+0.100882 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 24243
/proc/meminfo: memFree=1829068/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=4008 CPUtime=0.09
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 847 0 0 0 9 0 0 0 20 0 1 0 124315922 4104192 620 1992294400 134512640 136421960 4292582144 18446744073709551615 135159026 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24243/statm: 1002 620 141 467 0 533 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4008

[startup+0.300904 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 24243
/proc/meminfo: memFree=1829068/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=7720 CPUtime=0.29
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 1753 0 0 0 29 0 0 0 20 0 1 0 124315922 7905280 1526 1992294400 134512640 136421960 4292582144 18446744073709551615 135524250 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24243/statm: 1930 1526 146 467 0 1461 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7720

[startup+0.700948 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 24243
/proc/meminfo: memFree=1829068/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=15648 CPUtime=0.69
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 3617 0 0 0 68 1 0 0 20 0 1 0 124315922 16023552 3390 1992294400 134512640 136421960 4292582144 18446744073709551615 135159042 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24243/statm: 3912 3390 146 467 0 3443 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15648

[startup+1.50104 s]
/proc/loadavg: 0.91 0.97 0.99 2/107 24244
/proc/meminfo: memFree=1815668/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=15912 CPUtime=1.49
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 3684 0 0 0 148 1 0 0 23 0 1 0 124315922 16293888 3457 1992294400 134512640 136421960 4292582144 18446744073709551615 134539997 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24243/statm: 3978 3457 150 467 0 3509 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15912

[startup+3.10122 s]
/proc/loadavg: 0.91 0.97 0.99 2/107 24244
/proc/meminfo: memFree=1761356/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=143732 CPUtime=3.09
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 36623 0 0 0 295 14 0 0 25 0 1 0 124315922 147181568 34435 1992294400 134512640 136421960 4292582144 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 35933 34436 195 467 0 35464 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 143732

[startup+6.30157 s]
/proc/loadavg: 0.92 0.97 0.99 2/107 24244
/proc/meminfo: memFree=1553284/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=328360 CPUtime=6.29
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 85885 0 0 0 594 35 0 0 25 0 1 0 124315922 336240640 80491 1992294400 134512640 136421960 4292582144 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 82090 80491 195 467 0 81621 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 328360

[startup+12.7013 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 24244
/proc/meminfo: memFree=1124624/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=760188 CPUtime=12.68
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 198364 0 0 0 1191 77 0 0 25 0 1 0 124315922 778432512 182962 1992294400 134512640 136421960 4292582144 18446744073709551615 135006538 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 190047 182962 216 467 0 189578 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 760188

[startup+25.5007 s]
/proc/loadavg: 0.94 0.97 0.99 2/107 24246
/proc/meminfo: memFree=1093624/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=762980 CPUtime=25.48
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 198999 0 0 0 2395 153 0 0 25 0 1 0 124315922 781291520 183597 1992294400 134512640 136421960 4292582144 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 190745 183597 216 467 0 190276 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 762980

[startup+51.1006 s]
/proc/loadavg: 0.96 0.97 0.99 2/107 24246
/proc/meminfo: memFree=1091640/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=765000 CPUtime=51.08
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 199532 0 0 0 4813 295 0 0 25 0 1 0 124315922 783360000 184130 1992294400 134512640 136421960 4292582144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 191250 184130 217 467 0 190781 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 765000

[startup+102.308 s]
/proc/loadavg: 0.98 0.97 0.99 2/107 24248
/proc/meminfo: memFree=1070684/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=786524 CPUtime=102.27
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 204696 0 0 0 9712 515 0 0 25 0 1 0 124315922 805400576 189294 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 196631 189294 217 467 0 196162 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 786524

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24248
/proc/meminfo: memFree=1054564/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=802784 CPUtime=162.25
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 208703 0 0 0 15667 558 0 0 25 0 1 0 124315922 822050816 193301 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 200696 193301 217 467 0 200227 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 802784

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24250
/proc/meminfo: memFree=1044520/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=813424 CPUtime=222.23
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 211174 0 0 0 21632 591 0 0 25 0 1 0 124315922 832946176 195772 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 203356 195772 217 467 0 202887 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 813424

[startup+282.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24252
/proc/meminfo: memFree=1036460/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=821760 CPUtime=282.22
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 213210 0 0 0 27599 623 0 0 25 0 1 0 124315922 841482240 197808 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 205440 197808 217 467 0 204971 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 821760

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24254
/proc/meminfo: memFree=1029020/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=829696 CPUtime=342.2
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 215051 0 0 0 33568 652 0 0 25 0 1 0 124315922 849608704 199649 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 207424 199649 217 467 0 206955 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 829696

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24256
/proc/meminfo: memFree=1022448/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=836520 CPUtime=402.18
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 216691 0 0 0 39545 673 0 0 25 0 1 0 124315922 856596480 201289 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 209130 201289 217 467 0 208661 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 836520

[startup+462.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24256
/proc/meminfo: memFree=1016744/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=842336 CPUtime=462.16
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 218111 0 0 0 45523 693 0 0 25 0 1 0 124315922 862552064 202709 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 210584 202709 217 467 0 210115 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 842336

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24258
/proc/meminfo: memFree=1011164/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=848244 CPUtime=522.15
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 219462 0 0 0 51500 715 0 0 25 0 1 0 124315922 868601856 204060 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 212061 204060 217 467 0 211592 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 848244

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24260
/proc/meminfo: memFree=1006576/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=852876 CPUtime=582.14
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 220590 0 0 0 57478 736 0 0 25 0 1 0 124315922 873345024 205188 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 213219 205188 217 467 0 212750 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 852876

[startup+642.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24262
/proc/meminfo: memFree=1002732/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=857196 CPUtime=642.13
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 221550 0 0 0 63455 758 0 0 25 0 1 0 124315922 877768704 206148 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 214299 206148 217 467 0 213830 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 857196

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24268
/proc/meminfo: memFree=985372/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=875272 CPUtime=882.06
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 225835 0 0 0 87373 833 0 0 25 0 1 0 124315922 896278528 210433 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 218818 210433 217 467 0 218349 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 875272

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24270
/proc/meminfo: memFree=981404/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=879596 CPUtime=942.04
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 226832 0 0 0 93357 847 0 0 25 0 1 0 124315922 900706304 211430 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 219899 211430 217 467 0 219430 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 879596

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24272
/proc/meminfo: memFree=978304/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=882816 CPUtime=1002.03
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 227566 0 0 0 99340 863 0 0 25 0 1 0 124315922 904003584 212164 1992294400 134512640 136421960 4292582144 18446744073709551615 134862003 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 220704 212164 217 467 0 220235 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 882816

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24272
/proc/meminfo: memFree=975824/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=885324 CPUtime=1062.01
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 228218 0 0 0 105325 876 0 0 25 0 1 0 124315922 906571776 212816 1992294400 134512640 136421960 4292582144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 221331 212816 217 467 0 220862 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 885324

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24274
/proc/meminfo: memFree=972352/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=888492 CPUtime=1121.99
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 229058 0 0 0 111306 893 0 0 25 0 1 0 124315922 909815808 213656 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 222123 213656 217 467 0 221654 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 888492

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24276
/proc/meminfo: memFree=968880/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=891808 CPUtime=1181.98
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 229884 0 0 0 117287 911 0 0 25 0 1 0 124315922 913211392 214482 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 222952 214482 217 467 0 222483 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 891808

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24278
/proc/meminfo: memFree=965532/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=895108 CPUtime=1241.96
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 230726 0 0 0 123269 927 0 0 25 0 1 0 124315922 916590592 215324 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 223777 215324 217 467 0 223308 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 895108

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24280
/proc/meminfo: memFree=962184/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=898276 CPUtime=1301.95
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 231530 0 0 0 129249 946 0 0 25 0 1 0 124315922 919834624 216128 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 224569 216128 217 467 0 224100 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 898276

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24280
/proc/meminfo: memFree=959332/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=901960 CPUtime=1361.93
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 232249 0 0 0 135231 962 0 0 25 0 1 0 124315922 923607040 216847 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 225490 216847 217 467 0 225021 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 901960

[startup+1422.31 s]
/proc/loadavg: 1.05 0.99 0.99 2/107 24282
/proc/meminfo: memFree=955984/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=905408 CPUtime=1421.92
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 233088 0 0 0 141213 979 0 0 25 0 1 0 124315922 927137792 217686 1992294400 134512640 136421960 4292582144 18446744073709551615 135006653 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 226352 217686 217 467 0 225883 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 905408

[startup+1482.3 s]
/proc/loadavg: 1.02 0.99 0.99 2/107 24284
/proc/meminfo: memFree=952636/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=908580 CPUtime=1481.9
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 233896 0 0 0 147195 995 0 0 25 0 1 0 124315922 930385920 218494 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 227145 218494 217 467 0 226676 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 908580

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24286
/proc/meminfo: memFree=948048/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=913244 CPUtime=1541.88
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 235056 0 0 0 153176 1012 0 0 25 0 1 0 124315922 935161856 219654 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 228311 219654 217 467 0 227842 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 913244

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24288
/proc/meminfo: memFree=943336/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=917864 CPUtime=1601.86
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 236251 0 0 0 159149 1037 0 0 25 0 1 0 124315922 939892736 220849 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 229466 220849 217 467 0 228997 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 917864

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24288
/proc/meminfo: memFree=936516/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=925104 CPUtime=1661.85
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 238061 0 0 0 165126 1059 0 0 25 0 1 0 124315922 947306496 222511 1992294400 134512640 136421960 4292582144 18446744073709551615 134861890 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 231276 222511 217 467 0 230807 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 925104

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24290
/proc/meminfo: memFree=933416/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=928444 CPUtime=1721.83
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 238826 0 0 0 171112 1071 0 0 25 0 1 0 124315922 950726656 223276 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 232111 223276 217 467 0 231642 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 928444

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24301
/proc/meminfo: memFree=930440/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=931084 CPUtime=1781.81
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 239491 0 0 0 177095 1086 0 0 25 0 1 0 124315922 953430016 223941 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 232771 223941 217 467 0 232302 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 931084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 24301
/proc/meminfo: memFree=928456/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=933568 CPUtime=1800.01
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 239982 0 0 0 178912 1089 0 0 25 0 1 0 124315922 955973632 224432 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 233392 224432 217 467 0 232923 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 933568

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 0.99 0.99 2/107 24301
/proc/meminfo: memFree=928456/2059040 swapFree=4139932/4192956
[pid=24243] ppid=24241 vsize=933568 CPUtime=1800.01
/proc/24243/stat : 24243 (pbct) R 24241 24243 23492 0 -1 4202496 239982 0 0 0 178912 1089 0 0 25 0 1 0 124315922 955973632 224432 1992294400 134512640 136421960 4292582144 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/24243/statm: 233392 224432 217 467 0 232923 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 933568

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.11
CPU user time (s): 1789.13
CPU system time (s): 10.9823
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 933568

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

runsolver used 2.89856 second user time and 8.58269 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-25 19:32:02
IDJOB=2681942
IDBENCH=2421
IDSOLVER=1192
FILE ID=node005/2681942-1277487122
PBS_JOBID= 11190530
Free space on /tmp= 62528 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-bnl1.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2681942-1277487122/watcher-2681942-1277487122 -o /tmp/evaluation-result-2681942-1277487122/solver-2681942-1277487122 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2681942-1277487122.opb

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

MD5SUM BENCH= 6c2572528741ab95a20df4da6c9423f7
RANDOM SEED=1468277864

node005.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.246
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.49
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.246
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1829596 kB
Buffers:         37552 kB
Cached:          93320 kB
SwapCached:       5480 kB
Active:          70140 kB
Inactive:        73648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1829596 kB
SwapTotal:     4192956 kB
SwapFree:      4139932 kB
Dirty:            4728 kB
Writeback:           0 kB
AnonPages:       11584 kB
Mapped:          11980 kB
Slab:            63712 kB
PageTables:       4180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182732 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= 62524 MiB
End job on node005 at 2010-06-25 20:02:05