Trace number 3421727

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 130.575 20.0313

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p30-s70617701.cnf
MD5SUMf04b72eb712a286c5ea50b297461f349
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.052991
Satisfiable
(Un)Satisfiability was proved
Number of variables671
Number of clauses50773
Sum of the clauses size102167
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 250748
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 525

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3421727-1306791787.cnf'
0.00/0.02	c -- header says num vars:            671
0.00/0.02	c -- header says num clauses:       50773
0.00/0.05	c -- clauses added:            0 learnts,        50773 normals,            0 xors
0.00/0.05	c -- vars added        671
0.00/0.05	c Parsing time:  0.00 s
0.00/0.05	c  N st     0         0       671        25     50748         0    102167         0   no data   no data
0.00/0.05	c asymm  cl-useful: 0/25/25 lits-rem:0 time: 0.00
0.00/0.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
0.00/0.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.08	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    671 time:  0.00 s
0.00/0.08	c Removed useless bin:       0  fixed:     0  props:   0.26M  time:  0.00 s
0.47/0.11	c lits-rem:       690  cl-subs:        0  v-elim:     25  v-fix:    0  time:  0.02 s
0.47/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.47/0.11	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.47/0.11	c calculated reachability. Time: 0.00
0.47/0.11	c Calc default polars -  time:   0.00 s pos:       0 undec:      25 neg:     646
0.47/0.11	c =========================================================================================
0.47/0.11	c types(t): F = full restart, N = normal restart
0.47/0.11	c types(t): S = simplification begin/end, E = solution found
0.47/0.11	c restart types(rt): st = static, dy = dynamic
0.47/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.47/0.11	c  B st     0         0       646      1665     48437         0    148249         0   no data   no data
8.00/1.05	c  N dy    17      4159       646      1665     48440      3999    148249    316632     10.42     11.07
8.00/1.05	c  N dy    33      8182       646      1665     48448      5499    148249    380286     10.20     11.30
8.00/1.05	c  N dy    51     12242       646      1665     48454      5318    148249    313378     10.06     10.61
11.73/1.55	c  N dy    66     17114       646      1665     48472      9975    148249    712564      9.91     10.45
14.17/1.86	c  N dy    78     21274       646      1665     48515      8579    148249    552580      9.61     10.58
17.30/2.24	c  F st    91     25000       645      1665     48524     12194    148249    802030      9.58     19.33
18.10/2.32	c  N st    93     25627       645      1665     48278     12730    147728    845924      9.58   no data
21.31/2.73	c  N dy    97     30001       645      1665     48310     10402    147728    559440      9.58   no data
21.31/2.73	c  S st    97     30001       645      1665     48310     10402    147728    559440      9.58   no data
21.31/2.78	c  S st    97     30505       645      1665     48310     10904    147728    583391      9.58   no data
21.31/2.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.11/2.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     38 BRemL:      0 BRemN:      0 P:  6.9M T:  0.13
22.96/2.91	c blocked clauses removed:        0 vars:      0 tried:         645 T: 0.00 s
22.96/2.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.29/3.21	c subs with bin:        0  lits-rem:     12995  v-fix:    0  time:  0.29 s
25.29/3.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    645 time:  0.00 s
25.29/3.21	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.00 s
25.29/3.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
36.47/4.60	c subs with bin:      107  lits-rem:      1588  v-fix:    0  time:  1.36 s
44.45/5.60	c lits-rem:      2843  cl-subs:     1104  v-elim:      0  v-fix:    0  time:  1.00 s
45.25/5.78	c asymm  cl-useful: 0/1640/1665 lits-rem:0 time: 0.18
45.25/5.79	c calculated reachability. Time: 0.00
45.25/5.79	c  N dy    97     30505       645      1665     48349      9693    134731    549545      9.58   no data
49.30/6.21	c  N dy   117     34605       642      1665     48406     13677    134731    785700      9.74     10.28
52.43/6.60	c  N dy   140     38816       642      1665     48418     10147    134731    510546      9.99     10.53
55.64/7.06	c  N dy   163     43361       642      1665     48425     14524    134731    777114     10.19     10.75
58.09/7.36	c  S st   170     45757       642      1665     48441     16844    134731    890511     10.14      6.87
58.96/7.45	c  S st   170     46260       641      1665     48441      8700    134731    376069     10.14   no data
58.96/7.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
59.62/7.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.0M T:  0.09
59.62/7.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
59.62/7.55	c bin-w-bin subsume rem            1 bins  time:  0.00 s
61.22/7.76	c subs with bin:        0  lits-rem:        32  v-fix:    0  time:  0.21 s
61.22/7.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
61.22/7.76	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.00 s
61.22/7.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
72.41/9.12	c subs with bin:       77  lits-rem:       442  v-fix:    0  time:  1.34 s
74.01/9.31	c lits-rem:       205  cl-subs:      166  v-elim:      0  v-fix:    0  time:  0.19 s
74.01/9.31	c vivif2 --  cl tried     1652 cl shrink        0 lits rem          0 time: 0.00
74.01/9.32	c vivif2 --  cl tried     7812 cl shrink      453 lits rem        533 time: 0.01
74.81/9.46	c asymm  cl-useful: 0/1652/1652 lits-rem:0 time: 0.14
74.81/9.47	c calculated reachability. Time: 0.00
74.81/9.47	c  N dy   170     46260       641      1652     47518      7811    132679    357856     10.14   no data
77.99/9.81	c  N dy   179     50407       641      1652     47521     11847    132679    594720     10.01     10.69
81.19/10.26	c  N dy   207     54417       639      1652     47552     15740    132679    851613     10.15     13.44
85.31/10.79	c  N dy   225     58429       639      1652     47584     10299    132679    441176     10.16     10.82
89.17/11.20	c  N dy   245     62943       639      1652     47589     14632    132679    686581     10.15     10.75
92.38/11.66	c  N dy   260     67128       638      1652     47602     18684    132679    945750     10.14     10.68
95.56/12.00	c  S st   276     69391       638      1652     47604     20847    132679   1069930     10.20   no data
95.56/12.06	c  S st   276     69893       638      1652     47604     10893    132679    472292     10.20   no data
95.56/12.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
96.36/12.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  5.9M T:  0.11
96.36/12.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
96.36/12.18	c bin-w-bin subsume rem            1 bins  time:  0.00 s
97.96/12.38	c subs with bin:        0  lits-rem:        27  v-fix:    0  time:  0.20 s
97.96/12.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    638 time:  0.00 s
97.96/12.39	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.00 s
97.96/12.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
109.14/13.78	c subs with bin:       61  lits-rem:       247  v-fix:    0  time:  1.37 s
112.33/14.13	c lits-rem:       369  cl-subs:      324  v-elim:      0  v-fix:    0  time:  0.35 s
112.33/14.13	c vivif2 --  cl tried     1610 cl shrink        0 lits rem          0 time: 0.00
112.33/14.14	c vivif2 --  cl tried    10313 cl shrink      726 lits rem       1059 time: 0.01
113.93/14.31	c asymm  cl-useful: 0/1610/1610 lits-rem:0 time: 0.18
113.93/14.32	c calculated reachability. Time: 0.00
113.93/14.32	c  N dy   276     69893       638      1610     47023     10310    130687    458525     10.20   no data
117.13/14.75	c  N dy   296     74361       637      1610     47071     14651    130687    786593     10.28     10.87
130.51/20.01	c Following stats are for *FIRST FINISHED THREAD ONLY*
130.51/20.01	c num threads              : 8          
130.51/20.01	c restarts                 : 687        
130.51/20.01	c dynamic restarts         : 669        
130.51/20.01	c static restarts          : 18         
130.51/20.01	c full restarts            : 2          
130.51/20.01	c total simplify time      : 0.01       
130.51/20.01	c learnts DL2              : 0          
130.51/20.01	c learnts size 2           : 51176      
130.51/20.01	c learnts size 1           : 10          (1.49      % of vars)
130.51/20.01	c filedLit time            : 0.12        (0.61      % time)
130.51/20.01	c v-elim SatELite          : 25          (3.73      % vars)
130.51/20.01	c SatELite time            : 0.06        (0.33      % time)
130.51/20.01	c v-elim xor               : 0           (0.00      % vars)
130.51/20.01	c xor elim time            : 0.00        (0.01      % time)
130.51/20.01	c num binary xor trees     : 0          
130.51/20.01	c binxor trees' crown      : 0           (nan       leafs/tree)
130.51/20.01	c bin xor find time        : 0.00       
130.51/20.01	c OTF clause improved      : 6329        (0.03      clauses/conflict)
130.51/20.01	c OTF impr. size diff      : 7615        (1.20       lits/clause)
130.51/20.01	c OTF cl watch-shrink      : 149385      (0.82      clauses/conflict)
130.51/20.01	c OTF cl watch-sh-lit      : 2269687     (15.19      lits/clause)
130.51/20.01	c tried to recurMin cls    : 47344       (26.14      % of conflicts)
130.51/20.01	c updated cache            : 1158        (0.02       lits/tried recurMin)
130.51/20.01	c unit cls recevied        : 5           (50.00     % of units)
130.51/20.01	c unit cls sent            : 3           (30.00     % of units)
130.51/20.01	c bin cls recevied         : 332        
130.51/20.01	c bin cls sent             : 92         
130.51/20.01	c clauses over max glue    : 0           (0.00      % of all clauses)
130.51/20.01	c conflicts                : 181141      (9078.85   / sec)
130.51/20.01	c decisions                : 281189      (1.10      % random)
130.51/20.01	c bogo-props               : 1541378467  (77254465.40 / sec)
130.51/20.01	c conflict literals        : 8024630     (49.50     % deleted)
130.51/20.02	c Memory used              : 554.04      MB
130.51/20.02	c single-thread CPU time   : 19.95       s
130.51/20.02	c all-threads sum CPU time : 130.28      s
130.51/20.02	s SATISFIABLE
130.51/20.02	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 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3421727-1306791787/watcher-3421727-1306791787 -o /tmp/evaluation-result-3421727-1306791787/solver-3421727-1306791787 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421727-1306791787.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.48 8.00 8.05 2/451 15894
/proc/meminfo: memFree=9222900/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=92144 CPUtime=0.01 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) R 15892 15894 15687 0 -1 4202496 412 0 0 0 1 0 0 0 24 0 8 0 790776916 94355456 353 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261618 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15894/statm: 23036 353 299 95 0 18018 0
[pid=15894/tid=15895] ppid=15892 vsize=92144 CPUtime=0.01 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 790776917 94355456 361 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=92144 CPUtime=0 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 790776917 94355456 361 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=92144 CPUtime=0 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 790776917 94355456 361 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261618 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=92144 CPUtime=0.01 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 790776917 94355456 361 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261209 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=92144 CPUtime=0.01 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 790776917 94355456 361 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261207 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=92144 CPUtime=0 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 790776917 94355456 361 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=92144 CPUtime=0 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 790776917 94355456 361 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261209 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0927489 s]
/proc/loadavg: 7.48 8.00 8.05 2/451 15894
/proc/meminfo: memFree=9222900/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=554788 CPUtime=0.47 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) R 15892 15894 15687 0 -1 4202496 6756 0 0 0 42 5 0 0 17 0 8 0 790776916 568102912 6644 33554432000 4194304 4580107 140734359971040 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15894/statm: 138697 6651 373 95 0 133679 0
[pid=15894/tid=15895] ppid=15892 vsize=554788 CPUtime=0.06 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 705 0 0 0 6 0 0 0 17 0 8 0 790776917 568102912 6657 33554432000 4194304 4580107 140734359971040 18446744073709551615 232335997422 0 0 4096 2 18446604449919296832 0 0 -1 1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=554788 CPUtime=0.05 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 880 0 0 0 5 0 0 0 17 0 8 0 790776917 568102912 6667 33554432000 4194304 4580107 140734359971040 18446744073709551615 4416896 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=554788 CPUtime=0.04 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 1064 0 0 0 4 0 0 0 18 0 8 0 790776917 568102912 6679 33554432000 4194304 4580107 140734359971040 18446744073709551615 232335997422 0 0 4096 2 18446604449919296832 0 0 -1 7 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=554788 CPUtime=0.05 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 769 0 0 0 5 0 0 0 18 0 8 0 790776917 568102912 6713 33554432000 4194304 4580107 140734359971040 18446744073709551615 4417020 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=554920 CPUtime=0.06 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 828 0 0 0 6 0 0 0 18 0 8 0 790776917 568238080 6786 33554432000 4194304 4580107 140734359971040 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=554920 CPUtime=0.05 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) D 15892 15894 15687 0 -1 4202560 627 0 0 0 5 0 0 0 17 0 8 0 790776917 568238080 6788 33554432000 4194304 4580107 140734359971040 18446744073709551615 232335553569 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=554920 CPUtime=0.05 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 705 0 0 0 5 0 0 0 17 0 8 0 790776917 568238080 6789 33554432000 4194304 4580107 140734359971040 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 554788

