Trace number 2668597

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

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-air05.opb
MD5SUM7a59cd2d9b82be306fe717119e5558d0
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark37941
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31955
Optimality of the best value was proved NO
Number of variables7195
Total number of constraints426
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)426
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint404
Number of terms in the objective function 7195
Biggest coefficient in the objective function 2679
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3908448
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2679
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3908448
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.09/0.16	c constraints 426/0 clauses 0/0 units 0
0.09/0.16	c vars 7195
0.09/0.16	c objective 7195 + 0
1800.07/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-2668597-1276436081/watcher-2668597-1276436081 -o /tmp/evaluation-result-2668597-1276436081/solver-2668597-1276436081 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668597-1276436081.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.85 0.97 0.99 3/106 23247
/proc/meminfo: memFree=1821412/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=2488 CPUtime=0
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 309 0 0 0 0 0 0 0 20 0 1 0 19212045 2547712 231 1992294400 134512640 136485738 4289048608 18446744073709551615 135178844 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23247/statm: 622 231 149 482 0 138 0

[startup+0.0371091 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 23247
/proc/meminfo: memFree=1821412/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=3016 CPUtime=0.03
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 451 0 0 0 3 0 0 0 20 0 1 0 19212045 3088384 373 1992294400 134512640 136485738 4289048608 18446744073709551615 135844737 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23247/statm: 754 375 153 482 0 270 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3016

[startup+0.101113 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 23247
/proc/meminfo: memFree=1821412/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=5000 CPUtime=0.09
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 950 0 0 0 9 0 0 0 20 0 1 0 19212045 5120000 872 1992294400 134512640 136485738 4289048608 18446744073709551615 135346650 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23247/statm: 1250 872 153 482 0 766 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5000

[startup+0.301129 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 23247
/proc/meminfo: memFree=1821412/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=17376 CPUtime=0.29
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 4000 0 0 0 28 1 0 0 20 0 1 0 19212045 17793024 3922 1992294400 134512640 136485738 4289048608 18446744073709551615 134725667 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 4344 3922 195 482 0 3860 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17376

[startup+0.701162 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 23247
/proc/meminfo: memFree=1821412/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=40924 CPUtime=0.69
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 10202 0 0 0 65 4 0 0 21 0 1 0 19212045 41906176 9685 1992294400 134512640 136485738 4289048608 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 10231 9686 195 482 0 9747 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40924

[startup+1.50023 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 23248
/proc/meminfo: memFree=1766844/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=83996 CPUtime=1.49
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 21855 0 0 0 140 9 0 0 23 0 1 0 19212045 86011904 20404 1992294400 134512640 136485738 4289048608 18446744073709551615 135848528 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 20999 20404 195 482 0 20515 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83996

[startup+3.10036 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 23248
/proc/meminfo: memFree=1708688/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=222704 CPUtime=3.09
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 58184 0 0 0 287 22 0 0 25 0 1 0 19212045 228048896 54024 1992294400 134512640 136485738 4289048608 18446744073709551615 134931982 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 55676 54024 208 482 0 55192 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 222704

[startup+6.30162 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 23248
/proc/meminfo: memFree=1586548/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=242564 CPUtime=6.29
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 63173 0 0 0 588 41 0 0 25 0 1 0 19212045 248385536 58690 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 60641 58690 225 482 0 60157 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 242564

[startup+12.7011 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 23248
/proc/meminfo: memFree=1586176/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=243076 CPUtime=12.69
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 63255 0 0 0 1183 86 0 0 25 0 1 0 19212045 248909824 58772 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 60769 58772 225 482 0 60285 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 243076

[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 23248
/proc/meminfo: memFree=1586176/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=243076 CPUtime=25.48
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 63265 0 0 0 2383 165 0 0 25 0 1 0 19212045 248909824 58782 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 60769 58782 225 482 0 60285 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 243076

[startup+51.1013 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 23250
/proc/meminfo: memFree=1586052/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=243076 CPUtime=51.08
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 63291 0 0 0 4790 318 0 0 25 0 1 0 19212045 248909824 58808 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 60769 58808 225 482 0 60285 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 243076

[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 23250
/proc/meminfo: memFree=1585928/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=243208 CPUtime=102.28
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 63322 0 0 0 9599 629 0 0 25 0 1 0 19212045 249044992 58839 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 60802 58839 225 482 0 60318 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 243208

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23252
/proc/meminfo: memFree=1585556/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=243340 CPUtime=162.25
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 63378 0 0 0 15232 993 0 0 25 0 1 0 19212045 249180160 58895 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 60835 58895 225 482 0 60351 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 243340

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23254
/proc/meminfo: memFree=1585432/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=243472 CPUtime=222.23
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 63413 0 0 0 20872 1351 0 0 25 0 1 0 19212045 249315328 58930 1992294400 134512640 136485738 4289048608 18446744073709551615 134874639 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 60868 58930 225 482 0 60384 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 243472

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23256
/proc/meminfo: memFree=1585184/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=243736 CPUtime=282.23
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 63464 0 0 0 26530 1693 0 0 25 0 1 0 19212045 249585664 58981 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 60934 58981 225 482 0 60450 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 243736

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23258
/proc/meminfo: memFree=1584936/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=244000 CPUtime=342.21
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 63532 0 0 0 32202 2019 0 0 25 0 1 0 19212045 249856000 59049 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 61000 59049 225 482 0 60516 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 244000

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23258
/proc/meminfo: memFree=1584564/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=244264 CPUtime=402.19
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 63600 0 0 0 37861 2358 0 0 25 0 1 0 19212045 250126336 59117 1992294400 134512640 136485738 4289048608 18446744073709551615 135044912 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 61066 59117 225 482 0 60582 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 244264

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23260
/proc/meminfo: memFree=1584440/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=244396 CPUtime=462.19
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 63645 0 0 0 43536 2683 0 0 25 0 1 0 19212045 250261504 59162 1992294400 134512640 136485738 4289048608 18446744073709551615 135044875 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 61099 59162 225 482 0 60615 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 244396

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23262
/proc/meminfo: memFree=1583944/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=244792 CPUtime=522.17
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 63742 0 0 0 49224 2993 0 0 25 0 1 0 19212045 250667008 59259 1992294400 134512640 136485738 4289048608 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 61198 59259 225 482 0 60714 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 244792

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23264
/proc/meminfo: memFree=1583696/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=245056 CPUtime=582.16
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 63797 0 0 0 54924 3292 0 0 25 0 1 0 19212045 250937344 59314 1992294400 134512640 136485738 4289048608 18446744073709551615 134616142 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 61264 59314 225 482 0 60780 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 245056

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23266
/proc/meminfo: memFree=1582952/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=245716 CPUtime=642.15
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 63966 0 0 0 60613 3602 0 0 25 0 1 0 19212045 251613184 59483 1992294400 134512640 136485738 4289048608 18446744073709551615 134886607 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 61429 59483 225 482 0 60945 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 245716

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23272
/proc/meminfo: memFree=1581092/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=247468 CPUtime=882.08
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 64390 0 0 0 83520 4688 0 0 25 0 1 0 19212045 253407232 59907 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 61867 59907 225 482 0 61383 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 247468

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23274
/proc/meminfo: memFree=1580596/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=247864 CPUtime=942.07
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 64510 0 0 0 89283 4924 0 0 25 0 1 0 19212045 253812736 60027 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 61966 60027 225 482 0 61482 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 247864

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23274
/proc/meminfo: memFree=1580100/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=248392 CPUtime=1002.06
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 64634 0 0 0 95026 5180 0 0 25 0 1 0 19212045 254353408 60151 1992294400 134512640 136485738 4289048608 18446744073709551615 135044875 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 62098 60151 225 482 0 61614 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 248392

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23276
/proc/meminfo: memFree=1579604/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=248656 CPUtime=1062.04
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 64728 0 0 0 100756 5448 0 0 25 0 1 0 19212045 254623744 60245 1992294400 134512640 136485738 4289048608 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 62164 60245 225 482 0 61680 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 248656

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23278
/proc/meminfo: memFree=1579232/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=249184 CPUtime=1122.03
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 64834 0 0 0 106518 5685 0 0 25 0 1 0 19212045 255164416 60351 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 62296 60351 225 482 0 61812 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 249184

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23280
/proc/meminfo: memFree=1578860/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=249448 CPUtime=1182.01
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 64912 0 0 0 112286 5915 0 0 25 0 1 0 19212045 255434752 60429 1992294400 134512640 136485738 4289048608 18446744073709551615 134880448 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 62362 60429 225 482 0 61878 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 249448

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23282
/proc/meminfo: memFree=1578116/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=250108 CPUtime=1242
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 65081 0 0 0 118076 6124 0 0 25 0 1 0 19212045 256110592 60598 1992294400 134512640 136485738 4289048608 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 62527 60598 225 482 0 62043 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 250108

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23282
/proc/meminfo: memFree=1577496/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=250636 CPUtime=1301.99
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 65196 0 0 0 123859 6340 0 0 25 0 1 0 19212045 256651264 60713 1992294400 134512640 136485738 4289048608 18446744073709551615 135044875 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 62659 60713 225 482 0 62175 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 250636

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23284
/proc/meminfo: memFree=1576752/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=251428 CPUtime=1361.97
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 65394 0 0 0 129648 6549 0 0 25 0 1 0 19212045 257462272 60911 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 62857 60911 225 482 0 62373 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 251428

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23286
/proc/meminfo: memFree=1576008/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=252088 CPUtime=1421.97
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 65581 0 0 0 135445 6752 0 0 25 0 1 0 19212045 258138112 61098 1992294400 134512640 136485738 4289048608 18446744073709551615 135024728 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 63022 61098 225 482 0 62538 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 252088

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23288
/proc/meminfo: memFree=1575016/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=253144 CPUtime=1481.94
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 65823 0 0 0 141228 6966 0 0 25 0 1 0 19212045 259219456 61340 1992294400 134512640 136485738 4289048608 18446744073709551615 135044875 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 63286 61340 225 482 0 62802 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 253144

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23290
/proc/meminfo: memFree=1573900/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=254216 CPUtime=1541.93
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 66080 0 0 0 147016 7177 0 0 25 0 1 0 19212045 260317184 61597 1992294400 134512640 136485738 4289048608 18446744073709551615 135044875 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 63554 61597 225 482 0 63070 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 254216

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23299
/proc/meminfo: memFree=1572784/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=255008 CPUtime=1601.9
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 66278 0 0 0 152870 7320 0 0 25 0 1 0 19212045 261128192 61795 1992294400 134512640 136485738 4289048608 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 63752 61795 225 482 0 63268 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 255008

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23301
/proc/meminfo: memFree=1572164/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=255800 CPUtime=1661.89
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 66465 0 0 0 158664 7525 0 0 25 0 1 0 19212045 261939200 61982 1992294400 134512640 136485738 4289048608 18446744073709551615 135050800 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 63950 61982 225 482 0 63466 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 255800

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23303
/proc/meminfo: memFree=1570924/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=256988 CPUtime=1721.88
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 66773 0 0 0 164524 7664 0 0 25 0 1 0 19212045 263155712 62290 1992294400 134512640 136485738 4289048608 18446744073709551615 135025212 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 64247 62290 225 482 0 63763 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 256988

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23305
/proc/meminfo: memFree=1569560/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=258308 CPUtime=1781.86
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 67102 0 0 0 170356 7830 0 0 25 0 1 0 19212045 264507392 62619 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 64577 62619 225 482 0 64093 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 258308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23305
/proc/meminfo: memFree=1569312/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=258572 CPUtime=1800.07
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 67168 0 0 0 172124 7883 0 0 25 0 1 0 19212045 264777728 62685 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 64643 62685 225 482 0 64159 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 258572

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: 0.99 0.97 0.99 2/107 23305
/proc/meminfo: memFree=1569312/2059040 swapFree=4140200/4192956
[pid=23247] ppid=23245 vsize=258572 CPUtime=1800.07
/proc/23247/stat : 23247 (pbct) R 23245 23247 23222 0 -1 4202496 67168 0 0 0 172124 7883 0 0 25 0 1 0 19212045 264777728 62685 1992294400 134512640 136485738 4289048608 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23247/statm: 64643 62685 225 482 0 64159 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 258572

Child status: 0
Real time (s): 1800.54
CPU time (s): 1800.11
CPU user time (s): 1721.25
CPU system time (s): 78.86
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 258572

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

runsolver used 2.92656 second user time and 8.5537 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-13 15:34:41
IDJOB=2668597
IDBENCH=1521
IDSOLVER=1170
FILE ID=node003/2668597-1276436081
PBS_JOBID= 11173324
Free space on /tmp= 62556 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-air05.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668597-1276436081/watcher-2668597-1276436081 -o /tmp/evaluation-result-2668597-1276436081/solver-2668597-1276436081 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2668597-1276436081.opb

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

MD5SUM BENCH= 7a59cd2d9b82be306fe717119e5558d0
RANDOM SEED=338657979

node003.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.251
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.50
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.251
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:       1821816 kB
Buffers:         33760 kB
Cached:         125336 kB
SwapCached:       5728 kB
Active:          98220 kB
Inactive:        73096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1821816 kB
SwapTotal:     4192956 kB
SwapFree:      4140200 kB
Dirty:            2608 kB
Writeback:           0 kB
AnonPages:       10748 kB
Mapped:          12824 kB
Slab:            44068 kB
PageTables:       3932 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182160 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= 62552 MiB
End job on node003 at 2010-06-13 16:04:44