Trace number 3462817

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.2SAT-25 1798.05 1797.99

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_3.opb
MD5SUM7d5c1eba9f9b9c55d272c1a8f28b465a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-32
Best CPU time to get the best result obtained on this benchmark1797.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -31
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12432
Sum of products size (including duplicates)24864
Number of different products6216
Sum of products size12432

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462817-1307183358.opb
0.00/0.00	c File size is 166870 bytes.
0.00/0.02	c Highest Coefficient sum: 400
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.027 s
0.00/0.03	c Var: 12832 Constr: 25466 12632/402/12432 Lit: 88224 Watch. Lit: 75394
0.00/0.03	c Obj. Vars: 200 (1.5586 % of total variables)
18.19/18.25	c Pre-processing Time: 18.25 s
18.19/18.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.19/18.25	c        0  12832    25466    88224    3    75394  208119      0      0 18.25
18.19/18.25	c Switching off lower bounding mode.
18.19/18.26	o -1
18.19/18.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.19/18.27	c        0  12832    25467    88424    3    75397  208253      1      0 18.26
18.19/18.27	o -2
18.19/18.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.19/18.28	c        1  12832    25470    89024    3    75406  208319      4      0 18.28
18.19/18.28	o -3
18.19/18.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.19/18.30	c        2  12832    25473    89679    3    75417  208386      7      0 18.29
18.19/18.30	o -4
18.29/18.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.34	c       10  12832    25483    90329    3    75444  208453     17      0 18.30
18.29/18.34	o -8
18.29/18.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.36	c       32  12832    25506    93940    3    75498  208719     40      1 18.34
18.29/18.36	o -9
18.29/18.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.38	c       45  12832    25521    95945    3    75545  208786     55      2 18.37
18.29/18.38	o -10
18.29/18.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.39	c       54  12832    25532    98179    3    75586  208853     66      2 18.38
18.29/18.39	o -11
18.39/18.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.39/18.41	c       67  12832    25547   100623    3    75637  208919     81      3 18.40
18.39/18.41	o -12
18.39/18.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.39/18.42	c       90  12832    25572   103288    4    75710  208986    106      4 18.42
18.39/18.42	o -13
18.39/18.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.39/18.44	c      102  12832    25586   105544    4    75763  209053    120      5 18.43
18.39/18.44	o -14
18.39/18.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.39/18.46	c      121  12832    25607   108564    4    75832  209119    141      6 18.45
18.39/18.46	o -15
18.39/18.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.39/18.48	c      147  12832    25635   109406    4    75917  209119    169      7 18.46
18.39/18.48	o -16
18.49/18.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.51	c      170  12832    25660   110239    4    75998  209119    194      9 18.48
18.49/18.51	o -17
18.49/18.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.53	c      242  12832    25734   118474    4    76179  209119    268     13 18.52
18.49/18.53	o -18
18.49/18.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.54	c      256  12832    25750   119284    4    76246  209119    284     13 18.54
18.49/18.54	o -19
21.79/21.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.79/21.85	c      259  12832    25755   120063    4    76293  209119    289     13 18.55
21.79/21.85	c      359  12832    25856   121680    4    76514  230031    390     19 18.58
21.79/21.85	c      609  12832    26108   171247    6    77018  253035    642     32 18.68
21.79/21.85	c     1084  12832    26588   265267    9    77978  278339   1122     57 18.85
21.79/21.85	c     1897  12832    27402   426292   15    79606  306173   1936     98 19.24
21.79/21.85	c     3217  12832    28722   686941   23    82246  336791   3256    161 19.92
21.79/21.85	c     5298  12832    30813  1076128   34    86428  370471   5347    248 21.36
21.79/21.85	o -20
21.79/21.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.79/21.87	c     5674  12832    31196  1133078   36    87214  209119   5730    259 21.86
21.79/21.87	o -21
21.79/21.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.79/21.89	c     5697  12832    31221  1136560   36    87305  209119   5755    260 21.88
21.79/21.89	o -22
21.79/21.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.79/21.90	c     5701  12832    31227  1137682   36    87360  209119   5761    260 21.89
21.79/21.90	o -23
21.90/21.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.90/21.91	c     5703  12832    31231  1138452   36    87413  209119   5765    260 21.90
21.90/21.91	o -24
22.29/22.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.29/22.35	c     5710  12832    31240  1139242   36    87478  209119   5774    260 21.92
22.29/22.35	c     5810  12832    31342  1148516   36    87756  230031   5876    264 21.97
22.29/22.35	c     6060  12832    31593  1164612   36    88282  253035   6127    274 22.08
22.29/22.35	c     6535  12832    32072  1225574   38    89240  278339   6606    292 22.32
22.29/22.35	o -25
1797.95/1797.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1797.94	c     6571  12832    32109  1228107   38    89339  209119   6643    293 22.36
1797.95/1797.94	c     6671  12832    32209  1243439   38    89539  230031   6743    297 22.45
1797.95/1797.94	c     6921  12832    32461  1265674   38    90068  253035   6995    306 22.56
1797.95/1797.94	c     7396  12832    32938  1359680   41    91022  278339   7472    325 22.75
1797.95/1797.94	c     8209  12832    33756  1520309   45    92658  306173   8290    355 23.09
1797.95/1797.94	c     9529  12832    35077  1780551   50    95300  336791   9611    401 23.73
1797.95/1797.94	c    11610  12832    37161  2190225   58    99468  370471  11695    467 24.85
1797.95/1797.94	c    14833  12832    40388  2819049   69   105922  407519  14922    548 27.03
1797.95/1797.94	c    19769  12832    45385  3696057   81   116021  448271  19919    642 30.76
1797.95/1797.94	c    27275  12832    53186  5206415   97   131764  493099  27720    750 36.35
1797.95/1797.94	c    38636  12832    64914  7580839  116   155355  542409  39448    850 45.43
1797.95/1797.94	c    55780  12832    82704 11240343  135   191139  596650  57238    879 63.45
1797.95/1797.94	c    81599  12832   109615 17007474  155   245319  656316  84149    833 97.89
1797.95/1797.94	c   120431  12832   150194 25732345  171   326820  721948 124728    733 164.22
1797.95/1797.94	c   178784  12832   211151 38574186  182   449295  794143 185685    589 303.10
1797.95/1797.94	c   266416  12832   302957 57858049  190   634012  873558 277491    390 682.17
1797.95/1797.94	c Reducing formula size due to memory constraints
1797.95/1797.94	c Memory Limit: 1000.00 MB  Used: 1000.84 MB
1797.95/1797.94	c   397969  12832    44634  4122958   92   115388   50056  19168    265 1498.63
1797.95/1797.94	c Resources Exceeded
1797.95/1797.94	v -x1 x2 -x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x347 x386 x369 -x241 x226 -x341 -x273 -x377 -x202 -x265 -x259 -x325 -x394 -x340 -x203 -x242 -x376 x296 -x316 -x343 -x239 -x274 -x248 -x286 x338 -x220 -x221 x261 -x282 -x294 -x303 x319 -x321 -x332 -x337 -x349 -x353 -x357 -x393 x396 -x201 -x269 -x399 -x255 -x215 x375 -x207 -x362 -x279 -x291 -x295 -x288 -x289 -x348 -x323 -x283 -x400 -x390 -x225 -x209 -x219 -x253 -x263 -x360 -x378 -x238 -x249 -x298 -x237 -x387 -x305 -x236 -x272 -x372 x368 -x278 -x334 x309 -x224 x351 -x324 -x212 -x243 -x229 -x258 -x284 -x285 -x350 -x356 -x317 -x254 -x267 -x307 -x327 -x392 -x314 -x398 -x227 -x346 -x206 -x230 -x354 -x299 -x247 -x256 -x266 -x297 -x300 -x306 -x310 -x363 -x366 -x204 -x222 -x217 x275 -x328 -x304 x384 x381 -x382 -x231 -x335 -x244 -x345 -x211 -x216 x233 -x268 -x276 -x293 -x329 -x342 -x205 -x252 -x271 -x302 -x246 -x228 -x214 -x355 -x336 -x290 -x232 x389 x385 -x379 -x213 -x262 -x397 -x311 -x333 -x344 -x234 -x257 -x326 -x352 -x218 x270 -x281 -x331 -x380 -x251 -x240 -x367 -x287 -x210 -x245 -x365 -x374 -x208 -x301 -x264 -x339 -x383 -x359 -x364 -x223 -x313 -x371 -x315 x330 x370 x388 -x260 -x312 x361 -x250 -x292 -x358 -x280 -x235 -x391 -x320 x322 x395 -x277 -x308 -x373 -x318 
1797.95/1797.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1797.94	c   47   550382 189962  1063260    72245 10565414  46779    306 1798.00
1797.95/1797.94	c Objective: -25
1797.95/1797.94	s SATISFIABLE
1797.95/1797.94	c Total time: 1798 s