[startup+0.105948 s]
/proc/loadavg: 7.48 8.00 8.05 2/451 15894
/proc/meminfo: memFree=9222900/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=555860 CPUtime=0.62 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) R 15892 15894 15687 0 -1 4202496 8268 0 0 0 57 5 0 0 17 0 8 0 790776916 569200640 8151 33554432000 4194304 4580107 140734359971040 18446744073709551615 4290915 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15894/statm: 139242 13471 376 95 0 134224 0
[pid=15894/tid=15895] ppid=15892 vsize=556968 CPUtime=0.9 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2492 0 0 0 90 0 0 0 18 0 8 0 790776917 570335232 13472 33554432000 4194304 4580107 140734359971040 18446744073709551615 4316629 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=556968 CPUtime=0.89 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2456 0 0 0 89 0 0 0 18 0 8 0 790776917 570335232 13472 33554432000 4194304 4580107 140734359971040 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=556968 CPUtime=0.89 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2819 0 0 0 88 1 0 0 19 0 8 0 790776917 570335232 13472 33554432000 4194304 4580107 140734359971040 18446744073709551615 4316592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=556968 CPUtime=0.9 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2678 0 0 0 89 1 0 0 19 0 8 0 790776917 570335232 13472 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=556968 CPUtime=0.91 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2409 0 0 0 90 1 0 0 19 0 8 0 790776917 570335232 13472 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=556968 CPUtime=0.89 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2335 0 0 0 88 1 0 0 18 0 8 0 790776917 570335232 13472 33554432000 4194304 4580107 140734359971040 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=556968 CPUtime=0.89 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2380 0 0 0 89 0 0 0 19 0 8 0 790776917 570335232 13472 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 555860

