Trace number 3462822

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT-24 1798.05 1798

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_2.opb
MD5SUM219f407da86957d900e068170e9af8b6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-33
Best CPU time to get the best result obtained on this benchmark1797.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -32
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12440
Sum of products size (including duplicates)24880
Number of different products6220
Sum of products size12440

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-3462822-1307183565.opb
0.00/0.00	c File size is 166850 bytes.
0.00/0.02	c Highest Coefficient sum: 400
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.027 s
0.00/0.03	c Var: 12840 Constr: 25482 12640/402/12440 Lit: 88280 Watch. Lit: 75442
0.00/0.03	c Obj. Vars: 200 (1.55763 % of total variables)
18.29/18.34	c Pre-processing Time: 18.343 s
18.29/18.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.34	c        0  12840    25482    88280    3    75442  208763      0      0 18.34
18.29/18.34	c Switching off lower bounding mode.
18.29/18.35	o -1
18.29/18.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.37	c        0  12840    25483    88480    3    75445  208897      1      0 18.36
18.29/18.37	o -2
18.29/18.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.38	c        1  12840    25486    89080    3    75454  208963      4      0 18.37
18.29/18.38	o -3
18.29/18.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.39	c        3  12840    25490    89742    3    75467  209030      8      0 18.38
18.29/18.39	o -4
18.40/18.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.40/18.40	c        4  12840    25493    90379    3    75480  209097     11      0 18.39
18.40/18.40	o -5
18.40/18.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.40/18.41	c        6  12840    25497    91213    3    75497  209163     15      0 18.41
18.40/18.41	o -6
18.40/18.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.40/18.42	c        8  12840    25501    92089    3    75516  209230     19      0 18.42
18.40/18.42	o -7
18.40/18.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.40/18.43	c       14  12840    25509    93585    3    75545  209297     27      0 18.43
18.40/18.43	o -8
18.40/18.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.40/18.45	c       22  12840    25519    95064    3    75580  209363     37      1 18.44
18.40/18.45	o -9
18.40/18.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.40/18.47	c       39  12840    25538    96780    3    75635  209430     56      2 18.46
18.40/18.47	o -10
18.40/18.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.40/18.48	c       56  12840    25557    99072    3    75692  209497     75      3 18.47
18.40/18.48	o -11
18.49/18.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.50	c       93  12840    25596   103495    4    75791  209563    114      5 18.49
18.49/18.50	o -12
18.49/18.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.52	c      123  12840    25628   107127    4    75878  209630    146      6 18.51
18.49/18.52	o -13
18.49/18.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.55	c      157  12840    25664   110573    4    75975  209697    182      8 18.53
18.49/18.55	o -14
18.49/18.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.56	c      194  12840    25703   114575    4    76080  209763    221     10 18.55
18.49/18.56	o -15
18.49/18.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.57	c      224  12840    25735   115799    4    76173  209763    253     12 18.57
18.49/18.57	o -16
18.49/18.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.60	c      237  12840    25750   116599    4    76234  209763    268     12 18.58
18.49/18.60	o -17
18.59/18.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.59/18.62	c      292  12840    25807   124064    4    76381  209763    325     15 18.61
18.59/18.62	o -18
18.59/18.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.59/18.64	c      308  12840    25825   125062    4    76452  209763    343     16 18.63
18.59/18.64	o -19
18.59/18.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.59/18.66	c      329  12840    25848   125899    4    76535  209763    366     17 18.65
18.59/18.66	o -20
21.89/21.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.89/21.98	c      339  12840    25860   126698    4    76598  209763    378     18 18.66
21.89/21.98	c      439  12840    25960   144254    5    76798  230740    478     23 18.71
21.89/21.98	c      689  12840    26211   168634    6    77320  253815    729     36 18.82
21.89/21.98	c     1164  12840    26691   263000    9    78280  279197   1209     61 18.97
21.89/21.98	c     1977  12840    27507   422598   15    79912  307117   2025    102 19.31
21.89/21.98	c     3297  12840    28831   684041   23    82560  337829   3349    165 19.93
21.89/21.98	c     5378  12840    30918  1087042   35    86734  371612   5436    252 21.27
21.89/21.98	o -21
21.89/22.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.89/22.01	c     6037  12840    31584  1192346   37    88087  209763   6102    274 21.99
21.89/22.01	o -22
28.99/29.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
28.99/29.08	c     6057  12840    31606  1193355   37    88174  209763   6124    275 22.01
28.99/29.08	c     6157  12840    31707  1194591   37    88398  230740   6225    279 22.06
28.99/29.08	c     6407  12840    31957  1244384   38    88898  253815   6475    288 22.17
28.99/29.08	c     6882  12840    32434  1337983   41    89852  279197   6952    306 22.45
28.99/29.08	c     7695  12840    33248  1498383   45    91480  307117   7766    335 22.91
28.99/29.08	c     9015  12840    34570  1758805   50    94124  337829   9088    379 23.76
28.99/29.08	c    11096  12840    36652  2165921   59    98288  371612  11170    437 25.35
28.99/29.08	c    14320  12840    39883  2786678   69   104750  408774  14401    507 28.20
28.99/29.08	o -23
1638.93/1638.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1638.93/1638.98	c    15515  12840    41088  2961843   72   107183  209763  15606    533 29.09
1638.93/1638.98	c    15615  12840    41190  2969180   72   107410  230740  15708    535 29.16
1638.93/1638.98	c    15865  12840    41447  2989281   72   107924  253815  15965    534 29.66
1638.93/1638.98	c    16340  12840    41928  3050969   72   109185  279197  16446    546 29.92
1638.93/1638.98	c    17153  12840    42743  3211782   75   110815  307117  17261    565 30.34
1638.93/1638.98	c    18473  12840    44064  3472033   78   113457  337829  18582    594 31.05
1638.93/1638.98	c    20554  12840    46152  3878382   84   117633  371612  20670    636 32.30
1638.93/1638.98	c    23777  12840    49382  4466485   90   124093  408774  23900    694 34.26
1638.93/1638.98	c    28713  12840    54491  5424241   99   134825  449652  29009    753 38.11
1638.93/1638.98	c    36219  12840    62288  7059524  113   150574  494618  36806    809 44.75
1638.93/1638.98	c    47580  12840    74074  9579753  129   174766  544080  48592    856 55.58
1638.93/1638.98	c    64724  12840    91950 13381953  145   211280  598489  66468    845 76.51
1638.93/1638.98	c    90543  12840   118907 19209590  161   266210  658338  93425    758 119.30
1638.93/1638.98	c   129375  12840   159383 28373982  178   349269  724172 133901    609 212.42
1638.93/1638.98	c   187727  12840   220519 41874993  189   472635  796590 195037    460 407.58
1638.93/1638.98	c   275360  12840   312209 62269163  199   657572  876250 286727    350 785.63
1638.93/1638.98	c Reducing formula size due to memory constraints
1638.93/1638.98	c Memory Limit: 1000.00 MB  Used: 1000.90 MB
1638.93/1638.98	c   406912  12840    67854  9671715  142   161801   49367  42372    278 1458.96
1638.93/1638.98	o -24
1797.93/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.95	c   538349  12840    61974  8452982  136   150295  209763  36492    328 1639.03
1797.93/1797.95	c   538449  12840    62086  8484237  136   150564  230740  36604    328 1639.18
1797.93/1797.95	c   538699  12840    62343  8546791  137   151078  253815  36861    328 1639.46
1797.93/1797.95	c   539174  12840    62843  8650544  137   152106  279197  37361    328 1640.09
1797.93/1797.95	c   539987  12840    63696  8831700  138   153820  307117  38214    329 1640.92
1797.93/1797.95	c   541307  12840    65085  9142504  140   156608  337829  39603    329 1642.52
1797.93/1797.95	c   543388  12840    67251  9636362  143   161120  371612  41769    330 1645.36
1797.93/1797.95	c   546611  12840    70624 10379276  146   167970  408774  45142    331 1649.90
1797.93/1797.95	c   551547  12840    75696 11449588  151   178156  449652  50214    333 1655.76
1797.93/1797.95	c   559053  12840    83505 13205679  158   194004  494618  58023    335 1666.23
1797.93/1797.95	c   570414  12840    95280 15847455  166   217937  544080  69798    338 1685.47
1797.93/1797.95	c   587558  12840   113131 19792419  174   254365  598489  87649    340 1727.05
1797.93/1797.95	c Resources Exceeded
1797.93/1797.95	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 -x291 -x320 -x389 -x376 -x262 -x299 -x265 -x278 -x346 -x228 -x343 -x380 -x350 -x294 -x238 -x250 -x255 -x374 x368 -x331 -x203 -x373 -x370 -x316 -x392 -x208 -x209 x223 -x277 x283 -x292 -x327 x337 -x339 -x356 -x359 -x360 -x382 -x386 -x399 -x201 -x211 -x231 -x297 x264 -x214 -x387 -x383 x362 x397 x253 -x378 -x274 -x398 -x358 x329 -x307 -x261 -x366 -x357 x315 -x276 -x245 -x204 -x217 -x234 -x239 -x241 -x249 -x260 -x263 -x287 -x341 -x202 -x246 -x400 -x367 x361 -x310 x324 -x349 -x206 -x363 -x344 -x322 -x317 x257 -x318 -x369 x391 -x311 x371 -x205 -x218 -x225 -x227 -x236 -x242 -x296 -x333 -x348 -x395 -x385 -x304 -x252 x224 -x282 -x309 -x319 -x219 -x300 -x210 -x222 -x281 -x288 -x298 -x330 -x351 -x379 -x393 -x347 -x212 -x284 -x235 -x390 -x355 -x306 x275 -x273 -x342 -x221 -x232 -x244 -x270 -x303 -x323 -x372 -x269 -x280 -x321 -x267 -x213 x240 -x243 -x254 -x285 -x314 -x345 -x352 -x332 -x353 -x279 -x268 -x293 -x340 x365 -x272 -x230 -x248 -x286 x338 -x364 x207 -x354 -x336 -x302 -x220 -x229 -x259 -x271 -x266 -x308 -x381 -x251 x305 -x258 -x216 -x326 x377 -x313 -x226 -x394 -x215 -x312 -x388 -x328 -x396 -x247 x237 -x256 -x325 -x290 -x375 -x295 -x289 -x233 -x301 -x334 -x335 -x384 
1797.93/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.95	c   64   613296 209452  1173084   140143 25849857 114661    341 1798.00
1797.93/1797.95	c Objective: -24
1797.93/1797.95	s SATISFIABLE
1797.93/1797.95	c Total time: 1798 s