Verifier Data 

OK	-25

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-3462817-1307183358/watcher-3462817-1307183358 -o /tmp/evaluation-result-3462817-1307183358/solver-3462817-1307183358 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462817-1307183358.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.00 2.02 2.00 2/436 30910
/proc/meminfo: memFree=19659040/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=12744 CPUtime=0.01 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 735 0 0 0 1 0 0 0 25 0 1 0 829933640 13049856 689 33554432000 134512640 137138936 4291154832 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 3186 689 189 642 0 2501 0

[startup+0.077464 s]
/proc/loadavg: 2.00 2.02 2.00 2/436 30910
/proc/meminfo: memFree=19659040/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=17568 CPUtime=0.07 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 2021 0 0 0 7 0 0 0 25 0 1 0 829933640 17989632 1934 33554432000 134512640 137138936 4291154832 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 4392 1934 185 642 0 3748 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17568

[startup+0.100459 s]
/proc/loadavg: 2.00 2.02 2.00 2/436 30910
/proc/meminfo: memFree=19659040/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=17568 CPUtime=0.09 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 2021 0 0 0 9 0 0 0 25 0 1 0 829933640 17989632 1934 33554432000 134512640 137138936 4291154832 18446744073709551615 134566350 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 4392 1934 185 642 0 3748 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17568