[startup+1.03458 s]
/proc/loadavg: 7.48 8.00 8.05 2/451 15894
/proc/meminfo: memFree=9222900/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=567764 CPUtime=8 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) R 15892 15894 15687 0 -1 4202496 22152 0 0 0 791 9 0 0 18 0 8 0 790776916 581390336 13512 33554432000 4194304 4580107 140734359971040 18446744073709551615 4321421 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15894/statm: 141941 13527 376 95 0 136923 0
[pid=15894/tid=15895] ppid=15892 vsize=567764 CPUtime=0.99 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2575 0 0 0 99 0 0 0 19 0 8 0 790776917 581390336 13534 33554432000 4194304 4580107 140734359971040 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=567764 CPUtime=0.98 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2893 0 0 0 98 0 0 0 18 0 8 0 790776917 581390336 13545 33554432000 4194304 4580107 140734359971040 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=567764 CPUtime=0.99 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2910 0 0 0 98 1 0 0 19 0 8 0 790776917 581390336 13552 33554432000 4194304 4580107 140734359971040 18446744073709551615 4318664 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=567764 CPUtime=0.99 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2754 0 0 0 98 1 0 0 19 0 8 0 790776917 581390336 13562 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=567764 CPUtime=1 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2832 0 0 0 99 1 0 0 19 0 8 0 790776917 581390336 13570 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=567764 CPUtime=0.99 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2618 0 0 0 98 1 0 0 18 0 8 0 790776917 581390336 13578 33554432000 4194304 4580107 140734359971040 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=567764 CPUtime=0.99 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2473 0 0 0 99 0 0 0 19 0 8 0 790776917 581390336 13588 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8
Current children cumulated vsize (KiB) 567764

