Trace number 2657486

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 ClSAT17408 1798.01 1798.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM687e90f40c46b53feec9c54ee9b43fa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15360
Best CPU time to get the best result obtained on this benchmark1570.6
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15360
Optimality of the best value was proved NO
Number of variables163
Total number of constraints73
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints70
Minimum length of a constraint11
Maximum length of a constraint102
Number of terms in the objective function 163
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 74742
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 74742
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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-2657486-1276350686.opb
0.00/0.00	c File size is 50269 bytes.
0.00/0.00	c Highest Coefficient sum: 74742
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.006 s
0.00/0.00	c Var: 163 Constr: 73 0/3/70 Lit: 5326 Watch. Lit: 548
0.00/0.00	c Obj. Vars: 163 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.011 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    163       73     5326   72      548   10705      0      0 0.01
0.00/0.02	c Initial Lower Bound: 13312
0.00/0.02	c Initial Path Cost: 0
0.00/0.02	o 20480
0.10/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.18	c        0    163       74     5489   74      693   11031      1      0 0.02
0.10/0.18	o 18432
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        0    163       75     5652   75      749   11357      2      0 0.18
0.29/0.35	o 17408
1797.91/1798.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.67	c        3    163       81     6504   80      998   11357      8      8 0.35
1797.91/1798.67	c      104    163      282    35930  127     1402   12493    209    132 0.78
1797.91/1798.67	c      355    163      784   100954  128     2347   13743    711    238 1.49
1797.91/1798.67	c      832    163     1735   239618  138     4252   15118   1662    323 2.57
1797.91/1798.67	c     1645    163     3361   365748  108     7473   16630   3288    373 4.40
1797.91/1798.67	c     2966    163     5988   610709  101    12735   18294   5915    405 7.31
1797.91/1798.67	c     5048    163    10149  1003924   98    21058   20124  10076    377 13.37
1797.91/1798.67	c     8271    163    16587  1484799   89    33896   22137  16514    373 22.16
1797.91/1798.67	c    13208    163    15111  1225341   81    30754   24351  15038    348 37.88
1797.91/1798.67	c    20715    163    16550  1265138   76    33641   26787  16477    269 76.96
1797.91/1798.67	c    32076    163    23343  1830816   78    47217   29466  23270    208 153.63
1797.91/1798.67	c    49221    163    20574  1623731   78    41681   32413  20501    165 297.89
1797.91/1798.67	c    75040    163    29480  2325285   78    59495   35655  29407    147 507.77
1797.91/1798.67	c   113872    163    33588  2653837   79    67711   39221  33515    134 843.64
1797.91/1798.67	c   172224    163    38322  3023769   78    77178   43144  38249    135 1266.86
1797.91/1798.67	c Resources Exceeded
1797.91/1798.67	v -x1 -x12 -x23 x34 -x45 x116 x161 x162 x163 x2 x3 -x4 x5 x6 x7 -x8 -x9 -x10 x11 x13 x14 x15 x16 -x17 x18 -x19 x20 -x21 -x22 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 
1797.91/1798.67	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.67	c   17   259735    213   261779    22401  1759894  22328    144 1798.00
1797.91/1798.67	c Objective: 17408
1797.91/1798.67	s SATISFIABLE
1797.91/1798.67	c Total time: 1798 s

Verifier Data 

OK	17408

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657486-1276350686/watcher-2657486-1276350686 -o /tmp/evaluation-result-2657486-1276350686/solver-2657486-1276350686 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657486-1276350686.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.90 0.97 1.02 3/106 12798
/proc/meminfo: memFree=1595252/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=18600 CPUtime=0
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 10670197 19046400 240 1992294400 134512640 137138936 4292713472 18446744073709551615 134549504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 4650 243 182 642 0 4006 0

[startup+0.0327649 s]
/proc/loadavg: 0.90 0.97 1.02 3/106 12798
/proc/meminfo: memFree=1595252/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=19596 CPUtime=0.03
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 606 0 0 0 3 0 0 0 20 0 1 0 10670197 20066304 456 1992294400 134512640 137138936 4292713472 18446744073709551615 135251806 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 4899 456 282 642 0 4255 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19596

[startup+0.10178 s]
/proc/loadavg: 0.90 0.97 1.02 3/106 12798
/proc/meminfo: memFree=1595252/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=19736 CPUtime=0.1
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 612 0 0 0 10 0 0 0 20 0 1 0 10670197 20209664 462 1992294400 134512640 137138936 4292713472 18446744073709551615 135389065 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 4934 462 282 642 0 4290 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 19736

