Trace number 3731528

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
PB09: bsolo 3.1SAT214 1798.01 1798.33

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
MD5SUM1e2b8f542cc5dec610d6e9b4663a878b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark189
Best CPU time to get the best result obtained on this benchmark1796.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 183
Optimality of the best value was proved NO
Number of variables473
Total number of constraints472
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints472
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 473
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 473
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 473
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3731528-1338694901.opb
0.00/0.00	c File size is 43236 bytes.
0.00/0.00	c Highest Coefficient sum: 473
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.003 s
0.00/0.00	c Var: 473 Constr: 472 1/0/471 Lit: 4267 Watch. Lit: 1511
0.00/0.00	c Obj. Vars: 473 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 s
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c        0    473      472     4267    9     1964    8526      0      0 0.01
0.39/0.40	c Initial Lower Bound: 140
0.39/0.40	c Initial Path Cost: 0
0.39/0.40	o 226
12.18/12.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.18/12.20	c        0    473      473     4740   10     2425    9526      1      0 0.40
12.18/12.20	c      101    473      586    31381   53     2659   10479    114     25 3.89
12.18/12.20	c      352    473     1246   202179  162     4032   11527    774     43 8.14
12.18/12.20	o 223
15.79/15.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.79/15.82	c      352    473     1247   202652  162     4282    9526    775     28 12.20
15.79/15.82	o 222
19.70/19.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.70/19.77	c      352    473     1248   203125  162     4544    9526    776     22 15.82
19.70/19.77	o 221
72.06/72.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
72.06/72.12	c      368    473     1274   209411  164     4852    9526    802     18 19.77
72.06/72.12	c      469    473     1546   277987  179     5410   10479   1074     19 23.93
72.06/72.12	c      719    473     2172   446416  205     6701   11527   1700     24 28.77
72.06/72.12	c     1195    473     3530   813036  230     9380   12680   3058     35 33.39
72.06/72.12	c     2008    473     5694  1407652  247    13697   13949   5222     51 39.21
72.06/72.12	c     3329    473     9195  2358244  256    20702   15344   8723     71 46.38
72.06/72.12	c     5410    473    14478  3705356  255    31278   16879  14006     97 55.63
72.06/72.12	c     8634    473    14308  3648395  254    30154   18567  13836    126 68.14
72.06/72.12	o 220
110.25/110.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
110.25/110.36	c     8668    473    14392  3668609  254    30629    9526  13920    120 72.10
110.25/110.36	c     8768    473     5481  1326115  241    12527   10479   5009    115 76.14
110.25/110.36	c     9019    473     6156  1509692  245    13917   11527   5684    112 80.37
110.25/110.36	c     9494    473     7506  1891265  251    16561   12680   7034    111 85.15
110.25/110.36	c    10309    473     9630  2499595  259    20821   13949   9158    112 91.26
110.25/110.36	c    11629    473    12954  3313919  255    27486   15344  12482    118 98.24
110.25/110.36	c    13711    473     8145  1961946  240    17808   16879   7673    128 106.38
110.25/110.36	o 219
240.83/240.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
240.83/240.98	c    13716    473     8151  1963556  240    18098    9526   7679    124 110.32
240.83/240.98	c    13816    473     8438  2037569  241    18716   10479   7966    120 114.24
240.83/240.98	c    14066    473     9067  2198867  242    19978   11527   8595    118 118.66
240.83/240.98	c    14541    473    10358  2581147  249    22520   12680   9886    117 123.47
240.83/240.98	c    15356    473    12581  3213385  255    26981   13949  12109    118 129.85
240.83/240.98	c    16676    473     8531  2067083  242    18604   15344   8059    121 137.00
240.83/240.98	c    18757    473    14208  3667340  258    29992   16879  13736    128 146.44
240.83/240.98	c    21980    473    14417  3647235  252    30375   18567  13945    138 159.08
240.83/240.98	c    26917    473    17956  4589198  255    37484   20424  17484    152 176.36
240.83/240.98	c    34424    473    10793  2457911  227    23408   22467  10321    174 197.59
240.83/240.98	c    45785    473    12531  2931871  233    26960   24714  12059    195 234.53
240.83/240.98	o 218
258.43/258.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
258.43/258.56	c    46788    473    14537  3401575  233    31252    9526  14065    194 240.91
258.43/258.56	c    46889    473     5414  1187423  219    12461   10479   4942    191 244.73
258.43/258.56	c    47140    473     6013  1337854  222    13679   11527   5541    189 249.21
258.43/258.56	c    47615    473     7293  1661323  227    16241   12680   6821    186 254.66
258.43/258.56	o 217
262.52/262.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
262.52/262.61	c    47615    473     7294  1661796  227    16477    9526   6822    184 258.50
262.52/262.61	o 215
950.00/950.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
950.00/950.25	c    47627    473     7307  1664956  227    16780    9526   6835    181 262.55
950.00/950.25	c    47727    473     7587  1745667  230    17415   10479   7115    178 266.84
950.00/950.25	c    47978    473     8251  1926365  233    18668   11527   7779    177 270.96
950.00/950.25	c    48453    473     9581  2305575  240    21346   12680   9109    175 276.27
950.00/950.25	c    49267    473    11667  2858122  244    25555   13949  11195    174 282.37
950.00/950.25	c    50589    470     7789  1964422  252    17184   15344   7317    172 293.53
950.00/950.25	c    52672    470    13375  3478514  260    28410   16879  12903    173 302.95
950.00/950.25	c    55895    470    12931  3319772  256    27408   18567  12459    177 315.33
950.00/950.25	c    60832    470    16564  4290144  259    34761   20424  16092    182 332.99
950.00/950.25	c    68338    470    14523  3684161  253    30666   22467  14051    190 358.27
950.00/950.25	c    79699    470    22218  6044942  272    46040   24714  21746    201 395.51
950.00/950.25	c    96844    470    17284  4672449  270    36152   27186  16812    213 454.14
950.00/950.25	c   122663    470    15970  4290761  268    33539   29905  15498    228 536.41
950.00/950.25	c   161496    470    26605  7174231  269    54759   32896  26133    244 660.70
950.00/950.25	c   219850    470    32973  8496969  257    67531   36186  32501    256 855.95
950.00/950.25	o 214
1797.97/1798.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.32	c   245917    468    29580  7414947  250    60984    9527  29108    258 950.07
1797.97/1798.32	c   246017    468     5514  1265921  229    12595   10480   5042    257 955.78
1797.97/1798.32	c   246268    468     6192  1448731  233    13947   11529   5720    256 960.37
1797.97/1798.32	c   246743    468     7444  1807338  242    16462   12682   6972    255 965.49
1797.97/1798.32	c   247556    468     9705  2459553  253    21000   13951   9233    254 971.53
1797.97/1798.32	c   248876    468    13333  3418271  256    28262   15347  12861    254 978.55
1797.97/1798.32	c   250957    468    10541  2621035  248    22691   16882  10069    253 988.03
1797.97/1798.32	c   254180    468    10610  2682817  252    22831   18571  10138    253 1000.82
1797.97/1798.32	c   259116    468    13845  3717014  268    29270   20429  13373    254 1018.38
1797.97/1798.32	c   266623    468    13295  3357609  252    28179   22472  12823    255 1044.25
1797.97/1798.32	c   277986    468    16190  3785880  233    33945   24720  15718    257 1080.08
1797.97/1798.32	c   295130    468    21907  5914082  269    45413   27193  21435    260 1132.45
1797.97/1798.32	c   320950    468    19205  4533449  236    40001   29913  18733    263 1218.27
1797.97/1798.32	c   359782    468    18063  4921355  272    37755   32905  17591    267 1346.26
1797.97/1798.32	c   418134    468    28235  7645570  270    58070   36196  27763    271 1537.44
1797.97/1798.32	c Resources Exceeded
1797.97/1798.32	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 -x201 -x202 -x203 x204 -x205 x206 x207 x208 x209 -x210 x211 -x212 -x213 -x214 x215 -x216 -x217 x218 -x219 x220 -x221 -x222 x223 -x224 -x225 x226 x227 x228 x229 x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 x240 x241 -x242 -x243 -x244 -x245 x246 x247 x248 x249 -x250 x251 -x252 -x253 x254 -x255 x256 x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 x268 -x269 x270 -x271 -x272 x273 x274 -x275 x276 -x277 -x278 x279 -x280 x281 -x282 -x283 x284 -x285 x286 -x287 x288 -x289 x290 -x291 x292 -x293 -x294 x295 x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 x311 -x312 x313 x314 -x315 -x316 x317 -x318 -x319 x320 -x321 x322 x323 x324 x325 -x326 x327 -x328 x329 x330 x331 x332 x333 x334 -x335 -x336 x337 x338 x339 -x340 x341 -x342 x343 -x344 x345 x346 -x347 -x348 x349 -x350 -x351 x352 x353 x354 x355 x356 x357 x358 x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 x368 -x369 -x370 -x371 x372 x373 x374 -x375 x376 x377 -x378 -x379 x380 x381 x382 x383 x384 x385 -x386 x387 -x388 x389 x390 -x391 x392 -x393 x394 x395 x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 x406 -x407 x408 -x409 x410 -x411 x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 x421 x422 -x423 x424 -x425 -x426 -x427 -x428 x429 -x430 x431 -x432 -x433 -x434 -x435 x436 x437 -x438 -x439 -x440 x441 -x442 -x443 x444 x445 x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 x459 x460 -x461 -x462 -x463 x464 -x465 x466 x467 -x468 x469 -x470 x471 -x472 -x473 
1797.97/1798.32	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.32	c   66   492505  89358   668220    25641  6997342  25169    273 1798.01
1797.97/1798.32	c Objective: 214
1797.97/1798.32	s SATISFIABLE
1797.97/1798.32	c Total time: 1798.01 s

