0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3394892-1306108919.cnf'
0.00/0.04 c -- header says num vars: 841
0.00/0.04 c -- header says num clauses: 120147
0.48/0.96 c -- clauses added: 0 learnts, 120147 normals, 0 xors
0.48/0.96 c -- vars added 841
0.48/0.96 c Parsing time: 0.03 s
0.48/0.96 c N st 0 0 841 72964 47183 0 314766 0 no data no data
0.48/0.96 c asymm cl-useful: 129/7956/72964 lits-rem:387 time: 0.71
0.48/0.97 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.0M T: 0.11
7.39/1.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
7.39/1.08 c bin-w-bin subsume rem 23587 bins time: 0.01 s
7.96/1.12 c subs with bin: 13801 lits-rem: 9286 v-fix: 0 time: 0.05 s
7.96/1.13 c Subs w/ non-existent bins: 115 l-rem: 53 v-fix: 0 done: 840 time: 0.01 s
7.96/1.15 c Removed useless bin: 5302 fixed: 0 props: 3.20M time: 0.01 s
8.77/1.24 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s
8.77/1.24 c Finding binary XORs T: 0.00 s found: 0
8.77/1.26 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan)
8.77/1.26 c calculated reachability. Time: 0.00
8.77/1.26 c Calc default polars - time: 0.00 s pos: 0 undec: 1 neg: 840
8.77/1.26 c =========================================================================================
8.77/1.26 c types(t): F = full restart, N = normal restart
8.77/1.26 c types(t): S = simplification begin/end, E = solution found
8.77/1.26 c restart types(rt): st = static, dy = dynamic
8.77/1.26 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
8.77/1.26 c B st 0 0 840 58346 28020 0 232584 0 no data no data
13.58/1.85 c N dy 13 4296 840 58346 28023 4229 232584 98756 9.13 9.61
18.35/2.40 c N dy 34 8387 840 58346 32813 8260 232584 198222 9.04 10.50
19.15/2.55 c Finding binary XORs T: 0.00 s found: 0
22.36/2.98 c N dy 51 12431 840 58346 32814 12242 232584 283489 8.81 9.47
27.12/3.53 c N dy 65 16579 840 58346 32824 16328 232584 377629 8.61 9.06
32.03/4.15 c N dy 87 20604 840 58346 32833 10443 232584 179678 8.57 9.22
36.70/4.75 c N dy 108 24799 840 58346 32844 14590 232584 270293 8.57 9.23
36.70/4.78 c F st 110 25000 840 58346 32844 14789 232584 275229 8.57 6.66
43.10/5.57 c N dy 116 30000 840 58346 32844 19725 232584 393556 8.57 no data
43.10/5.57 c S st 116 30000 840 58346 32844 19725 232584 393556 8.57 no data
43.90/5.65 c S st 116 30501 840 58346 32844 20225 232584 403632 8.57 no data
43.90/5.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
44.70/5.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 79 BRemL: 4738 BRemN: 0 P: 5.6M T: 0.13
44.70/5.78 c blocked clauses removed: 0 vars: 0 tried: 840 T: 0.00 s
44.70/5.79 c bin-w-bin subsume rem 2326 bins time: 0.00 s
45.50/5.82 c subs with bin: 100 lits-rem: 66 v-fix: 0 time: 0.03 s
45.50/5.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 840 time: 0.01 s
45.50/5.83 c Removed useless bin: 22 fixed: 0 props: 2.09M time: 0.00 s
45.50/5.84 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
51.88/6.63 c subs with bin: 276 lits-rem: 548 v-fix: 0 time: 0.76 s
53.48/6.87 c lits-rem: 1008 cl-subs: 3123 v-elim: 0 v-fix: 0 time: 0.23 s
56.68/7.23 c asymm cl-useful: 0/3755/58246 lits-rem:0 time: 0.35
56.68/7.23 c calculated reachability. Time: 0.00
56.68/7.23 c N dy 116 30501 840 58246 25904 16826 227788 351088 8.57 no data
61.46/7.88 c N dy 146 34587 840 58246 25914 20858 227788 438400 8.69 9.16
67.17/8.57 c N dy 172 38931 840 58246 25926 25140 227788 530079 8.73 9.23
72.64/9.22 c N dy 196 42965 840 58246 25931 29110 227788 615695 8.77 9.97
76.62/9.70 c S st 211 45753 840 58246 25931 16602 227788 246186 8.78 no data
76.62/9.77 c S st 211 46253 840 58246 25931 17101 227788 256067 8.78 no data
76.62/9.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
78.22/9.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 27 BRemL: 8 BRemN: 11 P: 5.6M T: 0.12
78.22/9.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
78.22/9.91 c bin-w-bin subsume rem 50 bins time: 0.01 s
78.22/9.93 c subs with bin: 33 lits-rem: 22 v-fix: 0 time: 0.03 s
78.22/9.94 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 840 time: 0.01 s
78.22/9.95 c Removed useless bin: 17 fixed: 0 props: 2.10M time: 0.00 s
78.22/9.96 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
82.22/10.40 c subs with bin: 212 lits-rem: 466 v-fix: 0 time: 0.43 s
82.22/10.47 c lits-rem: 343 cl-subs: 1392 v-elim: 0 v-fix: 0 time: 0.06 s
82.22/10.48 c vivif2 -- cl tried 58213 cl shrink 0 lits rem 0 time: 0.01
82.22/10.50 c vivif2 -- cl tried 15497 cl shrink 2242 lits rem 3056 time: 0.01
88.61/11.20 c asymm cl-useful: 0/7502/58213 lits-rem:0 time: 0.69
88.61/11.21 c calculated reachability. Time: 0.00
88.61/11.21 c N dy 211 46253 840 58213 25895 15497 227687 236767 8.78 no data
93.52/11.84 c N dy 239 50340 840 58213 25910 19535 227687 328155 8.84 9.59
98.20/12.47 c N dy 260 54361 840 58213 25910 23470 227687 413797 8.88 9.36
103.78/13.14 c N dy 289 58501 840 58213 25920 27546 227687 507351 8.92 10.09
108.58/13.79 c N dy 313 62510 840 58213 25921 31493 227687 594787 8.96 9.44
114.17/14.49 c N dy 338 66538 840 58213 25921 35461 227687 683580 8.98 9.76
118.17/14.97 c S st 358 69379 840 58213 25922 19819 227687 255075 9.00 8.08
118.99/15.06 c S st 358 69882 840 58213 25922 20322 227687 266271 9.00 no data
118.99/15.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
119.87/15.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 3 BRemL: 8 BRemN: 10 P: 5.6M T: 0.12
119.87/15.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
119.87/15.19 c bin-w-bin subsume rem 22 bins time: 0.00 s
120.55/15.22 c subs with bin: 9 lits-rem: 6 v-fix: 0 time: 0.03 s
120.55/15.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 840 time: 0.01 s
120.55/15.23 c Removed useless bin: 10 fixed: 0 props: 2.11M time: 0.00 s
120.55/15.24 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
123.75/15.64 c subs with bin: 110 lits-rem: 231 v-fix: 0 time: 0.39 s
124.55/15.71 c lits-rem: 266 cl-subs: 1182 v-elim: 0 v-fix: 0 time: 0.07 s
124.55/15.73 c vivif2 -- cl tried 58204 cl shrink 0 lits rem 0 time: 0.01
124.55/15.74 c vivif2 -- cl tried 19030 cl shrink 1014 lits rem 1510 time: 0.01
130.14/16.45 c asymm cl-useful: 14/7267/58204 lits-rem:42 time: 0.69
130.14/16.45 c calculated reachability. Time: 0.00
130.14/16.45 c N dy 358 69882 840 58190 25895 19030 227616 253026 9.00 no data
135.75/17.15 c N dy 386 74384 840 58190 25901 23450 227616 353301 9.01 10.92
138.13/17.49 c Finding binary XORs T: 0.00 s found: 0
142.12/17.94 c N dy 412 79313 840 58190 25903 28286 227616 459475 9.03 9.57
148.51/18.76 c N dy 440 84515 840 58190 25995 33387 227616 573663 9.05 9.65
152.51/19.26 c F st 457 87501 840 58190 26004 36314 227616 635786 9.05 8.00
157.29/19.85 c N st 462 90796 840 58190 26006 39544 227616 705609 9.05 no data
165.28/20.89 c N dy 491 96733 840 58190 26016 24899 227616 320394 9.08 9.66
174.08/21.91 c N dy 532 102925 840 58190 26021 31001 227616 453359 9.11 9.60
176.47/22.20 c S st 545 104824 840 58190 26021 32865 227616 497146 9.13 no data
176.47/22.28 c S st 545 105326 840 58190 26024 33363 227616 508187 9.13 no data
176.47/22.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
178.07/22.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 31 BRemL: 76 BRemN: 3 P: 6.2M T: 0.14
178.07/22.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
178.07/22.43 c bin-w-bin subsume rem 8 bins time: 0.00 s
178.07/22.46 c subs with bin: 52 lits-rem: 40 v-fix: 0 time: 0.03 s
178.07/22.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 840 time: 0.01 s
178.07/22.47 c Removed useless bin: 6 fixed: 0 props: 2.06M time: 0.00 s
178.07/22.48 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
186.05/23.47 c subs with bin: 311 lits-rem: 837 v-fix: 0 time: 0.96 s
188.46/23.75 c lits-rem: 727 cl-subs: 3621 v-elim: 0 v-fix: 0 time: 0.27 s
188.46/23.77 c vivif2 -- cl tried 58138 cl shrink 0 lits rem 0 time: 0.01
189.28/23.81 c vivif2 -- cl tried 29431 cl shrink 3737 lits rem 6795 time: 0.03
191.64/24.14 c asymm cl-useful: 6/3074/58138 lits-rem:18 time: 0.33
191.64/24.15 c calculated reachability. Time: 0.00
191.64/24.15 c N dy 545 105326 840 58132 26009 29431 227530 454760 9.13 no data
200.42/25.27 c N dy 589 112065 840 58132 26026 36059 227530 603826 9.16 13.71
210.81/26.55 c N dy 634 119227 840 58132 26032 43096 227530 760634 9.19 9.67
221.20/27.89 c N dy 676 126898 840 58132 26047 28594 227530 387002 9.19 9.95
232.39/29.25 c N dy 726 135040 840 58132 26050 36593 227530 563293 9.21 9.78
234.54/29.86 c Following stats are for *FIRST FINISHED THREAD ONLY*
234.54/29.86 c num threads : 8
234.54/29.86 c restarts : 848
234.54/29.86 c dynamic restarts : 830
234.54/29.86 c static restarts : 18
234.54/29.86 c full restarts : 2
234.54/29.86 c total simplify time : 0.00
234.54/29.86 c learnts DL2 : 0
234.54/29.86 c learnts size 2 : 62273
234.54/29.86 c learnts size 1 : 1 (0.12 % of vars)
234.54/29.86 c filedLit time : 0.35 (1.17 % time)
234.54/29.86 c v-elim SatELite : 0 (0.00 % vars)
234.54/29.86 c SatELite time : 0.40 (1.35 % time)
234.54/29.86 c v-elim xor : 0 (0.00 % vars)
234.54/29.86 c xor elim time : 0.01 (0.02 % time)
234.54/29.86 c num binary xor trees : 0
234.54/29.86 c binxor trees' crown : 0 (nan leafs/tree)
234.54/29.86 c bin xor find time : 0.00
234.54/29.86 c OTF clause improved : 2492 (0.02 clauses/conflict)
234.54/29.86 c OTF impr. size diff : 3314 (1.33 lits/clause)
234.54/29.86 c OTF cl watch-shrink : 91203 (0.58 clauses/conflict)
234.54/29.86 c OTF cl watch-sh-lit : 442684 (4.85 lits/clause)
234.54/29.86 c tried to recurMin cls : 55410 (35.14 % of conflicts)
234.54/29.86 c updated cache : 0 (0.00 lits/tried recurMin)
234.54/29.86 c unit cls recevied : 0 (0.00 % of units)
234.54/29.86 c unit cls sent : 0 (0.00 % of units)
234.54/29.86 c bin cls recevied : 5165
234.54/29.86 c bin cls sent : 165
234.54/29.86 c clauses over max glue : 0 (0.00 % of all clauses)
234.54/29.86 c conflicts : 157676 (5313.88 / sec)
234.54/29.86 c decisions : 342535 (0.65 % random)
234.54/29.86 c bogo-props : 1572144705 (52983243.33 / sec)
234.54/29.86 c conflict literals : 3482624 (56.89 % deleted)
234.54/29.86 c Memory used : 620.17 MB
234.54/29.86 c single-thread CPU time : 29.67 s
234.54/29.86 c all-threads sum CPU time : 234.24 s
234.54/29.86 s SATISFIABLE
234.54/29.86 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
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-3394892-1306108919/watcher-3394892-1306108919 -o /tmp/evaluation-result-3394892-1306108919/solver-3394892-1306108919 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394892-1306108919.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.41 7.91 7.96 2/408 1196
/proc/meminfo: memFree=25215208/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=40924 CPUtime=0 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) R 1194 1196 1170 0 -1 4202496 405 0 0 0 0 0 0 0 22 0 3 0 178501335 41906176 346 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880621553 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1196/statm: 10231 346 299 95 0 5213 0
[pid=1196/tid=1197] ppid=1194 vsize=92144 CPUtime=0.01 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 178501335 94355456 352 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431516082 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=92144 CPUtime=0 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 178501335 94355456 352 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431516082 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=92144 CPUtime=0.01 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 178501336 94355456 352 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431516072 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=92144 CPUtime=0 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 178501336 94355456 352 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431516080 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=92144 CPUtime=0 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 178501336 94355456 352 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=92144 CPUtime=0.01 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 178501336 94355456 352 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431516082 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=92144 CPUtime=0.01 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 178501336 94355456 352 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431516076 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.102126 s]
/proc/loadavg: 7.41 7.91 7.96 2/408 1196
/proc/meminfo: memFree=25215208/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=558860 CPUtime=0.48 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) R 1194 1196 1170 0 -1 4202496 8861 0 0 0 36 12 0 0 17 0 8 0 178501335 572272640 8767 33554432000 4194304 4580107 140735735537600 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1196/statm: 139715 8779 337 95 0 134697 0
[pid=1196/tid=1197] ppid=1194 vsize=558860 CPUtime=0.06 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) D 1194 1196 1170 0 -1 4202560 986 0 0 0 5 1 0 0 17 0 8 0 178501335 572272640 8780 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880226337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=558860 CPUtime=0.02 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 892 0 0 0 1 1 0 0 17 0 8 0 178501335 572272640 8786 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880670190 0 0 4096 2 18446604449375659328 0 0 -1 7 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=558860 CPUtime=0.06 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 1088 0 0 0 4 2 0 0 17 0 8 0 178501336 572272640 8809 33554432000 4194304 4580107 140735735537600 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=558860 CPUtime=0.06 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 1032 0 0 0 5 1 0 0 17 0 8 0 178501336 572272640 8818 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=558860 CPUtime=0.05 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 990 0 0 0 4 1 0 0 17 0 8 0 178501336 572272640 8826 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=558860 CPUtime=0.06 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 1561 0 0 0 5 1 0 0 17 0 8 0 178501336 572272640 8827 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880670190 0 0 4096 2 18446604449375659328 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=558860 CPUtime=0.06 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 1011 0 0 0 5 1 0 0 17 0 8 0 178501336 572272640 8838 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880670190 0 0 4096 2 18446604449375659328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 558860
[startup+0.975592 s]
/proc/loadavg: 7.41 7.91 7.96 2/408 1196
/proc/meminfo: memFree=25215208/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=576880 CPUtime=7.3 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) R 1194 1196 1170 0 -1 4202496 19094 0 0 0 711 19 0 0 18 0 8 0 178501335 590725120 19000 33554432000 4194304 4580107 140735735537600 18446744073709551615 4401259 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1196/statm: 144220 19000 370 95 0 139202 0
[pid=1196/tid=1197] ppid=1194 vsize=576880 CPUtime=0.91 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 1890 0 0 0 89 2 0 0 18 0 8 0 178501335 590725120 19001 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880226337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=576880 CPUtime=0.87 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 1740 0 0 0 86 1 0 0 18 0 8 0 178501335 590725120 19004 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=576880 CPUtime=0.91 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 2981 0 0 0 88 3 0 0 18 0 8 0 178501336 590725120 19006 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=576880 CPUtime=0.9 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 2063 0 0 0 89 1 0 0 18 0 8 0 178501336 590725120 19010 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880233663 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=576880 CPUtime=0.9 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) D 1194 1196 1170 0 -1 4202560 2535 0 0 0 88 2 0 0 18 0 8 0 178501336 590725120 19011 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880226337 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=576880 CPUtime=0.93 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 3734 0 0 0 91 2 0 0 18 0 8 0 178501336 590725120 19015 33554432000 4194304 4580107 140735735537600 18446744073709551615 4412377 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=576880 CPUtime=0.91 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 1930 0 0 0 89 2 0 0 18 0 8 0 178501336 590725120 19016 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 576880
[startup+1.00094 s]
/proc/loadavg: 7.41 7.91 7.96 2/408 1196
/proc/meminfo: memFree=25215208/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=581992 CPUtime=7.39 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) R 1194 1196 1170 0 -1 4202496 22106 0 0 0 718 21 0 0 18 0 8 0 178501335 595959808 22012 33554432000 4194304 4580107 140735735537600 18446744073709551615 4401259 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1196/statm: 145498 22012 370 95 0 140480 0
[pid=1196/tid=1197] ppid=1194 vsize=581992 CPUtime=0.91 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) D 1194 1196 1170 0 -1 4202560 2394 0 0 0 89 2 0 0 18 0 8 0 178501335 595959808 22012 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880226337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=581992 CPUtime=0.87 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) D 1194 1196 1170 0 -1 4202560 2278 0 0 0 86 1 0 0 18 0 8 0 178501335 595959808 22012 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880225989 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=581992 CPUtime=0.91 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) D 1194 1196 1170 0 -1 4202560 3475 0 0 0 88 3 0 0 18 0 8 0 178501336 595959808 22012 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=581992 CPUtime=0.91 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) D 1194 1196 1170 0 -1 4202560 2535 0 0 0 90 1 0 0 18 0 8 0 178501336 595959808 22012 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=581992 CPUtime=0.91 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) D 1194 1196 1170 0 -1 4202560 3012 0 0 0 88 3 0 0 18 0 8 0 178501336 595959808 22012 33554432000 4194304 4580107 140735735537600 18446744073709551615 218880226337 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=581992 CPUtime=0.96 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 3754 0 0 0 94 2 0 0 18 0 8 0 178501336 595959808 22012 33554432000 4194304 4580107 140735735537600 18446744073709551615 4412397 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=581992 CPUtime=0.94 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 1934 0 0 0 92 2 0 0 18 0 8 0 178501336 595959808 22012 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 581992
[startup+1.10093 s]
/proc/loadavg: 7.41 7.91 7.96 2/408 1196
/proc/meminfo: memFree=25215208/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=593908 CPUtime=7.96 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) R 1194 1196 1170 0 -1 4202496 28665 0 0 0 772 24 0 0 18 0 8 0 178501335 608161792 28478 33554432000 4194304 4580107 140735735537600 18446744073709551615 4406608 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1196/statm: 148477 28478 374 95 0 143459 0
[pid=1196/tid=1197] ppid=1194 vsize=593908 CPUtime=0.97 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 3597 0 0 0 94 3 0 0 18 0 8 0 178501335 608161792 28478 33554432000 4194304 4580107 140735735537600 18446744073709551615 4412397 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=593908 CPUtime=0.94 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 3567 0 0 0 93 1 0 0 18 0 8 0 178501335 608161792 28478 33554432000 4194304 4580107 140735735537600 18446744073709551615 4412391 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=593908 CPUtime=0.99 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 3682 0 0 0 96 3 0 0 18 0 8 0 178501336 608161792 28478 33554432000 4194304 4580107 140735735537600 18446744073709551615 4479144 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=593908 CPUtime=0.97 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 3531 0 0 0 95 2 0 0 18 0 8 0 178501336 608161792 28478 33554432000 4194304 4580107 140735735537600 18446744073709551615 4413081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=593908 CPUtime=0.98 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 3475 0 0 0 95 3 0 0 18 0 8 0 178501336 608161792 28478 33554432000 4194304 4580107 140735735537600 18446744073709551615 4412801 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=593908 CPUtime=1.05 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 4828 0 0 0 102 3 0 0 18 0 8 0 178501336 608161792 28478 33554432000 4194304 4580107 140735735537600 18446744073709551615 4416463 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=593908 CPUtime=1.03 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 1946 0 0 0 101 2 0 0 19 0 8 0 178501336 608161792 28478 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 593908
[startup+1.50086 s]
/proc/loadavg: 7.41 7.91 7.96 2/408 1196
/proc/meminfo: memFree=25215208/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=591844 CPUtime=11.16 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) R 1194 1196 1170 0 -1 4202496 37185 0 0 0 1090 26 0 0 18 0 8 0 178501335 606048256 30565 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293691 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1196/statm: 147961 30565 377 95 0 142943 0
[pid=1196/tid=1197] ppid=1194 vsize=591844 CPUtime=1.36 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 5110 0 0 0 133 3 0 0 18 0 8 0 178501335 606048256 30565 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=591844 CPUtime=1.34 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 5080 0 0 0 132 2 0 0 18 0 8 0 178501335 606048256 30565 33554432000 4194304 4580107 140735735537600 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=591844 CPUtime=1.39 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 4713 0 0 0 136 3 0 0 18 0 8 0 178501336 606048256 30565 33554432000 4194304 4580107 140735735537600 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=591844 CPUtime=1.37 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 4723 0 0 0 135 2 0 0 18 0 8 0 178501336 606048256 30565 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=591844 CPUtime=1.39 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 4743 0 0 0 135 4 0 0 18 0 8 0 178501336 606048256 30565 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=591844 CPUtime=1.45 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 5209 0 0 0 142 3 0 0 18 0 8 0 178501336 606048256 30565 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293932 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=591844 CPUtime=1.43 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 2002 0 0 0 141 2 0 0 19 0 8 0 178501336 606048256 30565 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.16
Current children cumulated vsize (KiB) 591844
[startup+3.10058 s]
/proc/loadavg: 7.41 7.91 7.96 9/416 1204
/proc/meminfo: memFree=25083580/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=591844 CPUtime=23.93 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) R 1194 1196 1170 0 -1 4202496 40097 0 0 0 2366 27 0 0 21 0 8 0 178501335 606048256 33477 33554432000 4194304 4580107 140735735537600 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1196/statm: 147961 33477 377 95 0 142943 0
[pid=1196/tid=1197] ppid=1194 vsize=591844 CPUtime=2.96 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 5454 0 0 0 293 3 0 0 21 0 8 0 178501335 606048256 33477 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=591844 CPUtime=2.94 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 5387 0 0 0 292 2 0 0 21 0 8 0 178501335 606048256 33477 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=591844 CPUtime=3 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 5055 0 0 0 296 4 0 0 21 0 8 0 178501336 606048256 33477 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=591844 CPUtime=2.97 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 5037 0 0 0 295 2 0 0 21 0 8 0 178501336 606048256 33477 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=591844 CPUtime=2.98 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 5126 0 0 0 294 4 0 0 21 0 8 0 178501336 606048256 33477 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=591844 CPUtime=3.04 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 5574 0 0 0 301 3 0 0 21 0 8 0 178501336 606048256 33478 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=591844 CPUtime=3.03 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 2545 0 0 0 301 2 0 0 23 0 8 0 178501336 606048256 33478 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.93
Current children cumulated vsize (KiB) 591844
[startup+6.31502 s]
/proc/loadavg: 7.46 7.91 7.96 9/416 1204
/proc/meminfo: memFree=25070828/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=610676 CPUtime=49.59 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) R 1194 1196 1170 0 -1 4202496 51385 0 0 0 4930 29 0 0 25 0 8 0 178501335 625332224 36667 33554432000 4194304 4580107 140735735537600 18446744073709551615 4413328 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1196/statm: 152669 36667 379 95 0 147651 0
[pid=1196/tid=1197] ppid=1194 vsize=610676 CPUtime=6.18 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 6678 0 0 0 614 4 0 0 25 0 8 0 178501335 625332224 36667 33554432000 4194304 4580107 140735735537600 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=610676 CPUtime=6.15 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 6545 0 0 0 613 2 0 0 25 0 8 0 178501335 625332224 36667 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=610676 CPUtime=6.21 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 6302 0 0 0 617 4 0 0 25 0 8 0 178501336 625332224 36667 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=610676 CPUtime=6.18 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 6173 0 0 0 616 2 0 0 25 0 8 0 178501336 625332224 36667 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=610676 CPUtime=6.19 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 6401 0 0 0 615 4 0 0 25 0 8 0 178501336 625332224 36667 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=610676 CPUtime=6.27 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 6806 0 0 0 623 4 0 0 25 0 8 0 178501336 625332224 36667 33554432000 4194304 4580107 140735735537600 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=610676 CPUtime=6.24 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 3927 0 0 0 622 2 0 0 25 0 8 0 178501336 625332224 36667 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/1196/task/1201/stat : 1201 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 9832 0 0 0 1253 5 0 0 25 0 8 0 178501336 591314944 50479 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=577456 CPUtime=12.65 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 11169 0 0 0 1260 5 0 0 25 0 8 0 178501336 591314944 50479 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=577456 CPUtime=12.63 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 6378 0 0 0 1260 3 0 0 25 0 8 0 178501336 591314944 50479 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.6
Current children cumulated vsize (KiB) 577456
[startup+25.5007 s]
/proc/loadavg: 7.61 7.92 7.96 9/416 1205
/proc/meminfo: memFree=24946452/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=699904 CPUtime=202.82 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) R 1194 1196 1170 0 -1 4202496 111339 0 0 0 20239 43 0 0 25 0 8 0 178501335 716701696 68128 33554432000 4194304 4580107 140735735537600 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1196/statm: 174976 68128 379 95 0 169958 0
[pid=1196/tid=1197] ppid=1194 vsize=699904 CPUtime=25.35 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 13777 0 0 0 2530 5 0 0 25 0 8 0 178501335 716701696 68128 33554432000 4194304 4580107 140735735537600 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=699904 CPUtime=25.34 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 13981 0 0 0 2530 4 0 0 25 0 8 0 178501335 716701696 68128 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=699904 CPUtime=25.39 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 13765 0 0 0 2534 5 0 0 25 0 8 0 178501336 716701696 68128 33554432000 4194304 4580107 140735735537600 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=699904 CPUtime=25.37 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 15010 0 0 0 2533 4 0 0 25 0 8 0 178501336 716701696 68128 33554432000 4194304 4580107 140735735537600 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=699904 CPUtime=25.38 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 11827 0 0 0 2532 6 0 0 25 0 8 0 178501336 716701696 68128 33554432000 4194304 4580107 140735735537600 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=699904 CPUtime=25.45 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 12920 0 0 0 2539 6 0 0 25 0 8 0 178501336 716701696 68128 33554432000 4194304 4580107 140735735537600 18446744073709551615 4324117 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=699904 CPUtime=25.42 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 14602 0 0 0 2538 4 0 0 25 0 8 0 178501336 716701696 68128 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.82
Current children cumulated vsize (KiB) 699904
Solver just ended. Dumping a history of the last processes samples
[startup+26.3005 s]
/proc/loadavg: 7.61 7.92 7.96 9/416 1205
/proc/meminfo: memFree=24943228/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=700444 CPUtime=209.21 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) R 1194 1196 1170 0 -1 4202496 111947 0 0 0 20878 43 0 0 25 0 8 0 178501335 717254656 68736 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293698 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1196/statm: 175111 68736 379 95 0 170093 0
[pid=1196/tid=1197] ppid=1194 vsize=700444 CPUtime=26.15 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 13809 0 0 0 2610 5 0 0 25 0 8 0 178501335 717254656 68736 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=700444 CPUtime=26.14 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 14086 0 0 0 2610 4 0 0 25 0 8 0 178501335 717254656 68736 33554432000 4194304 4580107 140735735537600 18446744073709551615 4295967 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=700444 CPUtime=26.19 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 13882 0 0 0 2614 5 0 0 25 0 8 0 178501336 717254656 68736 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=700444 CPUtime=26.17 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 15049 0 0 0 2613 4 0 0 25 0 8 0 178501336 717254656 68736 33554432000 4194304 4580107 140735735537600 18446744073709551615 4295856 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=700444 CPUtime=26.18 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 11827 0 0 0 2612 6 0 0 25 0 8 0 178501336 717254656 68736 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=700444 CPUtime=26.25 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 13011 0 0 0 2619 6 0 0 25 0 8 0 178501336 717254656 68736 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=700444 CPUtime=26.22 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 14717 0 0 0 2618 4 0 0 25 0 8 0 178501336 717254656 68736 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 209.21
Current children cumulated vsize (KiB) 700444
[startup+27.9013 s]
/proc/loadavg: 7.61 7.92 7.96 9/416 1205
/proc/meminfo: memFree=24948684/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=634908 CPUtime=222 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) R 1194 1196 1170 0 -1 4202496 114675 0 0 0 22157 43 0 0 25 0 8 0 178501335 650145792 67872 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1196/statm: 158727 67872 379 95 0 153709 0
[pid=1196/tid=1197] ppid=1194 vsize=634908 CPUtime=27.75 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 13817 0 0 0 2770 5 0 0 25 0 8 0 178501335 650145792 67872 33554432000 4194304 4580107 140735735537600 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=634908 CPUtime=27.74 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 14140 0 0 0 2770 4 0 0 25 0 8 0 178501335 650145792 67872 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=634908 CPUtime=27.79 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 14752 0 0 0 2774 5 0 0 25 0 8 0 178501336 650145792 67872 33554432000 4194304 4580107 140735735537600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=634908 CPUtime=27.77 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 15144 0 0 0 2773 4 0 0 25 0 8 0 178501336 650145792 67872 33554432000 4194304 4580107 140735735537600 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=634908 CPUtime=27.78 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 11827 0 0 0 2772 6 0 0 25 0 8 0 178501336 650145792 67872 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=634908 CPUtime=27.85 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 13021 0 0 0 2779 6 0 0 25 0 8 0 178501336 650145792 67872 33554432000 4194304 4580107 140735735537600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=634908 CPUtime=27.82 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 15574 0 0 0 2778 4 0 0 25 0 8 0 178501336 650145792 67872 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222
Current children cumulated vsize (KiB) 634908
[startup+28.7011 s]
/proc/loadavg: 7.61 7.92 7.96 9/416 1205
/proc/meminfo: memFree=24944336/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=635052 CPUtime=228.38 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) R 1194 1196 1170 0 -1 4202496 115794 0 0 0 22795 43 0 0 25 0 8 0 178501335 650293248 68991 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293097 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1196/statm: 158763 68991 379 95 0 153745 0
[pid=1196/tid=1197] ppid=1194 vsize=635052 CPUtime=28.55 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 13817 0 0 0 2850 5 0 0 25 0 8 0 178501335 650293248 68991 33554432000 4194304 4580107 140735735537600 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=635052 CPUtime=28.54 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 14207 0 0 0 2850 4 0 0 25 0 8 0 178501335 650293248 68991 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=635052 CPUtime=28.6 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 14961 0 0 0 2854 6 0 0 25 0 8 0 178501336 650293248 68991 33554432000 4194304 4580107 140735735537600 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=635052 CPUtime=28.57 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 15148 0 0 0 2853 4 0 0 25 0 8 0 178501336 650293248 68991 33554432000 4194304 4580107 140735735537600 18446744073709551615 4413101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=635052 CPUtime=28.58 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 12393 0 0 0 2852 6 0 0 25 0 8 0 178501336 650293248 68991 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=635052 CPUtime=28.65 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 13060 0 0 0 2859 6 0 0 25 0 8 0 178501336 650293248 68991 33554432000 4194304 4580107 140735735537600 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=635052 CPUtime=28.62 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 15695 0 0 0 2858 4 0 0 25 0 8 0 178501336 650293248 68991 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 228.38
Current children cumulated vsize (KiB) 635052
[startup+29.5011 s]
/proc/loadavg: 7.64 7.92 7.96 9/416 1205
/proc/meminfo: memFree=24936276/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=635052 CPUtime=233.94 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) S 1194 1196 1170 0 -1 4202496 116970 0 0 0 23350 44 0 0 25 0 8 0 178501335 650293248 69553 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1196/statm: 158763 69553 379 95 0 153745 0
[pid=1196/tid=1197] ppid=1194 vsize=635052 CPUtime=29.21 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 13817 0 0 0 2916 5 0 0 25 0 8 0 178501335 650293248 69553 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=635052 CPUtime=29.34 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 14299 0 0 0 2930 4 0 0 25 0 8 0 178501335 650293248 69553 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431491268 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=635052 CPUtime=29.25 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 15049 0 0 0 2919 6 0 0 25 0 8 0 178501336 650293248 69553 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=635052 CPUtime=29.37 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 15886 0 0 0 2933 4 0 0 25 0 8 0 178501336 650293248 69553 33554432000 4194304 4580107 140735735537600 18446744073709551615 4502021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=635052 CPUtime=29.24 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 12487 0 0 0 2918 6 0 0 25 0 8 0 178501336 650293248 69553 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 1 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=635052 CPUtime=29.31 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 13061 0 0 0 2925 6 0 0 25 0 8 0 178501336 650293248 69553 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=635052 CPUtime=29.28 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 15776 0 0 0 2924 4 0 0 25 0 8 0 178501336 650293248 69553 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 233.94
Current children cumulated vsize (KiB) 635052
[startup+29.701 s]
/proc/loadavg: 7.64 7.92 7.96 9/416 1205
/proc/meminfo: memFree=24936276/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=635052 CPUtime=234.34 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) S 1194 1196 1170 0 -1 4202496 116975 0 0 0 23390 44 0 0 25 0 8 0 178501335 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1196/statm: 158763 69558 379 95 0 153745 0
[pid=1196/tid=1197] ppid=1194 vsize=635052 CPUtime=29.21 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 13817 0 0 0 2916 5 0 0 25 0 8 0 178501335 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=635052 CPUtime=29.54 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 14299 0 0 0 2950 4 0 0 25 0 8 0 178501335 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431491115 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=635052 CPUtime=29.25 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 15049 0 0 0 2919 6 0 0 25 0 8 0 178501336 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=635052 CPUtime=29.57 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 15891 0 0 0 2953 4 0 0 25 0 8 0 178501336 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=635052 CPUtime=29.24 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 12487 0 0 0 2918 6 0 0 25 0 8 0 178501336 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 1 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=635052 CPUtime=29.31 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 13061 0 0 0 2925 6 0 0 25 0 8 0 178501336 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=635052 CPUtime=29.28 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 15776 0 0 0 2924 4 0 0 25 0 8 0 178501336 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 234.34
Current children cumulated vsize (KiB) 635052
[startup+29.801 s]
/proc/loadavg: 7.64 7.92 7.96 9/416 1205
/proc/meminfo: memFree=24936276/32950928 swapFree=53456944/67111528
[pid=1196] ppid=1194 vsize=635052 CPUtime=234.54 cores=0-7
/proc/1196/stat : 1196 (strangenight2-m) S 1194 1196 1170 0 -1 4202496 116975 0 0 0 23410 44 0 0 25 0 8 0 178501335 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1196/statm: 158763 69558 379 95 0 153745 0
[pid=1196/tid=1197] ppid=1194 vsize=635052 CPUtime=29.21 cores=0-7
/proc/1196/task/1197/stat : 1197 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 13817 0 0 0 2916 5 0 0 25 0 8 0 178501335 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 2 0 0 0
[pid=1196/tid=1198] ppid=1194 vsize=635052 CPUtime=29.64 cores=0-7
/proc/1196/task/1198/stat : 1198 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 14299 0 0 0 2960 4 0 0 25 0 8 0 178501335 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431491115 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1196/tid=1199] ppid=1194 vsize=635052 CPUtime=29.25 cores=0-7
/proc/1196/task/1199/stat : 1199 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 15049 0 0 0 2919 6 0 0 25 0 8 0 178501336 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 3 0 0 0
[pid=1196/tid=1200] ppid=1194 vsize=635052 CPUtime=29.67 cores=0-7
/proc/1196/task/1200/stat : 1200 (strangenight2-m) R 1194 1196 1170 0 -1 4202560 15891 0 0 0 2963 4 0 0 25 0 8 0 178501336 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1196/tid=1201] ppid=1194 vsize=635052 CPUtime=29.24 cores=0-7
/proc/1196/task/1201/stat : 1201 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 12487 0 0 0 2918 6 0 0 25 0 8 0 178501336 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 1 0 0 0
[pid=1196/tid=1202] ppid=1194 vsize=635052 CPUtime=29.31 cores=0-7
/proc/1196/task/1202/stat : 1202 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 13061 0 0 0 2925 6 0 0 25 0 8 0 178501336 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 6 0 0 0
[pid=1196/tid=1203] ppid=1194 vsize=635052 CPUtime=29.28 cores=0-7
/proc/1196/task/1203/stat : 1203 (strangenight2-m) S 1194 1196 1170 0 -1 4202560 15776 0 0 0 2924 4 0 0 25 0 8 0 178501336 650293248 69558 33554432000 4194304 4580107 140735735537600 18446744073709551615 47427431515700 0 0 4096 2 18446604449375659328 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 234.54
Current children cumulated vsize (KiB) 635052
Child status: 10
Real time (s): 29.8832
CPU time (s): 234.695
CPU user time (s): 234.238
CPU system time (s): 0.45693
CPU usage (%): 785.376
Max. virtual memory (cumulated for all children) (KiB): 700444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 234.238
system time used= 0.45693
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116983
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= 34588
involuntary context switches= 1086
runsolver used 0.124981 second user time and 0.274958 second system time
The end
Begin job on node112 at 2011-05-23 02:01:59
IDJOB=3394892
IDBENCH=85973
IDSOLVER=1878
FILE ID=node112/3394892-1306108919
RUNJOBID= node112-1306108919-1184
PBS_JOBID= 13388035
Free space on /tmp= 73332 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-3394892-1306108919/watcher-3394892-1306108919 -o /tmp/evaluation-result-3394892-1306108919/solver-3394892-1306108919 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394892-1306108919.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= f874c09c5787bb3c6a16f7a5f9ea0ad4
RANDOM SEED=1374715536
node112.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.847
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.69
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.847
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 : 5180.45
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.847
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.847
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
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.61
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.847
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.83
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.847
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.74
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.847
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 25215488 kB
Buffers: 218664 kB
Cached: 5134100 kB
SwapCached: 62308 kB
Active: 597148 kB
Inactive: 6916636 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 25215488 kB
SwapTotal: 67111528 kB
SwapFree: 53456944 kB
Dirty: 7008 kB
Writeback: 0 kB
AnonPages: 2107388 kB
Mapped: 15224 kB
Slab: 93684 kB
PageTables: 58788 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 98614024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73328 MiB
End job on node112 at 2011-05-23 02:02:29