Trace number 2668706

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB/CT 0.1? (TO) 1800.2 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sctap2.opb
MD5SUM69a6c7d8646ca0764023f06029f7c1d1
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3992318216
Best CPU time to get the best result obtained on this benchmark1800.46
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7525688714
Optimality of the best value was proved NO
Number of variables56400
Total number of constraints1033
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 constraints1033
Minimum length of a constraint90
Maximum length of a constraint720
Number of terms in the objective function 42300
Biggest coefficient in the objective function 42949672960
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 26381836591110
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 42949672960
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 26381836591110
Number of bits of the biggest sum of numbers45
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c PB/CT 0.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.99/1.09	c constraints 1033/0 clauses 0/0 units 0
0.99/1.09	c vars 56400
0.99/1.09	c objective 42300 + 0
1800.08/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-2668706-1276543581/watcher-2668706-1276543581 -o /tmp/evaluation-result-2668706-1276543581/solver-2668706-1276543581 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668706-1276543581.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.99 2/106 30437
/proc/meminfo: memFree=1818736/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=2488 CPUtime=0
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 308 0 0 0 0 0 0 0 20 0 1 0 28013569 2547712 230 1992294400 134512640 136485738 4294137728 18446744073709551615 135178844 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30437/statm: 622 230 151 482 0 138 0

