Trace number 2668744

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb
MD5SUM5d1a4fe23dd6bae39a646bf16e233a2d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark159425264299921103
Best CPU time to get the best result obtained on this benchmark1800.33
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 168760139499919105
Optimality of the best value was proved NO
Number of variables6363
Total number of constraints785
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 constraints785
Minimum length of a constraint2
Maximum length of a constraint141
Number of terms in the objective function 3774
Biggest coefficient in the objective function 3604480000000000
Number of bits for the biggest coefficient in the objective function 52
Sum of the numbers in the objective function 483609165299803395
Number of bits of the sum of numbers in the objective function 59
Biggest number in a constraint 3604480000000000
Number of bits of the biggest number in a constraint 52
Biggest sum of numbers in a constraint 483609165299803395
Number of bits of the biggest sum of numbers59
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.04/0.09	c constraints 705/0 clauses 80/0 units 0
0.04/0.09	c vars 6363
0.04/0.09	c objective 3774 + 0
1800.02/1800.61	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668744-1276572414/watcher-2668744-1276572414 -o /tmp/evaluation-result-2668744-1276572414/solver-2668744-1276572414 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668744-1276572414.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 1.06 3/106 1325
/proc/meminfo: memFree=1767612/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=2208 CPUtime=0
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 260 0 0 0 0 0 0 0 20 0 1 0 32842822 2260992 183 1992294400 134512640 136485738 4288926128 18446744073709551615 135346650 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1325/statm: 552 183 151 482 0 68 0

[startup+0.0487861 s]
/proc/loadavg: 0.92 0.98 1.06 3/106 1325
/proc/meminfo: memFree=1767612/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=3016 CPUtime=0.04
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 480 0 0 0 4 0 0 0 20 0 1 0 32842822 3088384 403 1992294400 134512640 136485738 4288926128 18446744073709551615 135177538 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1325/statm: 754 404 156 482 0 270 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3016

[startup+0.101795 s]
/proc/loadavg: 0.92 0.98 1.06 3/106 1325
/proc/meminfo: memFree=1767612/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=5380 CPUtime=0.09
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 1025 0 0 0 9 0 0 0 20 0 1 0 32842822 5509120 949 1992294400 134512640 136485738 4288926128 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 1345 950 194 482 0 861 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5380

[startup+0.30183 s]
/proc/loadavg: 0.92 0.98 1.06 3/106 1325
/proc/meminfo: memFree=1767612/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=22964 CPUtime=0.29
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 5408 0 0 0 26 3 0 0 20 0 1 0 32842822 23515136 5298 1992294400 134512640 136485738 4288926128 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 5741 5299 198 482 0 5257 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22964

[startup+0.701898 s]
/proc/loadavg: 0.92 0.98 1.06 3/106 1325
/proc/meminfo: memFree=1767612/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=49804 CPUtime=0.69
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 12484 0 0 0 62 7 0 0 21 0 1 0 32842822 50999296 11968 1992294400 134512640 136485738 4288926128 18446744073709551615 134725694 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 12451 11968 198 482 0 11967 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49804

[startup+1.50104 s]
/proc/loadavg: 0.92 0.98 1.06 2/107 1326
/proc/meminfo: memFree=1705356/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=121732 CPUtime=1.49
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 31454 0 0 0 134 15 0 0 23 0 1 0 32842822 124653568 30004 1992294400 134512640 136485738 4288926128 18446744073709551615 135857123 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 30433 30004 199 482 0 29949 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121732

[startup+3.10131 s]
/proc/loadavg: 0.92 0.98 1.06 2/107 1326
/proc/meminfo: memFree=1633312/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=139372 CPUtime=3.09
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 35795 0 0 0 286 23 0 0 25 0 1 0 32842822 142716928 33788 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 34843 33788 228 482 0 34359 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 139372

