Trace number 1878550

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 clSAT17408 1798.01 1798.63

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 benchmark1800.69
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.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1878550-1245132648.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.005 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.01 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.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0    163       74     5489   74      693   11031      1      0 0.02
0.09/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.97/1798.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.62	c        3    163       81     6504   80      998   11357      8      8 0.35
1797.97/1798.62	c      104    163      282    35930  127     1402   12493    209    131 0.79
1797.97/1798.62	c      355    163      784   100954  128     2347   13743    711    235 1.51
1797.97/1798.62	c      832    163     1735   239618  138     4252   15118   1662    319 2.61
1797.97/1798.62	c     1645    163     3361   365748  108     7473   16630   3288    367 4.47
1797.97/1798.62	c     2966    163     5988   610709  101    12735   18294   5915    400 7.40
1797.97/1798.62	c     5048    163    10149  1003924   98    21058   20124  10076    375 13.45
1797.97/1798.62	c     8271    163    16587  1484799   89    33896   22137  16514    369 22.36
1797.97/1798.62	c    13208    163    15111  1225341   81    30754   24351  15038    345 38.18
1797.97/1798.62	c    20715    163    16550  1265138   76    33641   26787  16477    267 77.40
1797.97/1798.62	c    32076    163    23343  1830816   78    47217   29466  23270    207 154.32
1797.97/1798.62	c    49221    163    20574  1623731   78    41681   32413  20501    164 299.13
1797.97/1798.62	c    75040    163    29480  2325285   78    59495   35655  29407    147 509.76
1797.97/1798.62	c   113872    163    33588  2653837   79    67711   39221  33515    134 846.94
1797.97/1798.62	c   172224    163    38322  3023769   78    77178   43144  38249    135 1271.46
1797.97/1798.62	c Resources Exceeded
1797.97/1798.62	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.97/1798.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.62	c   17   258576    213   260619    20083  1576588  20010    143 1798.00
1797.97/1798.62	c Objective: 17408
1797.97/1798.62	s SATISFIABLE
1797.97/1798.62	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-1878550-1245132648/watcher-1878550-1245132648 -o /tmp/evaluation-result-1878550-1245132648/solver-1878550-1245132648 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878550-1245132648.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.99 0.97 0.99 3/64 2659
/proc/meminfo: memFree=1234560/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=18440 CPUtime=0
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 237 0 0 0 0 0 0 0 18 0 1 0 180865659 18882560 221 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 4643 222 176 640 0 3986 0

