Trace number 3707891

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.2SAT219 1798.01 1798.34

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
MD5SUM90154dd1b8a90675a35ad37cbef52f77
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark193
Best CPU time to get the best result obtained on this benchmark1796.77
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 189
Optimality of the best value was proved NO
Number of variables481
Total number of constraints481
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 constraints481
Minimum length of a constraint3
Maximum length of a constraint19
Number of terms in the objective function 481
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 481
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 481
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.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-3707891-1338144372.opb
0.00/0.00	c File size is 43841 bytes.
0.00/0.00	c Highest Coefficient sum: 481
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: 481 Constr: 481 0/0/481 Lit: 4331 Watch. Lit: 1563
0.00/0.00	c Obj. Vars: 481 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 s
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c        0    481      481     4331    9     2030    8662      0      0 0.01
0.29/0.33	c Initial Lower Bound: 147
0.29/0.33	c Initial Path Cost: 0
0.29/0.33	o 237
3.69/3.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.77	c        0    481      482     4812    9     2489    9662      1      0 0.34
3.69/3.77	o 236
7.48/7.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.48/7.57	c       10    481      493     7729   15     2759    9662     12      2 3.77
7.48/7.57	o 230
15.69/15.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.69/15.76	c       10    481      494     8210   16     3078    9662     13      1 7.57
15.69/15.76	c      111    481      796    88447  111     3762   10629    315      9 11.83
15.69/15.76	o 229
23.38/23.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.38/23.45	c      112    481      798    89162  111     3925    9662    317      7 15.76
23.38/23.45	c      213    481     1091   163770  150     4547   10629    610     10 19.93
23.38/23.45	o 227
27.08/27.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.08/27.14	c      213    481     1092   164251  150     4784    9662    611      9 23.45
27.08/27.14	o 226
50.88/50.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.88/50.93	c      248    481     1153   179425  155     5166    9662    672      9 27.13
50.88/50.93	c      348    481     1444   265584  183     5746   10629    963     11 31.56
50.88/50.93	c      598    481     2153   451608  209     7173   11692   1672     16 36.22
50.88/50.93	c     1074    481     3341   754232  225     9567   12862   2860     26 41.25
50.88/50.93	c     1888    481     5348  1251320  233    13777   14149   4867     39 47.22
50.88/50.93	o 225
467.57/467.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
467.57/467.74	c     2017    481     5702  1338010  234    14745    9662   5221     39 50.92
467.57/467.74	c     2117    481     5982  1410969  235    15340   10629   5501     38 55.16
467.57/467.74	c     2368    481     6708  1611133  240    16798   11692   6227     39 59.83
467.57/467.74	c     2843    481     8013  1957039  244    19378   12862   7532     44 64.56
467.57/467.74	c     3657    481    10385  2651487  255    24131   14149   9904     51 70.42
467.57/467.74	c     4977    481    14045  3657048  260    31465   15564  13564     64 77.62
467.57/467.74	c     7058    481    11929  3210573  269    25500   17121  11448     80 87.62
467.57/467.74	c    10281    481    11824  3119060  263    25282   18834  11343    101 101.54
467.57/467.74	c    15217    481    16513  4481891  271    34629   20718  16032    127 119.31
467.57/467.74	c    22724    481    16787  4649580  276    35188   22790  16306    156 145.36
467.57/467.74	c    34086    481    14126  4033324  285    29901   25070  13645    183 186.19
467.57/467.74	c    51230    481    24098  6404514  265    49823   27578  23617    207 247.18
467.57/467.74	c    77049    481    26351  7209655  273    54341   30336  25870    231 332.96
467.57/467.74	c   115881    481    16601  4262932  256    34836   33370  16120    249 464.16
467.57/467.74	o 224
497.77/497.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
497.77/497.94	c   115906    481    16667  4279919  256    35204    9662  16186    247 467.63
497.77/497.94	c   116007    481     5615  1373442  244    12856   10629   5134    245 471.83
497.77/497.94	c   116257    481     6346  1597776  251    14330   11692   5865    244 476.03
497.77/497.94	c   116732    481     7746  2012388  259    17136   12862   7265    242 481.30
497.77/497.94	c   117546    481    10098  2606115  258    21812   14149   9617    241 486.87
497.77/497.94	c   118866    481    13995  3644876  260    29632   15564  13514    240 494.14
497.77/497.94	o 223
1105.77/1106.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1105.77/1106.01	c   118866    481    13996  3645357  260    29835    9662  13515    238 497.82
1105.77/1106.01	c   118967    481     5599  1374410  245    12835   10629   5118    237 501.38
1105.77/1106.01	c   119218    481     6336  1582569  249    14305   11692   5855    235 506.42
1105.77/1106.01	c   119693    481     7740  1984933  256    17108   12862   7259    233 511.64
1105.77/1106.01	c   120506    481    10052  2666876  265    21740   14149   9571    232 517.76
1105.77/1106.01	c   121826    481    13949  3812461  273    29517   15564  13468    231 525.50
1105.77/1106.01	c   123907    481    11727  3067057  261    25059   17121  11246    231 535.00
1105.77/1106.01	c   127132    481    12046  3271986  271    25697   18834  11565    231 548.66
1105.77/1106.01	c   132068    481    16372  4432739  270    34406   20718  15891    233 566.29
1105.77/1106.01	c   139575    481    16399  4511280  275    34432   22790  15918    235 591.98
1105.77/1106.01	c   150937    481    13960  3680644  263    29529   25070  13479    239 629.36
1105.77/1106.01	c   168082    481    25158  6820474  271    51916   27578  24677    246 682.26
1105.77/1106.01	c   193902    481    14271  3923068  274    30170   30336  13790    252 768.17
1105.77/1106.01	c   232736    481    16153  4239345  262    33917   33370  15672    259 896.70
1105.77/1106.01	c   291088    481    30720  8310397  270    63073   36708  30239    264 1102.09
1105.77/1106.01	o 222
1203.56/1203.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1203.56/1203.84	c   291168    481    30861  8344222  270    63564    9662  30380    263 1105.80
1203.56/1203.84	c   291268    481     5599  1404842  250    12811   10629   5118    262 1110.94
1203.56/1203.84	c   291520    481     6347  1639731  258    14339   11692   5866    261 1115.80
1203.56/1203.84	c   291998    481     7753  2044877  263    17121   12862   7272    260 1120.92
1203.56/1203.84	c   292811    481    10144  2750230  271    21884   14149   9663    259 1126.80
1203.56/1203.84	c   294132    481    13990  3802121  271    29588   15564  13509    259 1134.35
1203.56/1203.84	c   296213    481    11817  3094667  261    25247   17121  11336    259 1143.55
1203.56/1203.84	c   299437    481    11631  2999082  257    24879   18834  11150    258 1156.65
1203.56/1203.84	c   304373    481    16165  4294245  265    33966   20718  15684    259 1174.67
1203.56/1203.84	c   311880    481    13660  3423650  250    29911   22790  13179    260 1199.21
1203.56/1203.84	o 219
1797.96/1798.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.33	c   311880    481    13661  3424131  250    30120    9662  13180    259 1203.61
1797.96/1798.33	c   311983    481     5614  1355331  241    12895   10629   5133    258 1208.12
1797.96/1798.33	c   312233    481     6311  1549231  245    14243   11692   5830    257 1212.13
1797.96/1798.33	c   312710    481     7698  1957373  254    17068   12862   7217    256 1217.07
1797.96/1798.33	c   313525    481    10054  2630149  261    21811   14149   9573    256 1223.19
1797.96/1798.33	c   314845    481    13847  3703554  267    29344   15564  13366    255 1231.01
1797.96/1798.33	c   316926    481    11700  3310758  282    25091   17121  11219    255 1241.53
1797.96/1798.33	c   320149    481    12093  3367273  278    25796   18834  11612    255 1253.91
1797.96/1798.33	c   325085    481    16733  4834156  288    35140   20718  16252    255 1274.57
1797.96/1798.33	c   332591    481    17317  4726161  272    36284   22790  16836    255 1299.64
1797.96/1798.33	c   343952    481    14344  4016621  280    30349   25070  13863    256 1339.55
1797.96/1798.33	c   361096    481    25246  6748965  267    52190   27578  24765    259 1391.52
1797.96/1798.33	c   386915    481    14917  4199234  281    31492   30336  14436    262 1473.91
1797.96/1798.33	c   425748    481    17747  5129522  289    37160   33370  17266    266 1594.73
1797.96/1798.33	c   484100    481    18512  5083404  274    38662   36708  18031    270 1787.90
1797.96/1798.33	c Resources Exceeded
1797.96/1798.33	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 -x474 x475 -x476 x477 -x478 -x479 -x480 x481 
1797.96/1798.33	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.33	c   72   486180  84898   645471    24537  6839709  24056    270 1798.01
1797.96/1798.33	c Objective: 219
1797.96/1798.33	s SATISFIABLE
1797.96/1798.33	c Total time: 1798.01 s

