Trace number 3400875

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 NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)SAT 1294.26 43.7362

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_29.renamed-as.sat05-1916.cnf
MD5SUMf874c09c5787bb3c6a16f7a5f9ea0ad4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark434.703
Satisfiable
(Un)Satisfiability was proved
Number of variables841
Number of clauses120147
Sum of the clauses size314766
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 247183
Number of clauses of size 372906
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 558

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.04	c Using 32 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3400875-1307099685.cnf'
0.00/0.09	c -- header says num vars:            841
0.00/0.09	c -- header says num clauses:      120147
11.38/0.91	c -- clauses added:            0 learnts,       120147 normals,            0 xors
11.38/0.91	c -- vars added        841
11.38/0.91	c Parsing time:  0.08 s
11.38/0.91	c  N st     0         0       841     72964     47183         0    314766         0   no data   no data
53.20/2.25	c asymm  cl-useful: 129/7956/72964 lits-rem:387 time: 1.35
57.54/2.43	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.0M T:  0.15
62.37/3.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
63.97/3.12	c bin-w-bin subsume rem        23587 bins  time:  0.04 s
66.11/3.28	c subs with bin:    13801  lits-rem:      9286  v-fix:    0  time:  0.13 s
66.11/3.30	c Subs w/ non-existent bins:    115 l-rem:     53 v-fix:     0 done:    840 time:  0.02 s
67.97/3.36	c Removed useless bin:    5302  fixed:     0  props:   3.20M  time:  0.03 s
72.41/3.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
72.41/3.60	c Finding binary XORs  T:     0.00 s  found:       0
75.58/3.63	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
75.58/3.63	c calculated reachability. Time: 0.00
75.58/3.64	c Calc default polars -  time:   0.01 s pos:       0 undec:       1 neg:     840
75.58/3.64	c =========================================================================================
75.58/3.64	c types(t): F = full restart, N = normal restart
75.58/3.64	c types(t): S = simplification begin/end, E = solution found
75.58/3.64	c restart types(rt): st = static, dy = dynamic
75.58/3.64	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
75.58/3.64	c  B st     0         0       840     58346     28020         0    232584         0   no data   no data
107.50/4.67	c  N dy    13      4296       840     58346     28023      4229    232584     98756      9.13      9.61
129.89/5.39	c  N dy    31      8450       840     58346     32842      8331    232584    201219      8.96      9.72
139.47/5.65	c Finding binary XORs  T:     0.00 s  found:       0
155.45/6.19	c  N dy    50     12906       840     58346     32882     12724    232584    301738      8.89      9.52
181.02/6.96	c  N dy    71     17015       840     58346     32882     16755    232584    391498      8.97      9.61
209.58/7.80	c  N dy    88     21095       840     58346     32902     10919    232584    189410      8.87      9.37
231.97/8.55	c  F st   106     25000       840     58346     32933     14773    232584    272389      8.85      7.87
235.17/8.62	c  N st   107     25250       840     58346     32933     15017    232584    276862      8.85   no data
263.93/9.56	c  N dy   112     30000       840     58346     32933     19680    232584    388469      8.85   no data
263.93/9.56	c  S st   112     30000       840     58346     32933     19680    232584    388469      8.85   no data
267.13/9.65	c  S st   112     30503       840     58346     32933     20183    232584    398849      8.85   no data
267.13/9.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
274.12/9.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     69 BRemL:   4767 BRemN:      0 P:  5.7M T:  0.17
274.12/9.84	c blocked clauses removed:        0 vars:      0 tried:         840 T: 0.00 s
274.12/9.85	c bin-w-bin subsume rem         2326 bins  time:  0.01 s
274.12/9.88	c subs with bin:      142  lits-rem:        94  v-fix:    0  time:  0.03 s
274.12/9.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    840 time:  0.01 s
274.12/9.90	c Removed useless bin:      27  fixed:     0  props:   2.06M  time:  0.01 s
274.12/9.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
309.23/10.93	c subs with bin:      204  lits-rem:       720  v-fix:    0  time:  0.97 s
318.16/11.27	c lits-rem:      1008  cl-subs:     3641  v-elim:      0  v-fix:    0  time:  0.31 s
334.12/11.71	c asymm  cl-useful: 0/3745/58204 lits-rem:0 time: 0.45
334.12/11.72	c calculated reachability. Time: 0.00
334.12/11.72	c  N dy   112     30503       840     58204     25976     16338    227734    340791      8.85   no data
356.51/12.49	c  N dy   135     34511       840     58204     25999     20280    227734    427822      8.92      9.66
385.18/13.31	c  N dy   156     38536       840     58204     26028     24252    227734    517424      8.90      9.41
410.72/14.17	c  N dy   182     42577       840     58204     26028     28226    227734    601658      8.98      9.53
433.10/14.84	c  S st   195     45754       840     58204     26038     16117    227734    238564      8.95   no data
436.29/14.93	c  S st   195     46254       840     58204     26038     16616    227734    248533      8.95   no data
436.29/14.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
439.49/15.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     18 BRemL:     14 BRemN:     16 P:  5.6M T:  0.16
442.68/15.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
442.68/15.12	c bin-w-bin subsume rem           76 bins  time:  0.01 s
442.68/15.15	c subs with bin:       27  lits-rem:        18  v-fix:    0  time:  0.03 s
442.68/15.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    840 time:  0.01 s
442.68/15.17	c Removed useless bin:      27  fixed:     0  props:   2.07M  time:  0.01 s
442.68/15.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
461.80/15.75	c subs with bin:      383  lits-rem:       859  v-fix:    0  time:  0.55 s
465.03/15.84	c lits-rem:       242  cl-subs:     1102  v-elim:      0  v-fix:    0  time:  0.08 s
465.03/15.86	c vivif2 --  cl tried    58177 cl shrink        0 lits rem          0 time: 0.02
465.03/15.88	c vivif2 --  cl tried    15131 cl shrink     2276 lits rem       3226 time: 0.02
493.73/16.77	c asymm  cl-useful: 0/7530/58177 lits-rem:0 time: 0.89
493.73/16.78	c calculated reachability. Time: 0.00
493.73/16.78	c  N dy   195     46254       840     58177     25941     15131    227601    230792      8.95   no data
519.90/17.59	c  N dy   216     50310       840     58177     25973     19104    227601    317095      8.94      9.52
548.03/18.43	c  N dy   244     54387       840     58177     25973     23118    227601    405583      8.96      9.45
573.54/19.28	c  N dy   265     58446       840     58177     25982     27126    227601    492559      8.95      9.47
599.04/20.04	c Finding binary XORs  T:     0.00 s  found:       0
602.24/20.18	c  N dy   290     62495       840     58177     26001     31099    227601    579050      8.97      9.48
630.95/21.06	c  N dy   312     66563       840     58177     26001     35106    227601    667062      8.98      9.47
650.14/21.66	c  S st   325     69381       840     58177     26022     19464    227601    245722      8.97   no data
653.34/21.75	c  S st   325     69881       840     58177     26022     19964    227601    256722      8.97   no data
653.34/21.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
656.53/21.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     21 BRemL:     10 BRemN:      3 P:  5.7M T:  0.16
660.28/21.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
660.28/21.93	c bin-w-bin subsume rem           18 bins  time:  0.01 s
660.28/21.97	c subs with bin:       30  lits-rem:        20  v-fix:    0  time:  0.04 s
660.28/21.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    840 time:  0.01 s
660.28/21.98	c Removed useless bin:       0  fixed:     0  props:   2.00M  time:  0.01 s
660.28/22.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
675.66/22.48	c subs with bin:      405  lits-rem:      1081  v-fix:    0  time:  0.46 s
678.86/22.58	c lits-rem:       261  cl-subs:     1366  v-elim:      0  v-fix:    0  time:  0.09 s
682.07/22.60	c vivif2 --  cl tried    58147 cl shrink        0 lits rem          0 time: 0.02
682.07/22.62	c vivif2 --  cl tried    18193 cl shrink     1007 lits rem       1434 time: 0.02
710.83/23.51	c asymm  cl-useful: 11/7281/58147 lits-rem:33 time: 0.89
710.83/23.52	c calculated reachability. Time: 0.00
710.83/23.52	c  N dy   325     69881       840     58136     26046     18193    227554    237999      8.97   no data
739.54/24.40	c  N dy   353     74351       840     58136     26047     22581    227554    334450      9.00      9.53
768.90/25.37	c  N dy   383     79190       839     58136     26066     27365    227554    444848      9.03     11.95
803.98/26.46	c  N dy   412     84262       839     58136     26080     32352    227554    556730      9.07     10.16
825.73/27.17	c  F st   433     87500       839     58136     26112     35523    227554    624485      9.09     10.29
848.06/27.88	c  N st   438     90799       839     58109     25966     37747    227337    683708      9.09   no data
892.78/29.21	c  N dy   469     96662       839     58109     25988     23498    227337    294004      9.13      9.69
931.10/30.49	c  N dy   511    102837       839     58109     26015     29574    227337    437204      9.19      9.81
947.07/30.93	c  S st   525    104822       839     58109     26017     31507    227337    478513      9.19   no data
950.27/31.03	c  S st   525    105323       839     58109     26017     32007    227337    488703      9.19   no data
950.27/31.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
956.67/31.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      5 BRemN:      1 P:  6.3M T:  0.17
956.67/31.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
956.67/31.23	c bin-w-bin subsume rem           24 bins  time:  0.00 s
956.67/31.27	c subs with bin:       55  lits-rem:        44  v-fix:    0  time:  0.04 s
956.67/31.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    839 time:  0.01 s
956.67/31.29	c Removed useless bin:       1  fixed:     0  props:   1.98M  time:  0.01 s
959.87/31.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
998.13/32.50	c subs with bin:      685  lits-rem:      1335  v-fix:    0  time:  1.16 s
1007.72/32.86	c lits-rem:       718  cl-subs:     3081  v-elim:      0  v-fix:    0  time:  0.34 s
1007.72/32.88	c vivif2 --  cl tried    58054 cl shrink        0 lits rem          0 time: 0.02
1007.72/32.92	c vivif2 --  cl tried    28241 cl shrink     3394 lits rem       5215 time: 0.04
1023.65/33.35	c asymm  cl-useful: 7/3120/58054 lits-rem:21 time: 0.43
1023.65/33.36	c calculated reachability. Time: 0.00
1023.65/33.36	c  N dy   525    105323       839     58047     26046     28241    227267    436433      9.19   no data
1074.76/34.92	c  N dy   565    112194       839     58047     26141     34984    227267    581968      9.21      9.81
1081.75/35.19	c Finding binary XORs  T:     0.00 s  found:       0
1125.85/36.58	c  N dy   596    119654       838     58047     26169     42291    227267    744535      9.18      9.89
1180.17/38.29	c  N dy   636    127309       838     58047     26199     28066    227267    390149      9.18     10.17
1237.64/40.07	c  N dy   687    135450       838     58047     26218     36071    227267    566029      9.21      9.74
1294.03/43.65	c Following stats are for *FIRST FINISHED THREAD ONLY*
1294.03/43.65	c num threads              : 32         
1294.03/43.65	c restarts                 : 911        
1294.03/43.65	c dynamic restarts         : 893        
1294.03/43.65	c static restarts          : 18         
1294.03/43.65	c full restarts            : 2          
1294.03/43.65	c total simplify time      : 0.02       
1294.03/43.65	c learnts DL2              : 0          
1294.03/43.65	c learnts size 2           : 62630      
1294.03/43.65	c learnts size 1           : 3           (0.36      % of vars)
1294.03/43.65	c filedLit time            : 0.34        (0.81      % time)
1294.03/43.65	c v-elim SatELite          : 0           (0.00      % vars)
1294.03/43.65	c SatELite time            : 1.05        (2.48      % time)
1294.03/43.65	c v-elim xor               : 0           (0.00      % vars)
1294.03/43.65	c xor elim time            : 0.01        (0.02      % time)
1294.03/43.65	c num binary xor trees     : 0          
1294.03/43.65	c binxor trees' crown      : 0           (nan       leafs/tree)
1294.03/43.65	c bin xor find time        : 0.01       
1294.03/43.65	c OTF clause improved      : 2643        (0.02      clauses/conflict)
1294.03/43.65	c OTF impr. size diff      : 3452        (1.31       lits/clause)
1294.03/43.65	c OTF cl watch-shrink      : 96003       (0.58      clauses/conflict)
1294.03/43.65	c OTF cl watch-sh-lit      : 497258      (5.18       lits/clause)
1294.03/43.65	c tried to recurMin cls    : 57701       (35.08      % of conflicts)
1294.03/43.65	c updated cache            : 0           (0.00       lits/tried recurMin)
1294.03/43.65	c unit cls recevied        : 2           (66.67     % of units)
1294.03/43.65	c unit cls sent            : 0           (0.00      % of units)
1294.03/43.65	c bin cls recevied         : 5433       
1294.03/43.65	c bin cls sent             : 35         
1294.03/43.65	c clauses over max glue    : 0           (0.00      % of all clauses)
1294.03/43.65	c conflicts                : 164489      (3908.25   / sec)
1294.03/43.65	c decisions                : 361881      (1.19      % random)
1294.03/43.65	c bogo-props               : 1643970440  (39060682.98 / sec)
1294.03/43.65	c conflict literals        : 3655266     (57.08     % deleted)
1294.03/43.65	c Memory used              : 2395.77     MB
1294.03/43.65	c single-thread CPU time   : 42.09       s
1294.03/43.65	c all-threads sum CPU time : 1286.20     s
1294.03/43.65	s SATISFIABLE
1294.03/43.65	v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 492 -493 -494 -495 -496 -497 -498 -499 -500 501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 665 -666 -667 -668 -669 -670 -671 -672 673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 833 -834 -835 -836 -837 -838 -839 -840 -841 0