[startup+6.30086 s]
/proc/loadavg: 0.93 0.98 1.06 2/107 1326
/proc/meminfo: memFree=1632568/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=139504 CPUtime=6.29
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 35846 0 0 0 587 42 0 0 25 0 1 0 32842822 142852096 33839 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 34876 33839 228 482 0 34392 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 139504

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 1.06 2/107 1326
/proc/meminfo: memFree=1631824/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=140040 CPUtime=12.69
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 35967 0 0 0 1202 67 0 0 25 0 1 0 32842822 143400960 33960 1992294400 134512640 136485738 4288926128 18446744073709551615 135037865 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 35010 33960 228 482 0 34526 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 140040

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 1.06 2/107 1326
/proc/meminfo: memFree=1630956/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=141056 CPUtime=25.49
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 36214 0 0 0 2439 110 0 0 25 0 1 0 32842822 144441344 34207 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 35264 34207 228 482 0 34780 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 141056

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 1.05 2/107 1328
/proc/meminfo: memFree=1627484/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=144408 CPUtime=51.08
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 37073 0 0 0 4905 203 0 0 25 0 1 0 32842822 147873792 35066 1992294400 134512640 136485738 4288926128 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 36102 35066 228 482 0 35618 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 144408

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 1.05 2/107 1330
/proc/meminfo: memFree=1620912/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=150704 CPUtime=102.27
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 38637 0 0 0 9839 388 0 0 25 0 1 0 32842822 154320896 36630 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 37676 36630 228 482 0 37192 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 150704

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.04 2/107 1330
/proc/meminfo: memFree=1613224/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=158436 CPUtime=162.24
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 40576 0 0 0 15622 602 0 0 25 0 1 0 32842822 162238464 38569 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 39609 38569 228 482 0 39125 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 158436

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.04 2/107 1332
/proc/meminfo: memFree=1612728/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=158980 CPUtime=222.22
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 40667 0 0 0 21387 835 0 0 25 0 1 0 32842822 162795520 38660 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 39745 38660 228 482 0 39261 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 158980

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.03 2/107 1334
/proc/meminfo: memFree=1610248/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=161384 CPUtime=282.2
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 41273 0 0 0 27164 1056 0 0 25 0 1 0 32842822 165257216 39266 1992294400 134512640 136485738 4288926128 18446744073709551615 135044106 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 40346 39266 228 482 0 39862 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 161384

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.03 2/107 1336
/proc/meminfo: memFree=1607272/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=164444 CPUtime=342.18
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 42032 0 0 0 32944 1274 0 0 25 0 1 0 32842822 168390656 40025 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 41111 40025 228 482 0 40627 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 164444

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 1.02 2/107 1336
/proc/meminfo: memFree=1607148/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=164840 CPUtime=402.16
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 42123 0 0 0 38732 1484 0 0 25 0 1 0 32842822 168796160 40116 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 41210 40116 228 482 0 40726 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 164840

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 1.01 2/107 1338
/proc/meminfo: memFree=1602932/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=168760 CPUtime=462.14
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 43100 0 0 0 44510 1704 0 0 25 0 1 0 32842822 172810240 41093 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 42190 41093 228 482 0 41706 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 168760

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 1.01 2/107 1340
/proc/meminfo: memFree=1598096/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=173464 CPUtime=522.12
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 44301 0 0 0 50302 1910 0 0 25 0 1 0 32842822 177627136 42294 1992294400 134512640 136485738 4288926128 18446744073709551615 135047540 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 43366 42294 228 482 0 42882 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 173464

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 1342
/proc/meminfo: memFree=1598096/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=173464 CPUtime=582.1
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 44301 0 0 0 56106 2104 0 0 25 0 1 0 32842822 177627136 42294 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 43366 42294 228 482 0 42882 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 173464

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 1344
/proc/meminfo: memFree=1598096/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=173464 CPUtime=642.09
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 44302 0 0 0 61896 2313 0 0 25 0 1 0 32842822 177627136 42295 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 43366 42295 228 482 0 42882 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 173464

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 1348
/proc/meminfo: memFree=1595616/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=175976 CPUtime=822.02
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 44869 0 0 0 79237 2965 0 0 25 0 1 0 32842822 180199424 42862 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 43994 42862 228 482 0 43510 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 175976