Verifier Data 

OK	-24

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462822-1307183565/watcher-3462822-1307183565 -o /tmp/evaluation-result-3462822-1307183565/solver-3462822-1307183565 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462822-1307183565.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.08 2.07 2.02 2/550 346
/proc/meminfo: memFree=20085124/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=11096 CPUtime=0 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 308 0 0 0 0 0 0 0 23 0 1 0 829956887 11362304 262 33554432000 134512640 137138936 4293439936 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 2774 262 173 642 0 2089 0

[startup+0.079363 s]
/proc/loadavg: 2.08 2.07 2.02 2/550 346
/proc/meminfo: memFree=20085124/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=17572 CPUtime=0.07 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 2024 0 0 0 7 0 0 0 23 0 1 0 829956887 17993728 1937 33554432000 134512640 137138936 4293439936 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 4393 1937 185 642 0 3749 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17572

[startup+0.100357 s]
/proc/loadavg: 2.08 2.07 2.02 2/550 346
/proc/meminfo: memFree=20085124/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=17572 CPUtime=0.09 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 2024 0 0 0 9 0 0 0 23 0 1 0 829956887 17993728 1937 33554432000 134512640 137138936 4293439936 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 4393 1937 185 642 0 3749 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17572

[startup+0.300333 s]
/proc/loadavg: 2.08 2.07 2.02 2/550 346
/proc/meminfo: memFree=20085124/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=17572 CPUtime=0.29 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 2025 0 0 0 29 0 0 0 25 0 1 0 829956887 17993728 1938 33554432000 134512640 137138936 4293439936 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 4393 1938 185 642 0 3749 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17572