[startup+0.300822 s]
/proc/loadavg: 0.90 0.97 1.02 3/106 12798
/proc/meminfo: memFree=1595252/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=19896 CPUtime=0.29
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 1194 0 0 0 29 0 0 0 20 0 1 0 10670197 20373504 488 1992294400 134512640 137138936 4292713472 18446744073709551615 135433527 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 4974 488 283 642 0 4330 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19896

[startup+0.700908 s]
/proc/loadavg: 0.90 0.97 1.02 3/106 12798
/proc/meminfo: memFree=1595252/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=12044 CPUtime=0.69
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 8154 0 0 0 67 2 0 0 21 0 1 0 10670197 12333056 487 1992294400 134512640 137138936 4292713472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 3011 489 286 642 0 2367 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12044

[startup+1.50108 s]
/proc/loadavg: 0.90 0.97 1.02 2/107 12799
/proc/meminfo: memFree=1594004/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=13012 CPUtime=1.49
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 24816 0 0 0 141 8 0 0 23 0 1 0 10670197 13324288 741 1992294400 134512640 137138936 4292713472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 3253 741 286 642 0 2609 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13012

[startup+3.10142 s]
/proc/loadavg: 0.90 0.97 1.02 2/107 12799
/proc/meminfo: memFree=1592020/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=15448 CPUtime=3.09
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 60532 0 0 0 289 20 0 0 25 0 1 0 10670197 15818752 1323 1992294400 134512640 137138936 4292713472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 3862 1323 286 642 0 3218 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15448

[startup+6.3011 s]
/proc/loadavg: 0.91 0.97 1.02 2/107 12799
/proc/meminfo: memFree=1588052/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=18872 CPUtime=6.29
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 129108 0 0 0 588 41 0 0 25 0 1 0 10670197 19324928 2204 1992294400 134512640 137138936 4292713472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 4718 2205 286 642 0 4074 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18872

[startup+12.7015 s]
/proc/loadavg: 0.91 0.97 1.02 2/107 12799
/proc/meminfo: memFree=1581356/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=25120 CPUtime=12.68
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 234175 0 0 0 1193 75 0 0 25 0 1 0 10670197 25722880 3757 1992294400 134512640 137138936 4292713472 18446744073709551615 134730585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 6280 3757 286 642 0 5636 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25120

[startup+25.5012 s]
/proc/loadavg: 0.93 0.97 1.02 2/107 12801
/proc/meminfo: memFree=1571684/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=34524 CPUtime=25.48
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 458669 0 0 0 2402 146 0 0 25 0 1 0 10670197 35352576 6100 1992294400 134512640 137138936 4292713472 18446744073709551615 136506019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 8631 6105 286 642 0 7987 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34524

[startup+51.1006 s]
/proc/loadavg: 0.95 0.97 1.02 2/107 12801
/proc/meminfo: memFree=1567468/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=38232 CPUtime=51.07
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 689491 0 0 0 4869 238 0 0 25 0 1 0 10670197 39149568 7058 1992294400 134512640 137138936 4292713472 18446744073709551615 134720962 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 9558 7058 286 642 0 8914 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38232

[startup+102.309 s]
/proc/loadavg: 0.98 0.97 1.01 2/107 12803
/proc/meminfo: memFree=1564244/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=40724 CPUtime=102.26
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 981782 0 0 0 9859 367 0 0 25 0 1 0 10670197 41701376 7841 1992294400 134512640 137138936 4292713472 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 10181 7841 286 642 0 9537 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40724

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 1.01 2/107 12803
/proc/meminfo: memFree=1563872/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=41784 CPUtime=162.23
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 1254955 0 0 0 15728 495 0 0 25 0 1 0 10670197 42786816 7937 1992294400 134512640 137138936 4292713472 18446744073709551615 136528575 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 10266 7929 286 642 0 9622 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 41784

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12805
/proc/meminfo: memFree=1560772/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=43992 CPUtime=222.21
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 1516032 0 0 0 21603 618 0 0 25 0 1 0 10670197 45047808 8663 1992294400 134512640 137138936 4292713472 18446744073709551615 134587688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 10998 8663 286 642 0 10354 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 43992

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12807
/proc/meminfo: memFree=1560772/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=44100 CPUtime=282.19
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 1743378 0 0 0 27490 729 0 0 25 0 1 0 10670197 45158400 8690 1992294400 134512640 137138936 4292713472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 11025 8690 286 642 0 10381 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 44100

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12809
/proc/meminfo: memFree=1559284/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=45700 CPUtime=342.16
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 1981789 0 0 0 33382 834 0 0 25 0 1 0 10670197 46796800 9087 1992294400 134512640 137138936 4292713472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 11425 9087 286 642 0 10781 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 45700