[startup+0.036859 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 2659
/proc/meminfo: memFree=1234560/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=19512 CPUtime=0.03
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 546 0 0 0 3 0 0 0 18 0 1 0 180865659 19980288 461 1992294400 134512640 137136520 4294956256 18446744073709551615 134748806 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 4878 461 289 640 0 4234 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19512

[startup+0.101871 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 2659
/proc/meminfo: memFree=1234560/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=19652 CPUtime=0.09
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 552 0 0 0 9 0 0 0 18 0 1 0 180865659 20123648 467 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 4913 467 289 640 0 4269 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19652

[startup+0.301909 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 2659
/proc/meminfo: memFree=1234560/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=19812 CPUtime=0.29
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 1134 0 0 0 29 0 0 0 19 0 1 0 180865659 20287488 493 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 4953 493 290 640 0 4309 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19812

[startup+0.701985 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 2659
/proc/meminfo: memFree=1234560/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=11836 CPUtime=0.69
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 7959 0 0 0 66 3 0 0 22 0 1 0 180865659 12120064 487 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 2959 487 292 640 0 2315 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11836

[startup+1.50114 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1233464/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=12816 CPUtime=1.49
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 24400 0 0 0 140 9 0 0 25 0 1 0 180865659 13123584 736 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 3204 736 292 640 0 2560 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12816

[startup+3.10244 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1231672/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=14448 CPUtime=3.09
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 59487 0 0 0 288 21 0 0 25 0 1 0 180865659 14794752 1300 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 3612 1300 292 640 0 2968 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14448

[startup+6.30106 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1227704/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=17940 CPUtime=6.29
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 127358 0 0 0 585 44 0 0 25 0 1 0 180865659 18370560 2172 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 4485 2172 292 640 0 3841 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17940

[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1220920/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=24108 CPUtime=12.68
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 232848 0 0 0 1188 80 0 0 25 0 1 0 180865659 24686592 3714 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 6027 3714 292 640 0 5383 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24108

[startup+25.5017 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1211256/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=34292 CPUtime=25.48
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 454470 0 0 0 2386 162 0 0 25 0 1 0 180865659 35115008 6061 1992294400 134512640 137136520 4294956256 18446744073709551615 135467556 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 8573 6061 292 640 0 7929 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34292

[startup+51.1017 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1207032/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=37452 CPUtime=51.08
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 687510 0 0 0 4850 258 0 0 25 0 1 0 180865659 38350848 7051 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 9363 7051 292 640 0 8719 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37452

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1203896/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=40640 CPUtime=102.26
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 979539 0 0 0 9837 389 0 0 25 0 1 0 180865659 41615360 7845 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 10160 7845 292 640 0 9516 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40640

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1203576/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=40980 CPUtime=162.24
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 1252155 0 0 0 15703 521 0 0 25 0 1 0 180865659 41963520 7933 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 10245 7933 292 640 0 9601 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 40980

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1200632/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=43908 CPUtime=222.22
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 1512232 0 0 0 21579 643 0 0 25 0 1 0 180865659 44961792 8667 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 10977 8667 292 640 0 10333 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 43908

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1200504/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=44016 CPUtime=282.2
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 1737866 0 0 0 27479 741 0 0 25 0 1 0 180865659 45072384 8694 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 11004 8694 292 640 0 10360 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 44016

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1199288/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=45336 CPUtime=342.17
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 1975627 0 0 0 33367 850 0 0 25 0 1 0 180865659 46424064 9021 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 11334 9021 292 640 0 10690 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 45336

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1197176/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=47368 CPUtime=402.15
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 2212455 0 0 0 39254 961 0 0 25 0 1 0 180865659 48504832 9536 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 11842 9536 292 640 0 11198 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 47368

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1197176/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=47368 CPUtime=462.14
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 2457779 0 0 0 45131 1083 0 0 25 0 1 0 180865659 48504832 9536 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 11842 9536 292 640 0 11198 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 47368

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1197176/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=47368 CPUtime=522.11
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 2674723 0 0 0 51028 1183 0 0 25 0 1 0 180865659 48504832 9536 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 11842 9536 292 640 0 11198 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 47368

[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1193528/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=51008 CPUtime=582.09
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 2978044 0 0 0 56900 1309 0 0 25 0 1 0 180865659 52232192 10445 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 12752 10445 292 640 0 12108 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 51008

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1193464/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=51008 CPUtime=642.07
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 3196934 0 0 0 62796 1411 0 0 25 0 1 0 180865659 52232192 10445 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 12752 10445 292 640 0 12108 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 51008

[startup+702.302 s]

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

/proc/meminfo: memFree=1189496/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=55724 CPUtime=1121.9
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 5118352 0 0 0 109895 2295 0 0 25 0 1 0 180865659 57061376 11460 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 13931 11460 292 640 0 13287 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 55724

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1189432/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=55040 CPUtime=1181.88
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 5374088 0 0 0 115775 2413 0 0 25 0 1 0 180865659 56360960 11454 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 13760 11454 292 640 0 13116 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 55040

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1189432/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=55040 CPUtime=1241.86
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 5684431 0 0 0 121626 2560 0 0 25 0 1 0 180865659 56360960 11454 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 13760 11454 292 640 0 13116 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 55040

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=59676 CPUtime=1301.85
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 5943265 0 0 0 127506 2679 0 0 25 0 1 0 180865659 61108224 12539 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 15023 12545 292 640 0 14379 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 59676

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=60084 CPUtime=1361.82
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 6302918 0 0 0 133332 2850 0 0 25 0 1 0 180865659 61526016 12546 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 15021 12546 292 640 0 14377 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 60084

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=59376 CPUtime=1421.81
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 6602781 0 0 0 139194 2987 0 0 25 0 1 0 180865659 60801024 12538 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 14844 12538 292 640 0 14200 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 59376

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=59544 CPUtime=1481.78
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 6895858 0 0 0 145057 3121 0 0 25 0 1 0 180865659 60973056 12548 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 14886 12548 292 640 0 14242 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 59544

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185016/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=60052 CPUtime=1541.76
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 7303633 0 0 0 150875 3301 0 0 25 0 1 0 180865659 61493248 12549 1992294400 134512640 137136520 4294956256 18446744073709551615 135467556 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 15013 12549 292 640 0 14369 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 60052

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=60028 CPUtime=1601.74
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 7618091 0 0 0 156723 3451 0 0 25 0 1 0 180865659 61468672 12547 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 15007 12548 292 640 0 14363 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 60028

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=59548 CPUtime=1661.72
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 7900277 0 0 0 162580 3592 0 0 25 0 1 0 180865659 60977152 12549 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 14887 12549 292 640 0 14243 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 59548

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=59380 CPUtime=1721.7
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 8174649 0 0 0 168448 3722 0 0 25 0 1 0 180865659 60805120 12539 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 14845 12539 292 640 0 14201 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 59380

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=60032 CPUtime=1781.68
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 8429811 0 0 0 174332 3836 0 0 25 0 1 0 180865659 61472768 12545 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 15008 12545 292 640 0 14364 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 60032

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=59376 CPUtime=1791.28
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 8495515 0 0 0 175263 3865 0 0 25 0 1 0 180865659 60801024 12538 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 14844 12538 292 640 0 14200 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 59376

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=59376 CPUtime=1794.48
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 8515459 0 0 0 175576 3872 0 0 25 0 1 0 180865659 60801024 12538 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 14844 12538 292 640 0 14200 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 59376

[startup+1796.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=60028 CPUtime=1796.08
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 8524838 0 0 0 175732 3876 0 0 25 0 1 0 180865659 61468672 12544 1992294400 134512640 137136520 4294956256 18446744073709551615 135380758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 15007 12545 292 640 0 14363 0
Current children cumulated CPU time (s) 1796.08
Current children cumulated vsize (KiB) 60028

[startup+1797.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=60032 CPUtime=1796.87
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 8529546 0 0 0 175810 3877 0 0 25 0 1 0 180865659 61472768 12545 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 15008 12545 292 640 0 14364 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 60032

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=60032 CPUtime=1797.67
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 8534247 0 0 0 175888 3879 0 0 25 0 1 0 180865659 61472768 12545 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 14844 12538 292 640 0 14200 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 60032

[startup+1798.51 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=59376 CPUtime=1797.88
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 8535334 0 0 0 175908 3880 0 0 25 0 1 0 180865659 60801024 12538 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 14844 12538 292 640 0 14200 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 59376

[startup+1798.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2660
/proc/meminfo: memFree=1185080/2055920 swapFree=4183064/4192956
[pid=2659] ppid=2657 vsize=59376 CPUtime=1797.97
/proc/2659/stat : 2659 (bsolo) R 2657 2659 2415 0 -1 4194304 8535865 0 0 0 175917 3880 0 0 25 0 1 0 180865659 60801024 12538 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2659/statm: 14844 12538 292 640 0 14200 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 59376

Child status: 0
Real time (s): 1798.63
CPU time (s): 1798.01
CPU user time (s): 1759.2
CPU system time (s): 38.8171
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 60224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.2
system time used= 38.8171
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8535986
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= 2
involuntary context switches= 2801

runsolver used 1.43578 second user time and 3.58545 second system time

The end

Launcher Data 

Begin job on node5 at 2009-06-16 08:10:48
IDJOB=1878550
IDBENCH=1848
IDSOLVER=700
FILE ID=node5/1878550-1245132648
PBS_JOBID= 9363714
Free space on /tmp= 66256 MiB

SOLVER NAME= bsolo 3.1 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 -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878550-1245132648/watcher-1878550-1245132648 -o /tmp/evaluation-result-1878550-1245132648/solver-1878550-1245132648 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878550-1245132648.opb

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

MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6
RANDOM SEED=581304933

node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.259
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
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.259
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1235040 kB
Buffers:         81652 kB
Cached:         640172 kB
SwapCached:       4008 kB
Active:          68436 kB
Inactive:       661520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1235040 kB
SwapTotal:     4192956 kB
SwapFree:      4183064 kB
Dirty:            3988 kB
Writeback:           0 kB
Mapped:          14536 kB
Slab:            76992 kB
Committed_AS:   148140 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66252 MiB
End job on node5 at 2009-06-16 08:40:46