Verifier Data

OK

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-3400875-1307099685/watcher-3400875-1307099685 -o /tmp/evaluation-result-3400875-1307099685/solver-3400875-1307099685 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400875-1307099685.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.43 29.57 28.17 1/413 14557
/proc/meminfo: memFree=262938872/264257624 swapFree=67054988/67111528
[pid=14557] ppid=14555 vsize=338000 CPUtime=0.79 cores=0-31
/proc/14557/stat : 14557 (strangenight2-m) R 14555 14557 14531 0 -1 4202496 437 0 0 0 79 0 0 0 25 0 32 0 15880906 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/14557/statm: 84500 376 297 95 0 79482 0
[pid=14557/tid=14558] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14558/stat : 14558 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14557/tid=14559] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14559/stat : 14559 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14557/tid=14560] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14560/stat : 14560 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842934 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14557/tid=14561] ppid=14555 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14557/task/14561/stat : 14561 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14557/tid=14562] ppid=14555 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14557/task/14562/stat : 14562 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14557/tid=14563] ppid=14555 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14557/task/14563/stat : 14563 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14557/tid=14564] ppid=14555 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14557/task/14564/stat : 14564 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14557/tid=14565] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14565/stat : 14565 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14557/tid=14566] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14566/stat : 14566 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842934 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14557/tid=14567] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14567/stat : 14567 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14557/tid=14568] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14568/stat : 14568 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842928 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14557/tid=14569] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14569/stat : 14569 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842920 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14557/tid=14570] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14570/stat : 14570 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14557/tid=14571] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14571/stat : 14571 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14557/tid=14572] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14572/stat : 14572 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842920 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14557/tid=14573] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14573/stat : 14573 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14557/tid=14574] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14574/stat : 14574 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14557/tid=14575] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14575/stat : 14575 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842924 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14557/tid=14576] ppid=14555 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14557/task/14576/stat : 14576 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14557/tid=14577] ppid=14555 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14557/task/14577/stat : 14577 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842924 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14557/tid=14578] ppid=14555 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14557/task/14578/stat : 14578 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14557/tid=14579] ppid=14555 vsize=338000 CPUtime=0 cores=0-31
/proc/14557/task/14579/stat : 14579 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14557/tid=14580] ppid=14555 vsize=338000 CPUtime=0 cores=0-31
/proc/14557/task/14580/stat : 14580 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14557/tid=14581] ppid=14555 vsize=338000 CPUtime=0 cores=0-31
/proc/14557/task/14581/stat : 14581 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14557/tid=14582] ppid=14555 vsize=338000 CPUtime=0 cores=0-31
/proc/14557/task/14582/stat : 14582 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14557/tid=14583] ppid=14555 vsize=338000 CPUtime=0.01 cores=0-31
/proc/14557/task/14583/stat : 14583 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14557/tid=14584] ppid=14555 vsize=338000 CPUtime=0.01 cores=0-31
/proc/14557/task/14584/stat : 14584 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14557/tid=14585] ppid=14555 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14557/task/14585/stat : 14585 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842924 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14557/tid=14586] ppid=14555 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14557/task/14586/stat : 14586 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14557/tid=14587] ppid=14555 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14557/task/14587/stat : 14587 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842924 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14557/tid=14588] ppid=14555 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14557/task/14588/stat : 14588 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15880907 346112000 376 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842930 0 0 4096 2 0 0 0 -1 25 0 0 0

