Trace number 3463117

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? 1798 1797.95

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
MD5SUM38a2c469f9dc1120b8fe634a693ac03d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8691
Best CPU time to get the best result obtained on this benchmark0.278957
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10829
Optimality of the best value was proved NO
Number of variables548
Total number of constraints166
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints126
Minimum length of a constraint2
Maximum length of a constraint143
Number of terms in the objective function 416
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 96797
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 96797
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

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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3463117-1307175438.opb
0.00/0.00	c File size is 19885 bytes.
0.00/0.00	c Highest Coefficient sum: 96797
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 548 Constr: 166 41/22/103 Lit: 1592 Watch. Lit: 897
0.00/0.00	c Obj. Vars: 416 (75.9124 % of total variables)
0.00/0.00	c Formula reductions applied at preprocessing
0.00/0.00	c Pre-processing Time: 0.002 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    473      151     1456    9     1002    2655      0      0 0.00
0.00/0.01	c Initial Lower Bound: 4569
0.00/0.01	c Initial Path Cost: 0
1797.94/1797.94	c      100    473      251     9108   36     1182    2921    100   4347 0.02
1797.94/1797.94	c      250    473      401    19568   48     1497    3214    250   5952 0.04
1797.94/1797.94	c      475    473      626    35011   55     1947    3536    475   6506 0.07
1797.94/1797.94	c      814    473      966    58391   60     2626    3890    815   6672 0.12
1797.94/1797.94	c     1323    473     1476    93531   63     3649    4280   1325   6360 0.21
1797.94/1797.94	c     2088    473     2242   146364   65     5179    4709   2091   5832 0.36
1797.94/1797.94	c     3234    473     3388   225395   66     7470    5180   3237   5166 0.63
1797.94/1797.94	c     4956    473     5115   339824   66    10931    5699   4964   4877 1.02
1797.94/1797.94	c     7541    473     4696   302242   64    10097    6269   4545   4154 1.81
1797.94/1797.94	c    11420    473     5303   335722   63    11316    6896   5152   3805 3.00
1797.94/1797.94	c    17242    473     3907   241559   61     8535    7586   3756   3595 4.80
1797.94/1797.94	c    25979    473     4730   286788   60    10189    8345   4579   3337 7.78
1797.94/1797.94	c    39089    473     4814   291607   60    10350    9180   4663   3059 12.78
1797.94/1797.94	c    58759    473     5484   335669   61    11687   10099   5333   2871 20.46
1797.94/1797.94	c    88270    473     9054   561071   61    18827   11109   8903   2818 31.32
1797.94/1797.94	c   132541    473     7693   477736   62    16098   12220   7542   2874 46.11
1797.94/1797.94	c   198951    473    11531   718231   62    23779   13443  11380   2843 69.98
1797.94/1797.94	c   298571    473     8085   501685   62    16886   14788   7934   2528 118.07
1797.94/1797.94	c   448007    473    13955   875244   62    28627   16267  13804   2379 188.30
1797.94/1797.94	c   672165    473    14223   872860   61    29157   17894  14072   1902 353.40
1797.94/1797.94	c  1008408    473    13590   863701   63    27891   19684  13439   1831 550.58
1797.94/1797.94	c  1512779    473    18078  1143922   63    36877   21653  17927   1692 893.89
1797.94/1797.94	c  2269343    473    13750   841064   61    28198   23819  13599   1631 1390.94
1797.94/1797.94	c Resources Exceeded
1797.94/1797.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1797.94	c   23  2914965 167683  3120801    16014   993065  15863   1621 1798.00
1797.94/1797.94	s UNKNOWN
1797.94/1797.94	c Total time: 1798 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463117-1307175438/watcher-3463117-1307175438 -o /tmp/evaluation-result-3463117-1307175438/solver-3463117-1307175438 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463117-1307175438.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.97 1.45 1.76 2/424 587
/proc/meminfo: memFree=25884388/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=10792 CPUtime=0 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 306 0 0 0 0 0 0 0 25 0 1 0 829142022 11051008 255 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 2698 255 184 642 0 2054 0

[startup+0.0269381 s]
/proc/loadavg: 0.97 1.45 1.76 2/424 587
/proc/meminfo: memFree=25884388/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=10976 CPUtime=0.02 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 503 0 0 0 2 0 0 0 25 0 1 0 829142022 11239424 407 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 2744 408 284 642 0 2100 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10976