[startup+402.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12811
/proc/meminfo: memFree=1557300/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=47452 CPUtime=402.14
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 2218195 0 0 0 39267 947 0 0 25 0 1 0 10670197 48590848 9532 1992294400 134512640 137138936 4292713472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 11863 9532 286 642 0 11219 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 47452

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12811
/proc/meminfo: memFree=1557176/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=47452 CPUtime=462.12
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 2464815 0 0 0 45145 1067 0 0 25 0 1 0 10670197 48590848 9532 1992294400 134512640 137138936 4292713472 18446744073709551615 134750959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 11863 9532 286 642 0 11219 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 47452

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12813
/proc/meminfo: memFree=1557176/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=48144 CPUtime=522.11
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 2680864 0 0 0 51045 1166 0 0 25 0 1 0 10670197 49299456 9539 1992294400 134512640 137138936 4292713472 18446744073709551615 135471488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 11863 9532 286 642 0 11219 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 48144

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12824
/proc/meminfo: memFree=1552580/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=51092 CPUtime=582.06
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 2989176 0 0 0 56904 1302 0 0 25 0 1 0 10670197 52318208 10441 1992294400 134512640 137138936 4292713472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 12773 10441 286 642 0 12129 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 51092

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12826
/proc/meminfo: memFree=1552712/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=51092 CPUtime=642.04
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 3207300 0 0 0 62799 1405 0 0 25 0 1 0 10670197 52318208 10441 1992294400 134512640 137138936 4292713472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 12773 10441 286 642 0 12129 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 51092

[startup+702.301 s]

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

/proc/meminfo: memFree=1549240/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=55124 CPUtime=1121.86
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 5138529 0 0 0 109858 2328 0 0 25 0 1 0 10670197 56446976 11450 1992294400 134512640 137138936 4292713472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 13781 11450 286 642 0 13137 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 55124

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12840
/proc/meminfo: memFree=1549116/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=55124 CPUtime=1181.84
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 5401904 0 0 0 115719 2465 0 0 25 0 1 0 10670197 56446976 11450 1992294400 134512640 137138936 4292713472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 13781 11450 286 642 0 13137 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 55124

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12842
/proc/meminfo: memFree=1548868/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=55848 CPUtime=1241.82
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 5699855 0 0 0 121564 2618 0 0 25 0 1 0 10670197 57188352 11458 1992294400 134512640 137138936 4292713472 18446744073709551615 134730666 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 13962 11458 286 642 0 13318 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 55848

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12844
/proc/meminfo: memFree=1544900/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=59464 CPUtime=1301.81
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 5986555 0 0 0 127430 2751 0 0 25 0 1 0 10670197 60891136 12535 1992294400 134512640 137138936 4292713472 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 14866 12535 286 642 0 14222 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 59464

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12847
/proc/meminfo: memFree=1544156/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=60176 CPUtime=1361.78
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 6340878 0 0 0 133263 2915 0 0 25 0 1 0 10670197 61620224 12542 1992294400 134512640 137138936 4292713472 18446744073709551615 134734512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 15044 12544 286 642 0 14400 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 60176

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12849
/proc/meminfo: memFree=1544280/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=59460 CPUtime=1421.76
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 6630121 0 0 0 139125 3051 0 0 25 0 1 0 10670197 60887040 12534 1992294400 134512640 137138936 4292713472 18446744073709551615 136504620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 14865 12534 286 642 0 14221 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 59460

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12851
/proc/meminfo: memFree=1544280/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=59460 CPUtime=1481.73
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 6916379 0 0 0 144988 3185 0 0 25 0 1 0 10670197 60887040 12534 1992294400 134512640 137138936 4292713472 18446744073709551615 135783826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 14865 12534 286 642 0 14221 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 59460

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12853
/proc/meminfo: memFree=1544404/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=59460 CPUtime=1541.71
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 7334360 0 0 0 150798 3373 0 0 25 0 1 0 10670197 60887040 12534 1992294400 134512640 137138936 4292713472 18446744073709551615 134542439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 14865 12534 286 642 0 14221 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 59460

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12855
/proc/meminfo: memFree=1544404/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=60112 CPUtime=1601.69
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 7642923 0 0 0 156654 3515 0 0 25 0 1 0 10670197 61554688 12541 1992294400 134512640 137138936 4292713472 18446744073709551615 135441488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 15028 12541 286 642 0 14384 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 60112

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12855
/proc/meminfo: memFree=1544404/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=59632 CPUtime=1661.67
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 7900338 0 0 0 162523 3644 0 0 25 0 1 0 10670197 61063168 12545 1992294400 134512640 137138936 4292713472 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 14908 12545 286 642 0 14264 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 59632

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12857
/proc/meminfo: memFree=1544404/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=59464 CPUtime=1721.65
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 8211624 0 0 0 168372 3793 0 0 25 0 1 0 10670197 60891136 12535 1992294400 134512640 137138936 4292713472 18446744073709551615 134750959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 14866 12535 286 642 0 14222 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 59464

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12859
/proc/meminfo: memFree=1544156/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=59460 CPUtime=1781.63
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 8473490 0 0 0 174247 3916 0 0 25 0 1 0 10670197 60887040 12534 1992294400 134512640 137138936 4292713472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 14865 12534 286 642 0 14221 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 59460

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12859
/proc/meminfo: memFree=1544156/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=59460 CPUtime=1791.23
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 8531594 0 0 0 175178 3945 0 0 25 0 1 0 10670197 60887040 12534 1992294400 134512640 137138936 4292713472 18446744073709551615 134750986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 14865 12534 286 642 0 14221 0
Current children cumulated CPU time (s) 1791.23
Current children cumulated vsize (KiB) 59460

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12859
/proc/meminfo: memFree=1544156/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=60112 CPUtime=1794.42
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 8550219 0 0 0 175489 3953 0 0 25 0 1 0 10670197 61554688 12541 1992294400 134512640 137138936 4292713472 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 15028 12541 286 642 0 14384 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (KiB) 60112

[startup+1796.7 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12859
/proc/meminfo: memFree=1544156/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=59460 CPUtime=1796.02
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 8560248 0 0 0 175644 3958 0 0 25 0 1 0 10670197 60887040 12534 1992294400 134512640 137138936 4292713472 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 14865 12534 286 642 0 14221 0
Current children cumulated CPU time (s) 1796.02
Current children cumulated vsize (KiB) 59460

[startup+1797.5 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12859
/proc/meminfo: memFree=1544156/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=59460 CPUtime=1796.81
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 8564896 0 0 0 175721 3960 0 0 25 0 1 0 10670197 60887040 12534 1992294400 134512640 137138936 4292713472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 14865 12534 286 642 0 14221 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 59460

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12859
/proc/meminfo: memFree=1544156/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=59460 CPUtime=1797.62
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 8569363 0 0 0 175799 3963 0 0 25 0 1 0 10670197 60887040 12534 1992294400 134512640 137138936 4292713472 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 14865 12534 286 642 0 14221 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 59460

[startup+1798.51 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12859
/proc/meminfo: memFree=1544156/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=59460 CPUtime=1797.83
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 8570540 0 0 0 175820 3963 0 0 25 0 1 0 10670197 60887040 12534 1992294400 134512640 137138936 4292713472 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 14865 12534 286 642 0 14221 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 59460

[startup+1798.6 s]
/proc/loadavg: 0.99 0.97 1.00 2/107 12859
/proc/meminfo: memFree=1544156/2059040 swapFree=4192956/4192956
[pid=12798] ppid=12796 vsize=60112 CPUtime=1797.91
/proc/12798/stat : 12798 (bsolo_pb10) R 12796 12798 12744 0 -1 4202496 8571082 0 0 0 175828 3963 0 0 25 0 1 0 10670197 61554688 12541 1992294400 134512640 137138936 4292713472 18446744073709551615 134840687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12798/statm: 15028 12541 286 642 0 14384 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 60112

Child status: 0
Real time (s): 1798.68
CPU time (s): 1798.01
CPU user time (s): 1758.36
CPU system time (s): 39.647
CPU usage (%): 99.9626
Max. virtual memory (cumulated for all children) (KiB): 60184

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

runsolver used 2.92056 second user time and 8.5397 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-12 15:51:26
IDJOB=2657486
IDBENCH=1848
IDSOLVER=1163
FILE ID=node010/2657486-1276350686
PBS_JOBID= 11173203
Free space on /tmp= 62500 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657486-1276350686/watcher-2657486-1276350686 -o /tmp/evaluation-result-2657486-1276350686/solver-2657486-1276350686 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657486-1276350686.opb

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

MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6
RANDOM SEED=1868015414

node010.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.267
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.53
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.267
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:       1595656 kB
Buffers:        116188 kB
Cached:         217560 kB
SwapCached:          0 kB
Active:         153536 kB
Inactive:       239416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1595656 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3992 kB
Writeback:           4 kB
AnonPages:       59200 kB
Mapped:          15444 kB
Slab:            48692 kB
PageTables:       4104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181408 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= 62496 MiB
End job on node010 at 2010-06-12 16:21:24