Verifier Data 

OK	214

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3731528-1338694901/watcher-3731528-1338694901 -o /tmp/evaluation-result-3731528-1338694901/solver-3731528-1338694901 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3731528-1338694901.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.10 2.06 2.00 3/176 21508
/proc/meminfo: memFree=28670640/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=10924 CPUtime=0 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 335618639 11186176 292 33554432000 134512640 137136520 4293074304 4293067084 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 2731 292 189 641 0 2087 0

[startup+0.0997721 s]
/proc/loadavg: 2.10 2.06 2.00 3/176 21508
/proc/meminfo: memFree=28670640/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=12576 CPUtime=0.09 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 788 0 0 0 9 0 0 0 20 0 1 0 335618639 12877824 638 33554432000 134512640 137136520 4293074304 4293072064 135447705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 3144 638 284 641 0 2500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12576

[startup+0.10026 s]
/proc/loadavg: 2.10 2.06 2.00 3/176 21508
/proc/meminfo: memFree=28670640/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=12576 CPUtime=0.09 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 789 0 0 0 9 0 0 0 20 0 1 0 335618639 12877824 639 33554432000 134512640 137136520 4293074304 4293071992 135443262 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 3144 639 284 641 0 2500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12576

[startup+0.300228 s]
/proc/loadavg: 2.10 2.06 2.00 3/176 21508
/proc/meminfo: memFree=28670640/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=13284 CPUtime=0.29 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 1159 0 0 0 29 0 0 0 20 0 1 0 335618639 13602816 735 33554432000 134512640 137136520 4293074304 4293071992 135442575 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 3321 735 284 641 0 2677 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13284