[startup+0.100916 s]
/proc/loadavg: 0.97 1.45 1.76 2/424 587
/proc/meminfo: memFree=25884388/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=11504 CPUtime=0.09 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 637 0 0 0 9 0 0 0 25 0 1 0 829142022 11780096 541 33554432000 134512640 137138936 4292009648 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 2876 542 284 642 0 2232 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11504

[startup+0.300878 s]
/proc/loadavg: 0.97 1.45 1.76 2/424 587
/proc/meminfo: memFree=25884388/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=12696 CPUtime=0.29 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 920 0 0 0 29 0 0 0 25 0 1 0 829142022 13000704 824 33554432000 134512640 137138936 4292009648 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 3174 825 284 642 0 2530 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12696

[startup+0.700806 s]
/proc/loadavg: 0.97 1.45 1.76 2/424 587
/proc/meminfo: memFree=25884388/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=14552 CPUtime=0.69 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 1376 0 0 0 69 0 0 0 25 0 1 0 829142022 14901248 1280 33554432000 134512640 137138936 4292009648 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 3638 1280 284 642 0 2994 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14552

[startup+1.50067 s]
/proc/loadavg: 1.13 1.48 1.77 3/425 588
/proc/meminfo: memFree=25877188/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=16672 CPUtime=1.49 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 1912 0 0 0 149 0 0 0 25 0 1 0 829142022 17072128 1816 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 4168 1816 284 642 0 3524 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16672

[startup+3.10037 s]
/proc/loadavg: 1.13 1.48 1.77 3/425 588
/proc/meminfo: memFree=25874616/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=17072 CPUtime=3.09 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 2008 0 0 0 308 1 0 0 25 0 1 0 829142022 17481728 1912 33554432000 134512640 137138936 4292009648 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 4268 1912 284 642 0 3624 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17072

[startup+6.3008 s]
/proc/loadavg: 1.13 1.48 1.77 3/425 588
/proc/meminfo: memFree=25873988/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=18004 CPUtime=6.3 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 2264 0 0 0 627 3 0 0 25 0 1 0 829142022 18436096 2168 33554432000 134512640 137138936 4292009648 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 4501 2168 284 642 0 3857 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 18004

[startup+12.7006 s]
/proc/loadavg: 1.27 1.50 1.77 3/425 588
/proc/meminfo: memFree=25871720/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=18668 CPUtime=12.69 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 2420 0 0 0 1264 5 0 0 25 0 1 0 829142022 19116032 2324 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 4667 2324 284 642 0 4023 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18668

[startup+25.5003 s]
/proc/loadavg: 1.38 1.51 1.77 3/425 589
/proc/meminfo: memFree=25870660/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=20400 CPUtime=25.49 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 2833 0 0 0 2542 7 0 0 25 0 1 0 829142022 20889600 2737 33554432000 134512640 137138936 4292009648 18446744073709551615 136521046 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 5100 2737 284 642 0 4456 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20400

[startup+51.1006 s]
/proc/loadavg: 1.66 1.57 1.78 3/425 589
/proc/meminfo: memFree=25868576/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=22408 CPUtime=51.09 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 3335 0 0 0 5095 14 0 0 25 0 1 0 829142022 22945792 3239 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 5602 3239 284 642 0 4958 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22408

[startup+102.315 s]
/proc/loadavg: 1.97 1.67 1.81 3/425 591
/proc/meminfo: memFree=25865576/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=23468 CPUtime=102.31 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 3625 0 0 0 10206 25 0 0 25 0 1 0 829142022 24031232 3529 33554432000 134512640 137138936 4292009648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 5867 3529 284 642 0 5223 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 23468

[startup+162.3 s]
/proc/loadavg: 2.15 1.76 1.83 3/425 629
/proc/meminfo: memFree=25730172/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=24796 CPUtime=162.29 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 3939 0 0 0 16193 36 0 0 25 0 1 0 829142022 25391104 3843 33554432000 134512640 137138936 4292009648 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 6199 3843 284 642 0 5555 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24796

[startup+222.3 s]
/proc/loadavg: 2.11 1.81 1.84 3/425 631
/proc/meminfo: memFree=25643424/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=26152 CPUtime=222.3 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 4271 0 0 0 22186 44 0 0 25 0 1 0 829142022 26779648 4175 33554432000 134512640 137138936 4292009648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 6538 4175 284 642 0 5894 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26152

