Trace number 2682155

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.16 1800.59

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-grow22.opb
MD5SUM459c1d0101a0e61c9c386c9d02f149df
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables25124
Total number of constraints1320
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 constraints1320
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 1958
Biggest coefficient in the objective function 3758096384
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 234612588283
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 878188741787648
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 4550739094651140
Number of bits of the biggest sum of numbers53
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.49/0.59	c constraints 1320/0 clauses 0/0 units 0
0.49/0.59	c vars 25124
0.49/0.59	c objective 1958 + -234612588283
1800.06/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-2682155-1277487016/watcher-2682155-1277487016 -o /tmp/evaluation-result-2682155-1277487016/solver-2682155-1277487016 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682155-1277487016.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 0.98 3/106 28629
/proc/meminfo: memFree=1864592/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=2280 CPUtime=0
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 274 0 0 0 0 0 0 0 20 0 1 0 89994293 2334720 194 1992294400 134512640 136421960 4286717408 18446744073709551615 134561600 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28629/statm: 570 194 146 467 0 101 0

[startup+0.0434369 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 28629
/proc/meminfo: memFree=1864592/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=2940 CPUtime=0.04
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 459 0 0 0 4 0 0 0 20 0 1 0 89994293 3010560 379 1992294400 134512640 136421960 4286717408 18446744073709551615 135205455 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28629/statm: 735 380 146 467 0 266 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2940

[startup+0.101441 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 28629
/proc/meminfo: memFree=1864592/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=4128 CPUtime=0.09
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 765 0 0 0 9 0 0 0 20 0 1 0 89994293 4227072 685 1992294400 134512640 136421960 4286717408 18446744073709551615 135809939 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28629/statm: 1032 685 146 467 0 563 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4128

[startup+0.301457 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 28629
/proc/meminfo: memFree=1864592/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=8504 CPUtime=0.29
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 1839 0 0 0 29 0 0 0 20 0 1 0 89994293 8708096 1759 1992294400 134512640 136421960 4286717408 18446744073709551615 134523920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28629/statm: 2126 1759 146 467 0 1657 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8504

[startup+0.700494 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 28629
/proc/meminfo: memFree=1864592/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=25104 CPUtime=0.69
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 5940 0 0 0 67 2 0 0 21 0 1 0 89994293 25706496 5860 1992294400 134512640 136421960 4286717408 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 6276 5861 195 467 0 5807 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25104

[startup+1.50056 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28630
/proc/meminfo: memFree=1815108/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=96680 CPUtime=1.49
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 24615 0 0 0 139 10 0 0 23 0 1 0 89994293 99000320 23355 1992294400 134512640 136421960 4286717408 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 24170 23356 195 467 0 23701 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96680

[startup+3.1007 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28630
/proc/meminfo: memFree=1724836/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=198776 CPUtime=3.09
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 51605 0 0 0 288 21 0 0 25 0 1 0 89994293 203546624 48868 1992294400 134512640 136421960 4286717408 18446744073709551615 134632331 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 49694 48868 195 467 0 49225 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 198776

[startup+6.30098 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28630
/proc/meminfo: memFree=1560660/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=348956 CPUtime=6.29
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 92634 0 0 0 589 40 0 0 25 0 1 0 89994293 357330944 86179 1992294400 134512640 136421960 4286717408 18446744073709551615 135801141 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 87239 86179 195 467 0 86770 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 348956

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28630
/proc/meminfo: memFree=1239996/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=655452 CPUtime=12.68
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 171382 0 0 0 1192 76 0 0 25 0 1 0 89994293 671182848 155947 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 163863 155947 217 467 0 163394 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 655452

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28630
/proc/meminfo: memFree=1237144/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=657960 CPUtime=25.48
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 172089 0 0 0 2419 129 0 0 25 0 1 0 89994293 673751040 156654 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 164490 156654 217 467 0 164021 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 657960

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28632
/proc/meminfo: memFree=1234540/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=660852 CPUtime=51.08
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 172761 0 0 0 4888 220 0 0 25 0 1 0 89994293 676712448 157326 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 165213 157326 217 467 0 164744 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 660852

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 28632
/proc/meminfo: memFree=1230820/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=664304 CPUtime=102.28
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 173613 0 0 0 9857 371 0 0 25 0 1 0 89994293 680247296 158178 1992294400 134512640 136421960 4286717408 18446744073709551615 135006000 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 166076 158178 217 467 0 165607 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 664304

[startup+162.302 s]
/proc/loadavg: 1.04 1.01 0.99 2/107 28637
/proc/meminfo: memFree=1223132/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=671412 CPUtime=162.25
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 175408 0 0 0 15676 549 0 0 25 0 1 0 89994293 687525888 159973 1992294400 134512640 136421960 4286717408 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 167853 159973 217 467 0 167384 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 671412

[startup+222.302 s]
/proc/loadavg: 1.01 1.01 0.99 2/107 28639
/proc/meminfo: memFree=1214824/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=679672 CPUtime=222.24
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 177474 0 0 0 21506 718 0 0 25 0 1 0 89994293 695984128 162039 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 169918 162039 217 467 0 169449 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 679672

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28641
/proc/meminfo: memFree=1206516/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=688136 CPUtime=282.22
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 179565 0 0 0 27323 899 0 0 25 0 1 0 89994293 704651264 164130 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 172034 164130 217 467 0 171565 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 688136

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28641
/proc/meminfo: memFree=1199200/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=695528 CPUtime=342.21
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 181422 0 0 0 33158 1063 0 0 25 0 1 0 89994293 712220672 165987 1992294400 134512640 136421960 4286717408 18446744073709551615 135166598 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 173882 165987 217 467 0 173413 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 695528

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28643
/proc/meminfo: memFree=1196596/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=698192 CPUtime=402.2
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 182092 0 0 0 38990 1230 0 0 25 0 1 0 89994293 714948608 166657 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 174548 166657 217 467 0 174079 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 698192

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28645
/proc/meminfo: memFree=1190644/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=704296 CPUtime=462.18
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 183582 0 0 0 44834 1384 0 0 25 0 1 0 89994293 721199104 168147 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 176074 168147 217 467 0 175605 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 704296

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28647
/proc/meminfo: memFree=1187048/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=707880 CPUtime=522.17
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 184486 0 0 0 50683 1534 0 0 25 0 1 0 89994293 724869120 169051 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 176970 169051 217 467 0 176501 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 707880

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28649
/proc/meminfo: memFree=1184692/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=710264 CPUtime=582.16
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 185069 0 0 0 56528 1688 0 0 25 0 1 0 89994293 727310336 169634 1992294400 134512640 136421960 4286717408 18446744073709551615 135028329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 177566 169634 217 467 0 177097 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 710264

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 3/107 28649
/proc/meminfo: memFree=1181592/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=713300 CPUtime=642.15
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 185835 0 0 0 62368 1847 0 0 25 0 1 0 89994293 730419200 170400 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 178325 170400 217 467 0 177856 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 713300

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28657
/proc/meminfo: memFree=1154188/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=740540 CPUtime=882.08
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 192631 0 0 0 85686 2522 0 0 25 0 1 0 89994293 758312960 177196 1992294400 134512640 136421960 4286717408 18446744073709551615 135809718 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 185135 177196 217 467 0 184666 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 740540

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28657
/proc/meminfo: memFree=1147244/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=747416 CPUtime=942.07
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 194368 0 0 0 91516 2691 0 0 25 0 1 0 89994293 765353984 178933 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 186854 178933 217 467 0 186385 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 747416

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28659
/proc/meminfo: memFree=1139432/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=755928 CPUtime=1002.05
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 196364 0 0 0 97342 2863 0 0 25 0 1 0 89994293 774070272 180929 1992294400 134512640 136421960 4286717408 18446744073709551615 135166508 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 188982 180929 217 467 0 188513 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 755928

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28661
/proc/meminfo: memFree=1131372/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=763520 CPUtime=1062.04
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 198279 0 0 0 103171 3033 0 0 25 0 1 0 89994293 781844480 182844 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 190880 182844 217 467 0 190411 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 763520

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28663
/proc/meminfo: memFree=1125296/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=769588 CPUtime=1122.03
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 199798 0 0 0 109016 3187 0 0 25 0 1 0 89994293 788058112 184363 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 192397 184363 217 467 0 191928 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 769588

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28665
/proc/meminfo: memFree=1113392/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=781412 CPUtime=1182
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 202758 0 0 0 114847 3353 0 0 25 0 1 0 89994293 800165888 187323 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 195353 187323 217 467 0 194884 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 781412

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28665
/proc/meminfo: memFree=1106324/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=788216 CPUtime=1242
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 204470 0 0 0 120677 3523 0 0 25 0 1 0 89994293 807133184 189035 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 197054 189035 217 467 0 196585 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 788216

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28667
/proc/meminfo: memFree=1096404/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=797956 CPUtime=1301.98
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 206920 0 0 0 126520 3678 0 0 25 0 1 0 89994293 817106944 191485 1992294400 134512640 136421960 4286717408 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 199489 191485 217 467 0 199020 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 797956

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28669
/proc/meminfo: memFree=1086856/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=807328 CPUtime=1361.97
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 209311 0 0 0 132350 3847 0 0 25 0 1 0 89994293 826703872 193876 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 201832 193876 217 467 0 201363 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 807328

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28671
/proc/meminfo: memFree=1069744/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=825192 CPUtime=1421.96
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 213588 0 0 0 138191 4005 0 0 25 0 1 0 89994293 844996608 198153 1992294400 134512640 136421960 4286717408 18446744073709551615 135274876 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 206298 198153 217 467 0 205829 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 825192

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28673
/proc/meminfo: memFree=1060196/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=834492 CPUtime=1481.93
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 215933 0 0 0 144041 4152 0 0 25 0 1 0 89994293 854519808 200498 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 208623 200498 217 467 0 208154 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 834492

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28673
/proc/meminfo: memFree=1057220/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=837756 CPUtime=1541.92
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 216735 0 0 0 149899 4293 0 0 25 0 1 0 89994293 857862144 201300 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 209439 201300 217 467 0 208970 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 837756

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28675
/proc/meminfo: memFree=1049904/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=844932 CPUtime=1601.91
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 218520 0 0 0 155748 4443 0 0 25 0 1 0 89994293 865210368 203085 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 211233 203085 217 467 0 210764 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 844932

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28677
/proc/meminfo: memFree=1042340/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=852212 CPUtime=1661.89
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 220368 0 0 0 161591 4598 0 0 25 0 1 0 89994293 872665088 204933 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 213053 204933 217 467 0 212584 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 852212

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28679
/proc/meminfo: memFree=1034652/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=859940 CPUtime=1721.88
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 222329 0 0 0 167451 4737 0 0 25 0 1 0 89994293 880578560 206894 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 214985 206894 217 467 0 214516 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 859940

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28681
/proc/meminfo: memFree=1027212/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=867068 CPUtime=1781.87
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 224144 0 0 0 173319 4868 0 0 25 0 1 0 89994293 887877632 208709 1992294400 134512640 136421960 4286717408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 216767 208709 217 467 0 216298 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 867068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 28681
/proc/meminfo: memFree=1022748/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=871264 CPUtime=1800.06
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 225169 0 0 0 175099 4907 0 0 25 0 1 0 89994293 892174336 209734 1992294400 134512640 136421960 4286717408 18446744073709551615 135155323 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 217816 209734 217 467 0 217347 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 871264

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 0.99 2/107 28681
/proc/meminfo: memFree=1022748/2059040 swapFree=4139448/4192956
[pid=28629] ppid=28627 vsize=871264 CPUtime=1800.06
/proc/28629/stat : 28629 (pbct) R 28627 28629 27421 0 -1 4202496 225169 0 0 0 175099 4907 0 0 25 0 1 0 89994293 892174336 209734 1992294400 134512640 136421960 4286717408 18446744073709551615 135155323 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28629/statm: 217816 209734 217 467 0 217347 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 871264

Child status: 0
Real time (s): 1800.59
CPU time (s): 1800.16
CPU user time (s): 1751
CPU system time (s): 49.1635
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 871264

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

runsolver used 2.93355 second user time and 8.5477 second system time

The end

Launcher Data 

Begin job on node041 at 2010-06-25 19:30:16
IDJOB=2682155
IDBENCH=2415
IDSOLVER=1192
FILE ID=node041/2682155-1277487016
PBS_JOBID= 11190504
Free space on /tmp= 61672 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-grow22.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682155-1277487016/watcher-2682155-1277487016 -o /tmp/evaluation-result-2682155-1277487016/solver-2682155-1277487016 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2682155-1277487016.opb

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

MD5SUM BENCH= 459c1d0101a0e61c9c386c9d02f149df
RANDOM SEED=1081238677

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1865120 kB
Buffers:         21600 kB
Cached:          80376 kB
SwapCached:       5940 kB
Active:          71484 kB
Inactive:        43132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1865120 kB
SwapTotal:     4192956 kB
SwapFree:      4139448 kB
Dirty:            4388 kB
Writeback:           0 kB
AnonPages:       11320 kB
Mapped:          11912 kB
Slab:            57160 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180644 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= 61672 MiB
End job on node041 at 2010-06-25 20:00:19