Trace number 2668725

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.13 1800.96

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-liu.opb
MD5SUMab83b851ef1a0a843838e278a21b0618
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8912896
Best CPU time to get the best result obtained on this benchmark1800.24
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1200128
Optimality of the best value was proved NO
Number of variables3097
Total number of constraints2178
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 constraints2178
Minimum length of a constraint60
Maximum length of a constraint63
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2182184958
Number of bits of the biggest sum of numbers32
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.39/0.47	c constraints 2178/0 clauses 0/0 units 0
0.39/0.47	c vars 3097
0.39/0.47	c objective 30 + 0
1800.08/1800.91	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-2668725-1276566710/watcher-2668725-1276566710 -o /tmp/evaluation-result-2668725-1276566710/solver-2668725-1276566710 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668725-1276566710.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: 2.00 2.06 1.70 3/106 31527
/proc/meminfo: memFree=1816364/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=2340 CPUtime=0
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 286 0 0 0 0 0 0 0 20 0 1 0 32274942 2396160 208 1992294400 134512640 136485738 4290323024 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31527/statm: 585 208 156 482 0 101 0

[startup+0.10676 s]
/proc/loadavg: 2.00 2.06 1.70 3/106 31527
/proc/meminfo: memFree=1816364/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=4188 CPUtime=0.1
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 764 0 0 0 10 0 0 0 20 0 1 0 32274942 4288512 686 1992294400 134512640 136485738 4290323024 18446744073709551615 135178799 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31527/statm: 1047 687 156 482 0 563 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4188

[startup+0.201767 s]
/proc/loadavg: 2.00 2.06 1.70 3/106 31527
/proc/meminfo: memFree=1816364/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=6036 CPUtime=0.19
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 1221 0 0 0 19 0 0 0 20 0 1 0 32274942 6180864 1143 1992294400 134512640 136485738 4290323024 18446744073709551615 135171970 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31527/statm: 1509 1143 156 482 0 1025 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6036

[startup+0.301775 s]
/proc/loadavg: 2.00 2.06 1.70 3/106 31527
/proc/meminfo: memFree=1816364/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=7884 CPUtime=0.29
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 1686 0 0 0 29 0 0 0 20 0 1 0 32274942 8073216 1608 1992294400 134512640 136485738 4290323024 18446744073709551615 135848134 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31527/statm: 1971 1608 156 482 0 1487 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7884

[startup+0.701808 s]
/proc/loadavg: 2.00 2.06 1.70 3/106 31527
/proc/meminfo: memFree=1816364/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=27048 CPUtime=0.69
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 6446 0 0 0 67 2 0 0 21 0 1 0 32274942 27697152 6302 1992294400 134512640 136485738 4290323024 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 6762 6302 197 482 0 6278 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27048

[startup+1.50187 s]
/proc/loadavg: 2.00 2.06 1.70 2/107 31528
/proc/meminfo: memFree=1770972/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=69556 CPUtime=1.49
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 17852 0 0 0 141 8 0 0 23 0 1 0 32274942 71225344 16594 1992294400 134512640 136485738 4290323024 18446744073709551615 134724915 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 17389 16595 197 482 0 16905 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69556

[startup+3.101 s]
/proc/loadavg: 2.00 2.06 1.70 2/107 31530
/proc/meminfo: memFree=1713808/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=150888 CPUtime=3.09
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 40029 0 0 0 291 18 0 0 25 0 1 0 32274942 154509312 36909 1992294400 134512640 136485738 4290323024 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 37722 36909 197 482 0 37238 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 150888

[startup+6.30126 s]
/proc/loadavg: 1.92 2.04 1.69 2/107 31530
/proc/meminfo: memFree=1547524/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=418000 CPUtime=6.29
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 110200 0 0 0 582 47 0 0 25 0 1 0 32274942 428032000 103748 1992294400 134512640 136485738 4290323024 18446744073709551615 135839892 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 104500 103748 200 482 0 104016 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 418000

[startup+12.7008 s]
/proc/loadavg: 1.85 2.03 1.69 2/107 31530
/proc/meminfo: memFree=1338584/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=492936 CPUtime=12.69
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 129576 0 0 0 1213 56 0 0 25 0 1 0 32274942 504766464 119295 1992294400 134512640 136485738 4290323024 18446744073709551615 135044912 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 123234 119295 228 482 0 122750 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 492936

