Trace number 2657919

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
bsolo 3.2 Cl? (TO) 1800.18 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM0155c0c96434984f6ded6bb7ada20c0c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6548
Best CPU time to get the best result obtained on this benchmark3.65144
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6548
Optimality of the best value was proved YES
Number of variables2655
Total number of constraints146
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint2655
Number of terms in the objective function 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657919-1276351841.opb
0.00/0.00	c File size is 125155 bytes.
0.01/0.02	c Highest Coefficient sum: 489211
0.01/0.02	c Parsing was ok!!
0.01/0.02	c Total parsing time: 0.022 s
0.01/0.02	c Var: 2655 Constr: 291 144/146/1 Lit: 22251 Watch. Lit: 11493
0.01/0.02	c Obj. Vars: 2655 (100 % of total variables)
0.29/0.38	c Pre-processing Time: 0.385 s
0.59/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.64	c        0   2463      281    21607   76    11161  106824      0      0 0.39
0.59/0.64	c Initial Lower Bound: 6533
0.59/0.64	c Initial Path Cost: 0
1800.08/1800.61	c      100   2463      381    32351   84    11361  117507    100    142 0.70
1800.08/1800.61	c      250   2463      531    46787   88    11661  129258    250    290 0.86
1800.08/1800.61	c      475   2463      756    78293  103    12111  142184    475    462 1.03
1800.08/1800.61	c      814   2463     1095   222114  202    12789  156403    814    644 1.26
1800.08/1800.61	c     1322   2463     1603   340130  212    13805  172044   1322    872 1.52
1800.08/1800.61	c     2085   2463     2366   739497  312    15331  189249   2085    974 2.14
1800.08/1800.61	c     3233   2463     3514  1092349  310    17627  208174   3233   1083 2.98
1800.08/1800.61	c     4954   2463     5235  1549692  296    21069  228992   4954   1164 4.25
1800.08/1800.61	c     7539   2463     7820  2448442  313    26239  251892   7539   1034 7.29
1800.08/1800.61	c    11418   2463    11699  3811450  325    33997  277082  11418    882 12.94
1800.08/1800.61	c    17240   2463    17521  6046870  345    45641  304791  17240    625 27.56
1800.08/1800.61	c    25978   2463    26259 11175344  425    63117  335271  25978    347 74.78
1800.08/1800.61	c    39088   2463    39369 16666495  423    89337  368799  39088    293 133.04
1800.08/1800.61	c    58761   2463    59042 23331583  395   128683  405679  58761    242 242.08
1800.08/1800.61	c    88271   2463    88552 36610414  413   187703  446247  88271    166 528.74
1800.08/1800.61	c   132542   2463   132823 69735428  525   276245  490872 132542     87 1515.57
1800.08/1800.61	c Reducing formula size due to memory constraints
1800.08/1800.61	c Memory Limit: 1000.00 MB  Used: 1004.46 MB
1800.08/1800.61	c Caught signal: 15
1800.08/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.61	c   16   145142  31360  1915516    57190 28615056  56909     80 1800.08
1800.08/1800.61	s UNKNOWN
1800.08/1800.61	c Total time: 1800.08 s

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-2657919-1276351841/watcher-2657919-1276351841 -o /tmp/evaluation-result-2657919-1276351841/solver-2657919-1276351841 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657919-1276351841.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.98 1.11 1.06 3/106 12929
/proc/meminfo: memFree=1841104/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=18868 CPUtime=0
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 352 0 0 0 0 0 0 0 18 0 1 0 10785382 19320832 271 1992294400 134512640 137138936 4293146704 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 4717 271 175 642 0 4042 0

[startup+0.011803 s]
/proc/loadavg: 0.98 1.11 1.06 3/106 12929
/proc/meminfo: memFree=1841104/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=11056 CPUtime=0.01
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 373 0 0 0 1 0 0 0 18 0 1 0 10785382 11321344 292 1992294400 134512640 137138936 4293146704 18446744073709551615 136495590 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 2764 292 180 642 0 2089 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11056

[startup+0.101789 s]
/proc/loadavg: 0.98 1.11 1.06 3/106 12929
/proc/meminfo: memFree=1841104/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=11592 CPUtime=0.09
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 573 0 0 0 9 0 0 0 20 0 1 0 10785382 11870208 461 1992294400 134512640 137138936 4293146704 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 2898 461 184 642 0 2254 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11592

