Trace number 2681967

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.07 1800.55

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb
MD5SUM707da2ebfa2e9fe97fe57c41e089cde1
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 304897224
Optimality of the best value was proved NO
Number of variables21960
Total number of constraints750
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 constraints750
Minimum length of a constraint31
Maximum length of a constraint372
Number of terms in the objective function 11160
Biggest coefficient in the objective function 2147483648
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 869952060630
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 2147483648
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 869952060630
Number of bits of the biggest sum of numbers40
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.23	c constraints 750/0 clauses 0/0 units 3240
0.19/0.23	c vars 21960
0.19/0.23	c objective 11160 + 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-2681967-1277488941/watcher-2681967-1277488941 -o /tmp/evaluation-result-2681967-1277488941/solver-2681967-1277488941 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681967-1277488941.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.92 0.98 0.91 3/106 29903
/proc/meminfo: memFree=1811784/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=2416 CPUtime=0
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 292 0 0 0 0 0 0 0 19 0 1 0 90186916 2473984 212 1992294400 134512640 136421960 4293905328 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29903/statm: 604 212 138 467 0 135 0

[startup+0.022255 s]
/proc/loadavg: 0.92 0.98 0.91 3/106 29903
/proc/meminfo: memFree=1811784/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=3136 CPUtime=0.02
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 424 0 0 0 2 0 0 0 19 0 1 0 90186916 3211264 344 1992294400 134512640 136421960 4293905328 18446744073709551615 135160348 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29903/statm: 784 347 138 467 0 315 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3136

[startup+0.101263 s]
/proc/loadavg: 0.92 0.98 0.91 3/106 29903
/proc/meminfo: memFree=1811784/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=4324 CPUtime=0.09
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 811 0 0 0 9 0 0 0 20 0 1 0 90186916 4427776 698 1992294400 134512640 136421960 4293905328 18446744073709551615 135378153 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29903/statm: 1081 698 145 467 0 612 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4324

[startup+0.301285 s]
/proc/loadavg: 0.92 0.98 0.91 3/106 29903
/proc/meminfo: memFree=1811784/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=16056 CPUtime=0.29
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 3733 0 0 0 28 1 0 0 20 0 1 0 90186916 16441344 3620 1992294400 134512640 136421960 4293905328 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 4014 3621 194 467 0 3545 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16056

[startup+0.701329 s]
/proc/loadavg: 0.92 0.98 0.91 3/106 29903
/proc/meminfo: memFree=1811784/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=46680 CPUtime=0.69
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 11569 0 0 0 64 5 0 0 21 0 1 0 90186916 47800320 11083 1992294400 134512640 136421960 4293905328 18446744073709551615 134742218 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 11670 11086 194 467 0 11201 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46680

[startup+1.50142 s]
/proc/loadavg: 0.92 0.98 0.91 2/107 29904
/proc/meminfo: memFree=1745808/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=106668 CPUtime=1.49
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 27291 0 0 0 137 12 0 0 23 0 1 0 90186916 109228032 26064 1992294400 134512640 136421960 4293905328 18446744073709551615 134632331 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 26667 26064 194 467 0 26198 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106668

[startup+3.10059 s]
/proc/loadavg: 0.92 0.98 0.91 2/107 29904
/proc/meminfo: memFree=1667440/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=269904 CPUtime=3.09
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 70185 0 0 0 278 31 0 0 25 0 1 0 90186916 276381696 65557 1992294400 134512640 136421960 4293905328 18446744073709551615 134700931 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 67476 65557 196 467 0 67007 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 269904

[startup+6.30095 s]
/proc/loadavg: 0.93 0.98 0.91 2/107 29904
/proc/meminfo: memFree=1519012/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=305984 CPUtime=6.29
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 79374 0 0 0 572 57 0 0 25 0 1 0 90186916 313327616 73204 1992294400 134512640 136421960 4293905328 18446744073709551615 135238888 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 76496 73204 217 467 0 76027 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 305984

[startup+12.7007 s]
/proc/loadavg: 0.93 0.98 0.91 2/107 29906
/proc/meminfo: memFree=1517152/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=307800 CPUtime=12.69
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 79790 0 0 0 1152 117 0 0 25 0 1 0 90186916 315187200 73620 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 76950 73620 217 467 0 76481 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 307800

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.91 2/107 29906
/proc/meminfo: memFree=1514052/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=310852 CPUtime=25.48
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 80563 0 0 0 2314 234 0 0 25 0 1 0 90186916 318312448 74393 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 77713 74393 217 467 0 77244 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 310852

