Trace number 2681884

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

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-air04.opb
MD5SUM015f32a31b4a3d7bbfc82031e4222c83
Bench CategoryOPT-MEDINT (optimisation, medium 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 57799
Optimality of the best value was proved NO
Number of variables8904
Total number of constraints823
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)823
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint368
Number of terms in the objective function 8904
Biggest coefficient in the objective function 2258
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 5135151
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 2258
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 5135151
Number of bits of the biggest sum of numbers23
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.19/0.20	c constraints 823/0 clauses 0/0 units 0
0.19/0.20	c vars 8904
0.19/0.20	c objective 8904 + 0
1800.02/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-2681884-1277477106/watcher-2681884-1277477106 -o /tmp/evaluation-result-2681884-1277477106/solver-2681884-1277477106 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681884-1277477106.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.82 2/106 27813
/proc/meminfo: memFree=1770464/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=2416 CPUtime=0
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 306 0 0 0 0 0 0 0 25 0 1 0 89004322 2473984 226 1992294400 134512640 136421960 4291459184 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27813/statm: 604 230 135 467 0 135 0

[startup+0.0255111 s]
/proc/loadavg: 0.99 0.97 0.82 2/106 27813
/proc/meminfo: memFree=1770464/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=3004 CPUtime=0.02
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 455 0 0 0 2 0 0 0 25 0 1 0 89004322 3076096 342 1992294400 134512640 136421960 4291459184 18446744073709551615 135818467 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27813/statm: 751 342 137 467 0 282 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3004

[startup+0.100519 s]
/proc/loadavg: 0.99 0.97 0.82 2/106 27813
/proc/meminfo: memFree=1770464/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=5248 CPUtime=0.09
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 1012 0 0 0 9 0 0 0 25 0 1 0 89004322 5373952 899 1992294400 134512640 136421960 4291459184 18446744073709551615 135380484 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27813/statm: 1312 900 141 467 0 843 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5248

[startup+0.300539 s]
/proc/loadavg: 0.99 0.97 0.82 2/106 27813
/proc/meminfo: memFree=1770464/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=16840 CPUtime=0.29
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 3872 0 0 0 28 1 0 0 25 0 1 0 89004322 17244160 3759 1992294400 134512640 136421960 4291459184 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 4210 3760 191 467 0 3741 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16840

[startup+0.700581 s]
/proc/loadavg: 0.99 0.97 0.82 2/106 27813
/proc/meminfo: memFree=1770464/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=45176 CPUtime=0.69
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 11222 0 0 0 65 4 0 0 25 0 1 0 89004322 46260224 10736 1992294400 134512640 136421960 4291459184 18446744073709551615 135809505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 11294 10737 191 467 0 10825 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45176