[startup+0.700257 s]
/proc/loadavg: 2.08 2.07 2.02 2/550 346
/proc/meminfo: memFree=20085124/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=17572 CPUtime=0.69 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 2025 0 0 0 69 0 0 0 25 0 1 0 829956887 17993728 1938 33554432000 134512640 137138936 4293439936 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 4393 1938 185 642 0 3749 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17572

[startup+1.50111 s]
/proc/loadavg: 2.08 2.07 2.02 3/551 347
/proc/meminfo: memFree=20077080/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=17572 CPUtime=1.49 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 2025 0 0 0 149 0 0 0 25 0 1 0 829956887 17993728 1938 33554432000 134512640 137138936 4293439936 18446744073709551615 136504509 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 4393 1938 185 642 0 3749 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17572

[startup+3.10082 s]
/proc/loadavg: 2.08 2.07 2.02 3/551 347
/proc/meminfo: memFree=20075840/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=17572 CPUtime=3.09 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 2025 0 0 0 309 0 0 0 25 0 1 0 829956887 17993728 1938 33554432000 134512640 137138936 4293439936 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 4393 1938 185 642 0 3749 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17572

[startup+6.30024 s]
/proc/loadavg: 2.07 2.06 2.02 3/551 347
/proc/meminfo: memFree=20075584/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=17572 CPUtime=6.29 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 2025 0 0 0 629 0 0 0 25 0 1 0 829956887 17993728 1938 33554432000 134512640 137138936 4293439936 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 4393 1938 185 642 0 3749 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17572