[startup+0.700229 s]
/proc/loadavg: 2.10 2.06 2.00 3/176 21508
/proc/meminfo: memFree=28670640/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=13696 CPUtime=0.69 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 2807 0 0 0 69 0 0 0 20 0 1 0 335618639 14024704 687 33554432000 134512640 137136520 4293074304 4293072224 135444702 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 3424 687 289 641 0 2780 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13696

[startup+1.50023 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 21509
/proc/meminfo: memFree=28669268/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=12740 CPUtime=1.48 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 7426 0 0 0 148 0 0 0 20 0 1 0 335618639 13045760 547 33554432000 134512640 137136520 4293074304 4293071664 135430351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 3185 547 289 641 0 2541 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12740

[startup+3.10023 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 21509
/proc/meminfo: memFree=28668988/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=13248 CPUtime=3.09 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 19619 0 0 0 307 2 0 0 20 0 1 0 335618639 13565952 548 33554432000 134512640 137136520 4293074304 4293072064 135447705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 3312 548 289 641 0 2668 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13248

[startup+6.30023 s]
/proc/loadavg: 2.09 2.06 2.00 3/177 21509
/proc/meminfo: memFree=28668500/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=13952 CPUtime=6.29 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 51816 0 0 0 621 8 0 0 20 0 1 0 335618639 14286848 680 33554432000 134512640 137136520 4293074304 4293072048 135461722 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 3488 680 296 641 0 2844 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13952

[startup+12.7002 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 21509
/proc/meminfo: memFree=28666028/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=16744 CPUtime=12.69 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 127255 0 0 0 1247 22 0 0 20 0 1 0 335618639 17145856 1514 33554432000 134512640 137136520 4293074304 4293072152 135464005 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 4186 1514 296 641 0 3542 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16744

[startup+25.5002 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 21509
/proc/meminfo: memFree=28665424/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=17764 CPUtime=25.48 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 236625 0 0 0 2509 39 0 0 20 0 1 0 335618639 18190336 1615 33554432000 134512640 137136520 4293074304 4293072064 135448314 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 4441 1615 296 641 0 3797 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17764

[startup+51.1002 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 21509
/proc/meminfo: memFree=28637024/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=47612 CPUtime=51.08 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 806964 0 0 0 4978 130 0 0 20 0 1 0 335618639 48754688 9104 33554432000 134512640 137136520 4293074304 4293072376 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 11903 9105 296 641 0 11259 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47612

[startup+102.307 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 21509
/proc/meminfo: memFree=28608700/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=73164 CPUtime=102.26 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 1600133 0 0 0 9953 273 0 0 20 0 1 0 335618639 74919936 15550 33554432000 134512640 137136520 4293074304 4293072104 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 18291 15550 296 641 0 17647 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 73164

[startup+162.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 21509
/proc/meminfo: memFree=28595680/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=74332 CPUtime=162.24 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 2145417 0 0 0 15812 412 0 0 20 0 1 0 335618639 76115968 15786 33554432000 134512640 137136520 4293074304 4293071664 135432176 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 18583 15786 296 641 0 17939 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 74332

[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 21510
/proc/meminfo: memFree=28565584/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=90268 CPUtime=222.24 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 3082393 0 0 0 21575 649 0 0 20 0 1 0 335618639 92434432 19878 33554432000 134512640 137136520 4293074304 4293072152 134731460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 22567 19878 296 641 0 21923 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 90268

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 21510
/proc/meminfo: memFree=28565008/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=91304 CPUtime=282.22 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 3676779 0 0 0 27432 790 0 0 20 0 1 0 335618639 93495296 19972 33554432000 134512640 137136520 4293074304 4293071992 135443262 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 22556 19962 296 641 0 21912 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 91304

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 21510
/proc/meminfo: memFree=28565008/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=89128 CPUtime=342.21 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 4311572 0 0 0 33253 968 0 0 20 0 1 0 335618639 91267072 19960 33554432000 134512640 137136520 4293074304 4293072332 136698750 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 22282 19960 296 641 0 21638 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 89128

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21510
/proc/meminfo: memFree=28548692/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=111248 CPUtime=402.2 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 5158544 0 0 0 39037 1183 0 0 20 0 1 0 335618639 113917952 24867 33554432000 134512640 137136520 4293074304 4293071992 135443262 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 27812 24867 296 641 0 27168 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 111248

[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 21510
/proc/meminfo: memFree=28544280/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=112064 CPUtime=462.19 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 5937729 0 0 0 44813 1406 0 0 20 0 1 0 335618639 114753536 25096 33554432000 134512640 137136520 4293074304 4293072376 136504572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 28016 25096 296 641 0 27372 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 112064

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 21514
/proc/meminfo: memFree=28538132/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=116540 CPUtime=522.18 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 6777522 0 0 0 50573 1645 0 0 20 0 1 0 335618639 119336960 26213 33554432000 134512640 137136520 4293074304 4293072376 136504572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 29135 26213 296 641 0 28491 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 116540

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21514
/proc/meminfo: memFree=28528148/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=124108 CPUtime=582.17 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 7667541 0 0 0 56332 1885 0 0 20 0 1 0 335618639 127086592 28705 33554432000 134512640 137136520 4293074304 4293073184 136295561 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 31027 28705 296 641 0 30383 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 124108

[startup+642.3 s]

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

/proc/meminfo: memFree=28473564/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=142956 CPUtime=1062.08 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 13532340 0 0 0 102692 3516 0 0 20 0 1 0 335618639 146386944 33127 33554432000 134512640 137136520 4293074304 4293072376 136504572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 35739 33127 296 641 0 35095 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 142956

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21519
/proc/meminfo: memFree=28473708/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=141984 CPUtime=1122.08 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 13705895 0 0 0 108604 3604 0 0 20 0 1 0 335618639 145391616 33100 33554432000 134512640 137136520 4293074304 4293073344 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 35496 33100 296 641 0 34852 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 141984

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21542
/proc/meminfo: memFree=28473336/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=142060 CPUtime=1182.07 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 13860859 0 0 0 114520 3687 0 0 20 0 1 0 335618639 145469440 33103 33554432000 134512640 137136520 4293074304 4293073420 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 35515 33103 296 641 0 34871 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 142060

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21542
/proc/meminfo: memFree=28473468/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=142692 CPUtime=1242.07 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 13985155 0 0 0 120448 3759 0 0 20 0 1 0 335618639 146116608 33102 33554432000 134512640 137136520 4293074304 4293072152 134731460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 35519 33100 296 641 0 34875 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 142692

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21542
/proc/meminfo: memFree=28472972/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=142288 CPUtime=1302.05 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 14008619 0 0 0 126431 3774 0 0 20 0 1 0 335618639 145702912 33116 33554432000 134512640 137136520 4293074304 4293073420 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 35572 33116 296 641 0 34928 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 142288

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21590
/proc/meminfo: memFree=28453012/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=142356 CPUtime=1362.04 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 14015443 0 0 0 132424 3780 0 0 20 0 1 0 335618639 145772544 33142 33554432000 134512640 137136520 4293074304 4293073420 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 35589 33142 296 641 0 34945 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 142356

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21592
/proc/meminfo: memFree=28396472/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=141676 CPUtime=1422.04 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 14568210 0 0 0 138264 3940 0 0 20 0 1 0 335618639 145076224 33097 33554432000 134512640 137136520 4293074304 4293072332 136698750 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 35419 33097 296 641 0 34775 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 141676

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21592
/proc/meminfo: memFree=28339460/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=143948 CPUtime=1482.02 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 15224269 0 0 0 144070 4132 0 0 20 0 1 0 335618639 147402752 33106 33554432000 134512640 137136520 4293074304 4293072376 136504572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 35987 33106 296 641 0 35343 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 143948

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21592
/proc/meminfo: memFree=28289888/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=141676 CPUtime=1542.01 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 15848423 0 0 0 149887 4314 0 0 20 0 1 0 335618639 145076224 33097 33554432000 134512640 137136520 4293074304 4293072332 136698750 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 35419 33097 296 641 0 34775 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 141676

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21592
/proc/meminfo: memFree=28226800/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=154088 CPUtime=1602.01 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 16689316 0 0 0 155677 4524 0 0 20 0 1 0 335618639 157786112 36200 33554432000 134512640 137136520 4293074304 4293073020 136293438 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 38522 36200 296 641 0 37878 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 154088

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21592
/proc/meminfo: memFree=28184984/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=157868 CPUtime=1662 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 17475994 0 0 0 161456 4744 0 0 20 0 1 0 335618639 161656832 36532 33554432000 134512640 137136520 4293074304 4293072376 136504572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 39467 36532 296 641 0 38823 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 157868

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21596
/proc/meminfo: memFree=28143124/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=157108 CPUtime=1721.99 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 18213287 0 0 0 167246 4953 0 0 20 0 1 0 335618639 160878592 36527 33554432000 134512640 137136520 4293074304 4293072152 134731460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 39277 36527 296 641 0 38633 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 157108

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21596
/proc/meminfo: memFree=28093644/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=156948 CPUtime=1781.98 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 18862832 0 0 0 173052 5146 0 0 20 0 1 0 335618639 160714752 36526 33554432000 134512640 137136520 4293074304 4293072152 134731460 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 39237 36526 296 641 0 38593 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 156948

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21596
/proc/meminfo: memFree=28086452/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=156940 CPUtime=1791.58 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 18958261 0 0 0 173980 5178 0 0 20 0 1 0 335618639 160706560 36527 33554432000 134512640 137136520 4293074304 4293072240 135387467 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 39313 36528 296 641 0 38669 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 156940

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21596
/proc/meminfo: memFree=28084220/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=157244 CPUtime=1794.78 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 18988310 0 0 0 174289 5189 0 0 20 0 1 0 335618639 161017856 36529 33554432000 134512640 137136520 4293074304 4293072064 135448333 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 39311 36529 296 641 0 38667 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 157244

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21596
/proc/meminfo: memFree=28083476/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=157248 CPUtime=1796.38 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 19002415 0 0 0 174445 5193 0 0 20 0 1 0 335618639 161021952 36527 33554432000 134512640 137136520 4293074304 4293072376 136504572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 39312 36527 296 641 0 38668 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 157248

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21596
/proc/meminfo: memFree=28082360/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=157228 CPUtime=1797.17 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 19009338 0 0 0 174521 5196 0 0 20 0 1 0 335618639 161001472 36528 33554432000 134512640 137136520 4293074304 4293072376 136504572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 39307 36528 296 641 0 38663 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 157228

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21596
/proc/meminfo: memFree=28082360/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=157240 CPUtime=1797.57 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 19012744 0 0 0 174560 5197 0 0 20 0 1 0 335618639 161013760 36529 33554432000 134512640 137136520 4293074304 4293072104 136504572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 38843 36521 296 641 0 38199 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 157240

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21596
/proc/meminfo: memFree=28082360/32873844 swapFree=6872/6872
[pid=21508] ppid=21506 vsize=157264 CPUtime=1797.97 cores=1,3,5,7
/proc/21508/stat : 21508 (bsolo) R 21506 21508 8274 0 -1 4202496 19016075 0 0 0 174599 5198 0 0 20 0 1 0 335618639 161038336 36528 33554432000 134512640 137136520 4293074304 4293072104 136504572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21508/statm: 39316 36528 296 641 0 38672 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 157264

Child status: 0
Real time (s): 1798.33
CPU time (s): 1798.01
CPU user time (s): 1746.02
CPU system time (s): 51.9891
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 157948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.02
system time used= 51.9891
maximum resident set size= 146292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19016288
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= 79
involuntary context switches= 1848

runsolver used 2.91556 second user time and 7.2229 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-03 05:41:42
IDJOB=3731528
IDBENCH=1962
IDSOLVER=2320
FILE ID=node106/3731528-1338694901
RUNJOBID= node106-1338679215-16851
PBS_JOBID= 14636707
Free space on /tmp= 70864 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731528-1338694901/watcher-3731528-1338694901 -o /tmp/evaluation-result-3731528-1338694901/solver-3731528-1338694901 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3731528-1338694901.opb

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

MD5SUM BENCH= 1e2b8f542cc5dec610d6e9b4663a878b
RANDOM SEED=1621841543

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28670888 kB
Buffers:          291956 kB
Cached:          2931528 kB
SwapCached:         2004 kB
Active:          1109344 kB
Inactive:        2245692 kB
Active(anon):     128544 kB
Inactive(anon):     4984 kB
Active(file):     980800 kB
Inactive(file):  2240708 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:              3900 kB
Writeback:             0 kB
AnonPages:         95240 kB
Mapped:            10124 kB
Shmem:                 0 kB
Slab:             707292 kB
SReclaimable:     149532 kB
SUnreclaim:       557760 kB
KernelStack:        1472 kB
PageTables:         4220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     258808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3731528-1338694901.opb

Free space on /tmp at the end= 70844 MiB
End job on node106 at 2012-06-03 06:11:40