[startup+1.10057 s]
/proc/loadavg: 7.48 8.00 8.05 2/451 15894
/proc/meminfo: memFree=9222900/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=558556 CPUtime=8.52 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) R 15892 15894 15687 0 -1 4202496 22878 0 0 0 843 9 0 0 19 0 8 0 790776916 571961344 13531 33554432000 4194304 4580107 140734359971040 18446744073709551615 4318096 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15894/statm: 139639 13532 376 95 0 134621 0
[pid=15894/tid=15895] ppid=15892 vsize=558556 CPUtime=1.07 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2637 0 0 0 106 1 0 0 19 0 8 0 790776917 571961344 13532 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=558556 CPUtime=1.05 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2952 0 0 0 105 0 0 0 19 0 8 0 790776917 571961344 13532 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=558556 CPUtime=1.05 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2957 0 0 0 104 1 0 0 19 0 8 0 790776917 571961344 13532 33554432000 4194304 4580107 140734359971040 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=558556 CPUtime=1.06 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2812 0 0 0 105 1 0 0 19 0 8 0 790776917 571961344 13532 33554432000 4194304 4580107 140734359971040 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=558556 CPUtime=1.07 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2919 0 0 0 106 1 0 0 19 0 8 0 790776917 571961344 13532 33554432000 4194304 4580107 140734359971040 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=558556 CPUtime=1.05 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2830 0 0 0 104 1 0 0 18 0 8 0 790776917 571961344 13532 33554432000 4194304 4580107 140734359971040 18446744073709551615 4293013 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=558556 CPUtime=1.05 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 2543 0 0 0 105 0 0 0 19 0 8 0 790776917 571961344 13532 33554432000 4194304 4580107 140734359971040 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.52
Current children cumulated vsize (KiB) 558556

