Trace number 2682340

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.18 1800.7

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-khb05250.opb
MD5SUM8f9b5e86f02b1dde8a9338d7682a9c8d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark253571972295
Best CPU time to get the best result obtained on this benchmark1800.51
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 279273270736
Optimality of the best value was proved NO
Number of variables38297
Total number of constraints102
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 constraints102
Minimum length of a constraint23
Maximum length of a constraint1530
Number of terms in the objective function 37494
Biggest coefficient in the objective function 6251324899328
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 5652283493428566
Number of bits of the sum of numbers in the objective function 53
Biggest number in a constraint 6251324899328
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 5652283493428566
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.38/0.40	c constraints 102/0 clauses 0/0 units 168
0.38/0.40	c vars 38297
0.38/0.40	c objective 37494 + 0
1800.09/1800.61	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-2682340-1277488078/watcher-2682340-1277488078 -o /tmp/evaluation-result-2682340-1277488078/solver-2682340-1277488078 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682340-1277488078.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 0.99 0.92 3/105 31034
/proc/meminfo: memFree=1727444/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=2280 CPUtime=0
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 266 0 0 0 0 0 0 0 16 0 1 0 90099250 2334720 186 1992294400 134512640 136421960 4292225168 18446744073709551615 135160348 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31034/statm: 570 186 138 467 0 101 0

[startup+0.080185 s]
/proc/loadavg: 1.00 0.99 0.92 3/105 31034
/proc/meminfo: memFree=1727444/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=4008 CPUtime=0.07
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 821 0 0 0 7 0 0 0 16 0 1 0 90099250 4104192 594 1992294400 134512640 136421960 4292225168 18446744073709551615 135830553 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31034/statm: 1002 595 138 467 0 533 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4008

[startup+0.101187 s]
/proc/loadavg: 1.00 0.99 0.92 3/105 31034
/proc/meminfo: memFree=1727444/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=6380 CPUtime=0.09
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 1281 0 0 0 9 0 0 0 16 0 1 0 90099250 6533120 957 1992294400 134512640 136421960 4292225168 18446744073709551615 135878161 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31034/statm: 1595 828 138 467 0 1126 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6380

[startup+0.301213 s]
/proc/loadavg: 1.00 0.99 0.92 3/105 31034
/proc/meminfo: memFree=1727444/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=8564 CPUtime=0.29
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 2011 0 0 0 29 0 0 0 17 0 1 0 90099250 8769536 1558 1992294400 134512640 136421960 4292225168 18446744073709551615 135372725 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31034/statm: 2141 1558 146 467 0 1672 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8564

[startup+0.701263 s]
/proc/loadavg: 1.00 0.99 0.92 3/105 31034
/proc/meminfo: memFree=1727444/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=39320 CPUtime=0.69
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 9676 0 0 0 66 3 0 0 17 0 1 0 90099250 40263680 9223 1992294400 134512640 136421960 4292225168 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 9830 9224 195 467 0 9361 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39320