[startup+0.0929729 s]
/proc/loadavg: 29.43 29.57 28.17 1/413 14557
/proc/meminfo: memFree=262938872/264257624 swapFree=67054988/67111528
[pid=14557] ppid=14555 vsize=929664 CPUtime=2.08 cores=0-31
/proc/14557/stat : 14557 (strangenight2-m) R 14555 14557 14531 0 -1 4202496 9360 0 0 0 121 87 0 0 18 0 32 0 15880906 951975936 9161 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650618162 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/14557/statm: 234467 9172 334 95 0 229449 0
[pid=14557/tid=14558] ppid=14555 vsize=946072 CPUtime=0.07 cores=0-31
/proc/14557/task/14558/stat : 14558 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 257 0 0 0 4 3 0 0 24 0 32 0 15880907 968777728 9180 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14557/tid=14559] ppid=14555 vsize=946072 CPUtime=0.07 cores=0-31
/proc/14557/task/14559/stat : 14559 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 269 0 0 0 4 3 0 0 24 0 32 0 15880907 968777728 9187 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14557/tid=14560] ppid=14555 vsize=946072 CPUtime=0.06 cores=0-31
/proc/14557/task/14560/stat : 14560 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 273 0 0 0 4 2 0 0 17 0 32 0 15880907 968777728 9194 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446604443628379616 0 0 -1 24 0 0 0
[pid=14557/tid=14561] ppid=14555 vsize=946072 CPUtime=0.06 cores=0-31
/proc/14557/task/14561/stat : 14561 (strangenight2-m) D 14555 14557 14531 0 -1 4202560 265 0 0 0 4 2 0 0 24 0 32 0 15880907 968777728 9199 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14557/tid=14562] ppid=14555 vsize=1077144 CPUtime=0.06 cores=0-31
/proc/14557/task/14562/stat : 14562 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 271 0 0 0 4 2 0 0 18 0 32 0 15880907 1102995456 9200 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446604504188960224 0 0 -1 12 0 0 0
[pid=14557/tid=14563] ppid=14555 vsize=1077144 CPUtime=0.06 cores=0-31
/proc/14557/task/14563/stat : 14563 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 271 0 0 0 4 2 0 0 17 0 32 0 15880907 1102995456 9209 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446744071566926784 0 0 -1 4 0 0 0
[pid=14557/tid=14564] ppid=14555 vsize=1044424 CPUtime=0.06 cores=0-31
/proc/14557/task/14564/stat : 14564 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 273 0 0 0 4 2 0 0 18 0 32 0 15880907 1069490176 9212 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14557/tid=14565] ppid=14555 vsize=1044424 CPUtime=0.06 cores=0-31
/proc/14557/task/14565/stat : 14565 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 270 0 0 0 4 2 0 0 25 0 32 0 15880907 1069490176 9217 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446604501508619744 0 0 -1 5 0 0 0
[pid=14557/tid=14566] ppid=14555 vsize=1044424 CPUtime=0.07 cores=0-31
/proc/14557/task/14566/stat : 14566 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 267 0 0 0 4 3 0 0 25 0 32 0 15880907 1069490176 9225 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14557/tid=14567] ppid=14555 vsize=1028016 CPUtime=0.06 cores=0-31
/proc/14557/task/14567/stat : 14567 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 337 0 0 0 4 2 0 0 18 0 32 0 15880907 1052688384 9236 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14557/tid=14568] ppid=14555 vsize=1028016 CPUtime=0.06 cores=0-31
/proc/14557/task/14568/stat : 14568 (strangenight2-m) D 14555 14557 14531 0 -1 4202560 286 0 0 0 4 2 0 0 18 0 32 0 15880907 1052688384 9241 268435456000 4194304 4580107 140735755463136 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14557/tid=14569] ppid=14555 vsize=1028016 CPUtime=0.06 cores=0-31
/proc/14557/task/14569/stat : 14569 (strangenight2-m) D 14555 14557 14531 0 -1 4202560 267 0 0 0 4 2 0 0 25 0 32 0 15880907 1052688384 9245 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14557/tid=14570] ppid=14555 vsize=1028016 CPUtime=0.06 cores=0-31
/proc/14557/task/14570/stat : 14570 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 293 0 0 0 4 2 0 0 17 0 32 0 15880907 1052688384 9251 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446744071566927584 0 0 -1 7 0 0 0
[pid=14557/tid=14571] ppid=14555 vsize=1028016 CPUtime=0.06 cores=0-31
/proc/14557/task/14571/stat : 14571 (strangenight2-m) D 14555 14557 14531 0 -1 4202560 266 0 0 0 4 2 0 0 25 0 32 0 15880907 1052688384 9259 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14557/tid=14572] ppid=14555 vsize=1028016 CPUtime=0.06 cores=0-31
/proc/14557/task/14572/stat : 14572 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 267 0 0 0 4 2 0 0 25 0 32 0 15880907 1052688384 9263 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14557/tid=14573] ppid=14555 vsize=1028016 CPUtime=0.06 cores=0-31
/proc/14557/task/14573/stat : 14573 (strangenight2-m) D 14555 14557 14531 0 -1 4202560 346 0 0 0 4 2 0 0 18 0 32 0 15880907 1052688384 9269 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14557/tid=14574] ppid=14555 vsize=1159088 CPUtime=0.06 cores=0-31
/proc/14557/task/14574/stat : 14574 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 268 0 0 0 4 2 0 0 25 0 32 0 15880907 1186906112 9281 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446604447800352224 0 0 -1 17 0 0 0
[pid=14557/tid=14575] ppid=14555 vsize=1093552 CPUtime=0.06 cores=0-31
/proc/14557/task/14575/stat : 14575 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 271 0 0 0 4 2 0 0 17 0 32 0 15880907 1119797248 9289 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446744071566929024 0 0 -1 18 0 0 0
[pid=14557/tid=14576] ppid=14555 vsize=1093552 CPUtime=0.06 cores=0-31
/proc/14557/task/14576/stat : 14576 (strangenight2-m) D 14555 14557 14531 0 -1 4202560 351 0 0 0 4 2 0 0 17 0 32 0 15880907 1119797248 9292 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14557/tid=14577] ppid=14555 vsize=1093552 CPUtime=0.07 cores=0-31
/proc/14557/task/14577/stat : 14577 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 275 0 0 0 4 3 0 0 25 0 32 0 15880907 1119797248 9298 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446604506275364320 0 0 -1 28 0 0 0
[pid=14557/tid=14578] ppid=14555 vsize=1101756 CPUtime=0.06 cores=0-31
/proc/14557/task/14578/stat : 14578 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 274 0 0 0 4 2 0 0 18 0 32 0 15880907 1128198144 9308 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14557/tid=14579] ppid=14555 vsize=1101756 CPUtime=0.03 cores=0-31
/proc/14557/task/14579/stat : 14579 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 271 0 0 0 1 2 0 0 25 0 32 0 15880907 1128198144 9317 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446744071566927584 0 0 -1 26 0 0 0
[pid=14557/tid=14580] ppid=14555 vsize=1167292 CPUtime=0.03 cores=0-31
/proc/14557/task/14580/stat : 14580 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 276 0 0 0 0 3 0 0 25 0 32 0 15880907 1195307008 9322 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446744071566927704 0 0 -1 30 0 0 0
[pid=14557/tid=14581] ppid=14555 vsize=1232828 CPUtime=0.01 cores=0-31
/proc/14557/task/14581/stat : 14581 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 278 0 0 0 0 1 0 0 17 0 32 0 15880907 1262415872 9338 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446604467157269984 0 0 -1 31 0 0 0
[pid=14557/tid=14582] ppid=14555 vsize=1167292 CPUtime=0.04 cores=0-31
/proc/14557/task/14582/stat : 14582 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 269 0 0 0 1 3 0 0 25 0 32 0 15880907 1195307008 9349 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446744071566926784 0 0 -1 29 0 0 0
[pid=14557/tid=14583] ppid=14555 vsize=1175496 CPUtime=0.05 cores=0-31
/proc/14557/task/14583/stat : 14583 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 335 0 0 0 3 2 0 0 17 0 32 0 15880907 1203707904 9350 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446604480020823520 0 0 -1 23 0 0 0
[pid=14557/tid=14584] ppid=14555 vsize=1175496 CPUtime=0.05 cores=0-31
/proc/14557/task/14584/stat : 14584 (strangenight2-m) D 14555 14557 14531 0 -1 4202560 293 0 0 0 3 2 0 0 18 0 32 0 15880907 1203707904 9356 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650999207 0 0 4096 2 10737829951 0 0 -1 27 0 0 0
[pid=14557/tid=14585] ppid=14555 vsize=1183700 CPUtime=0.05 cores=0-31
/proc/14557/task/14585/stat : 14585 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 268 0 0 0 3 2 0 0 25 0 32 0 15880907 1212108800 9366 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446604506275364320 0 0 -1 21 0 0 0
[pid=14557/tid=14586] ppid=14555 vsize=1183700 CPUtime=0.06 cores=0-31
/proc/14557/task/14586/stat : 14586 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 276 0 0 0 4 2 0 0 25 0 32 0 15880907 1212108800 9371 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446604504188960224 0 0 -1 22 0 0 0
[pid=14557/tid=14587] ppid=14555 vsize=1183700 CPUtime=0.05 cores=0-31
/proc/14557/task/14587/stat : 14587 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 320 0 0 0 4 1 0 0 17 0 32 0 15880907 1212108800 9376 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14557/tid=14588] ppid=14555 vsize=1183856 CPUtime=0.06 cores=0-31
/proc/14557/task/14588/stat : 14588 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 267 0 0 0 4 2 0 0 25 0 32 0 15880907 1212268544 9396 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446604477937475040 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 929664