[startup+1.5005 s]
/proc/loadavg: 7.48 8.00 8.05 2/451 15894
/proc/meminfo: memFree=9222900/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=559536 CPUtime=11.73 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) R 15892 15894 15687 0 -1 4202496 27153 0 0 0 1163 10 0 0 19 0 8 0 790776916 572964864 15632 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15894/statm: 139884 15632 377 95 0 134866 0
[pid=15894/tid=15895] ppid=15892 vsize=559536 CPUtime=1.47 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 3417 0 0 0 146 1 0 0 19 0 8 0 790776917 572964864 15633 33554432000 4194304 4580107 140734359971040 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=559536 CPUtime=1.45 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 3329 0 0 0 145 0 0 0 19 0 8 0 790776917 572964864 15633 33554432000 4194304 4580107 140734359971040 18446744073709551615 4322556 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=559536 CPUtime=1.45 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 3629 0 0 0 144 1 0 0 20 0 8 0 790776917 572964864 15633 33554432000 4194304 4580107 140734359971040 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=559536 CPUtime=1.46 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 3528 0 0 0 145 1 0 0 20 0 8 0 790776917 572964864 15634 33554432000 4194304 4580107 140734359971040 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=559536 CPUtime=1.47 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 3266 0 0 0 146 1 0 0 19 0 8 0 790776917 572964864 15634 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=559536 CPUtime=1.45 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 3216 0 0 0 144 1 0 0 19 0 8 0 790776917 572964864 15634 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=559536 CPUtime=1.45 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 3145 0 0 0 145 0 0 0 19 0 8 0 790776917 572964864 15634 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.73
Current children cumulated vsize (KiB) 559536

[startup+3.10121 s]
/proc/loadavg: 7.48 8.00 8.05 9/459 15902
/proc/meminfo: memFree=9147644/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=542528 CPUtime=24.49 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) R 15892 15894 15687 0 -1 4202496 42352 0 0 0 2436 13 0 0 24 0 8 0 790776916 555548672 20148 33554432000 4194304 4580107 140734359971040 18446744073709551615 4413328 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15894/statm: 135632 20148 378 95 0 130614 0
[pid=15894/tid=15895] ppid=15892 vsize=542528 CPUtime=3.07 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 5320 0 0 0 306 1 0 0 24 0 8 0 790776917 555548672 20148 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=542528 CPUtime=3.05 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 5301 0 0 0 304 1 0 0 24 0 8 0 790776917 555548672 20148 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=542528 CPUtime=3.02 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 5183 0 0 0 301 1 0 0 25 0 8 0 790776917 555548672 20148 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=542528 CPUtime=3.06 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 5431 0 0 0 304 2 0 0 25 0 8 0 790776917 555548672 20148 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=542528 CPUtime=3.07 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 5415 0 0 0 306 1 0 0 25 0 8 0 790776917 555548672 20148 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=542528 CPUtime=3.06 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 5079 0 0 0 304 2 0 0 24 0 8 0 790776917 555548672 20148 33554432000 4194304 4580107 140734359971040 18446744073709551615 4322517 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=542528 CPUtime=3.06 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 5192 0 0 0 305 1 0 0 24 0 8 0 790776917 555548672 20148 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.49
Current children cumulated vsize (KiB) 542528