[startup+882.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 1350
/proc/meminfo: memFree=1586316/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=185244 CPUtime=882.01
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 47188 0 0 0 84991 3210 0 0 25 0 1 0 32842822 189689856 45181 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 46311 45181 228 482 0 45827 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 185244

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1352
/proc/meminfo: memFree=1586316/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=185244 CPUtime=941.98
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 47188 0 0 0 90769 3429 0 0 25 0 1 0 32842822 189689856 45181 1992294400 134512640 136485738 4288926128 18446744073709551615 134882833 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 46311 45181 228 482 0 45827 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 185244

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1352
/proc/meminfo: memFree=1584704/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=186712 CPUtime=1001.96
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 47580 0 0 0 96565 3631 0 0 25 0 1 0 32842822 191193088 45573 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 46678 45573 228 482 0 46194 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 186712

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1354
/proc/meminfo: memFree=1583960/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=187600 CPUtime=1061.95
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 47751 0 0 0 102383 3812 0 0 25 0 1 0 32842822 192102400 45744 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 46900 45744 228 482 0 46416 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 187600

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1356
/proc/meminfo: memFree=1583712/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=187776 CPUtime=1121.93
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 47785 0 0 0 108195 3998 0 0 25 0 1 0 32842822 192282624 45778 1992294400 134512640 136485738 4288926128 18446744073709551615 135037862 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 46944 45778 228 482 0 46460 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 187776

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1358
/proc/meminfo: memFree=1583712/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=187776 CPUtime=1181.91
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 47785 0 0 0 113996 4195 0 0 25 0 1 0 32842822 192282624 45778 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 46944 45778 228 482 0 46460 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 187776

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1360
/proc/meminfo: memFree=1583464/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=187776 CPUtime=1241.89
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 47785 0 0 0 119767 4422 0 0 25 0 1 0 32842822 192282624 45778 1992294400 134512640 136485738 4288926128 18446744073709551615 135044912 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 46944 45778 228 482 0 46460 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 187776

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1360
/proc/meminfo: memFree=1581976/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=189228 CPUtime=1301.87
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 48166 0 0 0 125571 4616 0 0 25 0 1 0 32842822 193769472 46159 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 47307 46159 228 482 0 46823 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 189228

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1362
/proc/meminfo: memFree=1580116/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=190960 CPUtime=1361.85
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 48605 0 0 0 131359 4826 0 0 25 0 1 0 32842822 195543040 46598 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 47740 46598 228 482 0 47256 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 190960

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1364
/proc/meminfo: memFree=1580116/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=190960 CPUtime=1421.84
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 48605 0 0 0 137154 5030 0 0 25 0 1 0 32842822 195543040 46598 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 47740 46598 228 482 0 47256 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 190960

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1366
/proc/meminfo: memFree=1576768/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=194396 CPUtime=1481.81
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 49458 0 0 0 142928 5253 0 0 25 0 1 0 32842822 199061504 47451 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 48599 47451 228 482 0 48115 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 194396

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1368
/proc/meminfo: memFree=1576768/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=194396 CPUtime=1541.79
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 49458 0 0 0 148705 5474 0 0 25 0 1 0 32842822 199061504 47451 1992294400 134512640 136485738 4288926128 18446744073709551615 135044309 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 48599 47451 228 482 0 48115 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 194396

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1368
/proc/meminfo: memFree=1576768/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=194396 CPUtime=1601.77
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 49458 0 0 0 154487 5690 0 0 25 0 1 0 32842822 199061504 47451 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 48599 47451 228 482 0 48115 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 194396

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1371
/proc/meminfo: memFree=1566352/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=204772 CPUtime=1661.76
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 52020 0 0 0 160307 5869 0 0 25 0 1 0 32842822 209686528 50013 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 51193 50013 228 482 0 50709 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 204772

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1373
/proc/meminfo: memFree=1565608/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=205548 CPUtime=1721.73
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 52188 0 0 0 166097 6076 0 0 25 0 1 0 32842822 210481152 50181 1992294400 134512640 136485738 4288926128 18446744073709551615 134886623 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 51387 50181 228 482 0 50903 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 205548

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1375
/proc/meminfo: memFree=1565112/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=205704 CPUtime=1781.72
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 52243 0 0 0 171964 6208 0 0 25 0 1 0 32842822 210640896 50236 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 51426 50236 228 482 0 50942 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 205704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1375
/proc/meminfo: memFree=1565112/2059040 swapFree=4136088/4192956
[pid=1325] ppid=1323 vsize=205704 CPUtime=1800.02
/proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 52245 0 0 0 173730 6272 0 0 25 0 1 0 32842822 210640896 50238 1992294400 134512640 136485738 4288926128 18446744073709551615 135038022 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1325/statm: 51426 50238 228 482 0 50942 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 205704

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

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

Child status: 0
Real time (s): 1800.64
CPU time (s): 1800.06
CPU user time (s): 1737.3
CPU system time (s): 62.7505
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 205704

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

runsolver used 2.91756 second user time and 8.5627 second system time

The end

Launcher Data 

Begin job on node014 at 2010-06-15 05:26:54
IDJOB=2668744
IDBENCH=2529
IDSOLVER=1170
FILE ID=node014/2668744-1276572414
PBS_JOBID= 11173509
Free space on /tmp= 62572 MiB

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

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

MD5SUM BENCH= 5d1a4fe23dd6bae39a646bf16e233a2d
RANDOM SEED=234136115

node014.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.258
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.51
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.258
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1768140 kB
Buffers:         69292 kB
Cached:         131236 kB
SwapCached:      11636 kB
Active:          85448 kB
Inactive:       129848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1768140 kB
SwapTotal:     4192956 kB
SwapFree:      4136088 kB
Dirty:            2248 kB
Writeback:           0 kB
AnonPages:       12028 kB
Mapped:           9376 kB
Slab:            53856 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182944 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= 62568 MiB
End job on node014 at 2010-06-15 05:56:57