Trace number 3462966

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/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
MD5SUM6c673f615af1912eadc68b4290958076
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4944
Number of bits of the biggest sum of numbers13
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-3462966-1307179127.opb
0.00/0.00	c File size is 6852 bytes.
0.00/0.00	c Highest Coefficient sum: 4944
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 61 Constr: 15 1/0/14 Lit: 835 Watch. Lit: 281
0.00/0.00	c Obj. Vars: 1 (1.63934 % of total variables)
0.00/0.00	c Pre-processing Time: 0 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     60       14      834   59      284    1668      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
1797.94/1797.94	c      100     60      159     7569   47     1016    1835    145   9090 0.01
1797.94/1797.94	c      250     60      375    17291   46     1936    2019    361   8620 0.03
1797.94/1797.94	c      475     60      696    32110   46     3219    2221    682   8636 0.06
1797.94/1797.94	c      813     60     1167    53975   46     4830    2444   1153   8212 0.10
1797.94/1797.94	c     1321     60     1864    85941   46     7259    2689   1850   7591 0.17
1797.94/1797.94	c     2084     60     1455    65495   45     4051    2958   1441   7064 0.29
1797.94/1797.94	c     3231     60     1501    69240   46     4688    3254   1487   7148 0.45
1797.94/1797.94	c     4952     60     2251   106910   47     6829    3580   2237   6945 0.71
1797.94/1797.94	c     7536     60     2396   114872   47     8322    3939   2382   6359 1.19
1797.94/1797.94	c    11415     60     1985    96592   48     6736    4333   1971   5905 1.93
1797.94/1797.94	c    17237     60     4027   192808   47    14600    4767   4013   5398 3.19
1797.94/1797.94	c    25974     60     2681   130361   48     8638    5244   2667   5148 5.04
1797.94/1797.94	c    39084     60     4402   195337   44    15408    5769   4388   5130 7.62
1797.94/1797.94	c    58756     60     4124   191270   46    11458    6346   4110   5081 11.56
1797.94/1797.94	c    88266     60     5080   226016   44    12046    6981   5066   5121 17.23
1797.94/1797.94	c   132536     60     3506   157770   45     9997    7680   3492   4775 27.75
1797.94/1797.94	c   198946     60     4133   200509   48    14160    8449   4119   4261 46.69
1797.94/1797.94	c   298566     60     4240   205390   48    12373    9294   4226   3793 78.70
1797.94/1797.94	c   448001     60     7906   387138   48    29535   10224   7892   3430 130.59
1797.94/1797.94	c   672159     60     9769   472640   48    37135   11247   9755   3072 218.74
1797.94/1797.94	c  1008402     60     7902   383713   48    27872   12372   7888   2801 359.93
1797.94/1797.94	c  1512773     60    11220   534159   47    33924   13610  11206   2609 579.70
1797.94/1797.94	c  2269337     60     7918   384771   48    23297   14972   7904   2316 979.45
1797.94/1797.94	c  3404189     60    11349   550183   48    39623   16470  11335   2252 1511.39
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   24  3956870  51649  4009973    16017   772478  16003   2200 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-3462966-1307179127/watcher-3462966-1307179127 -o /tmp/evaluation-result-3462966-1307179127/solver-3462966-1307179127 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462966-1307179127.opb 

running on 4 cores: 0,2,4,6

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: 2.04 2.04 2.00 2/453 25300
/proc/meminfo: memFree=31800292/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=18600 CPUtime=0 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 309 0 0 0 0 0 0 0 25 0 1 0 829510555 19046400 261 33554432000 134512640 137138936 4292383216 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 4650 261 192 642 0 4006 0

[startup+0.0825319 s]
/proc/loadavg: 2.04 2.04 2.00 2/453 25300
/proc/meminfo: memFree=31800292/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=19244 CPUtime=0.07 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 466 0 0 0 7 0 0 0 25 0 1 0 829510555 19705856 418 33554432000 134512640 137138936 4292383216 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 4811 418 192 642 0 4167 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19244