[startup+0.103932 s]
/proc/loadavg: 29.43 29.57 28.17 1/413 14557
/proc/meminfo: memFree=262938872/264257624 swapFree=67054988/67111528
[pid=14557] ppid=14555 vsize=1380980 CPUtime=2.17 cores=0-31
/proc/14557/stat : 14557 (strangenight2-m) D 14555 14557 14531 0 -1 4202496 10459 0 0 0 123 94 0 0 17 0 32 0 15880906 1414123520 10260 268435456000 4194304 4580107 140735755463136 18446744073709551615 4307796 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/14557/statm: 345245 10274 334 95 0 340227 0
[pid=14557/tid=14558] ppid=14555 vsize=1380980 CPUtime=0.07 cores=0-31
/proc/14557/task/14558/stat : 14558 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 283 0 0 0 4 3 0 0 17 0 32 0 15880907 1414123520 10281 268435456000 4194304 4580107 140735755463136 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14557/tid=14559] ppid=14555 vsize=1380980 CPUtime=0.07 cores=0-31
/proc/14557/task/14559/stat : 14559 (strangenight2-m) D 14555 14557 14531 0 -1 4202560 317 0 0 0 4 3 0 0 17 0 32 0 15880907 1414123520 10289 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14557/tid=14560] ppid=14555 vsize=1380980 CPUtime=0.07 cores=0-31
/proc/14557/task/14560/stat : 14560 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 341 0 0 0 4 3 0 0 17 0 32 0 15880907 1414123520 10298 268435456000 4194304 4580107 140735755463136 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14557/tid=14561] ppid=14555 vsize=1380980 CPUtime=0.06 cores=0-31
/proc/14557/task/14561/stat : 14561 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 278 0 0 0 4 2 0 0 24 0 32 0 15880907 1414123520 10302 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14557/tid=14562] ppid=14555 vsize=1380980 CPUtime=0.06 cores=0-31
/proc/14557/task/14562/stat : 14562 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 272 0 0 0 4 2 0 0 17 0 32 0 15880907 1414123520 10310 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446604447042731488 0 0 -1 12 0 0 0
[pid=14557/tid=14563] ppid=14555 vsize=1380980 CPUtime=0.06 cores=0-31
/proc/14557/task/14563/stat : 14563 (strangenight2-m) D 14555 14557 14531 0 -1 4202560 342 0 0 0 4 2 0 0 17 0 32 0 15880907 1414123520 10316 268435456000 4194304 4580107 140735755463136 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14557/tid=14564] ppid=14555 vsize=1380980 CPUtime=0.06 cores=0-31
/proc/14557/task/14564/stat : 14564 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 301 0 0 0 4 2 0 0 17 0 32 0 15880907 1414123520 10325 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446604477937475040 0 0 -1 16 0 0 0
[pid=14557/tid=14565] ppid=14555 vsize=1380980 CPUtime=0.06 cores=0-31
/proc/14557/task/14565/stat : 14565 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 272 0 0 0 4 2 0 0 17 0 32 0 15880907 1414123520 10330 268435456000 4194304 4580107 140735755463136 18446744073709551615 4489437 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14557/tid=14566] ppid=14555 vsize=1380980 CPUtime=0.07 cores=0-31
/proc/14557/task/14566/stat : 14566 (strangenight2-m) D 14555 14557 14531 0 -1 4202560 275 0 0 0 4 3 0 0 17 0 32 0 15880907 1414123520 10352 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14557/tid=14567] ppid=14555 vsize=1380980 CPUtime=0.06 cores=0-31
/proc/14557/task/14567/stat : 14567 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 361 0 0 0 4 2 0 0 17 0 32 0 15880907 1414123520 10353 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446744071566928584 0 0 -1 3 0 0 0
[pid=14557/tid=14568] ppid=14555 vsize=1380980 CPUtime=0.07 cores=0-31
/proc/14557/task/14568/stat : 14568 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 368 0 0 0 4 3 0 0 18 0 32 0 15880907 1414123520 10357 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14557/tid=14569] ppid=14555 vsize=1380980 CPUtime=0.06 cores=0-31
/proc/14557/task/14569/stat : 14569 (strangenight2-m) D 14555 14557 14531 0 -1 4202560 271 0 0 0 4 2 0 0 18 0 32 0 15880907 1414123520 10361 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14557/tid=14570] ppid=14555 vsize=1380980 CPUtime=0.06 cores=0-31
/proc/14557/task/14570/stat : 14570 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 337 0 0 0 4 2 0 0 17 0 32 0 15880907 1414123520 10366 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446604480020823520 0 0 -1 7 0 0 0
[pid=14557/tid=14571] ppid=14555 vsize=1380980 CPUtime=0.06 cores=0-31
/proc/14557/task/14571/stat : 14571 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 298 0 0 0 4 2 0 0 25 0 32 0 15880907 1414123520 10376 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446744071566927584 0 0 -1 13 0 0 0
[pid=14557/tid=14572] ppid=14555 vsize=1380980 CPUtime=0.07 cores=0-31
/proc/14557/task/14572/stat : 14572 (strangenight2-m) D 14555 14557 14531 0 -1 4202560 320 0 0 0 4 3 0 0 17 0 32 0 15880907 1414123520 10380 268435456000 4194304 4580107 140735755463136 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14557/tid=14573] ppid=14555 vsize=1380980 CPUtime=0.06 cores=0-31
/proc/14557/task/14573/stat : 14573 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 371 0 0 0 4 2 0 0 17 0 32 0 15880907 1414123520 10385 268435456000 4194304 4580107 140735755463136 18446744073709551615 258651060958 0 0 4096 2 18446604480786603488 0 0 -1 11 0 0 0
[pid=14557/tid=14574] ppid=14555 vsize=1380980 CPUtime=0.07 cores=0-31

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