[startup+25.5008 s]
/proc/loadavg: 1.66 1.97 1.68 2/107 31530
/proc/meminfo: memFree=1337220/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=494256 CPUtime=25.49
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 129917 0 0 0 2481 68 0 0 25 0 1 0 32274942 506118144 119636 1992294400 134512640 136485738 4290323024 18446744073709551615 135047545 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 123564 119636 228 482 0 123080 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 494256

[startup+51.1009 s]
/proc/loadavg: 1.43 1.89 1.66 2/107 31530
/proc/meminfo: memFree=1336600/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=494916 CPUtime=51.08
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 130089 0 0 0 5017 91 0 0 25 0 1 0 32274942 506793984 119808 1992294400 134512640 136485738 4290323024 18446744073709551615 135047540 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 123729 119808 228 482 0 123245 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 494916

[startup+102.301 s]
/proc/loadavg: 1.19 1.75 1.62 2/107 31532
/proc/meminfo: memFree=1335856/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=495576 CPUtime=102.27
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 130231 0 0 0 10091 136 0 0 25 0 1 0 32274942 507469824 119950 1992294400 134512640 136485738 4290323024 18446744073709551615 135044309 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 123894 119950 228 482 0 123410 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 495576

[startup+162.301 s]
/proc/loadavg: 1.07 1.61 1.58 2/107 31534
/proc/meminfo: memFree=1334988/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=496368 CPUtime=162.24
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 130446 0 0 0 16031 193 0 0 25 0 1 0 32274942 508280832 120165 1992294400 134512640 136485738 4290323024 18446744073709551615 135047017 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 124092 120165 228 482 0 123608 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 496368

[startup+222.309 s]
/proc/loadavg: 1.02 1.50 1.54 2/107 31534
/proc/meminfo: memFree=1334492/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=496764 CPUtime=222.24
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 130554 0 0 0 21981 243 0 0 25 0 1 0 32274942 508686336 120273 1992294400 134512640 136485738 4290323024 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 124191 120273 228 482 0 123707 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 496764

[startup+282.302 s]
/proc/loadavg: 1.01 1.41 1.50 2/107 31536
/proc/meminfo: memFree=1333872/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=497432 CPUtime=282.22
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 130708 0 0 0 27923 299 0 0 25 0 1 0 32274942 509370368 120427 1992294400 134512640 136485738 4290323024 18446744073709551615 135724785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 124358 120427 228 482 0 123874 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 497432

[startup+342.302 s]
/proc/loadavg: 1.00 1.33 1.47 2/107 31538
/proc/meminfo: memFree=1333004/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=498308 CPUtime=342.2
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 130907 0 0 0 33867 353 0 0 25 0 1 0 32274942 510267392 120626 1992294400 134512640 136485738 4290323024 18446744073709551615 135047552 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 124577 120626 228 482 0 124093 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 498308

[startup+402.301 s]
/proc/loadavg: 1.00 1.27 1.44 2/107 31540
/proc/meminfo: memFree=1332508/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=498704 CPUtime=402.18
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 131039 0 0 0 39813 405 0 0 25 0 1 0 32274942 510672896 120758 1992294400 134512640 136485738 4290323024 18446744073709551615 135186891 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 124676 120758 228 482 0 124192 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 498704

[startup+462.301 s]
/proc/loadavg: 1.00 1.22 1.41 2/107 31542
/proc/meminfo: memFree=1331640/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=499364 CPUtime=462.17
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 131200 0 0 0 45763 454 0 0 25 0 1 0 32274942 511348736 120919 1992294400 134512640 136485738 4290323024 18446744073709551615 135293384 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 124841 120919 228 482 0 124357 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 499364

[startup+522.301 s]
/proc/loadavg: 1.00 1.17 1.38 2/107 31542
/proc/meminfo: memFree=1331268/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=499888 CPUtime=522.15
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 131328 0 0 0 51706 509 0 0 25 0 1 0 32274942 511885312 121047 1992294400 134512640 136485738 4290323024 18446744073709551615 135848215 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 124972 121047 228 482 0 124488 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 499888