[startup+0.300426 s]
/proc/loadavg: 2.00 2.02 2.00 2/436 30910
/proc/meminfo: memFree=19659040/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=17568 CPUtime=0.29 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 2022 0 0 0 29 0 0 0 25 0 1 0 829933640 17989632 1935 33554432000 134512640 137138936 4291154832 18446744073709551615 134566356 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 4392 1935 185 642 0 3748 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17568

[startup+0.700322 s]
/proc/loadavg: 2.00 2.02 2.00 2/436 30910
/proc/meminfo: memFree=19659040/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=17568 CPUtime=0.69 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 2023 0 0 0 69 0 0 0 25 0 1 0 829933640 17989632 1936 33554432000 134512640 137138936 4291154832 18446744073709551615 134566244 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 4392 1936 185 642 0 3748 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17568

[startup+1.5002 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 30911
/proc/meminfo: memFree=19651220/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=17692 CPUtime=1.49 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 2026 0 0 0 149 0 0 0 25 0 1 0 829933640 18116608 1939 33554432000 134512640 137138936 4291154832 18446744073709551615 134543258 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 4423 1939 185 642 0 3779 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17692

[startup+3.10091 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 30911
/proc/meminfo: memFree=19651344/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=17692 CPUtime=3.09 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 2026 0 0 0 309 0 0 0 25 0 1 0 829933640 18116608 1939 33554432000 134512640 137138936 4291154832 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 4423 1939 185 642 0 3779 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17692

[startup+6.30031 s]
/proc/loadavg: 2.08 2.04 2.01 3/437 30911
/proc/meminfo: memFree=19650968/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=17692 CPUtime=6.29 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 2027 0 0 0 629 0 0 0 25 0 1 0 829933640 18116608 1940 33554432000 134512640 137138936 4291154832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 4423 1940 185 642 0 3779 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17692

[startup+12.7011 s]
/proc/loadavg: 2.08 2.04 2.00 3/437 30912
/proc/meminfo: memFree=19649924/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=17688 CPUtime=12.69 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 2027 0 0 0 1269 0 0 0 25 0 1 0 829933640 18112512 1940 33554432000 134512640 137138936 4291154832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 4422 1940 185 642 0 3778 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17688

[startup+25.5008 s]
/proc/loadavg: 2.06 2.03 2.00 3/437 30912
/proc/meminfo: memFree=19620524/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=48888 CPUtime=25.5 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 10260 0 0 0 2544 6 0 0 25 0 1 0 829933640 50061312 9781 33554432000 134512640 137138936 4291154832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 12222 9781 192 642 0 11578 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 48888

[startup+51.101 s]
/proc/loadavg: 2.04 2.03 2.00 3/437 30913
/proc/meminfo: memFree=19535112/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=133988 CPUtime=51.09 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 31544 0 0 0 5097 12 0 0 25 0 1 0 829933640 137203712 31065 33554432000 134512640 137138936 4291154832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 33497 31065 192 642 0 32853 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 133988

[startup+102.317 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 30914
/proc/meminfo: memFree=19415808/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=250492 CPUtime=102.31 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 60672 0 0 0 10208 23 0 0 25 0 1 0 829933640 256503808 60193 33554432000 134512640 137138936 4291154832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 62623 60193 192 642 0 61979 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 250492

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 30916
/proc/meminfo: memFree=19311644/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=355176 CPUtime=162.29 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 86830 0 0 0 16195 34 0 0 25 0 1 0 829933640 363700224 86351 33554432000 134512640 137138936 4291154832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 88794 86351 192 642 0 88150 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 355176

[startup+222.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/437 30917
/proc/meminfo: memFree=19237476/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=429304 CPUtime=222.29 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 105363 0 0 0 22187 42 0 0 25 0 1 0 829933640 439607296 104884 33554432000 134512640 137138936 4291154832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 107326 104884 192 642 0 106682 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 429304

[startup+282.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/437 30919
/proc/meminfo: memFree=19165408/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=502268 CPUtime=282.3 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 123620 0 0 0 28178 52 0 0 25 0 1 0 829933640 514322432 123141 33554432000 134512640 137138936 4291154832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 125567 123141 192 642 0 124923 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 502268

[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30920
/proc/meminfo: memFree=19111816/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=555724 CPUtime=342.3 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 136977 0 0 0 34172 58 0 0 25 0 1 0 829933640 569061376 136498 33554432000 134512640 137138936 4291154832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 138931 136498 192 642 0 138287 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 555724

[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/437 30922
/proc/meminfo: memFree=19070008/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=597816 CPUtime=402.3 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 147491 0 0 0 40168 62 0 0 25 0 1 0 829933640 612163584 147012 33554432000 134512640 137138936 4291154832 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 149454 147012 192 642 0 148810 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 597816

[startup+462.301 s]
/proc/loadavg: 2.14 2.05 2.01 3/437 30924
/proc/meminfo: memFree=19034648/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=633020 CPUtime=462.3 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 156303 0 0 0 46163 67 0 0 25 0 1 0 829933640 648212480 155824 33554432000 134512640 137138936 4291154832 18446744073709551615 136504179 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 158255 155824 192 642 0 157611 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 633020

[startup+522.301 s]
/proc/loadavg: 2.33 2.10 2.02 3/437 30925
/proc/meminfo: memFree=18995704/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=672692 CPUtime=522.3 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 166196 0 0 0 52157 73 0 0 25 0 1 0 829933640 688836608 165717 33554432000 134512640 137138936 4291154832 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 168173 165717 192 642 0 167529 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 672692

[startup+582.301 s]
/proc/loadavg: 2.18 2.10 2.02 3/437 30955
/proc/meminfo: memFree=19963864/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=725692 CPUtime=582.31 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 179446 0 0 0 58152 79 0 0 25 0 1 0 829933640 743108608 178967 33554432000 134512640 137138936 4291154832 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 181423 178967 192 642 0 180779 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 725692

[startup+642.301 s]

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

/proc/meminfo: memFree=18801620/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=999420 CPUtime=1062.33 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 247892 0 0 0 106117 116 0 0 25 0 1 0 829933640 1023406080 247413 33554432000 134512640 137138936 4291154832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 249855 247413 192 642 0 249211 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 999420

[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/437 30969
/proc/meminfo: memFree=18769984/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1030936 CPUtime=1122.32 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 255756 0 0 0 112113 119 0 0 25 0 1 0 829933640 1055678464 255277 33554432000 134512640 137138936 4291154832 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 257734 255277 192 642 0 257090 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1030936

[startup+1182.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/437 30971
/proc/meminfo: memFree=18761416/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1182.33 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 118112 121 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1038016

[startup+1242.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/437 30972
/proc/meminfo: memFree=18697180/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1242.33 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 124112 121 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1038016

[startup+1302.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/437 30974
/proc/meminfo: memFree=18629712/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1302.35 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 130114 121 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1038016

[startup+1362.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/437 30976
/proc/meminfo: memFree=18629576/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1362.34 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 136113 121 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1038016

[startup+1422.32 s]
/proc/loadavg: 2.01 2.05 2.00 3/437 30977
/proc/meminfo: memFree=18629692/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1422.35 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 142114 121 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1038016

[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/437 30979
/proc/meminfo: memFree=18629800/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1482.33 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 148109 124 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1038016

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 30980
/proc/meminfo: memFree=18630396/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1542.34 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 154105 129 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1038016

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 30982
/proc/meminfo: memFree=18630136/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1602.34 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 160099 135 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 134551047 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1038016

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/437 30984
/proc/meminfo: memFree=18630744/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1662.34 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 166095 139 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1038016

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/437 30985
/proc/meminfo: memFree=18630476/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1722.34 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 172095 139 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1038016

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30987
/proc/meminfo: memFree=18629968/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1782.35 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 178093 142 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1038016

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30987
/proc/meminfo: memFree=18629724/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1785.55 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 178413 142 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 134606683 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 1038016

[startup+1791.92 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30987
/proc/meminfo: memFree=18629460/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1791.96 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 179054 142 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 1038016

[startup+1795.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30987
/proc/meminfo: memFree=18629708/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1795.16 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 179374 142 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 1038016

[startup+1796.7 s]
/proc/loadavg: 2.02 2.03 2.00 3/437 30987
/proc/meminfo: memFree=18629708/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1796.75 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 179532 143 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 1038016

[startup+1797.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 30987
/proc/meminfo: memFree=18629708/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1797.55 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 179612 143 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 1038016

[startup+1797.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 30987
/proc/meminfo: memFree=18629708/32951124 swapFree=60787360/67111528
[pid=30910] ppid=30908 vsize=1038016 CPUtime=1797.95 cores=0,2,4,6
/proc/30910/stat : 30910 (bsolo) R 30908 30910 29081 0 -1 4202496 257893 0 0 0 179652 143 0 0 25 0 1 0 829933640 1062928384 257055 33554432000 134512640 137138936 4291154832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30910/statm: 259504 257055 192 642 0 258860 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1038016

Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.05
CPU user time (s): 1796.57
CPU system time (s): 1.47478
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1039452

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

runsolver used 8.36873 second user time and 16.9884 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-04 12:29:18
IDJOB=3462817
IDBENCH=48233
IDSOLVER=1955
FILE ID=node135/3462817-1307183358
RUNJOBID= node135-1307173971-30075
PBS_JOBID= 13508851
Free space on /tmp= 73960 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462817-1307183358/watcher-3462817-1307183358 -o /tmp/evaluation-result-3462817-1307183358/solver-3462817-1307183358 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462817-1307183358.opb

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

MD5SUM BENCH= 7d5c1eba9f9b9c55d272c1a8f28b465a
RANDOM SEED=130862536

node135.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.851
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.70
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.851
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.83
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.851
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.75
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.851
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	: 6640.14
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.851
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.78
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.851
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.75
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.851
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19659444 kB
Buffers:        266912 kB
Cached:         632860 kB
SwapCached:       6168 kB
Active:       12490984 kB
Inactive:       540596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19659444 kB
SwapTotal:    67111528 kB
SwapFree:     60787360 kB
Dirty:            3888 kB
Writeback:           0 kB
AnonPages:    12130940 kB
Mapped:          26712 kB
Slab:           125592 kB
PageTables:      68024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 125435728 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= 73960 MiB
End job on node135 at 2011-06-04 12:59:16