Trace number 3708420

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.01 1798.57

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 benchmark1796.73
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-3708420-1338179646.opb
0.00/0.00	c File size is 166850 bytes.
0.00/0.03	c Highest Coefficient sum: 400
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.028 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.48/18.57	c Pre-processing Time: 18.574 s
18.48/18.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.48/18.58	c        0  12840    25482    88280    3    75442  208763      0      0 18.57
18.48/18.58	c Switching off lower bounding mode.
18.48/18.59	o -1
18.59/18.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.59/18.60	c        0  12840    25483    88480    3    75445  208897      1      0 18.59
18.59/18.60	o -2
18.59/18.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.59/18.61	c        1  12840    25486    89080    3    75454  208963      4      0 18.60
18.59/18.61	o -3
18.59/18.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.59/18.63	c        3  12840    25490    89742    3    75467  209030      8      0 18.61
18.59/18.63	o -4
18.59/18.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.59/18.64	c        4  12840    25493    90379    3    75480  209097     11      0 18.63
18.59/18.64	o -5
18.59/18.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.59/18.65	c        6  12840    25497    91213    3    75497  209163     15      0 18.64
18.59/18.65	o -6
18.59/18.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.59/18.66	c        8  12840    25501    92089    3    75516  209230     19      0 18.65
18.59/18.66	o -7
18.59/18.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.59/18.67	c       14  12840    25509    93585    3    75545  209297     27      0 18.66
18.59/18.67	o -8
18.59/18.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.59/18.69	c       22  12840    25519    95064    3    75580  209363     37      1 18.67
18.59/18.69	o -9
18.69/18.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.69/18.71	c       39  12840    25538    96780    3    75635  209430     56      2 18.69
18.69/18.71	o -10
18.69/18.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.69/18.73	c       56  12840    25557    99072    3    75692  209497     75      2 18.71
18.69/18.73	o -11
18.69/18.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.69/18.75	c       93  12840    25596   103495    4    75791  209563    114      4 18.73
18.69/18.75	o -12
18.69/18.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.69/18.77	c      123  12840    25628   107127    4    75878  209630    146      6 18.75
18.69/18.77	o -13
18.69/18.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.69/18.79	c      157  12840    25664   110573    4    75975  209697    182      8 18.77
18.69/18.79	o -14
18.79/18.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.79/18.80	c      194  12840    25703   114575    4    76080  209763    221     10 18.79
18.79/18.80	o -15
18.79/18.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.79/18.82	c      224  12840    25735   115799    4    76173  209763    253     11 18.80
18.79/18.82	o -16
18.79/18.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.79/18.85	c      237  12840    25750   116599    4    76234  209763    268     12 18.82
18.79/18.85	o -17
18.79/18.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.79/18.87	c      292  12840    25807   124064    4    76381  209763    325     15 18.85
18.79/18.87	o -18
18.79/18.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.79/18.89	c      308  12840    25825   125062    4    76452  209763    343     16 18.86
18.79/18.89	o -19
18.89/18.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.89/18.90	c      329  12840    25848   125899    4    76535  209763    366     17 18.89
18.89/18.90	o -20
22.29/22.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.29/22.31	c      339  12840    25860   126698    4    76598  209763    378     17 18.90
22.29/22.31	c      439  12840    25960   144254    5    76798  230740    478     23 18.95
22.29/22.31	c      689  12840    26211   168634    6    77320  253815    729     36 19.06
22.29/22.31	c     1164  12840    26691   263000    9    78280  279197   1209     60 19.21
22.29/22.31	c     1977  12840    27507   422598   15    79912  307117   2025    101 19.56
22.29/22.31	c     3297  12840    28831   684041   23    82560  337829   3349    163 20.19
22.29/22.31	c     5378  12840    30918  1087042   35    86734  371612   5436    249 21.57
22.29/22.31	o -21
22.29/22.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.29/22.33	c     6037  12840    31584  1192346   37    88087  209763   6102    270 22.31
22.29/22.33	o -22
29.48/29.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.48/29.52	c     6057  12840    31606  1193355   37    88174  209763   6124    271 22.33
29.48/29.52	c     6157  12840    31707  1194591   37    88398  230740   6225    275 22.38
29.48/29.52	c     6407  12840    31957  1244384   38    88898  253815   6475    284 22.49
29.48/29.52	c     6882  12840    32434  1337983   41    89852  279197   6952    302 22.77
29.48/29.52	c     7695  12840    33248  1498383   45    91480  307117   7766    330 23.25
29.48/29.52	c     9015  12840    34570  1758805   50    94124  337829   9088    373 24.11
29.48/29.52	c    11096  12840    36652  2165921   59    98288  371612  11170    431 25.72
29.48/29.52	c    14320  12840    39883  2786678   69   104750  408774  14401    500 28.62
29.48/29.52	o -23
1445.68/1446.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1445.68/1446.28	c    15515  12840    41088  2961843   72   107183  209763  15606    525 29.52
1445.68/1446.28	c    15615  12840    41190  2969180   72   107410  230740  15708    527 29.59
1445.68/1446.28	c    15865  12840    41447  2989281   72   107924  253815  15965    527 30.10
1445.68/1446.28	c    16340  12840    41928  3050969   72   109185  279197  16446    538 30.36
1445.68/1446.28	c    17153  12840    42743  3211782   75   110815  307117  17261    557 30.78
1445.68/1446.28	c    18473  12840    44064  3472033   78   113457  337829  18582    586 31.51
1445.68/1446.28	c    20554  12840    46152  3878382   84   117633  371612  20670    626 32.79
1445.68/1446.28	c    23777  12840    49382  4466485   90   124093  408774  23900    683 34.79
1445.68/1446.28	c    28713  12840    54491  5424241   99   134825  449652  29009    741 38.73
1445.68/1446.28	c    36219  12840    62288  7059524  113   150574  494618  36806    795 45.52
1445.68/1446.28	c    47580  12840    74074  9579753  129   174766  544080  48592    841 56.54
1445.68/1446.28	c    64724  12840    91950 13381953  145   211280  598489  66468    830 77.97
1445.68/1446.28	c    90543  12840   118907 19209590  161   266210  658338  93425    744 121.69
1445.68/1446.28	c   129375  12840   159383 28373982  178   349269  724172 133901    596 216.86
1445.68/1446.28	c   187727  12840   220519 41874993  189   472635  796590 195037    450 417.04
1445.68/1446.28	c   275360  12840   312209 62269163  199   657572  876250 286727    354 776.26
1445.68/1446.28	c Reducing formula size due to memory constraints
1445.68/1446.28	c Memory Limit: 1000.00 MB  Used: 1000.90 MB
1445.68/1446.28	c   406912  12840    67854  9671715  142   161801   49367  42372    314 1294.95
1445.68/1446.28	o -24
1797.93/1798.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.56	c   538349  12840    61974  8452982  136   150295  209763  36492    372 1445.77
1797.93/1798.56	c   538449  12840    62086  8484237  136   150564  230740  36604    372 1445.90
1797.93/1798.56	c   538699  12840    62343  8546791  137   151078  253815  36861    372 1446.15
1797.93/1798.56	c   539174  12840    62843  8650544  137   152106  279197  37361    372 1446.70
1797.93/1798.56	c   539987  12840    63696  8831700  138   153820  307117  38214    373 1447.45
1797.93/1798.56	c   541307  12840    65085  9142504  140   156608  337829  39603    373 1448.85
1797.93/1798.56	c   543388  12840    67251  9636362  143   161120  371612  41769    374 1451.39
1797.93/1798.56	c   546611  12840    70624 10379276  146   167970  408774  45142    375 1455.42
1797.93/1798.56	c   551547  12840    75696 11449588  151   178156  449652  50214    377 1460.51
1797.93/1798.56	c   559053  12840    83505 13205679  158   194004  494618  58023    380 1469.71
1797.93/1798.56	c   570414  12840    95280 15847455  166   217937  544080  69798    383 1486.70
1797.93/1798.56	c   587558  12840   113131 19792419  174   254365  598489  87649    385 1523.42
1797.93/1798.56	c   613377  12840   140227 25867075  184   309570  658338 114745    386 1586.24
1797.93/1798.56	c   652209  12840   180979 35083441  193   392571  724172 155497    385 1693.63
1797.93/1798.56	c Resources Exceeded
1797.93/1798.57	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/1798.57	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.57	c   66   682506 232363  1292079   212923 42377179 187441    379 1798.00
1797.93/1798.57	c Objective: -24
1797.93/1798.57	s SATISFIABLE
1797.93/1798.57	c Total time: 1798 s