[startup+12.7011 s]
/proc/loadavg: 2.07 2.06 2.01 3/551 347
/proc/meminfo: memFree=20074920/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=17700 CPUtime=12.69 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 2026 0 0 0 1268 1 0 0 25 0 1 0 829956887 18124800 1939 33554432000 134512640 137138936 4293439936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 4425 1939 185 642 0 3781 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17700

[startup+25.5007 s]
/proc/loadavg: 2.05 2.06 2.01 3/551 348
/proc/meminfo: memFree=20047276/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=46088 CPUtime=25.49 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 9564 0 0 0 2539 10 0 0 25 0 1 0 829956887 47194112 9087 33554432000 134512640 137138936 4293439936 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 11522 9087 192 642 0 10878 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46088

[startup+51.1011 s]
/proc/loadavg: 2.03 2.05 2.01 3/551 349
/proc/meminfo: memFree=19963216/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=130808 CPUtime=51.1 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 30750 0 0 0 5088 22 0 0 25 0 1 0 829956887 133947392 30273 33554432000 134512640 137138936 4293439936 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 32702 30273 192 642 0 32058 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 130808

[startup+102.321 s]
/proc/loadavg: 2.09 2.06 2.01 3/551 350
/proc/meminfo: memFree=19896488/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=242548 CPUtime=102.31 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 58687 0 0 0 10195 36 0 0 25 0 1 0 829956887 248369152 58210 33554432000 134512640 137138936 4293439936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 60637 58210 192 642 0 59993 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 242548

[startup+162.301 s]
/proc/loadavg: 2.03 2.05 2.01 3/551 351
/proc/meminfo: memFree=19897928/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=330048 CPUtime=162.29 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 80559 0 0 0 16183 46 0 0 25 0 1 0 829956887 337969152 80082 33554432000 134512640 137138936 4293439936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 82512 80082 192 642 0 81868 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 330048