[startup+282.301 s]
/proc/loadavg: 2.04 1.85 1.85 3/425 632
/proc/meminfo: memFree=25585604/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=26152 CPUtime=282.29 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 4271 0 0 0 28180 49 0 0 25 0 1 0 829142022 26779648 4175 33554432000 134512640 137138936 4292009648 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 6538 4175 284 642 0 5894 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 26152

[startup+342.301 s]
/proc/loadavg: 2.01 1.87 1.85 3/425 634
/proc/meminfo: memFree=25546016/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=26152 CPUtime=342.3 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 4271 0 0 0 34174 56 0 0 25 0 1 0 829142022 26779648 4175 33554432000 134512640 137138936 4292009648 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 6538 4175 284 642 0 5894 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 26152

[startup+402.301 s]
/proc/loadavg: 2.00 1.89 1.86 4/425 636
/proc/meminfo: memFree=25509160/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=27504 CPUtime=402.3 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 4621 0 0 0 40165 65 0 0 25 0 1 0 829142022 28164096 4525 33554432000 134512640 137138936 4292009648 18446744073709551615 136504143 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 6876 4525 284 642 0 6232 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 27504

[startup+462.301 s]
/proc/loadavg: 2.04 1.92 1.87 3/425 637
/proc/meminfo: memFree=25455920/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=27684 CPUtime=462.31 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 4681 0 0 0 46157 74 0 0 25 0 1 0 829142022 28348416 4585 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 6921 4585 284 642 0 6277 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 27684

[startup+522.301 s]
/proc/loadavg: 2.10 1.96 1.88 3/425 639
/proc/meminfo: memFree=25428956/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=27904 CPUtime=522.3 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 4820 0 0 0 52147 83 0 0 25 0 1 0 829142022 28573696 4645 33554432000 134512640 137138936 4292009648 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 6976 4645 284 642 0 6332 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 27904

[startup+582.301 s]
/proc/loadavg: 2.03 1.97 1.89 3/425 640
/proc/meminfo: memFree=25394932/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=29548 CPUtime=582.31 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 5205 0 0 0 58142 89 0 0 25 0 1 0 829142022 30257152 5030 33554432000 134512640 137138936 4292009648 18446744073709551615 136520963 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 7387 5030 284 642 0 6743 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 29548

[startup+642.301 s]

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

/proc/meminfo: memFree=25184676/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=31180 CPUtime=1062.33 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 5629 0 0 0 106090 143 0 0 25 0 1 0 829142022 31928320 5432 33554432000 134512640 137138936 4292009648 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 7795 5432 284 642 0 7151 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 31180

[startup+1122.3 s]
/proc/loadavg: 2.13 2.06 1.95 3/425 655
/proc/meminfo: memFree=25126116/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=31180 CPUtime=1122.32 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 5629 0 0 0 112084 148 0 0 25 0 1 0 829142022 31928320 5432 33554432000 134512640 137138936 4292009648 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 7795 5432 284 642 0 7151 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 31180

[startup+1182.3 s]
/proc/loadavg: 2.13 2.06 1.95 3/425 656
/proc/meminfo: memFree=25065564/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=31180 CPUtime=1182.32 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 5629 0 0 0 118079 153 0 0 25 0 1 0 829142022 31928320 5432 33554432000 134512640 137138936 4292009648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 7795 5432 284 642 0 7151 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 31180

[startup+1242.3 s]
/proc/loadavg: 2.08 2.06 1.96 3/425 658
/proc/meminfo: memFree=25016680/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=31180 CPUtime=1242.33 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 5629 0 0 0 124072 161 0 0 25 0 1 0 829142022 31928320 5432 33554432000 134512640 137138936 4292009648 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 7795 5432 284 642 0 7151 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 31180

[startup+1302.3 s]
/proc/loadavg: 2.03 2.05 1.96 3/425 660
/proc/meminfo: memFree=24957872/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=31180 CPUtime=1302.33 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 5629 0 0 0 130066 167 0 0 25 0 1 0 829142022 31928320 5432 33554432000 134512640 137138936 4292009648 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 7795 5432 284 642 0 7151 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 31180

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 1.96 3/425 661
/proc/meminfo: memFree=24899552/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=31180 CPUtime=1362.34 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 5629 0 0 0 136056 178 0 0 25 0 1 0 829142022 31928320 5432 33554432000 134512640 137138936 4292009648 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 7795 5432 284 642 0 7151 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 31180