[startup+0.100529 s]
/proc/loadavg: 2.04 2.04 2.00 2/453 25300
/proc/meminfo: memFree=31800292/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=19376 CPUtime=0.09 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 500 0 0 0 9 0 0 0 25 0 1 0 829510555 19841024 452 33554432000 134512640 137138936 4292383216 18446744073709551615 134539347 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 4844 452 192 642 0 4200 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19376

[startup+0.300494 s]
/proc/loadavg: 2.04 2.04 2.00 2/453 25300
/proc/meminfo: memFree=31800292/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=20532 CPUtime=0.29 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 788 0 0 0 29 0 0 0 25 0 1 0 829510555 21024768 740 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 5133 740 192 642 0 4489 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20532

[startup+0.700422 s]
/proc/loadavg: 2.04 2.04 2.00 2/453 25300
/proc/meminfo: memFree=31800292/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=20924 CPUtime=0.69 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 896 0 0 0 69 0 0 0 25 0 1 0 829510555 21426176 848 33554432000 134512640 137138936 4292383216 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 5231 848 192 642 0 4587 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20924

[startup+1.5003 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 25301
/proc/meminfo: memFree=31796564/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=21568 CPUtime=1.49 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 1046 0 0 0 149 0 0 0 25 0 1 0 829510555 22085632 998 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 5392 998 192 642 0 4748 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21568

[startup+3.10101 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 25301
/proc/meminfo: memFree=31795328/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=21944 CPUtime=3.09 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 1134 0 0 0 308 1 0 0 25 0 1 0 829510555 22470656 1086 33554432000 134512640 137138936 4292383216 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 5486 1086 192 642 0 4842 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21944

[startup+6.30043 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 25302
/proc/meminfo: memFree=31793848/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=22448 CPUtime=6.29 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 1269 0 0 0 626 3 0 0 25 0 1 0 829510555 22986752 1221 33554432000 134512640 137138936 4292383216 18446744073709551615 134542434 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 5612 1221 192 642 0 4968 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22448

[startup+12.7003 s]
/proc/loadavg: 2.03 2.04 2.00 3/454 25302
/proc/meminfo: memFree=31792836/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=23072 CPUtime=12.7 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 1419 0 0 0 1265 5 0 0 25 0 1 0 829510555 23625728 1371 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 5768 1371 192 642 0 5124 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 23072

[startup+25.5009 s]
/proc/loadavg: 2.16 2.07 2.01 3/454 25302
/proc/meminfo: memFree=31792464/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=23704 CPUtime=25.49 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 1576 0 0 0 2540 9 0 0 25 0 1 0 829510555 24272896 1528 33554432000 134512640 137138936 4292383216 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 5926 1528 192 642 0 5282 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23704

[startup+51.1003 s]
/proc/loadavg: 2.10 2.06 2.01 3/454 25303
/proc/meminfo: memFree=31791200/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=25196 CPUtime=51.1 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 1946 0 0 0 5095 15 0 0 25 0 1 0 829510555 25800704 1898 33554432000 134512640 137138936 4292383216 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 6299 1898 192 642 0 5655 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 25196

[startup+102.317 s]
/proc/loadavg: 2.09 2.06 2.01 3/454 25304
/proc/meminfo: memFree=31789704/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=25840 CPUtime=102.31 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2110 0 0 0 10207 24 0 0 25 0 1 0 829510555 26460160 2062 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 6460 2062 192 642 0 5816 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 25840

[startup+162.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/454 25306
/proc/meminfo: memFree=31789692/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=26584 CPUtime=162.29 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2296 0 0 0 16194 35 0 0 25 0 1 0 829510555 27222016 2248 33554432000 134512640 137138936 4292383216 18446744073709551615 134542313 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 6646 2248 192 642 0 6002 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26584

[startup+222.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 25307
/proc/meminfo: memFree=31787804/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=27296 CPUtime=222.3 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2473 0 0 0 22181 49 0 0 25 0 1 0 829510555 27951104 2425 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 6824 2425 192 642 0 6180 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 27296

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 25309
/proc/meminfo: memFree=31787668/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=27488 CPUtime=282.3 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2525 0 0 0 28171 59 0 0 25 0 1 0 829510555 28147712 2477 33554432000 134512640 137138936 4292383216 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 6872 2477 192 642 0 6228 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27488

[startup+342.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/454 25310
/proc/meminfo: memFree=31786892/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=27480 CPUtime=342.3 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2525 0 0 0 34160 70 0 0 25 0 1 0 829510555 28139520 2477 33554432000 134512640 137138936 4292383216 18446744073709551615 134542161 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 6870 2477 192 642 0 6226 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 27480

[startup+402.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/454 25312
/proc/meminfo: memFree=31786268/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=28120 CPUtime=402.3 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2686 0 0 0 40151 79 0 0 25 0 1 0 829510555 28794880 2638 33554432000 134512640 137138936 4292383216 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7030 2638 192 642 0 6386 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 28120

[startup+462.301 s]
/proc/loadavg: 2.19 2.08 2.01 3/454 25314
/proc/meminfo: memFree=31786252/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=28344 CPUtime=462.31 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2755 0 0 0 46140 91 0 0 25 0 1 0 829510555 29024256 2707 33554432000 134512640 137138936 4292383216 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7086 2707 192 642 0 6442 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 28344

[startup+522.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/454 25315
/proc/meminfo: memFree=31785868/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=28344 CPUtime=522.3 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2755 0 0 0 52128 102 0 0 25 0 1 0 829510555 29024256 2707 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7086 2707 192 642 0 6442 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 28344

[startup+582.301 s]
/proc/loadavg: 2.25 2.11 2.02 3/454 25317
/proc/meminfo: memFree=31781624/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=29072 CPUtime=582.31 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 2907 0 0 0 58120 111 0 0 25 0 1 0 829510555 29769728 2859 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7268 2859 192 642 0 6624 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 29072

[startup+642.301 s]

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

/proc/meminfo: memFree=31779368/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30200 CPUtime=1062.33 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3210 0 0 0 106052 181 0 0 25 0 1 0 829510555 30924800 3162 33554432000 134512640 137138936 4292383216 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7550 3162 192 642 0 6906 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 30200

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 25331
/proc/meminfo: memFree=31778732/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30320 CPUtime=1122.32 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3236 0 0 0 112042 190 0 0 25 0 1 0 829510555 31047680 3188 33554432000 134512640 137138936 4292383216 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7580 3188 192 642 0 6936 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 30320

[startup+1182.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/454 25333
/proc/meminfo: memFree=31778588/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30308 CPUtime=1182.32 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3236 0 0 0 118035 197 0 0 25 0 1 0 829510555 31035392 3188 33554432000 134512640 137138936 4292383216 18446744073709551615 136504048 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7577 3188 192 642 0 6933 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 30308

[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/454 25334
/proc/meminfo: memFree=31778196/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30300 CPUtime=1242.33 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3236 0 0 0 124027 206 0 0 25 0 1 0 829510555 31027200 3188 33554432000 134512640 137138936 4292383216 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7575 3188 192 642 0 6931 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 30300

[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/454 25336
/proc/meminfo: memFree=31777416/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30288 CPUtime=1302.34 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3236 0 0 0 130019 215 0 0 25 0 1 0 829510555 31014912 3188 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7572 3188 192 642 0 6928 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 30288

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 25338
/proc/meminfo: memFree=31778512/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30280 CPUtime=1362.33 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3236 0 0 0 136009 224 0 0 25 0 1 0 829510555 31006720 3188 33554432000 134512640 137138936 4292383216 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7570 3188 192 642 0 6926 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 30280

[startup+1422.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/454 25339
/proc/meminfo: memFree=31779348/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30272 CPUtime=1422.35 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3236 0 0 0 141999 236 0 0 25 0 1 0 829510555 30998528 3188 33554432000 134512640 137138936 4292383216 18446744073709551615 134618455 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7568 3188 192 642 0 6924 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 30272

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/454 25341
/proc/meminfo: memFree=31778952/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=30268 CPUtime=1482.34 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3236 0 0 0 147989 245 0 0 25 0 1 0 829510555 30994432 3188 33554432000 134512640 137138936 4292383216 18446744073709551615 134606997 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7567 3188 192 642 0 6923 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 30268

[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/454 25342
/proc/meminfo: memFree=31778928/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31176 CPUtime=1542.34 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3451 0 0 0 153979 255 0 0 25 0 1 0 829510555 31924224 3403 33554432000 134512640 137138936 4292383216 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7794 3403 192 642 0 7150 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 31176

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 25344
/proc/meminfo: memFree=31778664/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31288 CPUtime=1602.34 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3477 0 0 0 159970 264 0 0 25 0 1 0 829510555 32038912 3429 33554432000 134512640 137138936 4292383216 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7822 3429 192 642 0 7178 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 31288

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 25346
/proc/meminfo: memFree=31778280/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31280 CPUtime=1662.34 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3481 0 0 0 165961 273 0 0 25 0 1 0 829510555 32030720 3433 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7820 3433 192 642 0 7176 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 31280

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/454 25347
/proc/meminfo: memFree=31778144/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31360 CPUtime=1722.34 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 171954 280 0 0 25 0 1 0 829510555 32112640 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7840 3447 192 642 0 7196 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 31360

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/454 25376
/proc/meminfo: memFree=31741216/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31352 CPUtime=1782.35 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 177946 289 0 0 25 0 1 0 829510555 32104448 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7838 3447 192 642 0 7194 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 31352

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/454 25376
/proc/meminfo: memFree=31740968/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31352 CPUtime=1785.55 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 178265 290 0 0 25 0 1 0 829510555 32104448 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 136365016 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7838 3447 192 642 0 7194 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 31352

[startup+1791.92 s]
/proc/loadavg: 2.01 2.02 2.00 3/454 25376
/proc/meminfo: memFree=31740744/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31352 CPUtime=1791.97 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 178906 291 0 0 25 0 1 0 829510555 32104448 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7838 3447 192 642 0 7194 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 31352

[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/454 25376
/proc/meminfo: memFree=31740744/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31352 CPUtime=1795.16 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 179225 291 0 0 25 0 1 0 829510555 32104448 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7838 3447 192 642 0 7194 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 31352

[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/454 25376
/proc/meminfo: memFree=31740744/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31352 CPUtime=1796.74 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 179383 291 0 0 25 0 1 0 829510555 32104448 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7838 3447 192 642 0 7194 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 31352

[startup+1797.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/454 25376
/proc/meminfo: memFree=31740744/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31352 CPUtime=1797.54 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 179463 291 0 0 25 0 1 0 829510555 32104448 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7838 3447 192 642 0 7194 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 31352

[startup+1797.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/454 25376
/proc/meminfo: memFree=31740744/32951124 swapFree=55639044/67111528
[pid=25300] ppid=25298 vsize=31352 CPUtime=1797.94 cores=0,2,4,6
/proc/25300/stat : 25300 (bsolo) R 25298 25300 23433 0 -1 4202496 3495 0 0 0 179503 291 0 0 25 0 1 0 829510555 32104448 3447 33554432000 134512640 137138936 4292383216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25300/statm: 7838 3447 192 642 0 7194 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 31352

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.08
system time used= 2.91856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3495
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= 4
involuntary context switches= 2739

runsolver used 8.50571 second user time and 17.6483 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-04 11:18:47
IDJOB=3462966
IDBENCH=2894
IDSOLVER=1955
FILE ID=node133/3462966-1307179127
RUNJOBID= node133-1307175272-24730
PBS_JOBID= 13508830
Free space on /tmp= 73976 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462966-1307179127/watcher-3462966-1307179127 -o /tmp/evaluation-result-3462966-1307179127/solver-3462966-1307179127 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462966-1307179127.opb

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

MD5SUM BENCH= 6c673f615af1912eadc68b4290958076
RANDOM SEED=766444006

node133.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.834
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.834
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.75
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.834
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.82
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.834
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	: 6741.12
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.834
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.74
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.834
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.834
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.74
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.834
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31800448 kB
Buffers:        323152 kB
Cached:         515808 kB
SwapCached:      10584 kB
Active:         409076 kB
Inactive:       467296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31800448 kB
SwapTotal:    67111528 kB
SwapFree:     55639044 kB
Dirty:            3936 kB
Writeback:           8 kB
AnonPages:       34520 kB
Mapped:          14092 kB
Slab:           152460 kB
PageTables:      53660 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114935900 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= 73972 MiB
End job on node133 at 2011-06-04 11:48:45