Trace number 3462965

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.92

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_3.opb
MD5SUMdc0a3aac3e055af09a2312e5ef9f2aef
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 variables71
Total number of constraints17
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 constraints16
Minimum length of a constraint1
Maximum length of a constraint70
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 1782
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5346
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-3462965-1307179122.opb
0.00/0.00	c File size is 8963 bytes.
0.00/0.00	c Highest Coefficient sum: 5346
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 71 Constr: 17 1/0/16 Lit: 1099 Watch. Lit: 355
0.00/0.00	c Obj. Vars: 1 (1.40845 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     70       16     1098   68      357    2196      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
1797.97/1797.91	c      100     70      141     7637   54      879    2416    125   6666 0.01
1797.97/1797.91	c      251     70      315    16684   52     1256    2658    299   7606 0.03
1797.97/1797.91	c      476     70      588    31027   52     1893    2924    572   8067 0.06
1797.97/1797.91	c      814     70     1013    53432   52     3054    3217    997   7980 0.10
1797.97/1797.91	c     1322     70     1602    84124   52     4506    3539   1586   7730 0.17
1797.97/1797.91	c     2085     70     2442   126755   51     6400    3893   2426   7527 0.28
1797.97/1797.91	c     3232     70     3855   200344   51    10555    4283   3839   6876 0.47
1797.97/1797.91	c     4953     70     3906   207859   53    12066    4712   3890   6277 0.79
1797.97/1797.91	c     7537     70     2702   147795   54    10993    5184   2686   5775 1.30
1797.97/1797.91	c    11416     70     2771   155039   55     9382    5703   2755   5064 2.25
1797.97/1797.91	c    17239     70     5192   292131   56    18648    6274   5176   4711 3.66
1797.97/1797.91	c    25976     70     3665   198939   54     9648    6902   3649   4473 5.81
1797.97/1797.91	c    39087     70     4181   233685   55    12917    7593   4165   4271 9.15
1797.97/1797.91	c    58758     70     7222   396931   54    21286    8353   7206   4083 14.39
1797.97/1797.91	c    88268     70     4207   222837   52    10110    9189   4191   3963 22.27
1797.97/1797.91	c   132538     70     6138   318269   51    13529   10108   6122   3992 33.19
1797.97/1797.91	c   198949     70     6963   386923   55    20600   11119   6947   3545 56.11
1797.97/1797.91	c   298569     70    11007   598638   54    29286   12231  10991   3221 92.69
1797.97/1797.91	c   448005     70    10216   574578   56    36362   13455  10200   2822 158.75
1797.97/1797.91	c   672164     70     9784   544096   55    30305   14801   9768   2609 257.61
1797.97/1797.91	c  1008407     70    13202   727582   55    43459   16282  13186   2438 413.46
1797.97/1797.91	c  1512778     70    10123   560318   55    28610   17911  10107   2301 657.29
1797.97/1797.91	c  2269342     70    16233   905018   55    49270   19703  16217   2230 1017.58
1797.97/1797.91	c  3404193     70    16845   970236   57    60397   21674  16829   2022 1683.05
1797.97/1797.91	c Resources Exceeded
1797.97/1797.91	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1797.91	c   24  3597424  56155  3655224    20969  1133473  20953   2000 1798.00
1797.97/1797.91	s UNKNOWN
1797.97/1797.91	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-3462965-1307179122/watcher-3462965-1307179122 -o /tmp/evaluation-result-3462965-1307179122/solver-3462965-1307179122 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462965-1307179122.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: 2.00 2.00 2.00 3/437 11180
/proc/meminfo: memFree=24647292/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=26416 CPUtime=0 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 298 0 0 0 0 0 0 0 23 0 1 0 810327834 27049984 250 33554432000 134512640 137138936 4289214336 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 6604 250 192 642 0 5960 0

[startup+0.027111 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 11180
/proc/meminfo: memFree=24647292/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=18732 CPUtime=0.02 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 331 0 0 0 2 0 0 0 23 0 1 0 810327834 19181568 283 33554432000 134512640 137138936 4289214336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 4683 283 192 642 0 4039 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18732

[startup+0.101085 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 11180
/proc/meminfo: memFree=24647292/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=19244 CPUtime=0.09 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 480 0 0 0 9 0 0 0 23 0 1 0 810327834 19705856 432 33554432000 134512640 137138936 4289214336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 4811 432 192 642 0 4167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19244

[startup+0.301058 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 11180
/proc/meminfo: memFree=24647292/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=20532 CPUtime=0.29 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 798 0 0 0 29 0 0 0 25 0 1 0 810327834 21024768 750 33554432000 134512640 137138936 4289214336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 5133 750 192 642 0 4489 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20532

[startup+0.700965 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 11180
/proc/meminfo: memFree=24647292/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=21948 CPUtime=0.69 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 1151 0 0 0 69 0 0 0 25 0 1 0 810327834 22474752 1103 33554432000 134512640 137138936 4289214336 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 5487 1103 192 642 0 4843 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21948

[startup+1.50081 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11181
/proc/meminfo: memFree=24639596/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=22588 CPUtime=1.49 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 1316 0 0 0 148 1 0 0 25 0 1 0 810327834 23130112 1268 33554432000 134512640 137138936 4289214336 18446744073709551615 134618047 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 5647 1268 192 642 0 5003 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22588

[startup+3.10049 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11181
/proc/meminfo: memFree=24636784/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=23492 CPUtime=3.09 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 1534 0 0 0 308 1 0 0 25 0 1 0 810327834 24055808 1486 33554432000 134512640 137138936 4289214336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 5873 1486 192 642 0 5229 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23492

[startup+6.30085 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11181
/proc/meminfo: memFree=24634452/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=24264 CPUtime=6.29 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 1715 0 0 0 627 2 0 0 25 0 1 0 810327834 24846336 1667 33554432000 134512640 137138936 4289214336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 6066 1667 192 642 0 5422 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24264

[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11181
/proc/meminfo: memFree=24632112/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=24896 CPUtime=12.69 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 1891 0 0 0 1265 4 0 0 25 0 1 0 810327834 25493504 1843 33554432000 134512640 137138936 4289214336 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 6224 1843 192 642 0 5580 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24896

[startup+25.501 s]
/proc/loadavg: 2.07 2.02 2.00 3/438 11182
/proc/meminfo: memFree=24624676/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=25932 CPUtime=25.49 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 2146 0 0 0 2541 8 0 0 25 0 1 0 810327834 26554368 2098 33554432000 134512640 137138936 4289214336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 6483 2098 192 642 0 5839 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25932

[startup+51.101 s]
/proc/loadavg: 2.05 2.01 2.00 3/438 11182
/proc/meminfo: memFree=24618424/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=27480 CPUtime=51.09 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 2532 0 0 0 5095 14 0 0 25 0 1 0 810327834 28139520 2484 33554432000 134512640 137138936 4289214336 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 6870 2484 192 642 0 6226 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27480

[startup+102.316 s]
/proc/loadavg: 2.02 2.01 2.00 3/438 11184
/proc/meminfo: memFree=24599068/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=29324 CPUtime=102.31 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 2996 0 0 0 10207 24 0 0 25 0 1 0 810327834 30027776 2948 33554432000 134512640 137138936 4289214336 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 7331 2948 192 642 0 6687 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 29324

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11185
/proc/meminfo: memFree=24598056/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=30196 CPUtime=162.3 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3200 0 0 0 16195 35 0 0 25 0 1 0 810327834 30920704 3152 33554432000 134512640 137138936 4289214336 18446744073709551615 134603118 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 7549 3152 192 642 0 6905 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 30196

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11189
/proc/meminfo: memFree=24598164/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=30436 CPUtime=222.3 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3264 0 0 0 22182 48 0 0 25 0 1 0 810327834 31166464 3216 33554432000 134512640 137138936 4289214336 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 7609 3216 192 642 0 6965 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 30436

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11190
/proc/meminfo: memFree=24595168/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=31412 CPUtime=282.3 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3507 0 0 0 28171 59 0 0 25 0 1 0 810327834 32165888 3459 33554432000 134512640 137138936 4289214336 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 7853 3459 192 642 0 7209 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 31412

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11192
/proc/meminfo: memFree=24594416/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=31484 CPUtime=342.31 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3527 0 0 0 34161 70 0 0 25 0 1 0 810327834 32239616 3479 33554432000 134512640 137138936 4289214336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 7871 3479 192 642 0 7227 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 31484

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/438 11197
/proc/meminfo: memFree=24579744/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=31440 CPUtime=402.3 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3527 0 0 0 40151 79 0 0 25 0 1 0 810327834 32194560 3479 33554432000 134512640 137138936 4289214336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 7860 3479 192 642 0 7216 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31440

[startup+462.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/438 11198
/proc/meminfo: memFree=24577936/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=33000 CPUtime=462.31 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3908 0 0 0 46141 90 0 0 25 0 1 0 810327834 33792000 3860 33554432000 134512640 137138936 4289214336 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 8250 3860 192 642 0 7606 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 33000

[startup+522.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/438 11200
/proc/meminfo: memFree=24577920/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=32996 CPUtime=522.32 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3908 0 0 0 52130 102 0 0 25 0 1 0 810327834 33787904 3860 33554432000 134512640 137138936 4289214336 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 8249 3860 192 642 0 7605 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 32996

[startup+582.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/438 11201
/proc/meminfo: memFree=24577776/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=33212 CPUtime=582.31 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3957 0 0 0 58121 110 0 0 25 0 1 0 810327834 34009088 3909 33554432000 134512640 137138936 4289214336 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 8303 3909 192 642 0 7659 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 33212

[startup+642.301 s]

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

/proc/meminfo: memFree=24563644/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36300 CPUtime=1062.34 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 106042 192 0 0 25 0 1 0 810327834 37171200 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9075 4687 192 642 0 8431 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 36300

[startup+1122.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/438 11216
/proc/meminfo: memFree=24563504/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36300 CPUtime=1122.35 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 112033 202 0 0 25 0 1 0 810327834 37171200 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 134539680 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9075 4687 192 642 0 8431 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 36300

[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 11217
/proc/meminfo: memFree=24562752/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36300 CPUtime=1182.35 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 118026 209 0 0 25 0 1 0 810327834 37171200 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9075 4687 192 642 0 8431 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 36300

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11219
/proc/meminfo: memFree=24562740/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36300 CPUtime=1242.35 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 124019 216 0 0 25 0 1 0 810327834 37171200 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9075 4687 192 642 0 8431 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 36300

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11221
/proc/meminfo: memFree=24563104/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36292 CPUtime=1302.36 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 130012 224 0 0 25 0 1 0 810327834 37163008 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9073 4687 192 642 0 8429 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 36292

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 11222
/proc/meminfo: memFree=24563836/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36280 CPUtime=1362.35 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 136001 234 0 0 25 0 1 0 810327834 37150720 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9070 4687 192 642 0 8426 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 36280

[startup+1422.32 s]
/proc/loadavg: 2.12 2.04 2.01 3/438 11224
/proc/meminfo: memFree=24562948/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36276 CPUtime=1422.37 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 141994 243 0 0 25 0 1 0 810327834 37146624 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9069 4687 192 642 0 8425 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 36276

[startup+1482.3 s]
/proc/loadavg: 2.20 2.06 2.01 3/438 11225
/proc/meminfo: memFree=24563060/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36272 CPUtime=1482.36 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 147984 252 0 0 25 0 1 0 810327834 37142528 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 134575894 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9068 4687 192 642 0 8424 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 36272

[startup+1542.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/438 11227
/proc/meminfo: memFree=24563296/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36264 CPUtime=1542.36 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 153974 262 0 0 25 0 1 0 810327834 37134336 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9066 4687 192 642 0 8422 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 36264

[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/438 11229
/proc/meminfo: memFree=24563160/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36260 CPUtime=1602.37 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 159967 270 0 0 25 0 1 0 810327834 37130240 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9065 4687 192 642 0 8421 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 36260

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/438 11230
/proc/meminfo: memFree=24563376/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36252 CPUtime=1662.36 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 165959 277 0 0 25 0 1 0 810327834 37122048 4685 33554432000 134512640 137138936 4289214336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9063 4685 192 642 0 8419 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 36252

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 11232
/proc/meminfo: memFree=24562124/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37660 CPUtime=1722.37 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 171952 285 0 0 25 0 1 0 810327834 38563840 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 136520996 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9415 5028 192 642 0 8771 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 37660

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11260
/proc/meminfo: memFree=24611416/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37656 CPUtime=1782.37 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 177946 291 0 0 25 0 1 0 810327834 38559744 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9414 5028 192 642 0 8770 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 37656

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11261
/proc/meminfo: memFree=24606332/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37652 CPUtime=1785.58 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 178266 292 0 0 25 0 1 0 810327834 38555648 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9413 5028 192 642 0 8769 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (KiB) 37652

[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11261
/proc/meminfo: memFree=24592316/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37652 CPUtime=1791.99 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 178906 293 0 0 25 0 1 0 810327834 38555648 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9413 5028 192 642 0 8769 0
Current children cumulated CPU time (s) 1791.99
Current children cumulated vsize (KiB) 37652

[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11261
/proc/meminfo: memFree=24583760/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37652 CPUtime=1795.19 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 179225 294 0 0 25 0 1 0 810327834 38555648 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9413 5028 192 642 0 8769 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (KiB) 37652

[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11261
/proc/meminfo: memFree=24581280/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37652 CPUtime=1796.77 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 179383 294 0 0 25 0 1 0 810327834 38555648 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9413 5028 192 642 0 8769 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 37652

[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11261
/proc/meminfo: memFree=24579420/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37652 CPUtime=1797.57 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 179463 294 0 0 25 0 1 0 810327834 38555648 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9413 5028 192 642 0 8769 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 37652

[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11261
/proc/meminfo: memFree=24579420/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37652 CPUtime=1797.97 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 179503 294 0 0 25 0 1 0 810327834 38555648 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9413 5028 192 642 0 8769 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 37652

Child status: 0
Real time (s): 1797.92
CPU time (s): 1798
CPU user time (s): 1795.05
CPU system time (s): 2.94955
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 37668

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

runsolver used 7.00593 second user time and 17.5263 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-04 11:18:42
IDJOB=3462965
IDBENCH=2893
IDSOLVER=1955
FILE ID=node143/3462965-1307179122
RUNJOBID= node143-1307175466-10807
PBS_JOBID= 13508843
Free space on /tmp= 73972 MiB

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

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

MD5SUM BENCH= dc0a3aac3e055af09a2312e5ef9f2aef
RANDOM SEED=1526862129

node143.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.846
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.69
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.846
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	: 5226.15
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.846
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.74
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.846
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	: 5332.83
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.846
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.75
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.846
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.846
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.846
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24648564 kB
Buffers:        311800 kB
Cached:         468876 kB
SwapCached:       9140 kB
Active:        7544692 kB
Inactive:       477068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24648564 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:            8308 kB
Writeback:           0 kB
AnonPages:     7238916 kB
Mapped:          22808 kB
Slab:           132576 kB
PageTables:      79624 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115715272 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73964 MiB
End job on node143 at 2011-06-04 11:48:40