[startup+0.301808 s]
/proc/loadavg: 0.98 1.11 1.06 3/106 12929
/proc/meminfo: memFree=1841104/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=11592 CPUtime=0.29
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 573 0 0 0 29 0 0 0 20 0 1 0 10785382 11870208 461 1992294400 134512640 137138936 4293146704 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 2898 461 184 642 0 2254 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11592

[startup+0.701845 s]
/proc/loadavg: 0.98 1.11 1.06 3/106 12929
/proc/meminfo: memFree=1841104/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=12476 CPUtime=0.69
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 2995 0 0 0 67 2 0 0 20 0 1 0 10785382 12775424 793 1992294400 134512640 137138936 4293146704 18446744073709551615 135984558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 3119 793 285 642 0 2475 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12476

[startup+1.50192 s]
/proc/loadavg: 0.98 1.11 1.06 2/107 12930
/proc/meminfo: memFree=1838244/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=16348 CPUtime=1.49
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 3953 0 0 0 142 7 0 0 23 0 1 0 10785382 16740352 1751 1992294400 134512640 137138936 4293146704 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 4087 1751 285 642 0 3443 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16348

[startup+3.10107 s]
/proc/loadavg: 0.98 1.11 1.06 2/107 12930
/proc/meminfo: memFree=1829936/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=26628 CPUtime=3.09
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 6516 0 0 0 299 10 0 0 25 0 1 0 10785382 27267072 4314 1992294400 134512640 137138936 4293146704 18446744073709551615 134602833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 6657 4314 285 642 0 6013 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26628

[startup+6.30138 s]
/proc/loadavg: 0.98 1.11 1.06 2/107 12930
/proc/meminfo: memFree=1812948/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=41776 CPUtime=6.29
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 10306 0 0 0 615 14 0 0 25 0 1 0 10785382 42778624 8104 1992294400 134512640 137138936 4293146704 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 10444 8104 285 642 0 9800 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41776

[startup+12.701 s]
/proc/loadavg: 0.98 1.11 1.06 2/107 12932
/proc/meminfo: memFree=1792116/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=60952 CPUtime=12.69
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 15102 0 0 0 1247 22 0 0 25 0 1 0 10785382 62414848 12900 1992294400 134512640 137138936 4293146704 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 15238 12900 285 642 0 14594 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60952

[startup+25.5012 s]
/proc/loadavg: 0.99 1.10 1.06 2/107 12932
/proc/meminfo: memFree=1764092/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=87352 CPUtime=25.48
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 21702 0 0 0 2521 27 0 0 25 0 1 0 10785382 89448448 19500 1992294400 134512640 137138936 4293146704 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 21838 19500 285 642 0 21194 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87352

[startup+51.1016 s]
/proc/loadavg: 0.99 1.09 1.06 2/107 12932
/proc/meminfo: memFree=1723172/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=128756 CPUtime=51.08
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 32038 0 0 0 5067 41 0 0 25 0 1 0 10785382 131846144 29836 1992294400 134512640 137138936 4293146704 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 32189 29836 285 642 0 31545 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 128756

[startup+102.308 s]
/proc/loadavg: 0.99 1.08 1.05 2/107 12934
/proc/meminfo: memFree=1647284/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=203512 CPUtime=102.27
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 50749 0 0 0 10169 58 0 0 25 0 1 0 10785382 208396288 48547 1992294400 134512640 137138936 4293146704 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 50878 48547 285 642 0 50234 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 203512

[startup+162.301 s]
/proc/loadavg: 0.99 1.06 1.05 2/107 12936
/proc/meminfo: memFree=1600040/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=251080 CPUtime=162.25
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 62621 0 0 0 16100 125 0 0 25 0 1 0 10785382 257105920 60419 1992294400 134512640 137138936 4293146704 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 62770 60419 285 642 0 62126 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 251080

[startup+222.301 s]
/proc/loadavg: 0.99 1.05 1.04 2/107 12939
/proc/meminfo: memFree=1545480/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=304440 CPUtime=222.22
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 75971 0 0 0 22084 138 0 0 25 0 1 0 10785382 311746560 73769 1992294400 134512640 137138936 4293146704 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 76110 73769 285 642 0 75466 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 304440

[startup+282.302 s]
/proc/loadavg: 0.99 1.04 1.04 2/107 12941
/proc/meminfo: memFree=1507040/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=343232 CPUtime=282.21
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 85669 0 0 0 28071 150 0 0 25 0 1 0 10785382 351469568 83467 1992294400 134512640 137138936 4293146704 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 85808 83467 285 642 0 85164 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 343232