Verifier Data

OK	219

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-3707891-1338144372/watcher-3707891-1338144372 -o /tmp/evaluation-result-3707891-1338144372/solver-3707891-1338144372 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707891-1338144372.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.00 2.00 2/174 30062
/proc/meminfo: memFree=28422076/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=10928 CPUtime=0 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 280562658 11190272 291 33554432000 134512640 137138936 4291183632 4291176476 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 2732 291 185 642 0 2088 0

[startup+0.027849 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 30062
/proc/meminfo: memFree=28422076/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=12340 CPUtime=0.02 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 604 0 0 0 2 0 0 0 20 0 1 0 280562658 12636160 538 33554432000 134512640 137138936 4291183632 4291181320 135444632 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 3085 538 278 642 0 2441 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12340

[startup+0.100275 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 30062
/proc/meminfo: memFree=28422076/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=12608 CPUtime=0.09 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 789 0 0 0 9 0 0 0 20 0 1 0 280562658 12910592 634 33554432000 134512640 137138936 4291183632 4291181344 134768848 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 3152 634 278 642 0 2508 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12608

[startup+0.30024 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 30062
/proc/meminfo: memFree=28422076/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=13348 CPUtime=0.29 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 1283 0 0 0 29 0 0 0 20 0 1 0 280562658 13668352 741 33554432000 134512640 137138936 4291183632 4291181532 135440921 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 3337 741 278 642 0 2693 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13348

[startup+0.700238 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 30062
/proc/meminfo: memFree=28422076/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=13340 CPUtime=0.69 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 4730 0 0 0 69 0 0 0 20 0 1 0 280562658 13660160 623 33554432000 134512640 137138936 4291183632 4291181584 135070983 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 3335 623 283 642 0 2691 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13340

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30063
/proc/meminfo: memFree=28418488/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=13292 CPUtime=1.49 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 8462 0 0 0 148 1 0 0 20 0 1 0 280562658 13611008 677 33554432000 134512640 137138936 4291183632 4291180720 135435569 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 3323 677 283 642 0 2679 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13292

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30063
/proc/meminfo: memFree=28417124/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=13740 CPUtime=3.09 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 20236 0 0 0 306 3 0 0 20 0 1 0 280562658 14069760 572 33554432000 134512640 137138936 4291183632 4291181480 135466266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 3435 572 283 642 0 2791 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13740

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30063
/proc/meminfo: memFree=28415636/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=13456 CPUtime=6.29 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 48519 0 0 0 622 7 0 0 20 0 1 0 280562658 13778944 620 33554432000 134512640 137138936 4291183632 4291180720 135434994 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 3364 620 288 642 0 2720 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13456

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30063
/proc/meminfo: memFree=28414164/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=14676 CPUtime=12.69 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 111922 0 0 0 1252 17 0 0 20 0 1 0 280562658 15028224 927 33554432000 134512640 137138936 4291183632 4291180720 135434996 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 3669 927 292 642 0 3025 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14676

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30063
/proc/meminfo: memFree=28413172/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=16524 CPUtime=25.48 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 223591 0 0 0 2514 34 0 0 20 0 1 0 280562658 16920576 1226 33554432000 134512640 137138936 4291183632 4291181680 135344341 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 4131 1226 292 642 0 3487 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16524

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30063
/proc/meminfo: memFree=28399944/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=32316 CPUtime=51.09 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 685999 0 0 0 5003 106 0 0 20 0 1 0 280562658 33091584 5154 33554432000 134512640 137138936 4291183632 4291181344 134768848 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 8079 5154 292 642 0 7435 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32316

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30063
/proc/meminfo: memFree=28351344/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=77408 CPUtime=102.25 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 1730124 0 0 0 9933 292 0 0 20 0 1 0 280562658 79265792 16497 33554432000 134512640 137138936 4291183632 4291180992 135434240 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 19352 16501 292 642 0 18708 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 77408

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30063
/proc/meminfo: memFree=28328776/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=98732 CPUtime=162.24 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 2657413 0 0 0 15705 519 0 0 20 0 1 0 280562658 101101568 22358 33554432000 134512640 137138936 4291183632 4291182748 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 24683 22358 292 642 0 24039 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 98732

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 30063
/proc/meminfo: memFree=28318756/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=110888 CPUtime=222.21 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 3491361 0 0 0 21486 735 0 0 20 0 1 0 280562658 113549312 24852 33554432000 134512640 137138936 4291183632 4291181432 136506636 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 27722 24852 292 642 0 27078 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 110888

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 30066
/proc/meminfo: memFree=28305044/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=123968 CPUtime=282.21 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 4358614 0 0 0 27261 960 0 0 20 0 1 0 280562658 126943232 28296 33554432000 134512640 137138936 4291183632 4291181256 136506636 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 30992 28297 292 642 0 30348 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 123968

[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 30067
/proc/meminfo: memFree=28302448/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=125100 CPUtime=342.19 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 5117488 0 0 0 33052 1167 0 0 20 0 1 0 280562658 128102400 28950 33554432000 134512640 137138936 4291183632 4291182672 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 31275 28950 292 642 0 30631 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 125100

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 30067
/proc/meminfo: memFree=28302432/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=127312 CPUtime=402.18 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 5946704 0 0 0 38814 1404 0 0 20 0 1 0 280562658 130367488 28958 33554432000 134512640 137138936 4291183632 4291181432 136506636 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 31828 28958 292 642 0 31184 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 127312

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30067
/proc/meminfo: memFree=28302556/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=125096 CPUtime=462.18 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 6755735 0 0 0 44587 1631 0 0 20 0 1 0 280562658 128098304 28949 33554432000 134512640 137138936 4291183632 4291182560 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 31656 28955 292 642 0 31012 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 125096

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30067
/proc/meminfo: memFree=28302060/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=127180 CPUtime=522.17 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 7273031 0 0 0 50469 1748 0 0 20 0 1 0 280562658 130232320 28936 33554432000 134512640 137138936 4291183632 4291181320 135445326 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 31795 28936 292 642 0 31151 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 127180

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30067
/proc/meminfo: memFree=28301936/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=125908 CPUtime=582.15 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 7772364 0 0 0 56319 1896 0 0 20 0 1 0 280562658 128929792 28932 33554432000 134512640 137138936 4291183632 4291181752 134733524 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 31477 28932 292 642 0 30833 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 125908

[startup+642.3 s]

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

/proc/meminfo: memFree=28341228/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=135872 CPUtime=1062.08 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 11809147 0 0 0 103034 3174 0 0 20 0 1 0 280562658 139132928 31643 33554432000 134512640 137138936 4291183632 4291182304 134588720 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 33968 31643 292 642 0 33324 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 135872

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 30133
/proc/meminfo: memFree=28298656/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=140908 CPUtime=1122.07 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 12466328 0 0 0 108854 3353 0 0 20 0 1 0 280562658 144289792 32281 33554432000 134512640 137138936 4291183632 4291181616 135447430 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 35227 32281 292 642 0 34583 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 140908

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 30133
/proc/meminfo: memFree=28277212/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=137208 CPUtime=1182.05 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 13071075 0 0 0 114683 3522 0 0 20 0 1 0 280562658 140500992 31977 33554432000 134512640 137138936 4291183632 4291178952 134599706 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 34302 31977 292 642 0 33658 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 137208

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 30135
/proc/meminfo: memFree=28261988/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=139924 CPUtime=1242.05 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 13465915 0 0 0 120566 3639 0 0 20 0 1 0 280562658 143282176 32097 33554432000 134512640 137138936 4291183632 4291181320 135444632 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 34981 32097 292 642 0 34337 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 139924

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30135
/proc/meminfo: memFree=28261592/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=138464 CPUtime=1302.05 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 13528288 0 0 0 126549 3656 0 0 20 0 1 0 280562658 141787136 32009 33554432000 134512640 137138936 4291183632 4291181552 135446760 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 34616 32009 292 642 0 33972 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 138464

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30135
/proc/meminfo: memFree=28262396/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=136808 CPUtime=1362.03 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 13536861 0 0 0 132542 3661 0 0 20 0 1 0 280562658 140091392 31787 33554432000 134512640 137138936 4291183632 4291182560 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 34202 31787 292 642 0 33558 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 136808

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30135
/proc/meminfo: memFree=28262892/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=136808 CPUtime=1422.03 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 13544757 0 0 0 138536 3667 0 0 20 0 1 0 280562658 140091392 31789 33554432000 134512640 137138936 4291183632 4291182528 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 34202 31789 292 642 0 33558 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 136808

[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 30138
/proc/meminfo: memFree=28251476/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=136808 CPUtime=1482.01 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 13544761 0 0 0 144531 3670 0 0 20 0 1 0 280562658 140091392 31793 33554432000 134512640 137138936 4291183632 4291181776 134912018 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 34202 31793 292 642 0 33558 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 136808

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 30139
/proc/meminfo: memFree=28245904/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=136992 CPUtime=1542 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 13544779 0 0 0 150525 3675 0 0 20 0 1 0 280562658 140279808 31811 33554432000 134512640 137138936 4291183632 4291182748 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 34248 31811 292 642 0 33604 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 136992

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 30139
/proc/meminfo: memFree=28245896/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=138092 CPUtime=1601.99 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 13625325 0 0 0 156501 3698 0 0 20 0 1 0 280562658 141406208 31775 33554432000 134512640 137138936 4291183632 4291181840 134840719 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 34093 31768 292 642 0 33449 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 138092

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30139
/proc/meminfo: memFree=28230636/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=142564 CPUtime=1661.99 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 14418050 0 0 0 162293 3906 0 0 20 0 1 0 280562658 145985536 33316 33554432000 134512640 137138936 4291183632 4291182560 134542243 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 35641 33316 292 642 0 34997 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 142564

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30139
/proc/meminfo: memFree=28230504/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=145008 CPUtime=1721.97 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 15187324 0 0 0 168079 4118 0 0 20 0 1 0 280562658 148488192 33321 33554432000 134512640 137138936 4291183632 4291181432 136506636 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 36252 33321 292 642 0 35608 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 145008

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30139
/proc/meminfo: memFree=28229636/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=145020 CPUtime=1781.96 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 15925648 0 0 0 173872 4324 0 0 20 0 1 0 280562658 148500480 33320 33554432000 134512640 137138936 4291183632 4291181704 136506636 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 36255 33320 292 642 0 35611 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 145020

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30139
/proc/meminfo: memFree=28229200/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=145500 CPUtime=1791.57 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 16013886 0 0 0 174811 4346 0 0 20 0 1 0 280562658 148992000 33344 33554432000 134512640 137138936 4291183632 4291181088 134720968 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 36375 33344 292 642 0 35731 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 145500

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30139
/proc/meminfo: memFree=28228944/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=145036 CPUtime=1794.77 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 16061155 0 0 0 175118 4359 0 0 20 0 1 0 280562658 148516864 33321 33554432000 134512640 137138936 4291183632 4291181840 134840743 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 36259 33321 292 642 0 35615 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 145036

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30139
/proc/meminfo: memFree=28229316/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=142544 CPUtime=1796.36 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 16084773 0 0 0 175271 4365 0 0 20 0 1 0 280562658 145965056 33311 33554432000 134512640 137138936 4291183632 4291182172 136520918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 35636 33311 292 642 0 34992 0
Current children cumulated CPU time (s) 1796.36
Current children cumulated vsize (KiB) 142544

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30139
/proc/meminfo: memFree=28229316/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=143484 CPUtime=1797.16 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 16096524 0 0 0 175347 4369 0 0 20 0 1 0 280562658 146927616 33313 33554432000 134512640 137138936 4291183632 4291181212 136700814 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 36067 33317 292 642 0 35423 0
Current children cumulated CPU time (s) 1797.16
Current children cumulated vsize (KiB) 143484

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30139
/proc/meminfo: memFree=28229316/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=145052 CPUtime=1797.56 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 16101810 0 0 0 175386 4370 0 0 20 0 1 0 280562658 148533248 33321 33554432000 134512640 137138936 4291183632 4291181684 135443635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 36263 33321 292 642 0 35619 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 145052

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30139
/proc/meminfo: memFree=28229316/32873852 swapFree=6848/6848
[pid=30062] ppid=30060 vsize=145032 CPUtime=1797.96 cores=0,2,4,6
/proc/30062/stat : 30062 (bsolo) R 30060 30062 26585 0 -1 4202496 16107720 0 0 0 175425 4371 0 0 20 0 1 0 280562658 148512768 33320 33554432000 134512640 137138936 4291183632 4291181840 134840694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30062/statm: 36258 33320 292 642 0 35614 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 145032

Child status: 0
Real time (s): 1798.34
CPU time (s): 1798.01
CPU user time (s): 1754.29
CPU system time (s): 43.7184
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 146184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.29
system time used= 43.7184
maximum resident set size= 134264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16108237
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= 83
involuntary context switches= 2001

runsolver used 2.6496 second user time and 7.27189 second system time

The end

Launcher Data

Begin job on node129 at 2012-05-27 20:46:12
IDJOB=3707891
IDBENCH=1949
IDSOLVER=2286
FILE ID=node129/3707891-1338144372
RUNJOBID= node129-1338138643-28481
PBS_JOBID= 14624488
Free space on /tmp= 71204 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707891-1338144372/watcher-3707891-1338144372 -o /tmp/evaluation-result-3707891-1338144372/solver-3707891-1338144372 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707891-1338144372.opb

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

MD5SUM BENCH= 90154dd1b8a90675a35ad37cbef52f77
RANDOM SEED=391537779

node129.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		: 2666.957
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	: 5333.91
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		: 2666.957
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		: 2666.957
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		: 2666.957
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.91
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		: 2666.957
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.90
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		: 2666.957
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.92
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		: 2666.957
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.90
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		: 2666.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28425088 kB
Buffers:          381372 kB
Cached:          3117964 kB
SwapCached:            0 kB
Active:          1312780 kB
Inactive:        2277792 kB
Active(anon):      93548 kB
Inactive(anon):        0 kB
Active(file):    1219232 kB
Inactive(file):  2277792 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3900 kB
Writeback:             0 kB
AnonPages:         85360 kB
Mapped:            15444 kB
Shmem:               204 kB
Slab:             719276 kB
SReclaimable:     161884 kB
SUnreclaim:       557392 kB
KernelStack:        1456 kB
PageTables:         4140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     212912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71200 MiB
End job on node129 at 2012-05-27 21:16:11