/proc/14557/task/14581/stat : 14581 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 10556 0 0 0 3962 25 0 0 25 0 32 0 15880907 2500218880 263103 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842525 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14557/tid=14582] ppid=14555 vsize=2441620 CPUtime=40.28 cores=0-31
/proc/14557/task/14582/stat : 14582 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 13462 0 0 0 4004 24 0 0 25 0 32 0 15880907 2500218880 263103 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842521 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14557/tid=14583] ppid=14555 vsize=2441620 CPUtime=40.01 cores=0-31
/proc/14557/task/14583/stat : 14583 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 11344 0 0 0 3977 24 0 0 25 0 32 0 15880907 2500218880 263103 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842521 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14557/tid=14584] ppid=14555 vsize=2441620 CPUtime=40.11 cores=0-31
/proc/14557/task/14584/stat : 14584 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 12259 0 0 0 3986 25 0 0 25 0 32 0 15880907 2500218880 263103 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842521 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14557/tid=14585] ppid=14555 vsize=2441620 CPUtime=39.9 cores=0-31
/proc/14557/task/14585/stat : 14585 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 8808 0 0 0 3968 22 0 0 25 0 32 0 15880907 2500218880 263103 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842521 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14557/tid=14586] ppid=14555 vsize=2441620 CPUtime=40.07 cores=0-31
/proc/14557/task/14586/stat : 14586 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 9333 0 0 0 3983 24 0 0 25 0 32 0 15880907 2500218880 263103 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842519 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14557/tid=14587] ppid=14555 vsize=2441620 CPUtime=40.4 cores=0-31
/proc/14557/task/14587/stat : 14587 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 13334 0 0 0 4018 22 0 0 25 0 32 0 15880907 2500218880 263103 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842512 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14557/tid=14588] ppid=14555 vsize=2441620 CPUtime=41.05 cores=0-31
/proc/14557/task/14588/stat : 14588 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 7205 0 0 0 4091 14 0 0 25 0 32 0 15880907 2500218880 263103 268435456000 4194304 4580107 140735755463136 18446744073709551615 4305286 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 1285.56
Current children cumulated vsize (KiB) 2441620