[startup+342.301 s]
/proc/loadavg: 0.99 1.03 1.03 2/107 12943
/proc/meminfo: memFree=1448388/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=401376 CPUtime=342.19
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 100219 0 0 0 34057 162 0 0 25 0 1 0 10785382 411009024 98017 1992294400 134512640 137138936 4293146704 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 100344 98017 285 642 0 99700 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 401376

[startup+402.301 s]
/proc/loadavg: 0.99 1.02 1.02 2/107 12945
/proc/meminfo: memFree=1407096/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=443168 CPUtime=402.18
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 110639 0 0 0 40048 170 0 0 25 0 1 0 10785382 453804032 108437 1992294400 134512640 137138936 4293146704 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 110792 108437 285 642 0 110148 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 443168

[startup+462.302 s]
/proc/loadavg: 0.99 1.02 1.02 2/107 12947
/proc/meminfo: memFree=1380560/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=469196 CPUtime=462.15
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 117167 0 0 0 46021 194 0 0 25 0 1 0 10785382 480456704 114965 1992294400 134512640 137138936 4293146704 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 117299 114965 285 642 0 116655 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 469196

[startup+522.301 s]
/proc/loadavg: 0.99 1.01 1.01 2/107 12947
/proc/meminfo: memFree=1365928/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=483912 CPUtime=522.14
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 120830 0 0 0 51989 225 0 0 25 0 1 0 10785382 495525888 118628 1992294400 134512640 137138936 4293146704 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 120978 118628 285 642 0 120334 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 483912

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.01 2/107 12949
/proc/meminfo: memFree=1338028/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=512012 CPUtime=582.11
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 127875 0 0 0 57971 240 0 0 25 0 1 0 10785382 524300288 125673 1992294400 134512640 137138936 4293146704 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 128003 125673 285 642 0 127359 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 512012

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12951
/proc/meminfo: memFree=1305168/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=544660 CPUtime=642.1
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 136018 0 0 0 63959 251 0 0 25 0 1 0 10785382 557731840 133816 1992294400 134512640 137138936 4293146704 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 136165 133816 285 642 0 135521 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 544660

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12957
/proc/meminfo: memFree=1184764/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=664768 CPUtime=882.02
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 166066 0 0 0 87923 279 0 0 25 0 1 0 10785382 680722432 163864 1992294400 134512640 137138936 4293146704 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 166192 163864 285 642 0 165548 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 664768

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12959
/proc/meminfo: memFree=1162072/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=687668 CPUtime=942
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 171786 0 0 0 93917 283 0 0 25 0 1 0 10785382 704172032 169584 1992294400 134512640 137138936 4293146704 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 171917 169584 285 642 0 171273 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 687668

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12961
/proc/meminfo: memFree=1132312/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=717180 CPUtime=1001.99
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 179153 0 0 0 99911 288 0 0 25 0 1 0 10785382 734392320 176951 1992294400 134512640 137138936 4293146704 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 179295 176951 285 642 0 178651 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 717180

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12963
/proc/meminfo: memFree=1106272/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=743172 CPUtime=1061.96
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 185656 0 0 0 105904 292 0 0 25 0 1 0 10785382 761008128 183454 1992294400 134512640 137138936 4293146704 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 185793 183454 285 642 0 185149 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 743172

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12963
/proc/meminfo: memFree=1086680/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=762652 CPUtime=1121.95
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 190525 0 0 0 111898 297 0 0 25 0 1 0 10785382 780955648 188323 1992294400 134512640 137138936 4293146704 18446744073709551615 134542155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 190663 188323 285 642 0 190019 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 762652

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12965
/proc/meminfo: memFree=1061632/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=787708 CPUtime=1181.94
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 196772 0 0 0 117893 301 0 0 25 0 1 0 10785382 806612992 194570 1992294400 134512640 137138936 4293146704 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 196927 194570 285 642 0 196283 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 787708

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12967
/proc/meminfo: memFree=1038568/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=810564 CPUtime=1241.92
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 202499 0 0 0 123888 304 0 0 25 0 1 0 10785382 830017536 200297 1992294400 134512640 137138936 4293146704 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 202641 200297 285 642 0 201997 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 810564

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12969
/proc/meminfo: memFree=1013892/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=834872 CPUtime=1301.9
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 208577 0 0 0 129883 307 0 0 25 0 1 0 10785382 854908928 206375 1992294400 134512640 137138936 4293146704 18446744073709551615 136511128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 208718 206375 285 642 0 208074 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 834872

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12971
/proc/meminfo: memFree=989960/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=859124 CPUtime=1361.88
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 214650 0 0 0 135878 310 0 0 25 0 1 0 10785382 879742976 212448 1992294400 134512640 137138936 4293146704 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 214781 212448 285 642 0 214137 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 859124

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12971
/proc/meminfo: memFree=967764/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=880976 CPUtime=1421.87
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 220118 0 0 0 141872 315 0 0 25 0 1 0 10785382 902119424 217916 1992294400 134512640 137138936 4293146704 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 220244 217916 285 642 0 219600 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 880976

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12973
/proc/meminfo: memFree=948668/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=900264 CPUtime=1481.85
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 224917 0 0 0 147867 318 0 0 25 0 1 0 10785382 921870336 222715 1992294400 134512640 137138936 4293146704 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 225066 222715 285 642 0 224422 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 900264

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12975
/proc/meminfo: memFree=925232/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=923380 CPUtime=1541.83
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 230705 0 0 0 153857 326 0 0 25 0 1 0 10785382 945541120 228503 1992294400 134512640 137138936 4293146704 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 230845 228503 285 642 0 230201 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 923380

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12977
/proc/meminfo: memFree=905888/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=943108 CPUtime=1601.81
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 235647 0 0 0 159843 338 0 0 25 0 1 0 10785382 965742592 233445 1992294400 134512640 137138936 4293146704 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 235777 233445 285 642 0 235133 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 943108

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12979
/proc/meminfo: memFree=872532/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=976124 CPUtime=1661.8
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 243903 0 0 0 165835 345 0 0 25 0 1 0 10785382 999550976 241701 1992294400 134512640 137138936 4293146704 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 244031 241701 285 642 0 243387 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 976124

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12979
/proc/meminfo: memFree=843888/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=1005088 CPUtime=1721.78
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 251122 0 0 0 171828 350 0 0 25 0 1 0 10785382 1029210112 248920 1992294400 134512640 137138936 4293146704 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 251272 248920 285 642 0 250628 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1005088

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12981
/proc/meminfo: memFree=811152/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=1037264 CPUtime=1781.77
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 259171 0 0 0 177821 356 0 0 25 0 1 0 10785382 1062158336 256969 1992294400 134512640 137138936 4293146704 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 259316 256969 285 642 0 258672 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1037264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12981
/proc/meminfo: memFree=807432/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=1040060 CPUtime=1800.08
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202496 260021 0 0 0 179651 357 0 0 25 0 1 0 10785382 1065021440 257677 1992294400 134512640 137138936 4293146704 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12929/statm: 260015 257677 285 642 0 259371 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1040060

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

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