[startup+582.301 s]
/proc/loadavg: 1.00 1.14 1.35 2/107 31553
/proc/meminfo: memFree=1329532/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=500548 CPUtime=582.12
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 131475 0 0 0 57653 559 0 0 25 0 1 0 32274942 512561152 121194 1992294400 134512640 136485738 4290323024 18446744073709551615 135839991 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 125137 121194 228 482 0 124653 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 500548

[startup+642.3 s]
/proc/loadavg: 1.11 1.14 1.34 2/107 32027
/proc/meminfo: memFree=1319656/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=501208 CPUtime=641.93
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 131661 0 0 0 63574 619 0 0 25 0 1 0 32274942 513236992 121380 1992294400 134512640 136485738 4290323024 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 125302 121380 228 482 0 124818 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 501208

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.07 1.27 2/107 32031
/proc/meminfo: memFree=1318292/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=503100 CPUtime=821.86
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 132122 0 0 0 81384 802 0 0 25 0 1 0 32274942 515174400 121841 1992294400 134512640 136485738 4290323024 18446744073709551615 135173207 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 125775 121841 228 482 0 125291 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 503100

[startup+882.309 s]
/proc/loadavg: 1.00 1.06 1.25 2/107 32033
/proc/meminfo: memFree=1317796/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=503628 CPUtime=881.84
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 132239 0 0 0 87326 858 0 0 25 0 1 0 32274942 515715072 121958 1992294400 134512640 136485738 4290323024 18446744073709551615 135256100 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 125907 121958 228 482 0 125423 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 503628

[startup+942.301 s]
/proc/loadavg: 1.00 1.04 1.23 2/107 32035
/proc/meminfo: memFree=1317308/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=504156 CPUtime=941.82
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 132381 0 0 0 93268 914 0 0 25 0 1 0 32274942 516255744 122100 1992294400 134512640 136485738 4290323024 18446744073709551615 135047017 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 126039 122100 228 482 0 125555 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 504156