Verifier Data 

OK	-24

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-3708420-1338179646/watcher-3708420-1338179646 -o /tmp/evaluation-result-3708420-1338179646/solver-3708420-1338179646 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708420-1338179646.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 3/176 31349
/proc/meminfo: memFree=27166236/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=11508 CPUtime=0 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 409 0 0 0 0 0 0 0 20 0 1 0 284090049 11784192 363 33554432000 134512640 137138936 4290136736 4290134888 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 2877 363 177 642 0 2192 0

[startup+0.097312 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31349
/proc/meminfo: memFree=27166236/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=17584 CPUtime=0.09 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 2024 0 0 0 9 0 0 0 20 0 1 0 284090049 18006016 1937 33554432000 134512640 137138936 4290136736 4289980952 136505202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 4396 1937 185 642 0 3752 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17584

[startup+0.100192 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31349
/proc/meminfo: memFree=27166236/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=17584 CPUtime=0.09 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 2024 0 0 0 9 0 0 0 20 0 1 0 284090049 18006016 1937 33554432000 134512640 137138936 4290136736 4289981168 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 4396 1937 185 642 0 3752 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17584

[startup+0.300119 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31349
/proc/meminfo: memFree=27166236/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=17584 CPUtime=0.29 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 2025 0 0 0 29 0 0 0 20 0 1 0 284090049 18006016 1938 33554432000 134512640 137138936 4290136736 4289981388 136296960 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 4396 1938 185 642 0 3752 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17584

[startup+0.700114 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31349
/proc/meminfo: memFree=27166236/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=17584 CPUtime=0.69 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 2025 0 0 0 69 0 0 0 20 0 1 0 284090049 18006016 1938 33554432000 134512640 137138936 4290136736 4289981356 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 4396 1938 185 642 0 3752 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17584

[startup+1.50011 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31350
/proc/meminfo: memFree=27158624/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=17584 CPUtime=1.49 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 2025 0 0 0 149 0 0 0 20 0 1 0 284090049 18006016 1938 33554432000 134512640 137138936 4290136736 4289981168 134541971 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 4396 1938 185 642 0 3752 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17584

[startup+3.10012 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31350
/proc/meminfo: memFree=27157880/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=17584 CPUtime=3.09 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 2025 0 0 0 309 0 0 0 20 0 1 0 284090049 18006016 1938 33554432000 134512640 137138936 4290136736 4289981092 136511078 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 4396 1938 185 642 0 3752 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17584

[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31350
/proc/meminfo: memFree=27155756/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=17584 CPUtime=6.29 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 2025 0 0 0 629 0 0 0 20 0 1 0 284090049 18006016 1938 33554432000 134512640 137138936 4290136736 4289981168 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 4396 1938 185 642 0 3752 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17584

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31350
/proc/meminfo: memFree=27152564/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=17712 CPUtime=12.69 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 2026 0 0 0 1269 0 0 0 20 0 1 0 284090049 18137088 1939 33554432000 134512640 137138936 4290136736 4289981388 136296960 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 4428 1939 185 642 0 3784 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17712

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31350
/proc/meminfo: memFree=27120224/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=45040 CPUtime=25.49 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 9279 0 0 0 2542 7 0 0 20 0 1 0 284090049 46120960 8802 33554432000 134512640 137138936 4290136736 4290135664 134543220 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 11260 8802 192 642 0 10616 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45040

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31350
/proc/meminfo: memFree=26909648/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=128504 CPUtime=51.08 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 30170 0 0 0 5093 15 0 0 20 0 1 0 284090049 131588096 29693 33554432000 134512640 137138936 4290136736 4290135852 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 32126 29693 192 642 0 31482 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 128504

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31351
/proc/meminfo: memFree=26696416/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=238808 CPUtime=102.28 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 57746 0 0 0 10201 27 0 0 20 0 1 0 284090049 244539392 57269 33554432000 134512640 137138936 4290136736 4290135852 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 59702 57269 192 642 0 59058 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 238808

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31351
/proc/meminfo: memFree=26610280/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=325832 CPUtime=162.26 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 79476 0 0 0 16189 37 0 0 20 0 1 0 284090049 333651968 78999 33554432000 134512640 137138936 4290136736 4290135664 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 81458 78999 192 642 0 80814 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 325832

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31351
/proc/meminfo: memFree=26535668/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=400092 CPUtime=222.26 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 98047 0 0 0 22181 45 0 0 20 0 1 0 284090049 409694208 97570 33554432000 134512640 137138936 4290136736 4290135664 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 100023 97570 192 642 0 99379 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 400092

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31351
/proc/meminfo: memFree=26477664/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=457976 CPUtime=282.24 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 112512 0 0 0 28173 51 0 0 20 0 1 0 284090049 468967424 112035 33554432000 134512640 137138936 4290136736 4290135808 134543862 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 114494 112035 192 642 0 113850 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 457976

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31351
/proc/meminfo: memFree=26422652/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=512808 CPUtime=342.23 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 126220 0 0 0 34164 59 0 0 20 0 1 0 284090049 525115392 125743 33554432000 134512640 137138936 4290136736 4290135664 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 128202 125743 192 642 0 127558 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 512808

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31355
/proc/meminfo: memFree=26375612/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=560392 CPUtime=402.22 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 138116 0 0 0 40158 64 0 0 20 0 1 0 284090049 573841408 137639 33554432000 134512640 137138936 4290136736 4290135664 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 140098 137639 192 642 0 139454 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 560392

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31355
/proc/meminfo: memFree=26333704/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=602140 CPUtime=462.2 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 148590 0 0 0 46151 69 0 0 20 0 1 0 284090049 616591360 148098 33554432000 134512640 137138936 4290136736 4290135632 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 150535 148098 192 642 0 149891 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 602140

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31355
/proc/meminfo: memFree=26296036/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=640080 CPUtime=522.17 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 158133 0 0 0 52142 75 0 0 20 0 1 0 284090049 655441920 157594 33554432000 134512640 137138936 4290136736 4290135852 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 160020 157594 192 642 0 159376 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 640080

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31355
/proc/meminfo: memFree=26255764/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=679796 CPUtime=582.13 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 168107 0 0 0 58130 83 0 0 20 0 1 0 284090049 696111104 167520 33554432000 134512640 137138936 4290136736 4290135632 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 169949 167520 192 642 0 169305 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 679796

[startup+642.3 s]

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

/proc/meminfo: memFree=25895280/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1038120 CPUtime=1061.84 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258386 0 0 0 106047 137 0 0 20 0 1 0 284090049 1063034880 257099 33554432000 134512640 137138936 4290136736 4290135616 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259530 257099 192 642 0 258886 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 1038120

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31360
/proc/meminfo: memFree=25895832/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1038120 CPUtime=1121.83 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 112046 137 0 0 20 0 1 0 284090049 1063034880 257099 33554432000 134512640 137138936 4290136736 4290135616 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259530 257099 192 642 0 258886 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 1038120

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31360
/proc/meminfo: memFree=25895956/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1038120 CPUtime=1181.82 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 118045 137 0 0 20 0 1 0 284090049 1063034880 257099 33554432000 134512640 137138936 4290136736 4290135616 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259530 257099 192 642 0 258886 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1038120

[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31360
/proc/meminfo: memFree=25895832/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1038120 CPUtime=1241.81 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 124042 139 0 0 20 0 1 0 284090049 1063034880 257099 33554432000 134512640 137138936 4290136736 4290135232 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259530 257099 192 642 0 258886 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 1038120

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31361
/proc/meminfo: memFree=25895836/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1038120 CPUtime=1301.8 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 130035 145 0 0 20 0 1 0 284090049 1063034880 257099 33554432000 134512640 137138936 4290136736 4290135852 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259530 257099 192 642 0 258886 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1038120

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31361
/proc/meminfo: memFree=25896084/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1038120 CPUtime=1361.79 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 136026 153 0 0 20 0 1 0 284090049 1063034880 257099 33554432000 134512640 137138936 4290136736 4290135280 134618924 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259530 257099 192 642 0 258886 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1038120

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31361
/proc/meminfo: memFree=25896580/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1037620 CPUtime=1421.78 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 142017 161 0 0 20 0 1 0 284090049 1062522880 256979 33554432000 134512640 137138936 4290136736 4290135776 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259405 256979 192 642 0 258761 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1037620

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31361
/proc/meminfo: memFree=25896704/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1037620 CPUtime=1481.77 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 148008 169 0 0 20 0 1 0 284090049 1062522880 256979 33554432000 134512640 137138936 4290136736 4290135664 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259405 256979 192 642 0 258761 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1037620

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31361
/proc/meminfo: memFree=25896580/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1037620 CPUtime=1541.76 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 154003 173 0 0 20 0 1 0 284090049 1062522880 256979 33554432000 134512640 137138936 4290136736 4290135232 134618161 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259405 256979 192 642 0 258761 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1037620

[startup+1602.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/178 31403
/proc/meminfo: memFree=26875332/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1037620 CPUtime=1601.75 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 159998 177 0 0 20 0 1 0 284090049 1062522880 256979 33554432000 134512640 137138936 4290136736 4290135448 136504108 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259405 256979 192 642 0 258761 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1037620

[startup+1662.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 31426
/proc/meminfo: memFree=26805456/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1037620 CPUtime=1661.75 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 165993 182 0 0 20 0 1 0 284090049 1062522880 256979 33554432000 134512640 137138936 4290136736 4290135160 134606663 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259405 256979 192 642 0 258761 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1037620

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31426
/proc/meminfo: memFree=26744456/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1037620 CPUtime=1721.73 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 171988 185 0 0 20 0 1 0 284090049 1062522880 256979 33554432000 134512640 137138936 4290136736 4290135664 134542301 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259405 256979 192 642 0 258761 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1037620

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31426
/proc/meminfo: memFree=26744084/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1037620 CPUtime=1781.73 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 177984 189 0 0 20 0 1 0 284090049 1062522880 256979 33554432000 134512640 137138936 4290136736 4290135664 134542484 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259405 256979 192 642 0 258761 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1037620

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31426
/proc/meminfo: memFree=26744208/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1037620 CPUtime=1791.33 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 178944 189 0 0 20 0 1 0 284090049 1062522880 256979 33554432000 134512640 137138936 4290136736 4290135664 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259405 256979 192 642 0 258761 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 1037620

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31426
/proc/meminfo: memFree=26744208/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1037620 CPUtime=1794.53 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 179263 190 0 0 20 0 1 0 284090049 1062522880 256979 33554432000 134512640 137138936 4290136736 4290135664 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259405 256979 192 642 0 258761 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 1037620

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31426
/proc/meminfo: memFree=26744208/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1037620 CPUtime=1796.12 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 179422 190 0 0 20 0 1 0 284090049 1062522880 256979 33554432000 134512640 137138936 4290136736 4290135664 134542495 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259405 256979 192 642 0 258761 0
Current children cumulated CPU time (s) 1796.12
Current children cumulated vsize (KiB) 1037620

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31426
/proc/meminfo: memFree=26744208/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1037620 CPUtime=1796.92 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 179502 190 0 0 20 0 1 0 284090049 1062522880 256979 33554432000 134512640 137138936 4290136736 4290135664 134542761 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259405 256979 192 642 0 258761 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 1037620

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31426
/proc/meminfo: memFree=26744208/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1037620 CPUtime=1797.72 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 179582 190 0 0 20 0 1 0 284090049 1062522880 256979 33554432000 134512640 137138936 4290136736 4290135632 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259405 256979 192 642 0 258761 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 1037620

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31426
/proc/meminfo: memFree=26744208/32873648 swapFree=7104/7104
[pid=31349] ppid=31347 vsize=1037620 CPUtime=1797.93 cores=0,2,4,6
/proc/31349/stat : 31349 (bsolo) R 31347 31349 29254 0 -1 4202496 258388 0 0 0 179603 190 0 0 20 0 1 0 284090049 1062522880 256979 33554432000 134512640 137138936 4290136736 4290135664 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31349/statm: 259405 256979 192 642 0 258761 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1037620

Child status: 0
Real time (s): 1798.57
CPU time (s): 1798.01
CPU user time (s): 1796.1
CPU system time (s): 1.90871
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 1039504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.1
system time used= 1.90871
maximum resident set size= 1029780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258389
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= 479
involuntary context switches= 2391

runsolver used 2.6136 second user time and 7.20191 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-28 06:34:06
IDJOB=3708420
IDBENCH=48238
IDSOLVER=2286
FILE ID=node127/3708420-1338179646
RUNJOBID= node127-1338157754-29270
PBS_JOBID= 14624533
Free space on /tmp= 71168 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-3708420-1338179646/watcher-3708420-1338179646 -o /tmp/evaluation-result-3708420-1338179646/solver-3708420-1338179646 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708420-1338179646.opb

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

MD5SUM BENCH= 219f407da86957d900e068170e9af8b6
RANDOM SEED=406708053

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27166616 kB
Buffers:          481116 kB
Cached:          3538284 kB
SwapCached:            0 kB
Active:          2022360 kB
Inactive:        2801024 kB
Active(anon):     806064 kB
Inactive(anon):        0 kB
Active(file):    1216296 kB
Inactive(file):  2801024 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3892 kB
Writeback:             0 kB
AnonPages:        818320 kB
Mapped:            15128 kB
Shmem:               200 kB
Slab:             743792 kB
SReclaimable:     188164 kB
SUnreclaim:       555628 kB
KernelStack:        1472 kB
PageTables:         5620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     925164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    321536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71164 MiB
End job on node127 at 2012-05-28 07:04:05