[startup+43.1015 s]
/proc/loadavg: 30.36 29.76 28.29 3/445 14589
/proc/meminfo: memFree=261883476/264257624 swapFree=67054988/67111528
[pid=14557] ppid=14555 vsize=2453264 CPUtime=1293.03 cores=0-31
/proc/14557/stat : 14557 (strangenight2-m) S 14555 14557 14531 0 -1 4202496 407765 0 0 0 128509 794 0 0 25 0 32 0 15880906 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/14557/statm: 613316 265291 377 95 0 608298 0
[pid=14557/tid=14558] ppid=14555 vsize=2453264 CPUtime=40.57 cores=0-31
/proc/14557/task/14558/stat : 14558 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 15065 0 0 0 4033 24 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604502821051872 0 0 -1 1 0 0 0
[pid=14557/tid=14559] ppid=14555 vsize=2453264 CPUtime=39.94 cores=0-31
/proc/14557/task/14559/stat : 14559 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13205 0 0 0 3966 28 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604505280077280 0 0 -1 2 0 0 0
[pid=14557/tid=14560] ppid=14555 vsize=2453264 CPUtime=40.66 cores=0-31
/proc/14557/task/14560/stat : 14560 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 12493 0 0 0 4039 27 0 0 18 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604502831865312 0 0 -1 7 0 0 0
[pid=14557/tid=14561] ppid=14555 vsize=2453264 CPUtime=40.71 cores=0-31
/proc/14557/task/14561/stat : 14561 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 12123 0 0 0 4051 20 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604458672012768 0 0 -1 11 0 0 0
[pid=14557/tid=14562] ppid=14555 vsize=2453264 CPUtime=40.48 cores=0-31
/proc/14557/task/14562/stat : 14562 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 12295 0 0 0 4029 19 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604502216949216 0 0 -1 20 0 0 0
[pid=14557/tid=14563] ppid=14555 vsize=2453264 CPUtime=40.25 cores=0-31
/proc/14557/task/14563/stat : 14563 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13488 0 0 0 4004 21 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604480020823520 0 0 -1 26 0 0 0
[pid=14557/tid=14564] ppid=14555 vsize=2453264 CPUtime=40.39 cores=0-31
/proc/14557/task/14564/stat : 14564 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 14054 0 0 0 4015 24 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604466509413856 0 0 -1 16 0 0 0
[pid=14557/tid=14565] ppid=14555 vsize=2453264 CPUtime=40.2 cores=0-31
/proc/14557/task/14565/stat : 14565 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 10880 0 0 0 3997 23 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604443628379616 0 0 -1 30 0 0 0
[pid=14557/tid=14566] ppid=14555 vsize=2453264 CPUtime=40.12 cores=0-31
/proc/14557/task/14566/stat : 14566 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13494 0 0 0 3986 26 0 0 20 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604469884583392 0 0 -1 6 0 0 0
[pid=14557/tid=14567] ppid=14555 vsize=2453264 CPUtime=40.03 cores=0-31
/proc/14557/task/14567/stat : 14567 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13045 0 0 0 3975 28 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604447041912288 0 0 -1 27 0 0 0
[pid=14557/tid=14568] ppid=14555 vsize=2453264 CPUtime=41.81 cores=0-31
/proc/14557/task/14568/stat : 14568 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 15086 0 0 0 4153 28 0 0 20 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012817963 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14557/tid=14569] ppid=14555 vsize=2453264 CPUtime=40.41 cores=0-31
/proc/14557/task/14569/stat : 14569 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 14077 0 0 0 4014 27 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604467157269984 0 0 -1 10 0 0 0
[pid=14557/tid=14570] ppid=14555 vsize=2453264 CPUtime=40.01 cores=0-31
/proc/14557/task/14570/stat : 14570 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 15226 0 0 0 3975 26 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604559007309280 0 0 -1 3 0 0 0
[pid=14557/tid=14571] ppid=14555 vsize=2453264 CPUtime=39.68 cores=0-31
/proc/14557/task/14571/stat : 14571 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 11037 0 0 0 3943 25 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604463004597728 0 0 -1 31 0 0 0
[pid=14557/tid=14572] ppid=14555 vsize=2453264 CPUtime=40.53 cores=0-31
/proc/14557/task/14572/stat : 14572 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 14850 0 0 0 4030 23 0 0 18 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604447042731488 0 0 -1 14 0 0 0
[pid=14557/tid=14573] ppid=14555 vsize=2453264 CPUtime=40.09 cores=0-31
/proc/14557/task/14573/stat : 14573 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 10943 0 0 0 3988 21 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604465677524448 0 0 -1 23 0 0 0
[pid=14557/tid=14574] ppid=14555 vsize=2453264 CPUtime=40.01 cores=0-31
/proc/14557/task/14574/stat : 14574 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 12113 0 0 0 3974 27 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446744071566926344 0 0 -1 21 0 0 0
[pid=14557/tid=14575] ppid=14555 vsize=2453264 CPUtime=40.28 cores=0-31
/proc/14557/task/14575/stat : 14575 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13691 0 0 0 4005 23 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604451769925088 0 0 -1 4 0 0 0
[pid=14557/tid=14576] ppid=14555 vsize=2453264 CPUtime=40.47 cores=0-31
/proc/14557/task/14576/stat : 14576 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 15026 0 0 0 4025 22 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604480786603488 0 0 -1 5 0 0 0
[pid=14557/tid=14577] ppid=14555 vsize=2453264 CPUtime=40.27 cores=0-31
/proc/14557/task/14577/stat : 14577 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13160 0 0 0 4002 25 0 0 18 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604477937475040 0 0 -1 28 0 0 0
[pid=14557/tid=14578] ppid=14555 vsize=2453264 CPUtime=40.41 cores=0-31
/proc/14557/task/14578/stat : 14578 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 12397 0 0 0 4016 25 0 0 18 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604501508619744 0 0 -1 8 0 0 0
[pid=14557/tid=14579] ppid=14555 vsize=2453264 CPUtime=40.69 cores=0-31
/proc/14557/task/14579/stat : 14579 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 15068 0 0 0 4044 25 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604504188960224 0 0 -1 17 0 0 0
[pid=14557/tid=14580] ppid=14555 vsize=2453264 CPUtime=41.74 cores=0-31
/proc/14557/task/14580/stat : 14580 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 14345 0 0 0 4143 31 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14557/tid=14581] ppid=14555 vsize=2453264 CPUtime=39.98 cores=0-31
/proc/14557/task/14581/stat : 14581 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 10556 0 0 0 3973 25 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604486008577504 0 0 -1 0 0 0 0
[pid=14557/tid=14582] ppid=14555 vsize=2453264 CPUtime=40.39 cores=0-31
/proc/14557/task/14582/stat : 14582 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13462 0 0 0 4015 24 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604447800352224 0 0 -1 29 0 0 0
[pid=14557/tid=14583] ppid=14555 vsize=2453264 CPUtime=40.12 cores=0-31
/proc/14557/task/14583/stat : 14583 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 11344 0 0 0 3988 24 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604460119260640 0 0 -1 12 0 0 0
[pid=14557/tid=14584] ppid=14555 vsize=2453264 CPUtime=40.22 cores=0-31
/proc/14557/task/14584/stat : 14584 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 12259 0 0 0 3997 25 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604458923105760 0 0 -1 13 0 0 0
[pid=14557/tid=14585] ppid=14555 vsize=2453264 CPUtime=40.01 cores=0-31
/proc/14557/task/14585/stat : 14585 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 8808 0 0 0 3979 22 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604498993380832 0 0 -1 19 0 0 0
[pid=14557/tid=14586] ppid=14555 vsize=2453264 CPUtime=40.18 cores=0-31
/proc/14557/task/14586/stat : 14586 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 9333 0 0 0 3994 24 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604490279624160 0 0 -1 22 0 0 0
[pid=14557/tid=14587] ppid=14555 vsize=2453264 CPUtime=40.51 cores=0-31
/proc/14557/task/14587/stat : 14587 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13334 0 0 0 4029 22 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604500842143200 0 0 -1 9 0 0 0
[pid=14557/tid=14588] ppid=14555 vsize=2453264 CPUtime=41.21 cores=0-31
/proc/14557/task/14588/stat : 14588 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 8018 0 0 0 4107 14 0 0 25 0 32 0 15880907 2512142336 265291 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604442667556320 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 1293.03
Current children cumulated vsize (KiB) 2453264

