Trace number 2668601

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.05 1800.54

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-aflow30a.opb
MD5SUMd5ffb80d8d2a9d2ae5f84f17eeb42612
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1496
Best CPU time to get the best result obtained on this benchmark1800.32
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2754
Optimality of the best value was proved NO
Number of variables7195
Total number of constraints900
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)29
Number of constraints which are nor clauses,nor cardinality constraints871
Minimum length of a constraint10
Maximum length of a constraint555
Number of terms in the objective function 421
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 72290
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 3334110
Number of bits of the biggest sum of numbers22
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.07/0.09	c constraints 900/0 clauses 0/0 units 0
0.07/0.09	c vars 7195
0.07/0.09	c objective 421 + 0
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-2668601-1276436869/watcher-2668601-1276436869 -o /tmp/evaluation-result-2668601-1276436869/solver-2668601-1276436869 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668601-1276436869.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.00 1.00 1.00 3/106 22902
/proc/meminfo: memFree=1682984/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=2340 CPUtime=0
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 291 0 0 0 0 0 0 0 20 0 1 0 19290635 2396160 214 1992294400 134512640 136485738 4290816688 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22902/statm: 585 214 156 482 0 101 0

[startup+0.0787991 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22902
/proc/meminfo: memFree=1682984/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=4068 CPUtime=0.07
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 732 0 0 0 7 0 0 0 20 0 1 0 19290635 4165632 654 1992294400 134512640 136485738 4290816688 18446744073709551615 135416602 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22902/statm: 1017 654 156 482 0 533 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4068

[startup+0.100801 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22902
/proc/meminfo: memFree=1682984/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=5908 CPUtime=0.09
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 1148 0 0 0 9 0 0 0 20 0 1 0 19290635 6049792 1070 1992294400 134512640 136485738 4290816688 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 1477 1071 197 482 0 993 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5908

[startup+0.300823 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22902
/proc/meminfo: memFree=1682984/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=23088 CPUtime=0.29
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 5442 0 0 0 27 2 0 0 20 0 1 0 19290635 23642112 5331 1992294400 134512640 136485738 4290816688 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 5772 5332 197 482 0 5288 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23088

[startup+0.700868 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 22902
/proc/meminfo: memFree=1682984/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=51848 CPUtime=0.69
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 13005 0 0 0 63 6 0 0 20 0 1 0 19290635 53092352 12488 1992294400 134512640 136485738 4290816688 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 12962 12488 197 482 0 12478 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51848

[startup+1.50096 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22903
/proc/meminfo: memFree=1619116/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=112788 CPUtime=1.49
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 29168 0 0 0 137 12 0 0 22 0 1 0 19290635 115494912 27717 1992294400 134512640 136485738 4290816688 18446744073709551615 134719603 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 28197 27717 199 482 0 27713 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 112788

[startup+3.10113 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22903
/proc/meminfo: memFree=1557736/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=130256 CPUtime=3.09
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 33588 0 0 0 283 26 0 0 25 0 1 0 19290635 133382144 31518 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 32564 31518 227 482 0 32080 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 130256

[startup+6.30149 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22903
/proc/meminfo: memFree=1556132/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=131676 CPUtime=6.29
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 33960 0 0 0 573 56 0 0 25 0 1 0 19290635 134836224 31890 1992294400 134512640 136485738 4290816688 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 32919 31890 227 482 0 32435 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 131676

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22905
/proc/meminfo: memFree=1549064/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=138288 CPUtime=12.69
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 35599 0 0 0 1163 106 0 0 25 0 1 0 19290635 141606912 33529 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 34572 33529 227 482 0 34088 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 138288

[startup+25.5006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22905
/proc/meminfo: memFree=1541004/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=146340 CPUtime=25.48
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 37603 0 0 0 2336 212 0 0 25 0 1 0 19290635 149852160 35533 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 36585 35533 227 482 0 36101 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 146340

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22905
/proc/meminfo: memFree=1529100/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=158632 CPUtime=51.07
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 40673 0 0 0 4719 388 0 0 25 0 1 0 19290635 162439168 38603 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 39658 38603 227 482 0 39174 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 158632

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22907
/proc/meminfo: memFree=1494008/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=193044 CPUtime=102.27
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 49282 0 0 0 9552 675 0 0 25 0 1 0 19290635 197677056 47212 1992294400 134512640 136485738 4290816688 18446744073709551615 134886819 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 48261 47212 227 482 0 47777 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 193044

[startup+162.301 s]
/proc/loadavg: 1.10 1.03 1.01 2/107 22909
/proc/meminfo: memFree=1488056/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=198852 CPUtime=162.25
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 50740 0 0 0 15222 1003 0 0 25 0 1 0 19290635 203624448 48670 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 49713 48670 227 482 0 49229 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 198852

[startup+222.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 22909
/proc/meminfo: memFree=1470820/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=216144 CPUtime=222.23
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 55057 0 0 0 20902 1321 0 0 25 0 1 0 19290635 221331456 52987 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 54036 52987 227 482 0 53552 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 216144

[startup+282.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 22911
/proc/meminfo: memFree=1470696/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=216420 CPUtime=282.22
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 55095 0 0 0 26580 1642 0 0 25 0 1 0 19290635 221614080 53025 1992294400 134512640 136485738 4290816688 18446744073709551615 135047017 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 54105 53025 227 482 0 53621 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 216420

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 22913
/proc/meminfo: memFree=1453956/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=233080 CPUtime=342.2
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 59259 0 0 0 32254 1966 0 0 25 0 1 0 19290635 238673920 57189 1992294400 134512640 136485738 4290816688 18446744073709551615 135725226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 58270 57189 227 482 0 57786 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 233080

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22915
/proc/meminfo: memFree=1451724/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=235324 CPUtime=402.19
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 59801 0 0 0 37915 2304 0 0 25 0 1 0 19290635 240971776 57731 1992294400 134512640 136485738 4290816688 18446744073709551615 135047017 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 58831 57731 227 482 0 58347 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 235324

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22917
/proc/meminfo: memFree=1451600/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=235324 CPUtime=462.17
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 59801 0 0 0 43604 2613 0 0 25 0 1 0 19290635 240971776 57731 1992294400 134512640 136485738 4290816688 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 58831 57731 227 482 0 58347 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 235324

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22917
/proc/meminfo: memFree=1446888/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=240076 CPUtime=522.16
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 61006 0 0 0 49276 2940 0 0 25 0 1 0 19290635 245837824 58936 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 60019 58936 227 482 0 59535 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 240076

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22919
/proc/meminfo: memFree=1446764/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=240076 CPUtime=582.14
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 61006 0 0 0 54954 3260 0 0 25 0 1 0 19290635 245837824 58936 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 60019 58936 227 482 0 59535 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 240076

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22921
/proc/meminfo: memFree=1445772/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=241000 CPUtime=642.13
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 61245 0 0 0 60630 3583 0 0 25 0 1 0 19290635 246784000 59175 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 60250 59175 227 482 0 59766 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 241000

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22936
/proc/meminfo: memFree=1417872/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=268332 CPUtime=882.05
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 68087 0 0 0 83249 4956 0 0 25 0 1 0 19290635 274771968 66017 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 67083 66017 227 482 0 66599 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 268332

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22938
/proc/meminfo: memFree=1417872/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=268332 CPUtime=942.03
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 68087 0 0 0 88930 5273 0 0 25 0 1 0 19290635 274771968 66017 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 67083 66017 227 482 0 66599 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 268332

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22940
/proc/meminfo: memFree=1417872/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=268332 CPUtime=1002.01
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 68087 0 0 0 94608 5593 0 0 25 0 1 0 19290635 274771968 66017 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 67083 66017 227 482 0 66599 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 268332

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22942
/proc/meminfo: memFree=1417872/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=268332 CPUtime=1062
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 68087 0 0 0 100259 5941 0 0 25 0 1 0 19290635 274771968 66017 1992294400 134512640 136485738 4290816688 18446744073709551615 135039475 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 67083 66017 227 482 0 66599 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 268332

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22942
/proc/meminfo: memFree=1417872/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=268332 CPUtime=1121.99
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 68087 0 0 0 105957 6242 0 0 25 0 1 0 19290635 274771968 66017 1992294400 134512640 136485738 4290816688 18446744073709551615 135047540 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 67083 66017 227 482 0 66599 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 268332

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22944
/proc/meminfo: memFree=1417872/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=268332 CPUtime=1181.97
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 68087 0 0 0 111633 6564 0 0 25 0 1 0 19290635 274771968 66017 1992294400 134512640 136485738 4290816688 18446744073709551615 134659688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 67083 66017 227 482 0 66599 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 268332

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22946
/proc/meminfo: memFree=1417624/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=268332 CPUtime=1241.95
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 68087 0 0 0 117302 6893 0 0 25 0 1 0 19290635 274771968 66017 1992294400 134512640 136485738 4290816688 18446744073709551615 135024859 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 67083 66017 227 482 0 66599 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 268332

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22948
/proc/meminfo: memFree=1417624/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=268332 CPUtime=1301.94
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 68087 0 0 0 122990 7204 0 0 25 0 1 0 19290635 274771968 66017 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 67083 66017 227 482 0 66599 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 268332

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22950
/proc/meminfo: memFree=1417500/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=268332 CPUtime=1361.92
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 68087 0 0 0 128642 7550 0 0 25 0 1 0 19290635 274771968 66017 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 67083 66017 227 482 0 66599 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 268332

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22950
/proc/meminfo: memFree=1417500/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=268332 CPUtime=1421.91
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 68087 0 0 0 134311 7880 0 0 25 0 1 0 19290635 274771968 66017 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 67083 66017 227 482 0 66599 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 268332

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22952
/proc/meminfo: memFree=1411920/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=274936 CPUtime=1481.89
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 69691 0 0 0 139963 8226 0 0 25 0 1 0 19290635 281534464 67621 1992294400 134512640 136485738 4290816688 18446744073709551615 134623200 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 68734 67621 227 482 0 68250 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 274936

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22954
/proc/meminfo: memFree=1392204/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=294208 CPUtime=1541.87
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 74505 0 0 0 145620 8567 0 0 25 0 1 0 19290635 301268992 72435 1992294400 134512640 136485738 4290816688 18446744073709551615 134882300 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 73552 72435 227 482 0 73068 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 294208

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22959
/proc/meminfo: memFree=1391832/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=294208 CPUtime=1601.86
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 74506 0 0 0 151264 8922 0 0 25 0 1 0 19290635 301268992 72436 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 73552 72436 227 482 0 73068 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 294208

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22961
/proc/meminfo: memFree=1391832/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=294208 CPUtime=1661.84
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 74506 0 0 0 156943 9241 0 0 25 0 1 0 19290635 301268992 72436 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 73552 72436 227 482 0 73068 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 294208

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22961
/proc/meminfo: memFree=1390964/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=295132 CPUtime=1721.83
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 74760 0 0 0 162617 9566 0 0 25 0 1 0 19290635 302215168 72690 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 73783 72690 227 482 0 73299 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 295132

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22963
/proc/meminfo: memFree=1390840/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=295132 CPUtime=1781.81
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 74760 0 0 0 168283 9898 0 0 25 0 1 0 19290635 302215168 72690 1992294400 134512640 136485738 4290816688 18446744073709551615 135047024 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 73783 72690 227 482 0 73299 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 295132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22963
/proc/meminfo: memFree=1390840/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=295132 CPUtime=1800.01
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 74760 0 0 0 170008 9993 0 0 25 0 1 0 19290635 302215168 72690 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 73783 72690 227 482 0 73299 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 295132

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 22963
/proc/meminfo: memFree=1390840/2059040 swapFree=4192956/4192956
[pid=22902] ppid=22900 vsize=295132 CPUtime=1800.01
/proc/22902/stat : 22902 (pbct) R 22900 22902 22517 0 -1 4202496 74760 0 0 0 170008 9993 0 0 25 0 1 0 19290635 302215168 72690 1992294400 134512640 136485738 4290816688 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/22902/statm: 73783 72690 227 482 0 73299 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 295132

Child status: 0
Real time (s): 1800.54
CPU time (s): 1800.05
CPU user time (s): 1700.09
CPU system time (s): 99.9658
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 295132

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

runsolver used 3.11852 second user time and 8.36573 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-13 15:47:49
IDJOB=2668601
IDBENCH=1525
IDSOLVER=1170
FILE ID=node005/2668601-1276436869
PBS_JOBID= 11173316
Free space on /tmp= 62532 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668601-1276436869/watcher-2668601-1276436869 -o /tmp/evaluation-result-2668601-1276436869/solver-2668601-1276436869 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2668601-1276436869.opb

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

MD5SUM BENCH= d5ffb80d8d2a9d2ae5f84f17eeb42612
RANDOM SEED=49056040

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:       1683388 kB
Buffers:         91064 kB
Cached:         157328 kB
SwapCached:          0 kB
Active:         159596 kB
Inactive:       147980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1683388 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2244 kB
Writeback:           0 kB
AnonPages:       59208 kB
Mapped:          15396 kB
Slab:            46188 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182468 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= 62532 MiB
End job on node005 at 2010-06-13 16:17:52