[startup+222.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/551 353
/proc/meminfo: memFree=19821008/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=406292 CPUtime=222.29 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 99620 0 0 0 22174 55 0 0 25 0 1 0 829956887 416043008 99143 33554432000 134512640 137138936 4293439936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 101573 99143 192 642 0 100929 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 406292

[startup+282.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/551 355
/proc/meminfo: memFree=19764672/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=463100 CPUtime=282.3 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 113821 0 0 0 28168 62 0 0 25 0 1 0 829956887 474214400 113344 33554432000 134512640 137138936 4293439936 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 115775 113344 192 642 0 115131 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 463100

[startup+342.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/551 356
/proc/meminfo: memFree=19708460/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=519012 CPUtime=342.3 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 127790 0 0 0 34161 69 0 0 25 0 1 0 829956887 531468288 127313 33554432000 134512640 137138936 4293439936 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 129753 127313 192 642 0 129109 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 519012

[startup+402.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/551 358
/proc/meminfo: memFree=19660208/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=567640 CPUtime=402.3 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 139945 0 0 0 40155 75 0 0 25 0 1 0 829956887 581263360 139468 33554432000 134512640 137138936 4293439936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 141910 139468 192 642 0 141266 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 567640

[startup+462.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/551 359
/proc/meminfo: memFree=19565532/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=607536 CPUtime=462.3 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 149908 0 0 0 46149 81 0 0 25 0 1 0 829956887 622116864 149431 33554432000 134512640 137138936 4293439936 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 151884 149431 192 642 0 151240 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 607536

[startup+522.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/551 361
/proc/meminfo: memFree=19448932/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=646120 CPUtime=522.3 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 159551 0 0 0 52142 88 0 0 25 0 1 0 829956887 661626880 159074 33554432000 134512640 137138936 4293439936 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 161530 159074 192 642 0 160886 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 646120

[startup+582.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/551 363
/proc/meminfo: memFree=19410696/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=684112 CPUtime=582.31 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 169049 0 0 0 58137 94 0 0 25 0 1 0 829956887 700530688 168572 33554432000 134512640 137138936 4293439936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 171028 168572 192 642 0 170384 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 684112

[startup+642.301 s]

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

/proc/meminfo: memFree=19045368/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1038108 CPUtime=1122.32 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 112085 147 0 0 25 0 1 0 829956887 1063022592 257098 33554432000 134512640 137138936 4293439936 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259527 257098 192 642 0 258883 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1038108

[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/551 379
/proc/meminfo: memFree=19044960/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1038108 CPUtime=1182.32 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 118085 147 0 0 25 0 1 0 829956887 1063022592 257098 33554432000 134512640 137138936 4293439936 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259527 257098 192 642 0 258883 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1038108

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 407
/proc/meminfo: memFree=20056224/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1038108 CPUtime=1242.32 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 124085 147 0 0 25 0 1 0 829956887 1063022592 257098 33554432000 134512640 137138936 4293439936 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259527 257098 192 642 0 258883 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1038108

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 409
/proc/meminfo: memFree=20055184/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1038108 CPUtime=1302.33 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 130086 147 0 0 25 0 1 0 829956887 1063022592 257098 33554432000 134512640 137138936 4293439936 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259527 257098 192 642 0 258883 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1038108

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 410
/proc/meminfo: memFree=20054296/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1038108 CPUtime=1362.33 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 136086 147 0 0 25 0 1 0 829956887 1063022592 257098 33554432000 134512640 137138936 4293439936 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259527 257098 192 642 0 258883 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1038108

[startup+1422.32 s]
/proc/loadavg: 2.07 2.04 2.01 3/551 439
/proc/meminfo: memFree=20081504/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1038108 CPUtime=1422.35 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 142081 154 0 0 25 0 1 0 829956887 1063022592 257098 33554432000 134512640 137138936 4293439936 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259527 257098 192 642 0 258883 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1038108

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/551 441
/proc/meminfo: memFree=20054568/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1038108 CPUtime=1482.33 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 148072 161 0 0 25 0 1 0 829956887 1063022592 257098 33554432000 134512640 137138936 4293439936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259527 257098 192 642 0 258883 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1038108

[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/551 442
/proc/meminfo: memFree=20041540/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1038108 CPUtime=1542.33 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 154063 170 0 0 25 0 1 0 829956887 1063022592 257098 33554432000 134512640 137138936 4293439936 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259527 257098 192 642 0 258883 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1038108

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 444
/proc/meminfo: memFree=20031828/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1037608 CPUtime=1602.33 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 160056 177 0 0 25 0 1 0 829956887 1062510592 256978 33554432000 134512640 137138936 4293439936 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259402 256978 192 642 0 258758 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1037608

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 482
/proc/meminfo: memFree=20030072/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1037608 CPUtime=1662.33 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 166047 186 0 0 25 0 1 0 829956887 1062510592 256978 33554432000 134512640 137138936 4293439936 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259402 256978 192 642 0 258758 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1037608

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/551 493
/proc/meminfo: memFree=19869012/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1037608 CPUtime=1722.34 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 172042 192 0 0 25 0 1 0 829956887 1062510592 256978 33554432000 134512640 137138936 4293439936 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259402 256978 192 642 0 258758 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1037608

[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/551 495
/proc/meminfo: memFree=19749332/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1037608 CPUtime=1782.33 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 178037 196 0 0 25 0 1 0 829956887 1062510592 256978 33554432000 134512640 137138936 4293439936 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259402 256978 192 642 0 258758 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1037608

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

[startup+1785.5 s]
/proc/loadavg: 2.06 2.04 2.00 3/551 495
/proc/meminfo: memFree=19739660/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1037608 CPUtime=1785.54 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 178357 197 0 0 25 0 1 0 829956887 1062510592 256978 33554432000 134512640 137138936 4293439936 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259402 256978 192 642 0 258758 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1037608

[startup+1791.92 s]
/proc/loadavg: 2.06 2.03 2.00 3/551 495
/proc/meminfo: memFree=19723776/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1037608 CPUtime=1791.95 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 178998 197 0 0 25 0 1 0 829956887 1062510592 256978 33554432000 134512640 137138936 4293439936 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259402 256978 192 642 0 258758 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1037608

[startup+1795.1 s]
/proc/loadavg: 2.05 2.03 2.00 3/551 495
/proc/meminfo: memFree=19717328/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1037608 CPUtime=1795.13 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 179316 197 0 0 25 0 1 0 829956887 1062510592 256978 33554432000 134512640 137138936 4293439936 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259402 256978 192 642 0 258758 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 1037608

[startup+1796.7 s]
/proc/loadavg: 2.05 2.03 2.00 3/551 495
/proc/meminfo: memFree=19715344/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1037608 CPUtime=1796.73 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 179476 197 0 0 25 0 1 0 829956887 1062510592 256978 33554432000 134512640 137138936 4293439936 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259402 256978 192 642 0 258758 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 1037608

[startup+1797.5 s]
/proc/loadavg: 2.05 2.03 2.00 3/551 495
/proc/meminfo: memFree=19712740/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1037608 CPUtime=1797.53 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 179556 197 0 0 25 0 1 0 829956887 1062510592 256978 33554432000 134512640 137138936 4293439936 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259402 256978 192 642 0 258758 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 1037608

[startup+1797.9 s]
/proc/loadavg: 2.05 2.03 2.00 3/551 495
/proc/meminfo: memFree=19712740/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=1037608 CPUtime=1797.93 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202496 257921 0 0 0 179596 197 0 0 25 0 1 0 829956887 1062510592 256978 33554432000 134512640 137138936 4293439936 18446744073709551615 134609401 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/346/statm: 259402 256978 192 642 0 258758 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1037608

[startup+1798 s]
/proc/loadavg: 2.05 2.03 2.00 3/551 495
/proc/meminfo: memFree=19712740/32951124 swapFree=53733252/67111528
[pid=346] ppid=344 vsize=0 CPUtime=1798.04 cores=1,3,5,7
/proc/346/stat : 346 (bsolo) R 344 346 29102 0 -1 4202500 257922 0 0 0 179602 202 0 0 25 0 1 0 829956887 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/346/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798
CPU time (s): 1798.05
CPU user time (s): 1796.02
CPU system time (s): 2.02169
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1039492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.02
system time used= 2.02169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257922
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 3579

runsolver used 9.35658 second user time and 23.3674 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-04 12:32:45
IDJOB=3462822
IDBENCH=48238
IDSOLVER=1955
FILE ID=node106/3462822-1307183565
RUNJOBID= node106-1307175287-31542
PBS_JOBID= 13508822
Free space on /tmp= 73756 MiB

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

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

MD5SUM BENCH= 219f407da86957d900e068170e9af8b6
RANDOM SEED=1769455599

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20085404 kB
Buffers:        399488 kB
Cached:        6017872 kB
SwapCached:      22744 kB
Active:        6958604 kB
Inactive:      5563564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20085404 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:            3896 kB
Writeback:           0 kB
AnonPages:     6100916 kB
Mapped:          26980 kB
Slab:           192156 kB
PageTables:      79936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 168593884 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73752 MiB
End job on node106 at 2011-06-04 13:02:43