[startup+0.0929151 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 30437
/proc/meminfo: memFree=1818736/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=6452 CPUtime=0.08
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 1293 0 0 0 8 0 0 0 23 0 1 0 28013569 6606848 971 1992294400 134512640 136485738 4294137728 18446744073709551615 135177445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30437/statm: 1613 971 151 482 0 1129 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6452

[startup+0.100914 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 30437
/proc/meminfo: memFree=1818736/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=5936 CPUtime=0.09
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 1320 0 0 0 9 0 0 0 23 0 1 0 28013569 6078464 869 1992294400 134512640 136485738 4294137728 18446744073709551615 135416516 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30437/statm: 1484 869 151 482 0 1000 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5936

[startup+0.300929 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 30437
/proc/meminfo: memFree=1818736/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=8444 CPUtime=0.29
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 2004 0 0 0 28 1 0 0 23 0 1 0 28013569 8646656 1553 1992294400 134512640 136485738 4294137728 18446744073709551615 135178805 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30437/statm: 2111 1553 156 482 0 1627 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8444

[startup+0.700961 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 30437
/proc/meminfo: memFree=1818736/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=16424 CPUtime=0.69
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 4003 0 0 0 67 2 0 0 25 0 1 0 28013569 16818176 3552 1992294400 134512640 136485738 4294137728 18446744073709551615 135857093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30437/statm: 4106 3552 156 482 0 3622 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16424

[startup+1.50103 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 30438
/proc/meminfo: memFree=1801120/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=50724 CPUtime=1.49
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 12517 0 0 0 144 5 0 0 25 0 1 0 28013569 51941376 12066 1992294400 134512640 136485738 4294137728 18446744073709551615 135848200 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 12681 12067 197 482 0 12197 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50724

[startup+3.10115 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 30438
/proc/meminfo: memFree=1730440/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=161504 CPUtime=3.09
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 41245 0 0 0 292 17 0 0 25 0 1 0 28013569 165380096 38673 1992294400 134512640 136485738 4294137728 18446744073709551615 135848318 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 40376 38674 197 482 0 39892 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 161504

[startup+6.30141 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 30438
/proc/meminfo: memFree=1520756/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=356296 CPUtime=6.29
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 92652 0 0 0 587 42 0 0 25 0 1 0 28013569 364847104 87131 1992294400 134512640 136485738 4294137728 18446744073709551615 135839759 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 89074 87132 197 482 0 88590 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 356296

[startup+12.7009 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 30440
/proc/meminfo: memFree=1150864/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=778568 CPUtime=12.69
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 206296 0 0 0 1179 90 0 0 25 0 1 0 28013569 797253632 192767 1992294400 134512640 136485738 4294137728 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 194642 192772 199 482 0 194158 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 778568

[startup+25.5009 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 30440
/proc/meminfo: memFree=755056/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1111340 CPUtime=25.48
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 292849 0 0 0 2377 171 0 0 25 0 1 0 28013569 1138012160 265549 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 277835 265549 228 482 0 277351 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1111340

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 3/107 30440
/proc/meminfo: memFree=752452/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1113656 CPUtime=51.08
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 293451 0 0 0 4772 336 0 0 25 0 1 0 28013569 1140383744 266151 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 278414 266151 228 482 0 277930 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1113656

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 30442
/proc/meminfo: memFree=749848/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1116364 CPUtime=102.27
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 294081 0 0 0 9577 650 0 0 25 0 1 0 28013569 1143156736 266781 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 279091 266781 228 482 0 278607 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1116364

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30442
/proc/meminfo: memFree=748112/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1118068 CPUtime=162.25
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 294488 0 0 0 15193 1032 0 0 25 0 1 0 28013569 1144901632 267188 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 279517 267188 228 482 0 279033 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1118068

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30444
/proc/meminfo: memFree=746996/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1119628 CPUtime=222.24
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 294786 0 0 0 20826 1398 0 0 25 0 1 0 28013569 1146499072 267486 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 279907 267486 228 482 0 279423 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1119628

[startup+282.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30446
/proc/meminfo: memFree=746252/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1120156 CPUtime=282.22
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 294944 0 0 0 26476 1746 0 0 25 0 1 0 28013569 1147039744 267644 1992294400 134512640 136485738 4294137728 18446744073709551615 134888903 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 280039 267644 228 482 0 279555 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1120156

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30448
/proc/meminfo: memFree=745880/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1120552 CPUtime=342.21
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 295069 0 0 0 32135 2086 0 0 25 0 1 0 28013569 1147445248 267769 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 280138 267769 228 482 0 279654 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1120552

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30450
/proc/meminfo: memFree=745384/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1120988 CPUtime=402.2
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 295172 0 0 0 37787 2433 0 0 25 0 1 0 28013569 1147891712 267872 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 280247 267872 228 482 0 279763 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1120988

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30450
/proc/meminfo: memFree=744888/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1121252 CPUtime=462.19
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 295263 0 0 0 43429 2790 0 0 25 0 1 0 28013569 1148162048 267963 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 280313 267963 228 482 0 279829 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1121252

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30452
/proc/meminfo: memFree=743772/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1122292 CPUtime=522.17
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 295561 0 0 0 49074 3143 0 0 25 0 1 0 28013569 1149227008 268132 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 280573 268132 228 482 0 280089 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1122292

[startup+582.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30454
/proc/meminfo: memFree=743648/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1122688 CPUtime=582.16
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 295683 0 0 0 54721 3495 0 0 25 0 1 0 28013569 1149632512 268254 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 280672 268254 228 482 0 280188 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1122688

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30456
/proc/meminfo: memFree=743152/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1123084 CPUtime=642.15
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 295810 0 0 0 60365 3850 0 0 25 0 1 0 28013569 1150038016 268381 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 280771 268381 228 482 0 280287 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 1123084

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30465
/proc/meminfo: memFree=739184/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1127888 CPUtime=882.09
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 296921 0 0 0 82979 5230 0 0 25 0 1 0 28013569 1154957312 269234 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 281972 269234 228 482 0 281488 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 1127888

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/107 30467
/proc/meminfo: memFree=738440/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1128548 CPUtime=942.07
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 297138 0 0 0 88642 5565 0 0 25 0 1 0 28013569 1155633152 269451 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 282137 269451 228 482 0 281653 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 1128548

[startup+1002.3 s]
/proc/loadavg: 1.04 1.00 1.00 2/107 30469
/proc/meminfo: memFree=737696/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1129340 CPUtime=1002.06
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 297336 0 0 0 94302 5904 0 0 25 0 1 0 28013569 1156444160 269649 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 282335 269649 228 482 0 281851 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 1129340

[startup+1062.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 30469
/proc/meminfo: memFree=736828/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1130000 CPUtime=1062.04
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 297554 0 0 0 99968 6236 0 0 25 0 1 0 28013569 1157120000 269867 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 282500 269867 228 482 0 282016 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 1130000

[startup+1122.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 30471
/proc/meminfo: memFree=736208/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1130708 CPUtime=1122.03
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 297735 0 0 0 105632 6571 0 0 25 0 1 0 28013569 1157844992 270048 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 282677 270048 228 482 0 282193 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 1130708

[startup+1182.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 30473
/proc/meminfo: memFree=734720/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1132028 CPUtime=1182.02
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 298094 0 0 0 111295 6907 0 0 25 0 1 0 28013569 1159196672 270407 1992294400 134512640 136485738 4294137728 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 283007 270407 228 482 0 282523 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 1132028

[startup+1242.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 30475
/proc/meminfo: memFree=733232/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1133348 CPUtime=1242
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 298411 0 0 0 116977 7223 0 0 25 0 1 0 28013569 1160548352 270724 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 283337 270724 228 482 0 282853 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 1133348

[startup+1302.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 30477
/proc/meminfo: memFree=731868/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1134652 CPUtime=1302
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 298748 0 0 0 122647 7553 0 0 25 0 1 0 28013569 1161883648 271061 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 283663 271061 228 482 0 283179 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1134652

[startup+1362.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 30477
/proc/meminfo: memFree=730132/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1136368 CPUtime=1361.97
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 299174 0 0 0 128330 7867 0 0 25 0 1 0 28013569 1163640832 271487 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 284092 271487 228 482 0 283608 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1136368

[startup+1422.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 30479
/proc/meminfo: memFree=727156/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1139404 CPUtime=1421.97
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 299945 0 0 0 134011 8186 0 0 25 0 1 0 28013569 1166749696 272258 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 284851 272258 228 482 0 284367 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1139404

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30481
/proc/meminfo: memFree=725420/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1141136 CPUtime=1481.95
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 300348 0 0 0 139697 8498 0 0 25 0 1 0 28013569 1168523264 272661 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 285284 272661 228 482 0 284800 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1141136

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30483
/proc/meminfo: memFree=724676/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1142060 CPUtime=1541.93
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 300568 0 0 0 145370 8823 0 0 25 0 1 0 28013569 1169469440 272881 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 285515 272881 228 482 0 285031 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1142060

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30485
/proc/meminfo: memFree=723436/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1143116 CPUtime=1601.92
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 300861 0 0 0 151039 9153 0 0 25 0 1 0 28013569 1170550784 273174 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 285779 273174 228 482 0 285295 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1143116

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30485
/proc/meminfo: memFree=721204/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1144964 CPUtime=1661.91
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 301369 0 0 0 156716 9475 0 0 25 0 1 0 28013569 1172443136 273682 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 286241 273682 228 482 0 285757 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1144964

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30487
/proc/meminfo: memFree=716988/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1149320 CPUtime=1721.89
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 302445 0 0 0 162406 9783 0 0 25 0 1 0 28013569 1176903680 274758 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 287330 274758 228 482 0 286846 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1149320

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30489
/proc/meminfo: memFree=714880/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1151436 CPUtime=1781.87
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 302930 0 0 0 168083 10104 0 0 25 0 1 0 28013569 1179070464 275243 1992294400 134512640 136485738 4294137728 18446744073709551615 135044139 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 287859 275243 228 482 0 287375 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1151436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 30489
/proc/meminfo: memFree=714508/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=1151700 CPUtime=1800.08
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4202496 303023 0 0 0 169803 10205 0 0 25 0 1 0 28013569 1179340800 275336 1992294400 134512640 136485738 4294137728 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30437/statm: 287925 275336 228 482 0 287441 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1151700

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 30490
/proc/meminfo: memFree=1721132/2059040 swapFree=4136648/4192956
[pid=30437] ppid=30435 vsize=0 CPUtime=1800.18
/proc/30437/stat : 30437 (pbct) R 30435 30437 29721 0 -1 4194308 303023 0 0 0 169803 10215 0 0 25 0 1 0 28013569 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30437/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.2
CPU user time (s): 1698.04
CPU system time (s): 102.163
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 1151700

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

runsolver used 3.02054 second user time and 8.45971 second system time

The end

Launcher Data 

Begin job on node026 at 2010-06-14 21:26:22
IDJOB=2668706
IDBENCH=2382
IDSOLVER=1170
FILE ID=node026/2668706-1276543581
PBS_JOBID= 11173460
Free space on /tmp= 62512 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap2.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668706-1276543581/watcher-2668706-1276543581 -o /tmp/evaluation-result-2668706-1276543581/solver-2668706-1276543581 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2668706-1276543581.opb

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

MD5SUM BENCH= 69a6c7d8646ca0764023f06029f7c1d1
RANDOM SEED=413319668

node026.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.201
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.40
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.201
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:       1819256 kB
Buffers:         39408 kB
Cached:         121548 kB
SwapCached:       9700 kB
Active:          74820 kB
Inactive:        98808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1819256 kB
SwapTotal:     4192956 kB
SwapFree:      4136648 kB
Dirty:            5352 kB
Writeback:           0 kB
AnonPages:       10940 kB
Mapped:           9284 kB
Slab:            44320 kB
PageTables:       3956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181572 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= 62512 MiB
End job on node026 at 2010-06-14 21:56:24