[startup+1.50136 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31035
/proc/meminfo: memFree=1665064/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=108904 CPUtime=1.49
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 27387 0 0 0 138 11 0 0 18 0 1 0 90099250 111517696 26290 1992294400 134512640 136421960 4292225168 18446744073709551615 134542366 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 27226 26291 195 467 0 26757 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 108904

[startup+3.10156 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31035
/proc/meminfo: memFree=1573800/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=228508 CPUtime=3.09
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 59138 0 0 0 283 26 0 0 21 0 1 0 90099250 233992192 56179 1992294400 134512640 136421960 4292225168 18446744073709551615 134706992 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 57127 56179 195 467 0 56658 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 228508

[startup+6.30097 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31035
/proc/meminfo: memFree=1321460/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=561192 CPUtime=6.28
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 146219 0 0 0 567 61 0 0 25 0 1 0 90099250 574660608 136852 1992294400 134512640 136421960 4292225168 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 140298 136856 196 467 0 139829 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 561192

[startup+12.7008 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31035
/proc/meminfo: memFree=1073212/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=682300 CPUtime=12.69
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 177273 0 0 0 1162 107 0 0 25 0 1 0 90099250 698675200 163372 1992294400 134512640 136421960 4292225168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 170575 163372 217 467 0 170106 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 682300

[startup+25.5014 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31035
/proc/meminfo: memFree=1070360/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=685240 CPUtime=25.48
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 177985 0 0 0 2337 211 0 0 25 0 1 0 90099250 701685760 164084 1992294400 134512640 136421960 4292225168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 171310 164084 217 467 0 170841 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 685240

[startup+51.1016 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31035
/proc/meminfo: memFree=1067260/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=688296 CPUtime=51.07
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 178755 0 0 0 4730 377 0 0 25 0 1 0 90099250 704815104 164854 1992294400 134512640 136421960 4292225168 18446744073709551615 135241783 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 172074 164854 217 467 0 171605 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 688296

[startup+102.309 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31037
/proc/meminfo: memFree=1061308/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=694044 CPUtime=102.26
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 180165 0 0 0 9546 680 0 0 25 0 1 0 90099250 710701056 166264 1992294400 134512640 136421960 4292225168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 173511 166264 217 467 0 173042 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 694044

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31039
/proc/meminfo: memFree=1056224/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=698888 CPUtime=162.24
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 181410 0 0 0 15275 949 0 0 25 0 1 0 90099250 715661312 167509 1992294400 134512640 136421960 4292225168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 174722 167509 217 467 0 174253 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 698888

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31041
/proc/meminfo: memFree=1053000/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=702276 CPUtime=222.23
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 182221 0 0 0 21022 1201 0 0 25 0 1 0 90099250 719130624 168320 1992294400 134512640 136421960 4292225168 18446744073709551615 134597562 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 175569 168320 217 467 0 175100 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 702276

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31041
/proc/meminfo: memFree=1049776/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=705620 CPUtime=282.21
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 183028 0 0 0 26738 1483 0 0 25 0 1 0 90099250 722554880 169127 1992294400 134512640 136421960 4292225168 18446744073709551615 135241783 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 176405 169127 217 467 0 175936 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 705620

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31043
/proc/meminfo: memFree=1045560/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=709896 CPUtime=342.19
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 184079 0 0 0 32436 1783 0 0 25 0 1 0 90099250 726933504 170178 1992294400 134512640 136421960 4292225168 18446744073709551615 135241783 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 177474 170178 217 467 0 177005 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 709896

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31045
/proc/meminfo: memFree=1039360/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=716116 CPUtime=402.17
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 185629 0 0 0 38178 2039 0 0 25 0 1 0 90099250 733302784 171728 1992294400 134512640 136421960 4292225168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 179029 171728 217 467 0 178560 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 716116

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31047
/proc/meminfo: memFree=1034772/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=720604 CPUtime=462.16
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 186767 0 0 0 43898 2318 0 0 25 0 1 0 90099250 737898496 172866 1992294400 134512640 136421960 4292225168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 180151 172866 217 467 0 179682 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 720604

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31049
/proc/meminfo: memFree=1030680/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=724564 CPUtime=522.14
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 187780 0 0 0 49639 2575 0 0 25 0 1 0 90099250 741953536 173879 1992294400 134512640 136421960 4292225168 18446744073709551615 135274876 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 181141 173879 217 467 0 180672 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 724564

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31049
/proc/meminfo: memFree=1026712/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=728792 CPUtime=582.12
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 188769 0 0 0 55413 2799 0 0 25 0 1 0 90099250 746283008 174868 1992294400 134512640 136421960 4292225168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 182198 174868 217 467 0 181729 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 728792

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31051
/proc/meminfo: memFree=1023364/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=731964 CPUtime=642.11
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 189584 0 0 0 61217 2994 0 0 25 0 1 0 90099250 749531136 175683 1992294400 134512640 136421960 4292225168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 182991 175683 217 467 0 182522 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 731964

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31066
/proc/meminfo: memFree=1008484/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=746520 CPUtime=822.04
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 193197 0 0 0 78524 3680 0 0 25 0 1 0 90099250 764436480 179296 1992294400 134512640 136421960 4292225168 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 186630 179296 217 467 0 186161 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 746520

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31066
/proc/meminfo: memFree=1006004/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=748896 CPUtime=882.03
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 193779 0 0 0 84275 3928 0 0 25 0 1 0 90099250 766869504 179878 1992294400 134512640 136421960 4292225168 18446744073709551615 135028336 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 187224 179878 217 467 0 186755 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 748896

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31068
/proc/meminfo: memFree=1002904/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=751932 CPUtime=942.01
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 194584 0 0 0 90007 4194 0 0 25 0 1 0 90099250 769978368 180683 1992294400 134512640 136421960 4292225168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 187983 180683 217 467 0 187514 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 751932

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31070
/proc/meminfo: memFree=1000176/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=754444 CPUtime=1001.99
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 195227 0 0 0 95749 4450 0 0 25 0 1 0 90099250 772550656 181326 1992294400 134512640 136421960 4292225168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 188611 181326 217 467 0 188142 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 754444

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31072
/proc/meminfo: memFree=997324/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=757352 CPUtime=1061.97
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 195968 0 0 0 101461 4736 0 0 25 0 1 0 90099250 775528448 182067 1992294400 134512640 136421960 4292225168 18446744073709551615 135160706 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 189338 182067 217 467 0 188869 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 757352

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31074
/proc/meminfo: memFree=994100/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=760396 CPUtime=1121.96
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 196738 0 0 0 107214 4982 0 0 25 0 1 0 90099250 778645504 182837 1992294400 134512640 136421960 4292225168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 190099 182837 217 467 0 189630 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 760396

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31074
/proc/meminfo: memFree=990380/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=764708 CPUtime=1181.94
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 197698 0 0 0 112975 5219 0 0 25 0 1 0 90099250 783060992 183797 1992294400 134512640 136421960 4292225168 18446744073709551615 135032112 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 191177 183797 217 467 0 190708 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 764708

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31076
/proc/meminfo: memFree=985916/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=768932 CPUtime=1241.92
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 198763 0 0 0 118699 5493 0 0 25 0 1 0 90099250 787386368 184862 1992294400 134512640 136421960 4292225168 18446744073709551615 135018961 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 192233 184862 217 467 0 191764 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 768932

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31078
/proc/meminfo: memFree=981948/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=772760 CPUtime=1301.91
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 199730 0 0 0 124442 5749 0 0 25 0 1 0 90099250 791306240 185829 1992294400 134512640 136421960 4292225168 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 193190 185829 217 467 0 192721 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 772760

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31080
/proc/meminfo: memFree=977608/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=777116 CPUtime=1361.9
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 200844 0 0 0 130154 6036 0 0 25 0 1 0 90099250 795766784 186943 1992294400 134512640 136421960 4292225168 18446744073709551615 134968514 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 194279 186943 217 467 0 193810 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 777116

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31082
/proc/meminfo: memFree=973888/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=780696 CPUtime=1421.88
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 201758 0 0 0 135916 6272 0 0 25 0 1 0 90099250 799432704 187857 1992294400 134512640 136421960 4292225168 18446744073709551615 134868211 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 195174 187857 217 467 0 194705 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 780696

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31082
/proc/meminfo: memFree=969796/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=784656 CPUtime=1481.86
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 202756 0 0 0 141680 6506 0 0 25 0 1 0 90099250 803487744 188855 1992294400 134512640 136421960 4292225168 18446744073709551615 135026187 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 196164 188855 217 467 0 195695 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 784656

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31084
/proc/meminfo: memFree=963472/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=790868 CPUtime=1541.84
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 204350 0 0 0 147383 6801 0 0 25 0 1 0 90099250 809848832 190449 1992294400 134512640 136421960 4292225168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 197717 190449 217 467 0 197248 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 790868

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31086
/proc/meminfo: memFree=960372/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=793772 CPUtime=1601.83
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 205091 0 0 0 153209 6974 0 0 25 0 1 0 90099250 812822528 191190 1992294400 134512640 136421960 4292225168 18446744073709551615 135006303 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 198443 191190 217 467 0 197974 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 793772

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31088
/proc/meminfo: memFree=955908/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=799048 CPUtime=1661.8
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 206217 0 0 0 158920 7260 0 0 25 0 1 0 90099250 818225152 192316 1992294400 134512640 136421960 4292225168 18446744073709551615 135241785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 199762 192316 217 467 0 199293 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 799048

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31090
/proc/meminfo: memFree=952188/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=802772 CPUtime=1721.8
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 207155 0 0 0 164667 7513 0 0 25 0 1 0 90099250 822038528 193254 1992294400 134512640 136421960 4292225168 18446744073709551615 135028329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 200693 193254 217 467 0 200224 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 802772

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31090
/proc/meminfo: memFree=947972/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=806732 CPUtime=1781.78
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 208169 0 0 0 170408 7770 0 0 25 0 1 0 90099250 826093568 194268 1992294400 134512640 136421960 4292225168 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 201683 194268 217 467 0 201214 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 806732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.92 2/106 31092
/proc/meminfo: memFree=946732/2059040 swapFree=4140268/4192956
[pid=31034] ppid=31032 vsize=807928 CPUtime=1800.09
/proc/31034/stat : 31034 (pbct) R 31032 31034 30198 0 -1 4202496 208453 0 0 0 172147 7862 0 0 25 0 1 0 90099250 827318272 194552 1992294400 134512640 136421960 4292225168 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31034/statm: 201982 194552 217 467 0 201513 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 807928

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.7
CPU time (s): 1800.18
CPU user time (s): 1721.47
CPU system time (s): 78.701
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 807928

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

runsolver used 2.99854 second user time and 8.47971 second system time

The end

Launcher Data 

Begin job on node054 at 2010-06-25 19:47:59
IDJOB=2682340
IDBENCH=2467
IDSOLVER=1192
FILE ID=node054/2682340-1277488078
PBS_JOBID= 11190493
Free space on /tmp= 62432 MiB

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

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

MD5SUM BENCH= 8f9b5e86f02b1dde8a9338d7682a9c8d
RANDOM SEED=1382203568

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1727972 kB
Buffers:         48644 kB
Cached:         181516 kB
SwapCached:       5568 kB
Active:         138068 kB
Inactive:       105068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1727972 kB
SwapTotal:     4192956 kB
SwapFree:      4140268 kB
Dirty:            3624 kB
Writeback:           4 kB
AnonPages:       11680 kB
Mapped:          11884 kB
Slab:            66180 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181316 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62428 MiB
End job on node054 at 2010-06-25 20:18:01