[startup+51.1009 s]
/proc/loadavg: 0.96 0.98 0.91 2/107 29906
/proc/meminfo: memFree=1509092/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=315796 CPUtime=51.07
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 81795 0 0 0 4640 467 0 0 25 0 1 0 90186916 323375104 75625 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 78949 75625 217 467 0 78480 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 315796

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.91 2/107 29908
/proc/meminfo: memFree=1499296/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=325436 CPUtime=102.27
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 84190 0 0 0 9332 895 0 0 25 0 1 0 90186916 333246464 78020 1992294400 134512640 136421960 4293905328 18446744073709551615 134863654 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 81359 78020 217 467 0 80890 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 325436

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29910
/proc/meminfo: memFree=1490492/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=334160 CPUtime=162.25
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 86357 0 0 0 14874 1351 0 0 25 0 1 0 90186916 342179840 80187 1992294400 134512640 136421960 4293905328 18446744073709551615 135005950 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 83540 80187 217 467 0 83071 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 334160

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29910
/proc/meminfo: memFree=1487888/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=336672 CPUtime=222.24
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 87007 0 0 0 20388 1836 0 0 25 0 1 0 90186916 344752128 80837 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 84168 80837 217 467 0 83699 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 336672

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29912
/proc/meminfo: memFree=1487888/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=336672 CPUtime=282.22
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 87007 0 0 0 25906 2316 0 0 25 0 1 0 90186916 344752128 80837 1992294400 134512640 136421960 4293905328 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 84168 80837 217 467 0 83699 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 336672

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29914
/proc/meminfo: memFree=1487268/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=337200 CPUtime=342.2
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 87150 0 0 0 31454 2766 0 0 25 0 1 0 90186916 345292800 80980 1992294400 134512640 136421960 4293905328 18446744073709551615 135026471 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 84300 80980 217 467 0 83831 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 337200

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29916
/proc/meminfo: memFree=1480696/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=344212 CPUtime=402.18
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 88825 0 0 0 37009 3209 0 0 25 0 1 0 90186916 352473088 82655 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 86053 82655 217 467 0 85584 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 344212

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29918
/proc/meminfo: memFree=1479456/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=345284 CPUtime=462.17
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 89093 0 0 0 42492 3725 0 0 25 0 1 0 90186916 353570816 82923 1992294400 134512640 136421960 4293905328 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 86321 82923 217 467 0 85852 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 345284

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29918
/proc/meminfo: memFree=1479332/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=345284 CPUtime=522.15
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 89093 0 0 0 48009 4206 0 0 25 0 1 0 90186916 353570816 82923 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 86321 82923 217 467 0 85852 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 345284

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29920
/proc/meminfo: memFree=1479332/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=345284 CPUtime=582.13
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 89097 0 0 0 53548 4665 0 0 25 0 1 0 90186916 353570816 82927 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 86321 82927 217 467 0 85852 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 345284

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29922
/proc/meminfo: memFree=1474372/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=350044 CPUtime=642.13
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 90319 0 0 0 59102 5111 0 0 25 0 1 0 90186916 358445056 84149 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 87511 84149 217 467 0 87042 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 350044

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29928
/proc/meminfo: memFree=1471892/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=352296 CPUtime=882.05
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 90886 0 0 0 81160 7045 0 0 25 0 1 0 90186916 360751104 84716 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 88074 84716 217 467 0 87605 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 352296

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29930
/proc/meminfo: memFree=1471892/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=352296 CPUtime=942.05
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 90886 0 0 0 86709 7496 0 0 25 0 1 0 90186916 360751104 84716 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 88074 84716 217 467 0 87605 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 352296

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29932
/proc/meminfo: memFree=1469908/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=354428 CPUtime=1002.02
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 91389 0 0 0 92261 7941 0 0 25 0 1 0 90186916 362934272 85219 1992294400 134512640 136421960 4293905328 18446744073709551615 134857334 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 88607 85219 217 467 0 88138 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 354428

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29934
/proc/meminfo: memFree=1469908/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=354428 CPUtime=1062.01
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 91389 0 0 0 97728 8473 0 0 25 0 1 0 90186916 362934272 85219 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 88607 85219 217 467 0 88138 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 354428

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29934
/proc/meminfo: memFree=1469784/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=354428 CPUtime=1121.99
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 91413 0 0 0 103242 8957 0 0 25 0 1 0 90186916 362934272 85243 1992294400 134512640 136421960 4293905328 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 88607 85243 217 467 0 88138 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 354428

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29936
/proc/meminfo: memFree=1469660/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=354600 CPUtime=1181.98
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 91425 0 0 0 108799 9399 0 0 25 0 1 0 90186916 363110400 85255 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 88650 85255 217 467 0 88181 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 354600

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29938
/proc/meminfo: memFree=1463708/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=360508 CPUtime=1241.96
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 92934 0 0 0 114368 9828 0 0 25 0 1 0 90186916 369160192 86764 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 90127 86764 217 467 0 89658 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 360508

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29940
/proc/meminfo: memFree=1456020/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=368396 CPUtime=1301.95
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 94776 0 0 0 119961 10234 0 0 25 0 1 0 90186916 377237504 88606 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 92099 88606 217 467 0 91630 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 368396

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29942
/proc/meminfo: memFree=1456020/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=368396 CPUtime=1361.93
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 94781 0 0 0 125443 10750 0 0 25 0 1 0 90186916 377237504 88611 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 92099 88611 217 467 0 91630 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 368396

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29942
/proc/meminfo: memFree=1456020/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=368396 CPUtime=1421.92
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 94784 0 0 0 130980 11212 0 0 25 0 1 0 90186916 377237504 88614 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 92099 88614 217 467 0 91630 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 368396

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29944
/proc/meminfo: memFree=1456020/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=368396 CPUtime=1481.9
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 94786 0 0 0 136517 11673 0 0 25 0 1 0 90186916 377237504 88616 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 92099 88616 217 467 0 91630 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 368396

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29946
/proc/meminfo: memFree=1453788/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=370772 CPUtime=1541.88
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 95359 0 0 0 142074 12114 0 0 25 0 1 0 90186916 379670528 89189 1992294400 134512640 136421960 4293905328 18446744073709551615 135155319 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 92693 89189 217 467 0 92224 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 370772

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29948
/proc/meminfo: memFree=1443868/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=380880 CPUtime=1601.86
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 97874 0 0 0 147656 12530 0 0 25 0 1 0 90186916 390021120 91704 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 95220 91704 217 467 0 94751 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 380880

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29950
/proc/meminfo: memFree=1436304/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=388196 CPUtime=1661.85
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 99699 0 0 0 153291 12894 0 0 25 0 1 0 90186916 397512704 93529 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 97049 93529 217 467 0 96580 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 388196

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29950
/proc/meminfo: memFree=1436304/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=388196 CPUtime=1721.83
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 99699 0 0 0 158806 13377 0 0 25 0 1 0 90186916 397512704 93529 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 97049 93529 217 467 0 96580 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 388196

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29952
/proc/meminfo: memFree=1436056/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=388196 CPUtime=1781.82
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 99700 0 0 0 164377 13805 0 0 25 0 1 0 90186916 397512704 93530 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 97049 93530 217 467 0 96580 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 388196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29955
/proc/meminfo: memFree=1435560/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=388196 CPUtime=1800.02
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 99700 0 0 0 166044 13958 0 0 25 0 1 0 90186916 397512704 93530 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 97049 93530 217 467 0 96580 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 388196

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 29955
/proc/meminfo: memFree=1435560/2059040 swapFree=4140312/4192956
[pid=29903] ppid=29901 vsize=388196 CPUtime=1800.02
/proc/29903/stat : 29903 (pbct) R 29901 29903 29145 0 -1 4202496 99700 0 0 0 166044 13958 0 0 25 0 1 0 90186916 397512704 93530 1992294400 134512640 136421960 4293905328 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29903/statm: 97049 93530 217 467 0 96580 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 388196

Child status: 0
Real time (s): 1800.55
CPU time (s): 1800.07
CPU user time (s): 1660.45
CPU system time (s): 139.625
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 388196

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

runsolver used 2.6176 second user time and 8.85765 second system time

The end

Launcher Data 

Begin job on node038 at 2010-06-25 20:02:22
IDJOB=2681967
IDBENCH=2514
IDSOLVER=1192
FILE ID=node038/2681967-1277488941
PBS_JOBID= 11190506
Free space on /tmp= 62460 MiB

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

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

MD5SUM BENCH= 707da2ebfa2e9fe97fe57c41e089cde1
RANDOM SEED=1003661124

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1812312 kB
Buffers:         47300 kB
Cached:          93228 kB
SwapCached:       5416 kB
Active:          64908 kB
Inactive:        88644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1812312 kB
SwapTotal:     4192956 kB
SwapFree:      4140312 kB
Dirty:            2788 kB
Writeback:           0 kB
AnonPages:       11536 kB
Mapped:          11908 kB
Slab:            71268 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181520 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= 62460 MiB
End job on node038 at 2010-06-25 20:32:24