Trace number 2668255

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.17 1800.69

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_10.opb
MD5SUM904168892843efef74e3394360b8d762
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark1800.6
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved NO
Number of variables40363
Total number of constraints154319
Number of constraints which are clauses154296
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint1
Maximum length of a constraint1952
Number of terms in the objective function 1952
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1952
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1988
Number of bits of the biggest sum of numbers11
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
1.79/1.80	c constraints 1/0 clauses 154313/0 units 5
1.79/1.80	c vars 40363
1.79/1.80	c objective 1947 + 5
1800.09/1800.61	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668255-1276641878/watcher-2668255-1276641878 -o /tmp/evaluation-result-2668255-1276641878/solver-2668255-1276641878 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668255-1276641878.opb 

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


[startup+0 s]
/proc/loadavg: 1.70 1.96 1.66 3/106 5030
/proc/meminfo: memFree=1829096/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=2352 CPUtime=0
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 285 0 0 0 0 0 0 0 19 0 1 0 37843214 2408448 207 1992294400 134512640 136485738 4291315936 18446744073709551615 135173322 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5030/statm: 588 207 157 482 0 104 0

[startup+0.0413261 s]
/proc/loadavg: 1.70 1.96 1.66 3/106 5030
/proc/meminfo: memFree=1829096/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=2352 CPUtime=0.03
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 309 0 0 0 3 0 0 0 19 0 1 0 37843214 2408448 231 1992294400 134512640 136485738 4291315936 18446744073709551615 135844732 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5030/statm: 588 231 157 482 0 104 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2352

[startup+0.101331 s]
/proc/loadavg: 1.70 1.96 1.66 3/106 5030
/proc/meminfo: memFree=1829096/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=2616 CPUtime=0.09
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 357 0 0 0 9 0 0 0 20 0 1 0 37843214 2678784 279 1992294400 134512640 136485738 4291315936 18446744073709551615 134532797 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5030/statm: 654 279 157 482 0 170 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2616

[startup+0.301346 s]
/proc/loadavg: 1.70 1.96 1.66 3/106 5030
/proc/meminfo: memFree=1829096/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=3272 CPUtime=0.29
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 515 0 0 0 29 0 0 0 20 0 1 0 37843214 3350528 437 1992294400 134512640 136485738 4291315936 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5030/statm: 818 437 157 482 0 334 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3272

[startup+0.700379 s]
/proc/loadavg: 1.70 1.96 1.66 3/106 5030
/proc/meminfo: memFree=1829096/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=4448 CPUtime=0.69
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 861 0 0 0 69 0 0 0 20 0 1 0 37843214 4554752 750 1992294400 134512640 136485738 4291315936 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5030/statm: 1112 750 157 482 0 628 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4448

[startup+1.50044 s]
/proc/loadavg: 1.70 1.96 1.66 2/107 5031
/proc/meminfo: memFree=1825616/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=6948 CPUtime=1.49
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 1561 0 0 0 149 0 0 0 22 0 1 0 37843214 7114752 1385 1992294400 134512640 136485738 4291315936 18446744073709551615 134524784 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5030/statm: 1737 1385 157 482 0 1253 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6948

[startup+3.10057 s]
/proc/loadavg: 1.70 1.96 1.66 2/107 5031
/proc/meminfo: memFree=1790276/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=140228 CPUtime=3.09
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 36576 0 0 0 294 15 0 0 25 0 1 0 37843214 143593472 33560 1992294400 134512640 136485738 4291315936 18446744073709551615 135857033 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 35057 33560 194 482 0 34573 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 140228

[startup+6.30083 s]
/proc/loadavg: 1.65 1.95 1.66 2/107 5031
/proc/meminfo: memFree=1425344/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=423056 CPUtime=6.29
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 111692 0 0 0 577 52 0 0 25 0 1 0 37843214 433209344 101875 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 105764 101875 226 482 0 105280 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 423056