[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 1.96 3/425 663
/proc/meminfo: memFree=24813576/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=32772 CPUtime=1422.34 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6056 0 0 0 142050 184 0 0 25 0 1 0 829142022 33558528 5859 33554432000 134512640 137138936 4292009648 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8193 5859 284 642 0 7549 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 32772

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/425 664
/proc/meminfo: memFree=24800388/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=33120 CPUtime=1482.33 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6114 0 0 0 148042 191 0 0 25 0 1 0 829142022 33914880 5917 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8280 5917 284 642 0 7636 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 33120

[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 1.96 3/425 666
/proc/meminfo: memFree=24800480/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=33120 CPUtime=1542.34 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6124 0 0 0 154037 197 0 0 25 0 1 0 829142022 33914880 5927 33554432000 134512640 137138936 4292009648 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8280 5927 284 642 0 7636 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 33120

[startup+1602.3 s]
/proc/loadavg: 2.19 2.08 1.98 3/425 668
/proc/meminfo: memFree=24800072/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=33452 CPUtime=1602.34 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6227 0 0 0 160030 204 0 0 25 0 1 0 829142022 34254848 6030 33554432000 134512640 137138936 4292009648 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8363 6030 284 642 0 7719 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 33452

[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 1.98 3/425 669
/proc/meminfo: memFree=24800156/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=33588 CPUtime=1662.34 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6263 0 0 0 166021 213 0 0 25 0 1 0 829142022 34394112 6066 33554432000 134512640 137138936 4292009648 18446744073709551615 135984561 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8397 6066 284 642 0 7753 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 33588

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 1.98 3/425 671
/proc/meminfo: memFree=24800372/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1722.34 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 172012 222 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 34040

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 1.98 3/425 672
/proc/meminfo: memFree=24799120/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1782.35 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 178005 230 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 34040

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.04 1.98 3/425 673
/proc/meminfo: memFree=24799988/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1785.54 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 178323 231 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 34040

[startup+1791.92 s]
/proc/loadavg: 2.00 2.03 1.98 3/425 673
/proc/meminfo: memFree=24800108/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1791.96 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 178964 232 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 34040

[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 1.98 3/425 673
/proc/meminfo: memFree=24800108/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1795.15 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 179282 233 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 34040

[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 1.98 3/425 673
/proc/meminfo: memFree=24800108/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1796.74 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 179441 233 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 134542537 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 34040

[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 1.98 3/425 673
/proc/meminfo: memFree=24799860/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1797.54 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 179521 233 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 34040

[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 1.98 3/425 673
/proc/meminfo: memFree=24799860/32951124 swapFree=44043516/67111528
[pid=587] ppid=585 vsize=34040 CPUtime=1797.94 cores=1,3,5,7
/proc/587/stat : 587 (bsolo) R 585 587 31765 0 -1 4202496 6344 0 0 0 179561 233 0 0 25 0 1 0 829142022 34856960 6147 33554432000 134512640 137138936 4292009648 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/587/statm: 8510 6147 284 642 0 7866 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 34040

Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1795.66
CPU system time (s): 2.33864
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 34040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.66
system time used= 2.33864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6344
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= 5
involuntary context switches= 3104

runsolver used 7.29689 second user time and 17.2174 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-04 10:17:18
IDJOB=3463117
IDBENCH=1866
IDSOLVER=1955
FILE ID=node134/3463117-1307175438
RUNJOBID= node134-1307175438-487
PBS_JOBID= 13508837
Free space on /tmp= 74016 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463117-1307175438/watcher-3463117-1307175438 -o /tmp/evaluation-result-3463117-1307175438/solver-3463117-1307175438 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463117-1307175438.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 38a2c469f9dc1120b8fe634a693ac03d
RANDOM SEED=1358335418

node134.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 7186.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25884544 kB
Buffers:        296708 kB
Cached:         652172 kB
SwapCached:       9536 kB
Active:        6155972 kB
Inactive:       616656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25884544 kB
SwapTotal:    67111528 kB
SwapFree:     44043516 kB
Dirty:            7912 kB
Writeback:           0 kB
AnonPages:     5821652 kB
Mapped:          22476 kB
Slab:           137700 kB
PageTables:      89080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 110785224 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73996 MiB
End job on node134 at 2011-06-04 10:47:16