[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.22 2/107 32037
/proc/meminfo: memFree=1316688/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=504684 CPUtime=1001.79
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 132511 0 0 0 99208 971 0 0 25 0 1 0 32274942 516796416 122230 1992294400 134512640 136485738 4290323024 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 126171 122230 228 482 0 125687 0
Current children cumulated CPU time (s) 1001.79
Current children cumulated vsize (KiB) 504684

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.20 2/107 32039
/proc/meminfo: memFree=1316192/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=505212 CPUtime=1061.76
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 132648 0 0 0 105148 1028 0 0 25 0 1 0 32274942 517337088 122367 1992294400 134512640 136485738 4290323024 18446744073709551615 135186885 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 126303 122367 228 482 0 125819 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 505212

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.18 2/107 32039
/proc/meminfo: memFree=1315200/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=506216 CPUtime=1121.74
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 132863 0 0 0 111091 1083 0 0 25 0 1 0 32274942 518365184 122582 1992294400 134512640 136485738 4290323024 18446744073709551615 134878396 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 126554 122582 228 482 0 126070 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 506216

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/107 32041
/proc/meminfo: memFree=1314828/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=506480 CPUtime=1181.71
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 132952 0 0 0 117032 1139 0 0 25 0 1 0 32274942 518635520 122671 1992294400 134512640 136485738 4290323024 18446744073709551615 135181808 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 126620 122671 228 482 0 126136 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 506480

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/107 32043
/proc/meminfo: memFree=1314332/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=507008 CPUtime=1241.69
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 133079 0 0 0 122972 1197 0 0 25 0 1 0 32274942 519176192 122798 1992294400 134512640 136485738 4290323024 18446744073709551615 135725226 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 126752 122798 228 482 0 126268 0
Current children cumulated CPU time (s) 1241.69
Current children cumulated vsize (KiB) 507008

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 32045
/proc/meminfo: memFree=1313588/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=507668 CPUtime=1301.67
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 133248 0 0 0 128915 1252 0 0 25 0 1 0 32274942 519852032 122967 1992294400 134512640 136485738 4290323024 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 126917 122967 228 482 0 126433 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 507668

[startup+1362.3 s]
/proc/loadavg: 1.03 1.01 1.14 2/107 32050
/proc/meminfo: memFree=1312720/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=508196 CPUtime=1361.64
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 133386 0 0 0 134855 1309 0 0 25 0 1 0 32274942 520392704 123105 1992294400 134512640 136485738 4290323024 18446744073709551615 135050767 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 127049 123105 228 482 0 126565 0
Current children cumulated CPU time (s) 1361.64
Current children cumulated vsize (KiB) 508196

[startup+1422.3 s]
/proc/loadavg: 1.01 1.01 1.13 2/107 32050
/proc/meminfo: memFree=1312100/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=508724 CPUtime=1421.63
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 133516 0 0 0 140797 1366 0 0 25 0 1 0 32274942 520933376 123235 1992294400 134512640 136485738 4290323024 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 127181 123235 228 482 0 126697 0
Current children cumulated CPU time (s) 1421.63
Current children cumulated vsize (KiB) 508724

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 32052
/proc/meminfo: memFree=1311480/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=509384 CPUtime=1481.59
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 133697 0 0 0 146738 1421 0 0 25 0 1 0 32274942 521609216 123416 1992294400 134512640 136485738 4290323024 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31527/statm: 127346 123416 228 482 0 126862 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 509384

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 32054
/proc/meminfo: memFree=1310612/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=510176 CPUtime=1541.58
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 133890 0 0 0 152678 1480 0 0 25 0 1 0 32274942 522420224 123609 1992294400 134512640 136485738 4290323024 18446744073709551615 135186833 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 127544 123609 228 482 0 127060 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 510176

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 32056
/proc/meminfo: memFree=1309992/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=510836 CPUtime=1601.56
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 134064 0 0 0 158621 1535 0 0 25 0 1 0 32274942 523096064 123783 1992294400 134512640 136485738 4290323024 18446744073709551615 135256132 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 127709 123783 228 482 0 127225 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 510836

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 32058
/proc/meminfo: memFree=1309744/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=511364 CPUtime=1661.52
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 134180 0 0 0 164560 1592 0 0 25 0 1 0 32274942 523636736 123899 1992294400 134512640 136485738 4290323024 18446744073709551615 135260279 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 127841 123899 228 482 0 127357 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 511364

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 32058
/proc/meminfo: memFree=1309000/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=512172 CPUtime=1721.5
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 134347 0 0 0 170500 1650 0 0 25 0 1 0 32274942 524464128 124066 1992294400 134512640 136485738 4290323024 18446744073709551615 135039324 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 128043 124066 228 482 0 127559 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 512172

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 32060
/proc/meminfo: memFree=1308504/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=512700 CPUtime=1781.48
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 134477 0 0 0 176441 1707 0 0 25 0 1 0 32274942 525004800 124196 1992294400 134512640 136485738 4290323024 18446744073709551615 135857057 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 128175 124196 228 482 0 127691 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 512700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 32060
/proc/meminfo: memFree=1308256/2059040 swapFree=4140192/4192956
[pid=31527] ppid=31525 vsize=512832 CPUtime=1800.08
/proc/31527/stat : 31527 (pbct) R 31525 31527 30889 0 -1 4202496 134522 0 0 0 178285 1723 0 0 25 0 1 0 32274942 525139968 124241 1992294400 134512640 136485738 4290323024 18446744073709551615 135024859 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/31527/statm: 128208 124241 228 482 0 127724 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 512832

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

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

Child status: 0
Real time (s): 1800.96
CPU time (s): 1800.13
CPU user time (s): 1782.85
CPU system time (s): 17.2794
CPU usage (%): 99.954
Max. virtual memory (cumulated for all children) (KiB): 512832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.85
system time used= 17.2794
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134522
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= 2
involuntary context switches= 27201

runsolver used 3.36749 second user time and 8.93564 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-15 03:51:50
IDJOB=2668725
IDBENCH=2507
IDSOLVER=1170
FILE ID=node003/2668725-1276566710
PBS_JOBID= 11173499
Free space on /tmp= 62572 MiB

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

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

MD5SUM BENCH= ab83b851ef1a0a843838e278a21b0618
RANDOM SEED=1884513059

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:       1816892 kB
Buffers:         54092 kB
Cached:         109680 kB
SwapCached:       5848 kB
Active:          71940 kB
Inactive:       104608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1816892 kB
SwapTotal:     4192956 kB
SwapFree:      4140192 kB
Dirty:            3620 kB
Writeback:           0 kB
AnonPages:       11360 kB
Mapped:          13020 kB
Slab:            43724 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= 62576 MiB
End job on node003 at 2010-06-15 04:21:53