[startup+12.7013 s]
/proc/loadavg: 1.59 1.93 1.66 2/107 5031
/proc/meminfo: memFree=1420888/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=423320 CPUtime=12.68
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 111772 0 0 0 1187 81 0 0 25 0 1 0 37843214 433479680 101955 1992294400 134512640 136485738 4291315936 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 105830 101955 226 482 0 105346 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 423320

[startup+25.5013 s]
/proc/loadavg: 1.46 1.89 1.65 2/107 5031
/proc/meminfo: memFree=1420144/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=424268 CPUtime=25.48
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 111981 0 0 0 2406 142 0 0 25 0 1 0 37843214 434450432 102164 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 106067 102164 226 482 0 105583 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 424268

[startup+51.1014 s]
/proc/loadavg: 1.30 1.81 1.63 2/107 5031
/proc/meminfo: memFree=1417168/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=427120 CPUtime=51.07
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 112703 0 0 0 4825 282 0 0 25 0 1 0 37843214 437370880 102886 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 106780 102886 226 482 0 106296 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 427120

[startup+102.308 s]
/proc/loadavg: 1.13 1.69 1.59 2/107 5033
/proc/meminfo: memFree=1414192/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=429968 CPUtime=102.27
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 113419 0 0 0 9677 550 0 0 25 0 1 0 37843214 440287232 103602 1992294400 134512640 136485738 4291315936 18446744073709551615 135025081 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 107492 103602 226 482 0 107008 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 429968

[startup+162.301 s]
/proc/loadavg: 1.05 1.56 1.55 2/107 5035
/proc/meminfo: memFree=1411092/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=433132 CPUtime=162.24
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 114223 0 0 0 15362 862 0 0 25 0 1 0 37843214 443527168 104406 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 108283 104406 226 482 0 107799 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 433132

[startup+222.302 s]
/proc/loadavg: 1.02 1.45 1.52 2/107 5037
/proc/meminfo: memFree=1408116/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=435956 CPUtime=222.22
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 114924 0 0 0 21066 1156 0 0 25 0 1 0 37843214 446418944 105107 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 108989 105107 226 482 0 108505 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 435956

[startup+282.302 s]
/proc/loadavg: 1.00 1.37 1.48 2/107 5039
/proc/meminfo: memFree=1406132/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=438088 CPUtime=282.21
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 115435 0 0 0 26759 1462 0 0 25 0 1 0 37843214 448602112 105618 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 109522 105618 226 482 0 109038 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 438088

[startup+342.302 s]
/proc/loadavg: 1.00 1.30 1.45 2/107 5039
/proc/meminfo: memFree=1398320/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=445804 CPUtime=342.19
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 117377 0 0 0 32368 1851 0 0 25 0 1 0 37843214 456503296 107560 1992294400 134512640 136485738 4291315936 18446744073709551615 135024608 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 111451 107560 226 482 0 110967 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 445804

[startup+402.301 s]
/proc/loadavg: 1.00 1.24 1.42 2/107 5041
/proc/meminfo: memFree=1390756/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=453328 CPUtime=402.18
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 119241 0 0 0 38018 2200 0 0 25 0 1 0 37843214 464207872 109424 1992294400 134512640 136485738 4291315936 18446744073709551615 134880451 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 113332 109424 226 482 0 112848 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 453328

[startup+462.301 s]
/proc/loadavg: 1.00 1.20 1.39 2/107 5043
/proc/meminfo: memFree=1382944/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=461084 CPUtime=462.17
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 121184 0 0 0 43663 2554 0 0 25 0 1 0 37843214 472150016 111367 1992294400 134512640 136485738 4291315936 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 115271 111367 226 482 0 114787 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 461084

[startup+522.302 s]
/proc/loadavg: 1.00 1.16 1.36 2/107 5045
/proc/meminfo: memFree=1370172/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=474652 CPUtime=522.14
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 124574 0 0 0 49294 2920 0 0 25 0 1 0 37843214 486043648 114757 1992294400 134512640 136485738 4291315936 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 118663 114757 226 482 0 118179 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 474652