[startup+1800.72 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 12981
/proc/meminfo: memFree=807432/2059040 swapFree=4135796/4192956
[pid=12929] ppid=12927 vsize=0 CPUtime=1800.18
/proc/12929/stat : 12929 (bsolo_pb10) R 12927 12929 12716 0 -1 4202500 260021 0 0 0 179651 367 0 0 25 0 1 0 10785382 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/12929/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.72
CPU time (s): 1800.18
CPU user time (s): 1796.51
CPU system time (s): 3.67144
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1040628

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

runsolver used 2.78358 second user time and 8.69568 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-12 16:10:41
IDJOB=2657919
IDBENCH=1851
IDSOLVER=1163
FILE ID=node015/2657919-1276351841
PBS_JOBID= 11173196
Free space on /tmp= 62548 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657919-1276351841/watcher-2657919-1276351841 -o /tmp/evaluation-result-2657919-1276351841/solver-2657919-1276351841 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657919-1276351841.opb

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

MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c
RANDOM SEED=203768139

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1841508 kB
Buffers:         29556 kB
Cached:         118800 kB
SwapCached:      13992 kB
Active:         108468 kB
Inactive:        56504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1841508 kB
SwapTotal:     4192956 kB
SwapFree:      4135796 kB
Dirty:            4100 kB
Writeback:           0 kB
AnonPages:       11532 kB
Mapped:           9144 kB
Slab:            30716 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181820 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= 62544 MiB
End job on node015 at 2010-06-12 16:40:43