[startup+6.31765 s]
/proc/loadavg: 7.52 8.00 8.05 9/459 15902
/proc/meminfo: memFree=9079708/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=582948 CPUtime=50.18 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) R 15892 15894 15687 0 -1 4202496 67653 0 0 0 5000 18 0 0 25 0 8 0 790776916 596938752 36499 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15894/statm: 145737 36499 378 95 0 140719 0
[pid=15894/tid=15895] ppid=15892 vsize=582948 CPUtime=6.28 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 7331 0 0 0 627 1 0 0 25 0 8 0 790776917 596938752 36499 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=582948 CPUtime=6.26 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 9903 0 0 0 625 1 0 0 25 0 8 0 790776917 596938752 36499 33554432000 4194304 4580107 140734359971040 18446744073709551615 4417027 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=582948 CPUtime=6.19 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 9964 0 0 0 616 3 0 0 25 0 8 0 790776917 596938752 36501 33554432000 4194304 4580107 140734359971040 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=582948 CPUtime=6.28 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 8437 0 0 0 626 2 0 0 25 0 8 0 790776917 596938752 36501 33554432000 4194304 4580107 140734359971040 18446744073709551615 4413617 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=582948 CPUtime=6.28 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 8363 0 0 0 627 1 0 0 25 0 8 0 790776917 596938752 36502 33554432000 4194304 4580107 140734359971040 18446744073709551615 4401345 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=582948 CPUtime=6.27 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 7213 0 0 0 625 2 0 0 25 0 8 0 790776917 596938752 36502 33554432000 4194304 4580107 140734359971040 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=582948 CPUtime=6.27 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 7425 0 0 0 626 1 0 0 25 0 8 0 790776917 596938752 36502 33554432000 4194304 4580107 140734359971040 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 4 0 0 0

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

/proc/15894/task/15899/stat : 15899 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 15173 0 0 0 1265 2 0 0 25 0 8 0 790776917 602890240 49618 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=588760 CPUtime=12.65 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 12538 0 0 0 1262 3 0 0 25 0 8 0 790776917 602890240 49618 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=588760 CPUtime=12.65 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 10601 0 0 0 1263 2 0 0 25 0 8 0 790776917 602890240 49618 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.15
Current children cumulated vsize (KiB) 588760

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

[startup+13.5004 s]
/proc/loadavg: 7.56 8.00 8.05 9/459 15902
/proc/meminfo: memFree=9024716/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=578180 CPUtime=107.53 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) R 15892 15894 15687 0 -1 4202496 106773 0 0 0 10728 25 0 0 25 0 8 0 790776916 592056320 51874 33554432000 4194304 4580107 140734359971040 18446744073709551615 4413087 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15894/statm: 144545 51874 378 95 0 139527 0
[pid=15894/tid=15895] ppid=15892 vsize=578180 CPUtime=13.47 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 11935 0 0 0 1345 2 0 0 25 0 8 0 790776917 592056320 51874 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=578180 CPUtime=13.45 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 13802 0 0 0 1343 2 0 0 25 0 8 0 790776917 592056320 51874 33554432000 4194304 4580107 140734359971040 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=578180 CPUtime=13.27 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 13693 0 0 0 1324 3 0 0 25 0 8 0 790776917 592056320 51874 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294479 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=578180 CPUtime=13.45 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 13757 0 0 0 1342 3 0 0 25 0 8 0 790776917 592056320 51874 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=578180 CPUtime=13.46 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 15560 0 0 0 1344 2 0 0 25 0 8 0 790776917 592056320 51874 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=578180 CPUtime=13.45 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 13475 0 0 0 1342 3 0 0 25 0 8 0 790776917 592056320 51875 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=578180 CPUtime=13.45 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 11468 0 0 0 1343 2 0 0 25 0 8 0 790776917 592056320 51875 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 107.53
Current children cumulated vsize (KiB) 578180