[startup+43.5025 s]
/proc/loadavg: 30.36 29.76 28.29 3/445 14589
/proc/meminfo: memFree=261883476/264257624 swapFree=67054988/67111528
[pid=14557] ppid=14555 vsize=2453264 CPUtime=1293.83 cores=0-31
/proc/14557/stat : 14557 (strangenight2-m) S 14555 14557 14531 0 -1 4202496 407765 0 0 0 128589 794 0 0 25 0 32 0 15880906 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/14557/statm: 613316 264443 377 95 0 608298 0
[pid=14557/tid=14558] ppid=14555 vsize=2453264 CPUtime=40.57 cores=0-31
/proc/14557/task/14558/stat : 14558 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 15065 0 0 0 4033 24 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604502821051872 0 0 -1 1 0 0 0
[pid=14557/tid=14559] ppid=14555 vsize=2453264 CPUtime=39.94 cores=0-31
/proc/14557/task/14559/stat : 14559 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13205 0 0 0 3966 28 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604505280077280 0 0 -1 2 0 0 0
[pid=14557/tid=14560] ppid=14555 vsize=2453264 CPUtime=40.66 cores=0-31
/proc/14557/task/14560/stat : 14560 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 12493 0 0 0 4039 27 0 0 18 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604502831865312 0 0 -1 7 0 0 0
[pid=14557/tid=14561] ppid=14555 vsize=2453264 CPUtime=40.71 cores=0-31
/proc/14557/task/14561/stat : 14561 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 12123 0 0 0 4051 20 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604458672012768 0 0 -1 11 0 0 0
[pid=14557/tid=14562] ppid=14555 vsize=2453264 CPUtime=40.48 cores=0-31
/proc/14557/task/14562/stat : 14562 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 12295 0 0 0 4029 19 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604502216949216 0 0 -1 20 0 0 0
[pid=14557/tid=14563] ppid=14555 vsize=2453264 CPUtime=40.25 cores=0-31
/proc/14557/task/14563/stat : 14563 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13488 0 0 0 4004 21 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604480020823520 0 0 -1 26 0 0 0
[pid=14557/tid=14564] ppid=14555 vsize=2453264 CPUtime=40.39 cores=0-31
/proc/14557/task/14564/stat : 14564 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 14054 0 0 0 4015 24 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604466509413856 0 0 -1 16 0 0 0
[pid=14557/tid=14565] ppid=14555 vsize=2453264 CPUtime=40.2 cores=0-31
/proc/14557/task/14565/stat : 14565 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 10880 0 0 0 3997 23 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604443628379616 0 0 -1 30 0 0 0
[pid=14557/tid=14566] ppid=14555 vsize=2453264 CPUtime=40.12 cores=0-31
/proc/14557/task/14566/stat : 14566 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13494 0 0 0 3986 26 0 0 20 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604469884583392 0 0 -1 6 0 0 0
[pid=14557/tid=14567] ppid=14555 vsize=2453264 CPUtime=40.03 cores=0-31
/proc/14557/task/14567/stat : 14567 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13045 0 0 0 3975 28 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604447041912288 0 0 -1 27 0 0 0
[pid=14557/tid=14568] ppid=14555 vsize=2453264 CPUtime=42.21 cores=0-31
/proc/14557/task/14568/stat : 14568 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 15086 0 0 0 4193 28 0 0 21 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012818116 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14557/tid=14569] ppid=14555 vsize=2453264 CPUtime=40.41 cores=0-31
/proc/14557/task/14569/stat : 14569 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 14077 0 0 0 4014 27 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604467157269984 0 0 -1 10 0 0 0
[pid=14557/tid=14570] ppid=14555 vsize=2453264 CPUtime=40.01 cores=0-31
/proc/14557/task/14570/stat : 14570 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 15226 0 0 0 3975 26 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604559007309280 0 0 -1 3 0 0 0
[pid=14557/tid=14571] ppid=14555 vsize=2453264 CPUtime=39.68 cores=0-31
/proc/14557/task/14571/stat : 14571 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 11037 0 0 0 3943 25 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604463004597728 0 0 -1 31 0 0 0
[pid=14557/tid=14572] ppid=14555 vsize=2453264 CPUtime=40.53 cores=0-31
/proc/14557/task/14572/stat : 14572 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 14850 0 0 0 4030 23 0 0 18 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604447042731488 0 0 -1 14 0 0 0
[pid=14557/tid=14573] ppid=14555 vsize=2453264 CPUtime=40.09 cores=0-31
/proc/14557/task/14573/stat : 14573 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 10943 0 0 0 3988 21 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604465677524448 0 0 -1 23 0 0 0
[pid=14557/tid=14574] ppid=14555 vsize=2453264 CPUtime=40.01 cores=0-31
/proc/14557/task/14574/stat : 14574 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 12113 0 0 0 3974 27 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446744071566926344 0 0 -1 21 0 0 0
[pid=14557/tid=14575] ppid=14555 vsize=2453264 CPUtime=40.28 cores=0-31
/proc/14557/task/14575/stat : 14575 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13691 0 0 0 4005 23 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604451769925088 0 0 -1 4 0 0 0
[pid=14557/tid=14576] ppid=14555 vsize=2453264 CPUtime=40.47 cores=0-31
/proc/14557/task/14576/stat : 14576 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 15026 0 0 0 4025 22 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604480786603488 0 0 -1 5 0 0 0
[pid=14557/tid=14577] ppid=14555 vsize=2453264 CPUtime=40.27 cores=0-31
/proc/14557/task/14577/stat : 14577 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13160 0 0 0 4002 25 0 0 18 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604477937475040 0 0 -1 28 0 0 0
[pid=14557/tid=14578] ppid=14555 vsize=2453264 CPUtime=40.41 cores=0-31
/proc/14557/task/14578/stat : 14578 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 12397 0 0 0 4016 25 0 0 18 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604501508619744 0 0 -1 8 0 0 0
[pid=14557/tid=14579] ppid=14555 vsize=2453264 CPUtime=40.69 cores=0-31
/proc/14557/task/14579/stat : 14579 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 15068 0 0 0 4044 25 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604504188960224 0 0 -1 17 0 0 0
[pid=14557/tid=14580] ppid=14555 vsize=2453264 CPUtime=42.14 cores=0-31
/proc/14557/task/14580/stat : 14580 (strangenight2-m) R 14555 14557 14531 0 -1 4202560 14345 0 0 0 4183 31 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14557/tid=14581] ppid=14555 vsize=2453264 CPUtime=39.98 cores=0-31
/proc/14557/task/14581/stat : 14581 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 10556 0 0 0 3973 25 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604486008577504 0 0 -1 0 0 0 0
[pid=14557/tid=14582] ppid=14555 vsize=2453264 CPUtime=40.39 cores=0-31
/proc/14557/task/14582/stat : 14582 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13462 0 0 0 4015 24 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604447800352224 0 0 -1 29 0 0 0
[pid=14557/tid=14583] ppid=14555 vsize=2453264 CPUtime=40.12 cores=0-31
/proc/14557/task/14583/stat : 14583 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 11344 0 0 0 3988 24 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604460119260640 0 0 -1 12 0 0 0
[pid=14557/tid=14584] ppid=14555 vsize=2453264 CPUtime=40.22 cores=0-31
/proc/14557/task/14584/stat : 14584 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 12259 0 0 0 3997 25 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604458923105760 0 0 -1 13 0 0 0
[pid=14557/tid=14585] ppid=14555 vsize=2453264 CPUtime=40.01 cores=0-31
/proc/14557/task/14585/stat : 14585 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 8808 0 0 0 3979 22 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604498993380832 0 0 -1 19 0 0 0
[pid=14557/tid=14586] ppid=14555 vsize=2453264 CPUtime=40.18 cores=0-31
/proc/14557/task/14586/stat : 14586 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 9333 0 0 0 3994 24 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604490279624160 0 0 -1 22 0 0 0
[pid=14557/tid=14587] ppid=14555 vsize=2453264 CPUtime=40.51 cores=0-31
/proc/14557/task/14587/stat : 14587 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 13334 0 0 0 4029 22 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604500842143200 0 0 -1 9 0 0 0
[pid=14557/tid=14588] ppid=14555 vsize=2453264 CPUtime=41.21 cores=0-31
/proc/14557/task/14588/stat : 14588 (strangenight2-m) S 14555 14557 14531 0 -1 4202560 8018 0 0 0 4107 14 0 0 25 0 32 0 15880907 2512142336 264443 268435456000 4194304 4580107 140735755463136 18446744073709551615 47552012842548 0 0 4096 2 18446604442667556320 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 1293.83
Current children cumulated vsize (KiB) 2453264

