0.00/0.00 c Outputting solution to console
0.00/0.04 c Using 8 threads
0.26/0.06 c This is CryptoMiniSat 3.0.0
0.26/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.26/0.06 c Reading file 'HOME/instance-3421471-1306643787.cnf'
0.26/0.06 c -- header says num vars: 760
0.26/0.06 c -- header says num clauses: 43649
0.26/0.09 c -- clauses added: 0 learnts, 43649 normals, 0 xors
0.26/0.09 c -- vars added 760
0.26/0.09 c Parsing time: 0.00 s
0.26/0.09 c N st 0 0 760 40 43609 0 87978 0 no data no data
0.26/0.09 c asymm cl-useful: 0/40/40 lits-rem:0 time: 0.00
0.43/0.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01
0.43/0.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
0.43/0.11 c bin-w-bin subsume rem 2513 bins time: 0.00 s
0.43/0.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
0.43/0.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 760 time: 0.00 s
0.43/0.13 c Removed useless bin: 0 fixed: 0 props: 0.21M time: 0.00 s
0.43/0.20 c lits-rem: 348 cl-subs: 0 v-elim: 40 v-fix: 0 time: 0.01 s
0.43/0.20 c Finding binary XORs T: 0.00 s found: 0
0.43/0.20 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
0.43/0.20 c calculated reachability. Time: 0.00
0.43/0.20 c Calc default polars - time: 0.00 s pos: 0 undec: 40 neg: 720
0.43/0.20 c =========================================================================================
0.43/0.20 c types(t): F = full restart, N = normal restart
0.43/0.20 c types(t): S = simplification begin/end, E = solution found
0.43/0.20 c restart types(rt): st = static, dy = dynamic
0.43/0.20 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.43/0.20 c B st 0 0 720 2960 37416 0 131880 0 no data no data
8.36/1.16 c N dy 16 4160 720 2960 37422 4033 131880 88613 7.47 7.89
8.36/1.16 c N dy 36 8195 720 2960 37442 5568 131880 111827 7.51 8.00
8.36/1.16 c N dy 64 12489 720 2960 37444 5623 131880 99043 7.61 8.25
8.36/1.16 c N dy 90 16587 720 2960 37457 9620 131880 191352 7.76 8.24
8.36/1.16 c N dy 103 20703 720 2960 37470 8138 131880 128018 7.71 8.19
10.61/1.46 c N dy 131 24829 720 2960 37479 12169 131880 222772 7.83 8.29
10.61/1.46 c F st 132 25001 720 2960 37479 12336 131880 226463 7.83 7.24
12.20/1.67 c N dy 138 30002 720 2960 37479 10514 131880 171830 7.83 no data
12.20/1.67 c S st 138 30002 720 2960 37479 10514 131880 171830 7.83 no data
13.00/1.70 c S st 138 30504 720 2960 37479 11013 131880 185092 7.83 no data
13.00/1.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
13.00/1.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 186 BRemL: 0 BRemN: 0 P: 3.5M T: 0.06
13.00/1.76 c blocked clauses removed: 0 vars: 0 tried: 720 T: 0.00 s
13.00/1.77 c bin-w-bin subsume rem 0 bins time: 0.00 s
13.80/1.87 c subs with bin: 0 lits-rem: 17107 v-fix: 0 time: 0.10 s
13.80/1.87 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 720 time: 0.00 s
13.80/1.88 c Removed useless bin: 0 fixed: 0 props: 0.18M time: 0.00 s
13.80/1.88 c lits-rem: 8 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
17.78/2.31 c subs with bin: 211 lits-rem: 544 v-fix: 0 time: 0.42 s
17.78/2.39 c lits-rem: 998 cl-subs: 2076 v-elim: 0 v-fix: 0 time: 0.07 s
19.39/2.54 c asymm cl-useful: 2/2920/2960 lits-rem:3 time: 0.16
19.39/2.54 c calculated reachability. Time: 0.00
19.39/2.54 c N dy 138 30504 720 2960 37665 8726 114762 157281 7.83 no data
20.99/2.76 c N dy 167 34583 720 2960 37685 12695 114762 258606 7.93 8.53
22.59/2.99 c N dy 192 38612 720 2960 37687 8950 114762 141059 7.99 8.55
25.04/3.25 c N dy 218 43043 720 2960 37687 13260 114762 240066 8.10 8.62
26.57/3.40 c S st 232 45756 720 2960 37713 15887 114762 301071 8.09 no data
26.57/3.44 c S st 232 46258 720 2960 37713 16388 114762 317191 8.09 no data
26.57/3.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
27.37/3.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 20 BRemL: 0 BRemN: 0 P: 3.5M T: 0.06
27.37/3.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
27.37/3.50 c bin-w-bin subsume rem 0 bins time: 0.00 s
27.37/3.57 c subs with bin: 0 lits-rem: 7 v-fix: 0 time: 0.06 s
27.37/3.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 720 time: 0.00 s
27.37/3.57 c Removed useless bin: 0 fixed: 0 props: 0.17M time: 0.00 s
27.37/3.58 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
34.70/4.49 c subs with bin: 195 lits-rem: 512 v-fix: 0 time: 0.91 s
36.15/4.62 c lits-rem: 1291 cl-subs: 1728 v-elim: 0 v-fix: 0 time: 0.12 s
36.15/4.62 c vivif2 -- cl tried 2960 cl shrink 0 lits rem 0 time: 0.00
36.15/4.63 c vivif2 -- cl tried 14465 cl shrink 0 lits rem 0 time: 0.01
37.74/4.83 c asymm cl-useful: 0/2960/2960 lits-rem:0 time: 0.19
37.74/4.83 c calculated reachability. Time: 0.00
37.74/4.83 c N dy 232 46258 720 2960 37733 14465 114755 292004 8.09 no data
40.14/5.10 c N dy 258 50545 720 2960 37746 9980 114755 142632 8.16 8.60
41.74/5.33 c N dy 285 54549 720 2960 37747 13861 114755 235618 8.22 8.73
44.13/5.63 c N dy 310 59117 720 2960 37756 18254 114755 347074 8.27 8.77
45.73/5.89 c N dy 332 63160 720 2960 37760 12506 114755 194864 8.29 8.79
48.13/6.13 c N dy 355 67258 720 2960 37761 16484 114755 290811 8.31 8.82
48.93/6.29 c S st 369 69387 720 2960 37770 18525 114755 335181 8.32 8.04
49.73/6.32 c S st 369 69889 720 2960 37770 19026 114755 350389 8.32 no data
49.73/6.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
49.73/6.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 7 BRemL: 0 BRemN: 0 P: 3.8M T: 0.06
49.73/6.38 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
49.73/6.39 c bin-w-bin subsume rem 0 bins time: 0.00 s
50.53/6.45 c subs with bin: 0 lits-rem: 18 v-fix: 0 time: 0.06 s
50.53/6.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 720 time: 0.00 s
50.53/6.46 c Removed useless bin: 0 fixed: 0 props: 0.17M time: 0.00 s
50.53/6.46 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
59.30/7.50 c subs with bin: 1982 lits-rem: 3873 v-fix: 0 time: 1.03 s
60.16/7.65 c lits-rem: 855 cl-subs: 1385 v-elim: 0 v-fix: 0 time: 0.14 s
60.16/7.65 c vivif2 -- cl tried 2960 cl shrink 0 lits rem 0 time: 0.00
60.16/7.66 c vivif2 -- cl tried 15659 cl shrink 0 lits rem 0 time: 0.01
61.68/7.87 c asymm cl-useful: 0/2960/2960 lits-rem:0 time: 0.21
61.68/7.87 c calculated reachability. Time: 0.00
61.68/7.87 c N dy 369 69889 720 2960 37779 15659 114737 303746 8.32 no data
64.08/8.19 c N dy 400 74399 719 2960 37799 20046 114737 416709 8.40 18.07
66.48/8.49 c N dy 425 79168 719 2960 37802 14088 114737 225804 8.43 9.81
69.81/8.82 c N dy 460 84238 719 2960 37811 18993 114737 362278 8.49 16.42
71.26/9.04 c F st 476 87500 719 2960 37822 22162 114737 440967 8.49 no data
72.85/9.27 c N st 481 90798 719 2953 37622 12933 114286 197056 8.49 no data
73.65/9.39 c Finding binary XORs T: 0.00 s found: 0
76.06/9.67 c N dy 509 96838 719 2953 37640 18786 114286 350832 8.52 8.98
80.04/10.11 c N dy 537 103066 718 2953 37652 12643 114286 180110 8.52 8.97
80.84/10.22 c S st 548 104833 718 2953 37652 14357 114286 229077 8.52 8.68
80.84/10.25 c S st 548 105340 718 2953 37654 14862 114286 245207 8.52 no data
80.84/10.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
81.63/10.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2 BRemL: 0 BRemN: 0 P: 4.0M T: 0.06
81.63/10.32 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
81.63/10.32 c bin-w-bin subsume rem 0 bins time: 0.00 s
81.63/10.38 c subs with bin: 0 lits-rem: 2 v-fix: 0 time: 0.06 s
81.63/10.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 718 time: 0.00 s
81.63/10.39 c Removed useless bin: 0 fixed: 0 props: 0.17M time: 0.00 s
81.63/10.39 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
86.50/10.99 c subs with bin: 125 lits-rem: 302 v-fix: 0 time: 0.59 s
87.38/11.04 c lits-rem: 213 cl-subs: 434 v-elim: 0 v-fix: 0 time: 0.05 s
87.38/11.05 c vivif2 -- cl tried 2943 cl shrink 0 lits rem 0 time: 0.00
87.38/11.05 c vivif2 -- cl tried 12624 cl shrink 0 lits rem 0 time: 0.01
88.83/11.26 c asymm cl-useful: 0/2943/2943 lits-rem:0 time: 0.21
88.83/11.27 c calculated reachability. Time: 0.00
88.83/11.27 c N dy 548 105340 718 2943 37430 12624 113785 219307 8.52 no data
92.83/11.72 c N dy 586 112102 718 2943 37439 19191 113785 386189 8.52 9.07
96.81/12.28 c N dy 611 119308 718 2943 37443 13653 113785 209249 8.50 9.98
101.60/12.82 c N dy 647 127023 718 2943 37454 21137 113785 394650 8.49 9.07
106.38/13.47 c N dy 690 135137 718 2943 37463 14997 113785 208776 8.50 8.96
111.18/14.09 c N dy 728 143917 718 2943 37487 23445 113785 408744 8.49 8.95
117.56/14.82 c N dy 771 153301 717 2943 37490 17321 113785 236396 8.48 8.99
120.50/15.61 c Following stats are for *FIRST FINISHED THREAD ONLY*
120.50/15.61 c num threads : 8
120.50/15.61 c restarts : 915
120.50/15.61 c dynamic restarts : 897
120.50/15.61 c static restarts : 18
120.50/15.61 c full restarts : 2
120.50/15.61 c total simplify time : 0.00
120.50/15.61 c learnts DL2 : 0
120.50/15.61 c learnts size 2 : 44104
120.50/15.61 c learnts size 1 : 3 (0.39 % of vars)
120.50/15.61 c filedLit time : 0.14 (0.88 % time)
120.50/15.61 c v-elim SatELite : 40 (5.26 % vars)
120.50/15.61 c SatELite time : 0.27 (1.75 % time)
120.50/15.61 c v-elim xor : 0 (0.00 % vars)
120.50/15.61 c xor elim time : 0.00 (0.02 % time)
120.50/15.61 c num binary xor trees : 0
120.50/15.61 c binxor trees' crown : 0 (nan leafs/tree)
120.50/15.61 c bin xor find time : 0.00
120.50/15.61 c OTF clause improved : 5675 (0.03 clauses/conflict)
120.50/15.61 c OTF impr. size diff : 6940 (1.22 lits/clause)
120.50/15.61 c OTF cl watch-shrink : 157549 (0.82 clauses/conflict)
120.50/15.61 c OTF cl watch-sh-lit : 1407547 (8.93 lits/clause)
120.50/15.61 c tried to recurMin cls : 51542 (26.98 % of conflicts)
120.50/15.61 c updated cache : 0 (0.00 lits/tried recurMin)
120.50/15.61 c unit cls recevied : 1 (33.33 % of units)
120.50/15.61 c unit cls sent : 1 (33.33 % of units)
120.50/15.61 c bin cls recevied : 397
120.50/15.61 c bin cls sent : 87
120.50/15.61 c clauses over max glue : 0 (0.00 % of all clauses)
120.50/15.61 c conflicts : 191020 (12303.52 / sec)
120.50/15.61 c decisions : 292099 (1.08 % random)
120.50/15.61 c bogo-props : 1597241521 (102877667.13 / sec)
120.50/15.61 c conflict literals : 4552303 (65.57 % deleted)
120.50/15.61 c Memory used : 643.98 MB
120.50/15.61 c single-thread CPU time : 15.53 s
120.50/15.61 c all-threads sum CPU time : 120.29 s
120.50/15.61 s SATISFIABLE
120.50/15.61 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 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-3421471-1306643787/watcher-3421471-1306643787 -o /tmp/evaluation-result-3421471-1306643787/solver-3421471-1306643787 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421471-1306643787.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: 1.12 1.72 1.89 2/508 8678
/proc/meminfo: memFree=11237372/32950928 swapFree=67074476/67111528
[pid=8678] ppid=8676 vsize=92144 CPUtime=0.01 cores=0-7
/proc/8678/stat : 8678 (strangenight2-m) R 8676 8678 8652 0 -1 4202496 411 0 0 0 1 0 0 0 24 0 8 0 854609361 94355456 352 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8678/statm: 23036 352 299 95 0 18018 0
[pid=8678/tid=8679] ppid=8676 vsize=92144 CPUtime=0.01 cores=0-7
/proc/8678/task/8679/stat : 8679 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 854609361 94355456 352 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986930 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8678/tid=8680] ppid=8676 vsize=92144 CPUtime=0 cores=0-7
/proc/8678/task/8680/stat : 8680 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 854609361 94355456 352 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986928 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8678/tid=8681] ppid=8676 vsize=92144 CPUtime=0.01 cores=0-7
/proc/8678/task/8681/stat : 8681 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 854609361 94355456 352 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986924 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8678/tid=8682] ppid=8676 vsize=92144 CPUtime=0.01 cores=0-7
/proc/8678/task/8682/stat : 8682 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 854609361 94355456 352 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986930 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8678/tid=8683] ppid=8676 vsize=92144 CPUtime=0 cores=0-7
/proc/8678/task/8683/stat : 8683 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 854609361 94355456 352 33554432000 4194304 4580107 140735856838816 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8678/tid=8684] ppid=8676 vsize=92144 CPUtime=0 cores=0-7
/proc/8678/task/8684/stat : 8684 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 854609361 94355456 352 33554432000 4194304 4580107 140735856838816 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8678/tid=8685] ppid=8676 vsize=92144 CPUtime=0 cores=0-7
/proc/8678/task/8685/stat : 8685 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 854609361 94355456 352 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986930 0 0 4096 2 0 0 0 -1 5 0 0 0
[startup+0.0583521 s]
/proc/loadavg: 1.12 1.72 1.89 2/508 8678
/proc/meminfo: memFree=11237372/32950928 swapFree=67074476/67111528
[pid=8678] ppid=8676 vsize=92144 CPUtime=0.26 cores=0-7
/proc/8678/stat : 8678 (strangenight2-m) R 8676 8678 8652 0 -1 4202496 417 0 0 0 26 0 0 0 24 0 8 0 854609361 94355456 358 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986521 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8678/statm: 23036 358 302 95 0 18018 0
[pid=8678/tid=8679] ppid=8676 vsize=92144 CPUtime=0.05 cores=0-7
/proc/8678/task/8679/stat : 8679 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 4 0 0 0 5 0 0 0 24 0 8 0 854609361 94355456 358 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986521 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8678/tid=8680] ppid=8676 vsize=92144 CPUtime=0 cores=0-7
/proc/8678/task/8680/stat : 8680 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 854609361 94355456 358 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986928 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8678/tid=8681] ppid=8676 vsize=92144 CPUtime=0.05 cores=0-7
/proc/8678/task/8681/stat : 8681 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 8 0 854609361 94355456 358 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986515 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8678/tid=8682] ppid=8676 vsize=92144 CPUtime=0.03 cores=0-7
/proc/8678/task/8682/stat : 8682 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 8 0 854609361 94355456 358 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986512 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8678/tid=8683] ppid=8676 vsize=92144 CPUtime=0.02 cores=0-7
/proc/8678/task/8683/stat : 8683 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 8 0 854609361 94355456 358 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986521 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8678/tid=8684] ppid=8676 vsize=92144 CPUtime=0 cores=0-7
/proc/8678/task/8684/stat : 8684 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 854609361 94355456 358 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986525 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8678/tid=8685] ppid=8676 vsize=92144 CPUtime=0.04 cores=0-7
/proc/8678/task/8685/stat : 8685 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 8 0 854609361 94355456 358 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986521 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 92144
[startup+0.101292 s]
/proc/loadavg: 1.12 1.72 1.89 2/508 8678
/proc/meminfo: memFree=11237372/32950928 swapFree=67074476/67111528
[pid=8678] ppid=8676 vsize=619240 CPUtime=0.43 cores=0-7
/proc/8678/stat : 8678 (strangenight2-m) R 8676 8678 8652 0 -1 4202496 4065 0 0 0 39 4 0 0 17 0 8 0 854609361 634101760 3995 33554432000 4194304 4580107 140735856838816 18446744073709551615 256415496735 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8678/statm: 154810 4001 359 95 0 149792 0
[pid=8678/tid=8679] ppid=8676 vsize=619240 CPUtime=0.07 cores=0-7
/proc/8678/task/8679/stat : 8679 (strangenight2-m) D 8676 8678 8652 0 -1 4202560 485 0 0 0 7 0 0 0 17 0 8 0 854609361 634101760 4001 33554432000 4194304 4580107 140735856838816 18446744073709551615 256415434935 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8678/tid=8680] ppid=8676 vsize=619240 CPUtime=0 cores=0-7
/proc/8678/task/8680/stat : 8680 (strangenight2-m) D 8676 8678 8652 0 -1 4202560 520 0 0 0 0 0 0 0 17 0 8 0 854609361 634101760 4011 33554432000 4194304 4580107 140735856838816 18446744073709551615 256415052833 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8678/tid=8681] ppid=8676 vsize=619240 CPUtime=0.07 cores=0-7
/proc/8678/task/8681/stat : 8681 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 505 0 0 0 7 0 0 0 17 0 8 0 854609361 634101760 4032 33554432000 4194304 4580107 140735856838816 18446744073709551615 256415496735 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8678/tid=8682] ppid=8676 vsize=619240 CPUtime=0.05 cores=0-7
/proc/8678/task/8682/stat : 8682 (strangenight2-m) D 8676 8678 8652 0 -1 4202560 565 0 0 0 5 0 0 0 17 0 8 0 854609361 634101760 4046 33554432000 4194304 4580107 140735856838816 18446744073709551615 256415434935 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8678/tid=8683] ppid=8676 vsize=619372 CPUtime=0.03 cores=0-7
/proc/8678/task/8683/stat : 8683 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 277 0 0 0 3 0 0 0 17 0 8 0 854609361 634236928 4063 33554432000 4194304 4580107 140735856838816 18446744073709551615 256415496686 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8678/tid=8684] ppid=8676 vsize=619372 CPUtime=0.01 cores=0-7
/proc/8678/task/8684/stat : 8684 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 298 0 0 0 1 0 0 0 17 0 8 0 854609361 634236928 4072 33554432000 4194304 4580107 140735856838816 18446744073709551615 256415496686 0 0 4096 2 18446604446326891456 0 0 -1 6 0 0 0
[pid=8678/tid=8685] ppid=8676 vsize=619372 CPUtime=0.06 cores=0-7
/proc/8678/task/8685/stat : 8685 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 510 0 0 0 6 0 0 0 17 0 8 0 854609361 634236928 4083 33554432000 4194304 4580107 140735856838816 18446744073709551615 256415496686 0 0 4096 2 18446604446326891456 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 619240
[startup+0.301253 s]
/proc/loadavg: 1.12 1.72 1.89 2/508 8678
/proc/meminfo: memFree=11237372/32950928 swapFree=67074476/67111528
[pid=8678] ppid=8676 vsize=620172 CPUtime=1.83 cores=0-7
/proc/8678/stat : 8678 (strangenight2-m) R 8676 8678 8652 0 -1 4202496 9256 0 0 0 176 7 0 0 18 0 8 0 854609361 635056128 9100 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8678/statm: 155043 9101 376 95 0 150025 0
[pid=8678/tid=8679] ppid=8676 vsize=620172 CPUtime=0.24 cores=0-7
/proc/8678/task/8679/stat : 8679 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1110 0 0 0 24 0 0 0 18 0 8 0 854609361 635056128 9101 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8678/tid=8680] ppid=8676 vsize=620172 CPUtime=0.19 cores=0-7
/proc/8678/task/8680/stat : 8680 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1186 0 0 0 19 0 0 0 18 0 8 0 854609361 635056128 9101 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8678/tid=8681] ppid=8676 vsize=620172 CPUtime=0.25 cores=0-7
/proc/8678/task/8681/stat : 8681 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1160 0 0 0 24 1 0 0 18 0 8 0 854609361 635056128 9101 33554432000 4194304 4580107 140735856838816 18446744073709551615 4319892 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8678/tid=8682] ppid=8676 vsize=620172 CPUtime=0.24 cores=0-7
/proc/8678/task/8682/stat : 8682 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1268 0 0 0 23 1 0 0 17 0 8 0 854609361 635056128 9101 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8678/tid=8683] ppid=8676 vsize=620172 CPUtime=0.2 cores=0-7
/proc/8678/task/8683/stat : 8683 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1071 0 0 0 20 0 0 0 18 0 8 0 854609361 635056128 9101 33554432000 4194304 4580107 140735856838816 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8678/tid=8684] ppid=8676 vsize=620172 CPUtime=0.19 cores=0-7
/proc/8678/task/8684/stat : 8684 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1106 0 0 0 19 0 0 0 17 0 8 0 854609361 635056128 9101 33554432000 4194304 4580107 140735856838816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8678/tid=8685] ppid=8676 vsize=620172 CPUtime=0.22 cores=0-7
/proc/8678/task/8685/stat : 8685 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 813 0 0 0 22 0 0 0 17 0 8 0 854609361 635056128 9101 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 620172
[startup+0.701178 s]
/proc/loadavg: 1.12 1.72 1.89 2/508 8678
/proc/meminfo: memFree=11237372/32950928 swapFree=67074476/67111528
[pid=8678] ppid=8676 vsize=625652 CPUtime=5.03 cores=0-7
/proc/8678/stat : 8678 (strangenight2-m) R 8676 8678 8652 0 -1 4202496 13854 0 0 0 495 8 0 0 18 0 8 0 854609361 640667648 9944 33554432000 4194304 4580107 140735856838816 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8678/statm: 156413 9944 376 95 0 151395 0
[pid=8678/tid=8679] ppid=8676 vsize=625652 CPUtime=0.64 cores=0-7
/proc/8678/task/8679/stat : 8679 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1657 0 0 0 64 0 0 0 18 0 8 0 854609361 640667648 9944 33554432000 4194304 4580107 140735856838816 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8678/tid=8680] ppid=8676 vsize=625652 CPUtime=0.59 cores=0-7
/proc/8678/task/8680/stat : 8680 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1750 0 0 0 59 0 0 0 18 0 8 0 854609361 640667648 9944 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8678/tid=8681] ppid=8676 vsize=625652 CPUtime=0.65 cores=0-7
/proc/8678/task/8681/stat : 8681 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1716 0 0 0 64 1 0 0 18 0 8 0 854609361 640667648 9944 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8678/tid=8682] ppid=8676 vsize=625652 CPUtime=0.64 cores=0-7
/proc/8678/task/8682/stat : 8682 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1861 0 0 0 63 1 0 0 18 0 8 0 854609361 640667648 9944 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8678/tid=8683] ppid=8676 vsize=625652 CPUtime=0.6 cores=0-7
/proc/8678/task/8683/stat : 8683 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1632 0 0 0 60 0 0 0 18 0 8 0 854609361 640667648 9944 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8678/tid=8684] ppid=8676 vsize=625652 CPUtime=0.59 cores=0-7
/proc/8678/task/8684/stat : 8684 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1657 0 0 0 59 0 0 0 18 0 8 0 854609361 640667648 9944 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8678/tid=8685] ppid=8676 vsize=625652 CPUtime=0.63 cores=0-7
/proc/8678/task/8685/stat : 8685 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 1482 0 0 0 62 1 0 0 18 0 8 0 854609361 640667648 9944 33554432000 4194304 4580107 140735856838816 18446744073709551615 4298629 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 625652
[startup+1.50103 s]
/proc/loadavg: 1.12 1.72 1.89 10/516 8686
/proc/meminfo: memFree=11192840/32950928 swapFree=67074476/67111528
[pid=8678] ppid=8676 vsize=618344 CPUtime=11.4 cores=0-7
/proc/8678/stat : 8678 (strangenight2-m) R 8676 8678 8652 0 -1 4202496 20215 0 0 0 1131 9 0 0 19 0 8 0 854609361 633184256 11262 33554432000 4194304 4580107 140735856838816 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8678/statm: 154586 11263 377 95 0 149568 0
[pid=8678/tid=8679] ppid=8676 vsize=618344 CPUtime=1.44 cores=0-7
/proc/8678/task/8679/stat : 8679 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 2411 0 0 0 144 0 0 0 19 0 8 0 854609361 633184256 11263 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8678/tid=8680] ppid=8676 vsize=618344 CPUtime=1.38 cores=0-7
/proc/8678/task/8680/stat : 8680 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 2530 0 0 0 137 1 0 0 19 0 8 0 854609361 633184256 11263 33554432000 4194304 4580107 140735856838816 18446744073709551615 4320055 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8678/tid=8681] ppid=8676 vsize=618344 CPUtime=1.45 cores=0-7
/proc/8678/task/8681/stat : 8681 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 2505 0 0 0 144 1 0 0 19 0 8 0 854609361 633184256 11263 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8678/tid=8682] ppid=8676 vsize=618344 CPUtime=1.44 cores=0-7
/proc/8678/task/8682/stat : 8682 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 2698 0 0 0 143 1 0 0 19 0 8 0 854609361 633184256 11263 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8678/tid=8683] ppid=8676 vsize=618344 CPUtime=1.4 cores=0-7
/proc/8678/task/8683/stat : 8683 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 2417 0 0 0 140 0 0 0 19 0 8 0 854609361 633184256 11263 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8678/tid=8684] ppid=8676 vsize=618344 CPUtime=1.38 cores=0-7
/proc/8678/task/8684/stat : 8684 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 2435 0 0 0 138 0 0 0 19 0 8 0 854609361 633184256 11263 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8678/tid=8685] ppid=8676 vsize=618344 CPUtime=1.43 cores=0-7
/proc/8678/task/8685/stat : 8685 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 2306 0 0 0 142 1 0 0 19 0 8 0 854609361 633184256 11265 33554432000 4194304 4580107 140735856838816 18446744073709551615 4305296 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.4
Current children cumulated vsize (KiB) 618344
[startup+3.10072 s]
/proc/loadavg: 1.12 1.72 1.89 9/516 8686
/proc/meminfo: memFree=11183912/32950928 swapFree=67074476/67111528
[pid=8678] ppid=8676 vsize=629224 CPUtime=24.19 cores=0-7
/proc/8678/stat : 8678 (strangenight2-m) R 8676 8678 8652 0 -1 4202496 32158 0 0 0 2407 12 0 0 24 0 8 0 854609361 644325376 17677 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8678/statm: 157306 17677 378 95 0 152288 0
[pid=8678/tid=8679] ppid=8676 vsize=629224 CPUtime=3.04 cores=0-7
/proc/8678/task/8679/stat : 8679 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 3463 0 0 0 304 0 0 0 24 0 8 0 854609361 644325376 17677 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8678/tid=8680] ppid=8676 vsize=629224 CPUtime=2.96 cores=0-7
/proc/8678/task/8680/stat : 8680 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 4700 0 0 0 295 1 0 0 24 0 8 0 854609361 644325376 17677 33554432000 4194304 4580107 140735856838816 18446744073709551615 4413351 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8678/tid=8681] ppid=8676 vsize=629224 CPUtime=3.05 cores=0-7
/proc/8678/task/8681/stat : 8681 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 4596 0 0 0 303 2 0 0 25 0 8 0 854609361 644325376 17677 33554432000 4194304 4580107 140735856838816 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8678/tid=8682] ppid=8676 vsize=629224 CPUtime=3.03 cores=0-7
/proc/8678/task/8682/stat : 8682 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 3870 0 0 0 302 1 0 0 23 0 8 0 854609361 644325376 17677 33554432000 4194304 4580107 140735856838816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8678/tid=8683] ppid=8676 vsize=629224 CPUtime=3 cores=0-7
/proc/8678/task/8683/stat : 8683 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 3604 0 0 0 299 1 0 0 24 0 8 0 854609361 644325376 17677 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8678/tid=8684] ppid=8676 vsize=629224 CPUtime=2.99 cores=0-7
/proc/8678/task/8684/stat : 8684 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 3645 0 0 0 298 1 0 0 23 0 8 0 854609361 644325376 17678 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8678/tid=8685] ppid=8676 vsize=629224 CPUtime=3.03 cores=0-7
/proc/8678/task/8685/stat : 8685 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 3875 0 0 0 302 1 0 0 23 0 8 0 854609361 644325376 17678 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.19
Current children cumulated vsize (KiB) 629224
[startup+6.30112 s]
/proc/loadavg: 1.67 1.82 1.93 9/516 8686
/proc/meminfo: memFree=11137056/32950928 swapFree=67074476/67111528
[pid=8678] ppid=8676 vsize=602576 CPUtime=49.73 cores=0-7
/proc/8678/stat : 8678 (strangenight2-m) R 8676 8678 8652 0 -1 4202496 51734 0 0 0 4957 16 0 0 25 0 8 0 854609361 617037824 27795 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294179 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8678/statm: 150644 27795 378 95 0 145626 0
[pid=8678/tid=8679] ppid=8676 vsize=602576 CPUtime=6.24 cores=0-7
/proc/8678/task/8679/stat : 8679 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 5786 0 0 0 623 1 0 0 25 0 8 0 854609361 617037824 27795 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8678/tid=8680] ppid=8676 vsize=602576 CPUtime=6.1 cores=0-7
/proc/8678/task/8680/stat : 8680 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 6850 0 0 0 608 2 0 0 25 0 8 0 854609361 617037824 27795 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8678/tid=8681] ppid=8676 vsize=602576 CPUtime=6.25 cores=0-7
/proc/8678/task/8681/stat : 8681 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 6437 0 0 0 623 2 0 0 25 0 8 0 854609361 617037824 27795 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8678/tid=8682] ppid=8676 vsize=602576 CPUtime=6.23 cores=0-7
/proc/8678/task/8682/stat : 8682 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 6306 0 0 0 622 1 0 0 25 0 8 0 854609361 617037824 27795 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294442 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8678/tid=8683] ppid=8676 vsize=602576 CPUtime=6.2 cores=0-7
/proc/8678/task/8683/stat : 8683 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 6778 0 0 0 618 2 0 0 25 0 8 0 854609361 617037824 27795 33554432000 4194304 4580107 140735856838816 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8678/tid=8684] ppid=8676 vsize=602576 CPUtime=6.18 cores=0-7
/proc/8678/task/8684/stat : 8684 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 6325 0 0 0 617 1 0 0 25 0 8 0 854609361 617037824 27795 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8678/tid=8685] ppid=8676 vsize=602576 CPUtime=6.23 cores=0-7
/proc/8678/task/8685/stat : 8685 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 6801 0 0 0 621 2 0 0 25 0 8 0 854609361 617037824 27795 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.73
Current children cumulated vsize (KiB) 602576
[startup+12.7009 s]
/proc/loadavg: 2.18 1.93 1.96 9/516 8686
/proc/meminfo: memFree=11091556/32950928 swapFree=67074476/67111528
[pid=8678] ppid=8676 vsize=668940 CPUtime=100.8 cores=0-7
/proc/8678/stat : 8678 (strangenight2-m) R 8676 8678 8652 0 -1 4202496 78265 0 0 0 10058 22 0 0 25 0 8 0 854609361 684994560 37955 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8678/statm: 167235 37955 380 95 0 162217 0
[pid=8678/tid=8679] ppid=8676 vsize=668940 CPUtime=12.63 cores=0-7
/proc/8678/task/8679/stat : 8679 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 9349 0 0 0 1262 1 0 0 25 0 8 0 854609361 684994560 37956 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8678/tid=8680] ppid=8676 vsize=668940 CPUtime=12.38 cores=0-7
/proc/8678/task/8680/stat : 8680 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 8618 0 0 0 1236 2 0 0 25 0 8 0 854609361 684994560 37956 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8678/tid=8681] ppid=8676 vsize=668940 CPUtime=12.65 cores=0-7
/proc/8678/task/8681/stat : 8681 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 10245 0 0 0 1262 3 0 0 25 0 8 0 854609361 684994560 37956 33554432000 4194304 4580107 140735856838816 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8678/tid=8682] ppid=8676 vsize=668940 CPUtime=12.63 cores=0-7
/proc/8678/task/8682/stat : 8682 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 10287 0 0 0 1261 2 0 0 25 0 8 0 854609361 684994560 37956 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8678/tid=8683] ppid=8676 vsize=668940 CPUtime=12.6 cores=0-7
/proc/8678/task/8683/stat : 8683 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 10655 0 0 0 1258 2 0 0 25 0 8 0 854609361 684994560 37956 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8678/tid=8684] ppid=8676 vsize=668940 CPUtime=12.58 cores=0-7
/proc/8678/task/8684/stat : 8684 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 10110 0 0 0 1256 2 0 0 25 0 8 0 854609361 684994560 37956 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8678/tid=8685] ppid=8676 vsize=668940 CPUtime=12.63 cores=0-7
/proc/8678/task/8685/stat : 8685 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 10131 0 0 0 1260 3 0 0 25 0 8 0 854609361 684994560 37956 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 100.8
Current children cumulated vsize (KiB) 668940
Solver just ended. Dumping a history of the last processes samples
[startup+14.3196 s]
/proc/loadavg: 2.64 2.03 1.99 9/516 8686
/proc/meminfo: memFree=11091688/32950928 swapFree=67074476/67111528
[pid=8678] ppid=8676 vsize=593920 CPUtime=113.72 cores=0-7
/proc/8678/stat : 8678 (strangenight2-m) R 8676 8678 8652 0 -1 4202496 82814 0 0 0 11348 24 0 0 25 0 8 0 854609361 608174080 35924 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8678/statm: 148480 35924 380 95 0 143462 0
[pid=8678/tid=8679] ppid=8676 vsize=593920 CPUtime=14.25 cores=0-7
/proc/8678/task/8679/stat : 8679 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 9658 0 0 0 1424 1 0 0 25 0 8 0 854609361 608174080 35924 33554432000 4194304 4580107 140735856838816 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8678/tid=8680] ppid=8676 vsize=593920 CPUtime=13.97 cores=0-7
/proc/8678/task/8680/stat : 8680 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 8968 0 0 0 1394 3 0 0 25 0 8 0 854609361 608174080 35924 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8678/tid=8681] ppid=8676 vsize=593920 CPUtime=14.27 cores=0-7
/proc/8678/task/8681/stat : 8681 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 11045 0 0 0 1424 3 0 0 25 0 8 0 854609361 608174080 35924 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8678/tid=8682] ppid=8676 vsize=593920 CPUtime=14.25 cores=0-7
/proc/8678/task/8682/stat : 8682 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 11053 0 0 0 1423 2 0 0 25 0 8 0 854609361 608174080 35924 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8678/tid=8683] ppid=8676 vsize=593920 CPUtime=14.21 cores=0-7
/proc/8678/task/8683/stat : 8683 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 11646 0 0 0 1419 2 0 0 25 0 8 0 854609361 608174080 35924 33554432000 4194304 4580107 140735856838816 18446744073709551615 4413640 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8678/tid=8684] ppid=8676 vsize=593920 CPUtime=14.21 cores=0-7
/proc/8678/task/8684/stat : 8684 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 10555 0 0 0 1418 3 0 0 25 0 8 0 854609361 608174080 35924 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8678/tid=8685] ppid=8676 vsize=593920 CPUtime=14.24 cores=0-7
/proc/8678/task/8685/stat : 8685 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 11009 0 0 0 1421 3 0 0 25 0 8 0 854609361 608174080 35924 33554432000 4194304 4580107 140735856838816 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 113.72
Current children cumulated vsize (KiB) 593920
[startup+15.1005 s]
/proc/loadavg: 2.64 2.03 1.99 9/516 8686
/proc/meminfo: memFree=11091688/32950928 swapFree=67074476/67111528
[pid=8678] ppid=8676 vsize=659432 CPUtime=119.5 cores=0-7
/proc/8678/stat : 8678 (strangenight2-m) S 8676 8678 8652 0 -1 4202496 84986 0 0 0 11926 24 0 0 25 0 8 0 854609361 675258368 37234 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8678/statm: 164858 37234 380 95 0 159840 0
[pid=8678/tid=8679] ppid=8676 vsize=659432 CPUtime=14.96 cores=0-7
/proc/8678/task/8679/stat : 8679 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 9943 0 0 0 1495 1 0 0 25 0 8 0 854609361 675258368 37234 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 4 0 0 0
[pid=8678/tid=8680] ppid=8676 vsize=659432 CPUtime=14.67 cores=0-7
/proc/8678/task/8680/stat : 8680 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 9000 0 0 0 1464 3 0 0 25 0 8 0 854609361 675258368 37234 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 7 0 0 0
[pid=8678/tid=8681] ppid=8676 vsize=659432 CPUtime=14.97 cores=0-7
/proc/8678/task/8681/stat : 8681 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 11303 0 0 0 1494 3 0 0 25 0 8 0 854609361 675258368 37234 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 1 0 0 0
[pid=8678/tid=8682] ppid=8676 vsize=659432 CPUtime=15.03 cores=0-7
/proc/8678/task/8682/stat : 8682 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 11563 0 0 0 1501 2 0 0 25 0 8 0 854609361 675258368 37234 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634961963 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8678/tid=8683] ppid=8676 vsize=659432 CPUtime=14.99 cores=0-7
/proc/8678/task/8683/stat : 8683 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 11646 0 0 0 1497 2 0 0 25 0 8 0 854609361 675258368 37234 33554432000 4194304 4580107 140735856838816 18446744073709551615 4413101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8678/tid=8684] ppid=8676 vsize=659432 CPUtime=14.91 cores=0-7
/proc/8678/task/8684/stat : 8684 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 10713 0 0 0 1488 3 0 0 25 0 8 0 854609361 675258368 37234 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 6 0 0 0
[pid=8678/tid=8685] ppid=8676 vsize=659432 CPUtime=14.94 cores=0-7
/proc/8678/task/8685/stat : 8685 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 11539 0 0 0 1491 3 0 0 25 0 8 0 854609361 675258368 37234 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 119.5
Current children cumulated vsize (KiB) 659432
[startup+15.5004 s]
/proc/loadavg: 2.64 2.03 1.99 3/516 8686
/proc/meminfo: memFree=11085860/32950928 swapFree=67074476/67111528
[pid=8678] ppid=8676 vsize=659432 CPUtime=120.3 cores=0-7
/proc/8678/stat : 8678 (strangenight2-m) S 8676 8678 8652 0 -1 4202496 85363 0 0 0 12006 24 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8678/statm: 164858 37607 382 95 0 159840 0
[pid=8678/tid=8679] ppid=8676 vsize=659432 CPUtime=14.96 cores=0-7
/proc/8678/task/8679/stat : 8679 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 9943 0 0 0 1495 1 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 4 0 0 0
[pid=8678/tid=8680] ppid=8676 vsize=659432 CPUtime=14.67 cores=0-7
/proc/8678/task/8680/stat : 8680 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 9000 0 0 0 1464 3 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 7 0 0 0
[pid=8678/tid=8681] ppid=8676 vsize=659432 CPUtime=14.97 cores=0-7
/proc/8678/task/8681/stat : 8681 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 11303 0 0 0 1494 3 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 1 0 0 0
[pid=8678/tid=8682] ppid=8676 vsize=659432 CPUtime=15.43 cores=0-7
/proc/8678/task/8682/stat : 8682 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 11563 0 0 0 1541 2 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634962116 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8678/tid=8683] ppid=8676 vsize=659432 CPUtime=15.39 cores=0-7
/proc/8678/task/8683/stat : 8683 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 12023 0 0 0 1537 2 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8678/tid=8684] ppid=8676 vsize=659432 CPUtime=14.91 cores=0-7
/proc/8678/task/8684/stat : 8684 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 10713 0 0 0 1488 3 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 6 0 0 0
[pid=8678/tid=8685] ppid=8676 vsize=659432 CPUtime=14.94 cores=0-7
/proc/8678/task/8685/stat : 8685 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 11539 0 0 0 1491 3 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 120.3
Current children cumulated vsize (KiB) 659432
[startup+15.6004 s]
/proc/loadavg: 2.64 2.03 1.99 3/516 8686
/proc/meminfo: memFree=11085860/32950928 swapFree=67074476/67111528
[pid=8678] ppid=8676 vsize=659432 CPUtime=120.5 cores=0-7
/proc/8678/stat : 8678 (strangenight2-m) S 8676 8678 8652 0 -1 4202496 85363 0 0 0 12026 24 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8678/statm: 164858 37607 382 95 0 159840 0
[pid=8678/tid=8679] ppid=8676 vsize=659432 CPUtime=14.96 cores=0-7
/proc/8678/task/8679/stat : 8679 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 9943 0 0 0 1495 1 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 4 0 0 0
[pid=8678/tid=8680] ppid=8676 vsize=659432 CPUtime=14.67 cores=0-7
/proc/8678/task/8680/stat : 8680 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 9000 0 0 0 1464 3 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 7 0 0 0
[pid=8678/tid=8681] ppid=8676 vsize=659432 CPUtime=14.97 cores=0-7
/proc/8678/task/8681/stat : 8681 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 11303 0 0 0 1494 3 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 1 0 0 0
[pid=8678/tid=8682] ppid=8676 vsize=659432 CPUtime=15.53 cores=0-7
/proc/8678/task/8682/stat : 8682 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 11563 0 0 0 1551 2 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634962116 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8678/tid=8683] ppid=8676 vsize=659432 CPUtime=15.49 cores=0-7
/proc/8678/task/8683/stat : 8683 (strangenight2-m) R 8676 8678 8652 0 -1 4202560 12023 0 0 0 1547 2 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8678/tid=8684] ppid=8676 vsize=659432 CPUtime=14.91 cores=0-7
/proc/8678/task/8684/stat : 8684 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 10713 0 0 0 1488 3 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 6 0 0 0
[pid=8678/tid=8685] ppid=8676 vsize=659432 CPUtime=14.94 cores=0-7
/proc/8678/task/8685/stat : 8685 (strangenight2-m) S 8676 8678 8652 0 -1 4202560 11539 0 0 0 1491 3 0 0 25 0 8 0 854609361 675258368 37607 33554432000 4194304 4580107 140735856838816 18446744073709551615 47935634986548 0 0 4096 2 18446604446326891456 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 120.5
Current children cumulated vsize (KiB) 659432
Child status: 10
Real time (s): 15.6202
CPU time (s): 120.548
CPU user time (s): 120.289
CPU system time (s): 0.25896
CPU usage (%): 771.741
Max. virtual memory (cumulated for all children) (KiB): 668968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.289
system time used= 0.25896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85371
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= 10033
involuntary context switches= 733
runsolver used 0.075988 second user time and 0.211967 second system time
The end
Begin job on node115 at 2011-05-29 06:36:27
IDJOB=3421471
IDBENCH=71307
IDSOLVER=1878
FILE ID=node115/3421471-1306643787
RUNJOBID= node115-1306643787-8666
PBS_JOBID= 13471707
Free space on /tmp= 73168 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g7.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421471-1306643787/watcher-3421471-1306643787 -o /tmp/evaluation-result-3421471-1306643787/solver-3421471-1306643787 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421471-1306643787.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 57c91698da60cd77ab278c961fa35654
RANDOM SEED=2105889551
node115.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.811
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.62
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.811
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
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.811
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
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.811
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.811
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.74
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.811
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.811
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 11237652 kB
Buffers: 190576 kB
Cached: 3760852 kB
SwapCached: 5152 kB
Active: 14208156 kB
Inactive: 7175028 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 11237652 kB
SwapTotal: 67111528 kB
SwapFree: 67074476 kB
Dirty: 6272 kB
Writeback: 0 kB
AnonPages: 17430128 kB
Mapped: 40824 kB
Slab: 183768 kB
PageTables: 74680 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 151806848 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= 73164 MiB
End job on node115 at 2011-05-29 06:36:43