[startup+16.7008 s]
/proc/loadavg: 7.59 8.00 8.05 3/459 15902
/proc/meminfo: memFree=9005008/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=567336 CPUtime=123.91 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) S 15892 15894 15687 0 -1 4202496 116382 0 0 0 12364 27 0 0 25 0 8 0 790776916 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15894/statm: 141834 54624 378 95 0 136816 0
[pid=15894/tid=15895] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 12701 0 0 0 1511 2 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=567336 CPUtime=16.64 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 17332 0 0 0 1661 3 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=567336 CPUtime=14.92 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 14898 0 0 0 1488 4 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 7 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 15096 0 0 0 1509 4 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 5 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=567336 CPUtime=15.14 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 15716 0 0 0 1511 3 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 14359 0 0 0 1509 4 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=567336 CPUtime=16.65 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 12484 0 0 0 1663 2 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207236651 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 123.91
Current children cumulated vsize (KiB) 567336

[startup+18.3006 s]
/proc/loadavg: 7.59 8.00 8.05 3/459 15902
/proc/meminfo: memFree=9005752/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=567336 CPUtime=127.12 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) S 15892 15894 15687 0 -1 4202496 116382 0 0 0 12685 27 0 0 25 0 8 0 790776916 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15894/statm: 141834 54624 378 95 0 136816 0
[pid=15894/tid=15895] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 12701 0 0 0 1511 2 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=567336 CPUtime=18.25 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 17332 0 0 0 1822 3 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=567336 CPUtime=14.92 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 14898 0 0 0 1488 4 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 7 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 15096 0 0 0 1509 4 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 5 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=567336 CPUtime=15.14 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 15716 0 0 0 1511 3 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 14359 0 0 0 1509 4 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=567336 CPUtime=18.26 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 12484 0 0 0 1824 2 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207236651 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 127.12
Current children cumulated vsize (KiB) 567336

[startup+19.1004 s]
/proc/loadavg: 7.59 8.00 8.05 3/459 15902
/proc/meminfo: memFree=9005752/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=567336 CPUtime=128.71 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) S 15892 15894 15687 0 -1 4202496 116382 0 0 0 12844 27 0 0 25 0 8 0 790776916 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15894/statm: 141834 54624 378 95 0 136816 0
[pid=15894/tid=15895] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 12701 0 0 0 1511 2 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=567336 CPUtime=19.04 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 17332 0 0 0 1901 3 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 4416997 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=567336 CPUtime=14.92 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 14898 0 0 0 1488 4 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 7 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 15096 0 0 0 1509 4 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 5 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=567336 CPUtime=15.14 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 15716 0 0 0 1511 3 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 14359 0 0 0 1509 4 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=567336 CPUtime=19.05 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 12484 0 0 0 1903 2 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207236651 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 128.71
Current children cumulated vsize (KiB) 567336

[startup+19.5153 s]
/proc/loadavg: 7.14 7.90 8.01 3/459 15902
/proc/meminfo: memFree=9005736/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=567336 CPUtime=129.54 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) S 15892 15894 15687 0 -1 4202496 116382 0 0 0 12927 27 0 0 25 0 8 0 790776916 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15894/statm: 141834 54624 378 95 0 136816 0
[pid=15894/tid=15895] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 12701 0 0 0 1511 2 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=567336 CPUtime=19.45 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 17332 0 0 0 1942 3 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 4417015 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=567336 CPUtime=14.92 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 14898 0 0 0 1488 4 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 7 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 15096 0 0 0 1509 4 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 5 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=567336 CPUtime=15.14 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 15716 0 0 0 1511 3 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 14359 0 0 0 1509 4 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=567336 CPUtime=19.46 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 12484 0 0 0 1944 2 0 0 25 0 8 0 790776917 580952064 54624 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207236651 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 129.54
Current children cumulated vsize (KiB) 567336

[startup+19.9003 s]
/proc/loadavg: 7.14 7.90 8.01 3/459 15902
/proc/meminfo: memFree=9005736/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=567336 CPUtime=130.31 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) S 15892 15894 15687 0 -1 4202496 116526 0 0 0 13004 27 0 0 25 0 8 0 790776916 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15894/statm: 141834 54459 378 95 0 136816 0
[pid=15894/tid=15895] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 12701 0 0 0 1511 2 0 0 25 0 8 0 790776917 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=567336 CPUtime=19.84 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 17476 0 0 0 1981 3 0 0 25 0 8 0 790776917 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=567336 CPUtime=14.92 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 14898 0 0 0 1488 4 0 0 25 0 8 0 790776917 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 7 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 15096 0 0 0 1509 4 0 0 25 0 8 0 790776917 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 5 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=567336 CPUtime=15.14 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 15716 0 0 0 1511 3 0 0 25 0 8 0 790776917 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 14359 0 0 0 1509 4 0 0 25 0 8 0 790776917 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=567336 CPUtime=19.85 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 12484 0 0 0 1983 2 0 0 25 0 8 0 790776917 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207236804 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 130.31
Current children cumulated vsize (KiB) 567336