[startup+582.302 s]
/proc/loadavg: 1.00 1.13 1.34 2/107 5047
/proc/meminfo: memFree=1355788/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=488132 CPUtime=582.13
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 127956 0 0 0 54934 3279 0 0 25 0 1 0 37843214 499847168 118139 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 122033 118139 226 482 0 121549 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 488132

[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.31 2/107 5047
/proc/meminfo: memFree=1345248/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=498548 CPUtime=642.11
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 130553 0 0 0 60565 3646 0 0 25 0 1 0 37843214 510513152 120736 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 124637 120736 226 482 0 124153 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 498548

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.05 1.25 2/107 5053
/proc/meminfo: memFree=1314744/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=528968 CPUtime=822.06
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 138148 0 0 0 77393 4813 0 0 25 0 1 0 37843214 541663232 128331 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 132242 128331 226 482 0 131758 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 528968

[startup+882.3 s]
/proc/loadavg: 1.00 1.04 1.23 2/107 5055
/proc/meminfo: memFree=1300608/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=543048 CPUtime=882.04
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 141682 0 0 0 83027 5177 0 0 25 0 1 0 37843214 556081152 131865 1992294400 134512640 136485738 4291315936 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 135762 131865 226 482 0 135278 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 543048

[startup+942.3 s]
/proc/loadavg: 1.00 1.03 1.21 2/107 5055
/proc/meminfo: memFree=1288456/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=555080 CPUtime=942.02
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 144697 0 0 0 88677 5525 0 0 25 0 1 0 37843214 568401920 134880 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 138770 134880 226 482 0 138286 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 555080

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.20 2/107 5066
/proc/meminfo: memFree=1281016/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=562228 CPUtime=1001.99
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 146478 0 0 0 94332 5867 0 0 25 0 1 0 37843214 575721472 136661 1992294400 134512640 136485738 4291315936 18446744073709551615 135025013 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 140557 136661 226 482 0 140073 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 562228

[startup+1062.3 s]
/proc/loadavg: 1.03 1.03 1.18 2/107 5068
/proc/meminfo: memFree=1273328/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=569644 CPUtime=1061.98
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 148349 0 0 0 99998 6200 0 0 25 0 1 0 37843214 583315456 138532 1992294400 134512640 136485738 4291315936 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 142411 138532 226 482 0 141927 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 569644

[startup+1122.3 s]
/proc/loadavg: 1.12 1.05 1.18 2/107 5070
/proc/meminfo: memFree=1259564/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=583524 CPUtime=1121.96
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 151779 0 0 0 105597 6599 0 0 25 0 1 0 37843214 597528576 141962 1992294400 134512640 136485738 4291315936 18446744073709551615 135025013 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 145881 141962 226 482 0 145397 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 583524

[startup+1182.3 s]
/proc/loadavg: 1.18 1.07 1.18 2/107 5072
/proc/meminfo: memFree=1249272/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=593876 CPUtime=1181.94
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 154377 0 0 0 111230 6964 0 0 25 0 1 0 37843214 608129024 144560 1992294400 134512640 136485738 4291315936 18446744073709551615 134882862 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 148469 144560 226 482 0 147985 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 593876

[startup+1242.3 s]
/proc/loadavg: 1.06 1.06 1.17 2/107 5072
/proc/meminfo: memFree=1241584/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=601584 CPUtime=1241.92
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 156285 0 0 0 116873 7319 0 0 25 0 1 0 37843214 616022016 146468 1992294400 134512640 136485738 4291315936 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 150396 146468 226 482 0 149912 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 601584

[startup+1302.3 s]
/proc/loadavg: 1.02 1.04 1.16 2/107 5074
/proc/meminfo: memFree=1233276/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=609804 CPUtime=1301.91
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 158345 0 0 0 122508 7683 0 0 25 0 1 0 37843214 624439296 148528 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 152451 148528 226 482 0 151967 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 609804

[startup+1362.3 s]
/proc/loadavg: 1.01 1.03 1.14 2/107 5076
/proc/meminfo: memFree=1227200/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=615852 CPUtime=1361.88
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 159873 0 0 0 128170 8018 0 0 25 0 1 0 37843214 630632448 150056 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 153963 150056 226 482 0 153479 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 615852

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.13 2/107 5078
/proc/meminfo: memFree=1221248/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=621912 CPUtime=1421.88
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 161363 0 0 0 133817 8371 0 0 25 0 1 0 37843214 636837888 151546 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 155478 151546 226 482 0 154994 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 621912

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.12 2/107 5080
/proc/meminfo: memFree=1210336/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=632856 CPUtime=1481.86
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 164113 0 0 0 139411 8775 0 0 25 0 1 0 37843214 648044544 154296 1992294400 134512640 136485738 4291315936 18446744073709551615 134880611 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 158214 154296 226 482 0 157730 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 632856

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/107 5080
/proc/meminfo: memFree=1200292/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=642744 CPUtime=1541.84
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 166570 0 0 0 145035 9149 0 0 25 0 1 0 37843214 658169856 156753 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 160686 156753 226 482 0 160202 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 642744

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/107 5082
/proc/meminfo: memFree=1191240/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=651968 CPUtime=1601.82
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 168866 0 0 0 150646 9536 0 0 25 0 1 0 37843214 667615232 159049 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 162992 159049 226 482 0 162508 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 651968

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 5084
/proc/meminfo: memFree=1165448/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=677864 CPUtime=1661.8
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 175314 0 0 0 156213 9967 0 0 25 0 1 0 37843214 694132736 165497 1992294400 134512640 136485738 4291315936 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 169466 165497 226 482 0 168982 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 677864

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 5086
/proc/meminfo: memFree=1157016/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=685992 CPUtime=1721.79
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 177361 0 0 0 161839 10340 0 0 25 0 1 0 37843214 702455808 167544 1992294400 134512640 136485738 4291315936 18446744073709551615 134880498 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 171498 167544 226 482 0 171014 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 685992

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 5088
/proc/meminfo: memFree=1150320/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=692380 CPUtime=1781.77
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 178978 0 0 0 167480 10697 0 0 25 0 1 0 37843214 708997120 169161 1992294400 134512640 136485738 4291315936 18446744073709551615 135024608 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 173095 169161 226 482 0 172611 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 692380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 5088
/proc/meminfo: memFree=1146972/2059040 swapFree=4136680/4192956
[pid=5030] ppid=5028 vsize=695792 CPUtime=1800.09
/proc/5030/stat : 5030 (pbct) R 5028 5030 5005 0 -1 4202496 179810 0 0 0 169193 10816 0 0 25 0 1 0 37843214 712491008 169993 1992294400 134512640 136485738 4291315936 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/5030/statm: 173948 169993 226 482 0 173464 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 695792

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.69
CPU time (s): 1800.17
CPU user time (s): 1691.94
CPU system time (s): 108.231
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 695792

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

runsolver used 3.17452 second user time and 8.30474 second system time

The end

Launcher Data 

Begin job on node026 at 2010-06-16 00:44:38
IDJOB=2668255
IDBENCH=25020
IDSOLVER=1170
FILE ID=node026/2668255-1276641878
PBS_JOBID= 11172409
Free space on /tmp= 62556 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668255-1276641878/watcher-2668255-1276641878 -o /tmp/evaluation-result-2668255-1276641878/solver-2668255-1276641878 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2668255-1276641878.opb

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

MD5SUM BENCH= 904168892843efef74e3394360b8d762
RANDOM SEED=1352786934

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:       1829624 kB
Buffers:         25512 kB
Cached:         112540 kB
SwapCached:       9808 kB
Active:          84808 kB
Inactive:        66460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1829624 kB
SwapTotal:     4192956 kB
SwapFree:      4136680 kB
Dirty:            6708 kB
Writeback:           0 kB
AnonPages:       11428 kB
Mapped:           9360 kB
Slab:            56436 kB
PageTables:       4112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180348 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= 62552 MiB
End job on node026 at 2010-06-16 01:14:41