[startup+43.7026 s]
/proc/loadavg: 30.36 29.76 28.29 3/445 14589
/proc/meminfo: memFree=261883476/264257624 swapFree=67054988/67111528
[pid=14557] ppid=14555 vsize=0 CPUtime=1294.21 cores=0-31
/proc/14557/stat : 14557 (strangenight2-m) Z 14555 14557 14531 0 -1 4203548 407774 0 0 0 128619 802 0 0 18 0 2 0 15880906 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/14557/statm: 0 0 0 0 0 0 0
[pid=14557/tid=14572] ppid=14555 vsize=0 CPUtime=40.58 cores=0-31
/proc/14557/task/14572/stat : 14572 (strangenight2-m) R 14555 14557 14531 0 -1 4203588 14850 0 0 0 4030 28 0 0 18 0 2 0 15880907 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 1294.21
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 43.7362
CPU time (s): 1294.26
CPU user time (s): 1286.2
CPU system time (s): 8.05877
CPU usage (%): 2959.23
Max. virtual memory (cumulated for all children) (KiB): 2453264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1286.2
system time used= 8.05877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407774
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= 320824
involuntary context switches= 10508

runsolver used 0.292955 second user time and 1.03084 second system time

The end

Launcher Data

Begin job on node200 at 2011-06-03 13:14:45
IDJOB=3400875
IDBENCH=85973
IDSOLVER=1886
FILE ID=node200/3400875-1307099685
RUNJOBID= node200-1307099685-14545
PBS_JOBID= 13498408
Free space on /tmp= 61744 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400875-1307099685/watcher-3400875-1307099685 -o /tmp/evaluation-result-3400875-1307099685/solver-3400875-1307099685 -C 160000 -W 5100 -M 261000  ./strangenight2-mt --threads=32 HOME/instance-3400875-1307099685.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32

MD5SUM BENCH= f874c09c5787bb3c6a16f7a5f9ea0ad4
RANDOM SEED=154761212

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      262939152 kB
Buffers:        106924 kB
Cached:        1014536 kB
SwapCached:       8428 kB
Active:         108196 kB
Inactive:      1032136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262939152 kB
SwapTotal:    67111528 kB
SwapFree:     67054988 kB
Dirty:            7256 kB
Writeback:           0 kB
AnonPages:       16512 kB
Mapped:           7424 kB
Slab:            89184 kB
PageTables:       3948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   185996 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61736 MiB
End job on node200 at 2011-06-03 13:15:29