[startup+20.0013 s]
/proc/loadavg: 7.14 7.90 8.01 3/459 15902
/proc/meminfo: memFree=9005736/32951124 swapFree=60688864/67111528
[pid=15894] ppid=15892 vsize=567336 CPUtime=130.51 cores=0-7
/proc/15894/stat : 15894 (strangenight2-m) S 15892 15894 15687 0 -1 4202496 116526 0 0 0 13024 27 0 0 25 0 8 0 790776916 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15894/statm: 141834 54459 378 95 0 136816 0
[pid=15894/tid=15895] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15895/stat : 15895 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 12701 0 0 0 1511 2 0 0 25 0 8 0 790776917 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 1 0 0 0
[pid=15894/tid=15896] ppid=15892 vsize=567336 CPUtime=19.94 cores=0-7
/proc/15894/task/15896/stat : 15896 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 17476 0 0 0 1991 3 0 0 25 0 8 0 790776917 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15894/tid=15897] ppid=15892 vsize=567336 CPUtime=14.92 cores=0-7
/proc/15894/task/15897/stat : 15897 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 14898 0 0 0 1488 4 0 0 25 0 8 0 790776917 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 7 0 0 0
[pid=15894/tid=15898] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15898/stat : 15898 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 15096 0 0 0 1509 4 0 0 25 0 8 0 790776917 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 5 0 0 0
[pid=15894/tid=15899] ppid=15892 vsize=567336 CPUtime=15.14 cores=0-7
/proc/15894/task/15899/stat : 15899 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 15716 0 0 0 1511 3 0 0 25 0 8 0 790776917 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 3 0 0 0
[pid=15894/tid=15900] ppid=15892 vsize=567336 CPUtime=15.13 cores=0-7
/proc/15894/task/15900/stat : 15900 (strangenight2-m) S 15892 15894 15687 0 -1 4202560 14359 0 0 0 1509 4 0 0 25 0 8 0 790776917 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207261236 0 0 4096 2 18446604449919296832 0 0 -1 0 0 0 0
[pid=15894/tid=15901] ppid=15892 vsize=567336 CPUtime=19.95 cores=0-7
/proc/15894/task/15901/stat : 15901 (strangenight2-m) R 15892 15894 15687 0 -1 4202560 12484 0 0 0 1993 2 0 0 25 0 8 0 790776917 580952064 54459 33554432000 4194304 4580107 140734359971040 18446744073709551615 47588207236804 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 130.51
Current children cumulated vsize (KiB) 567336

Child status: 10
Real time (s): 20.0313
CPU time (s): 130.575
CPU user time (s): 130.281
CPU system time (s): 0.293955
CPU usage (%): 651.856
Max. virtual memory (cumulated for all children) (KiB): 588760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.281
system time used= 0.293955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116534
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= 10922
involuntary context switches= 1360

runsolver used 0.090986 second user time and 0.198969 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-30 23:43:08
IDJOB=3421727
IDBENCH=88206
IDSOLVER=1878
FILE ID=node132/3421727-1306791787
RUNJOBID= node132-1306786774-15701
PBS_JOBID= 13475030
Free space on /tmp= 56756 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q225-n25-p30-s70617701.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421727-1306791787/watcher-3421727-1306791787 -o /tmp/evaluation-result-3421727-1306791787/solver-3421727-1306791787 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3421727-1306791787.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= f04b72eb712a286c5ea50b297461f349
RANDOM SEED=1008989804

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       9223428 kB
Buffers:        257264 kB
Cached:       19724384 kB
SwapCached:      14980 kB
Active:       17963268 kB
Inactive:      5076012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       9223428 kB
SwapTotal:    67111528 kB
SwapFree:     60688864 kB
Dirty:            6244 kB
Writeback:           0 kB
AnonPages:     3050456 kB
Mapped:          18676 kB
Slab:           569356 kB
PageTables:      50128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 109201532 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 56752 MiB
End job on node132 at 2011-05-30 23:43:28