[startup+1.50066 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 27814
/proc/meminfo: memFree=1707836/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=96576 CPUtime=1.49
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 25120 0 0 0 138 11 0 0 25 0 1 0 89004322 98893824 23700 1992294400 134512640 136421960 4291459184 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 24144 23700 191 467 0 23675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96576

[startup+3.10083 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 27814
/proc/meminfo: memFree=1638148/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=266504 CPUtime=3.09
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 69700 0 0 0 281 28 0 0 25 0 1 0 89004322 272900096 64047 1992294400 134512640 136421960 4291459184 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 66626 64052 192 467 0 66157 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 266504

[startup+6.30116 s]
/proc/loadavg: 1.07 0.99 0.83 2/107 27814
/proc/meminfo: memFree=1452528/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=334124 CPUtime=6.29
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 86829 0 0 0 583 46 0 0 25 0 1 0 89004322 342142976 79464 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 83531 79464 212 467 0 83062 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 334124

[startup+12.7018 s]
/proc/loadavg: 1.07 0.99 0.83 2/107 27816
/proc/meminfo: memFree=1452032/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=334536 CPUtime=12.69
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 86880 0 0 0 1183 86 0 0 25 0 1 0 89004322 342564864 79515 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 83634 79515 213 467 0 83165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 334536

[startup+25.5011 s]
/proc/loadavg: 1.05 0.99 0.83 2/107 27816
/proc/meminfo: memFree=1451660/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=335048 CPUtime=25.49
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 87005 0 0 0 2389 160 0 0 25 0 1 0 89004322 343089152 79640 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 83762 79640 213 467 0 83293 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 335048

[startup+51.1008 s]
/proc/loadavg: 1.03 0.99 0.83 2/107 27816
/proc/meminfo: memFree=1451660/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=335048 CPUtime=51.07
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 87013 0 0 0 4812 295 0 0 25 0 1 0 89004322 343089152 79648 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 83762 79648 213 467 0 83293 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 335048

[startup+102.308 s]
/proc/loadavg: 1.01 0.99 0.84 2/107 27818
/proc/meminfo: memFree=1451412/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=335312 CPUtime=102.28
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 87071 0 0 0 9660 568 0 0 25 0 1 0 89004322 343359488 79706 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 83828 79706 213 467 0 83359 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 335312

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.84 2/107 27820
/proc/meminfo: memFree=1451040/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=335460 CPUtime=162.25
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 87127 0 0 0 15341 884 0 0 25 0 1 0 89004322 343511040 79762 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 83865 79762 213 467 0 83396 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 335460

[startup+222.3 s]
/proc/loadavg: 1.00 0.99 0.85 2/107 27820
/proc/meminfo: memFree=1450792/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=335724 CPUtime=222.23
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 87192 0 0 0 21041 1182 0 0 25 0 1 0 89004322 343781376 79827 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 83931 79827 213 467 0 83462 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 335724

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.86 2/107 27822
/proc/meminfo: memFree=1450668/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=335856 CPUtime=282.22
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 87232 0 0 0 26750 1472 0 0 25 0 1 0 89004322 343916544 79867 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 83964 79867 213 467 0 83495 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 335856

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.86 2/107 27824
/proc/meminfo: memFree=1450544/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=335988 CPUtime=342.2
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 87273 0 0 0 32464 1756 0 0 25 0 1 0 89004322 344051712 79908 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 83997 79908 213 467 0 83528 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 335988

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.87 2/107 27826
/proc/meminfo: memFree=1450296/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=336384 CPUtime=402.19
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 87357 0 0 0 38188 2031 0 0 25 0 1 0 89004322 344457216 79992 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 84096 79992 213 467 0 83627 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 336384

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.87 2/107 27828
/proc/meminfo: memFree=1449924/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=336648 CPUtime=462.18
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 87430 0 0 0 43914 2304 0 0 25 0 1 0 89004322 344727552 80065 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 84162 80065 213 467 0 83693 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 336648

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.88 2/107 27828
/proc/meminfo: memFree=1449428/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=337044 CPUtime=522.16
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 87546 0 0 0 49661 2555 0 0 25 0 1 0 89004322 345133056 80181 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 84261 80181 213 467 0 83792 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 337044

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.89 2/107 27830
/proc/meminfo: memFree=1449056/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=337440 CPUtime=582.14
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 87635 0 0 0 55395 2819 0 0 25 0 1 0 89004322 345538560 80270 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 84360 80270 213 467 0 83891 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 337440

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.89 2/107 27832
/proc/meminfo: memFree=1448684/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=337836 CPUtime=642.13
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 87739 0 0 0 61139 3074 0 0 25 0 1 0 89004322 345944064 80374 1992294400 134512640 136421960 4291459184 18446744073709551615 135026187 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 84459 80374 213 467 0 83990 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 337836

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27838
/proc/meminfo: memFree=1446824/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=339672 CPUtime=882.07
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 88155 0 0 0 84171 4036 0 0 25 0 1 0 89004322 347824128 80790 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 84918 80790 213 467 0 84449 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 339672

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27840
/proc/meminfo: memFree=1446328/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=340200 CPUtime=942.05
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 88264 0 0 0 89946 4259 0 0 25 0 1 0 89004322 348364800 80899 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 85050 80899 213 467 0 84581 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 340200

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27851
/proc/meminfo: memFree=1445460/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=340464 CPUtime=1002.02
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 88357 0 0 0 95722 4480 0 0 25 0 1 0 89004322 348635136 80992 1992294400 134512640 136421960 4291459184 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 85116 80992 213 467 0 84647 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 340464

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27853
/proc/meminfo: memFree=1445460/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=340944 CPUtime=1062
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 88443 0 0 0 101500 4700 0 0 25 0 1 0 89004322 349126656 81078 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 85236 81078 213 467 0 84767 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 340944

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27853
/proc/meminfo: memFree=1445088/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=341340 CPUtime=1121.98
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 88531 0 0 0 107292 4906 0 0 25 0 1 0 89004322 349532160 81166 1992294400 134512640 136421960 4291459184 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 85335 81166 213 467 0 84866 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 341340

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27855
/proc/meminfo: memFree=1444716/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=341736 CPUtime=1181.96
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 88631 0 0 0 113077 5119 0 0 25 0 1 0 89004322 349937664 81266 1992294400 134512640 136421960 4291459184 18446744073709551615 134620057 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 85434 81266 213 467 0 84965 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 341736

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27857
/proc/meminfo: memFree=1444220/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=342000 CPUtime=1241.95
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 88718 0 0 0 118879 5316 0 0 25 0 1 0 89004322 350208000 81353 1992294400 134512640 136421960 4291459184 18446744073709551615 135006512 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 85500 81353 213 467 0 85031 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 342000

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27859
/proc/meminfo: memFree=1443724/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=342528 CPUtime=1301.94
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 88837 0 0 0 124672 5522 0 0 25 0 1 0 89004322 350748672 81472 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 85632 81472 213 467 0 85163 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 342528

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27861
/proc/meminfo: memFree=1443352/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=342924 CPUtime=1361.93
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 88958 0 0 0 130467 5726 0 0 25 0 1 0 89004322 351154176 81593 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 85731 81593 213 467 0 85262 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 342924

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27861
/proc/meminfo: memFree=1442732/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=343452 CPUtime=1421.91
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 89075 0 0 0 136260 5931 0 0 25 0 1 0 89004322 351694848 81710 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 85863 81710 213 467 0 85394 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 343452

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27863
/proc/meminfo: memFree=1442112/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=344112 CPUtime=1481.89
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 89244 0 0 0 142068 6121 0 0 25 0 1 0 89004322 352370688 81879 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 86028 81879 213 467 0 85559 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 344112

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27865
/proc/meminfo: memFree=1440748/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=345580 CPUtime=1541.88
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 89570 0 0 0 147901 6287 0 0 25 0 1 0 89004322 353873920 82205 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 86395 82205 213 467 0 85926 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 345580

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27867
/proc/meminfo: memFree=1440252/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=345976 CPUtime=1601.86
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 89700 0 0 0 153710 6476 0 0 25 0 1 0 89004322 354279424 82335 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 86494 82335 213 467 0 86025 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 345976

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27869
/proc/meminfo: memFree=1439756/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=346504 CPUtime=1661.85
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 89816 0 0 0 159510 6675 0 0 25 0 1 0 89004322 354820096 82451 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 86626 82451 213 467 0 86157 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 346504

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27869
/proc/meminfo: memFree=1439260/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=346900 CPUtime=1721.83
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 89939 0 0 0 165308 6875 0 0 25 0 1 0 89004322 355225600 82574 1992294400 134512640 136421960 4291459184 18446744073709551615 135026187 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 86725 82574 213 467 0 86256 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 346900

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27871
/proc/meminfo: memFree=1438392/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=347560 CPUtime=1781.81
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 90092 0 0 0 171133 7048 0 0 25 0 1 0 89004322 355901440 82727 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 86890 82727 213 467 0 86421 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 347560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 27871
/proc/meminfo: memFree=1438144/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=347692 CPUtime=1800.02
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 90141 0 0 0 172911 7091 0 0 25 0 1 0 89004322 356036608 82776 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 86923 82776 213 467 0 86454 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 347692

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 0.99 0.91 2/107 27871
/proc/meminfo: memFree=1438144/2059040 swapFree=4140024/4192956
[pid=27813] ppid=27811 vsize=347692 CPUtime=1800.02
/proc/27813/stat : 27813 (pbct) R 27811 27813 27682 0 -1 4202496 90141 0 0 0 172911 7091 0 0 25 0 1 0 89004322 356036608 82776 1992294400 134512640 136421960 4291459184 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27813/statm: 86923 82776 213 467 0 86454 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 347692

Child status: 0
Real time (s): 1800.54
CPU time (s): 1800.06
CPU user time (s): 1729.11
CPU system time (s): 70.9512
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 347692

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

runsolver used 2.87256 second user time and 8.61069 second system time

The end

Launcher Data 

Begin job on node083 at 2010-06-25 16:45:06
IDJOB=2681884
IDBENCH=1523
IDSOLVER=1192
FILE ID=node083/2681884-1277477106
PBS_JOBID= 11190485
Free space on /tmp= 62496 MiB

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

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

MD5SUM BENCH= 015f32a31b4a3d7bbfc82031e4222c83
RANDOM SEED=1585297702

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1770984 kB
Buffers:         56704 kB
Cached:         132020 kB
SwapCached:       5544 kB
Active:          64324 kB
Inactive:       137524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1770984 kB
SwapTotal:     4192956 kB
SwapFree:      4140024 kB
Dirty:            2652 kB
Writeback:           0 kB
AnonPages:       11564 kB
Mapped:          12036 kB
Slab:            64252 kB
PageTables:       4216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182240 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= 62492 MiB
End job on node083 at 2010-06-25 17:15:09