0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.20/0.04 c This is CryptoMiniSat 3.0.0
0.20/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.20/0.04 c Reading file 'HOME/instance-3421750-1306829845.cnf'
0.20/0.04 c -- header says num vars: 1638
0.20/0.04 c -- header says num clauses: 253275
0.85/0.20 c -- clauses added: 0 learnts, 253275 normals, 0 xors
0.85/0.20 c -- vars added 1638
0.85/0.20 c Parsing time: 0.05 s
0.85/0.20 c N st 0 0 1638 40 253235 0 508108 0 no data no data
0.85/0.20 c asymm cl-useful: 0/40/40 lits-rem:0 time: 0.00
0.85/0.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.03
0.85/0.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
0.85/0.33 c bin-w-bin subsume rem 0 bins time: 0.03 s
1.86/0.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.07 s
1.86/0.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1638 time: 0.02 s
2.23/0.42 c Removed useless bin: 0 fixed: 0 props: 1.27M time: 0.02 s
2.23/0.54 c lits-rem: 815 cl-subs: 0 v-elim: 40 v-fix: 0 time: 0.08 s
2.23/0.54 c Finding binary XORs T: 0.00 s found: 0
2.23/0.54 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
2.23/0.54 c calculated reachability. Time: 0.00
2.23/0.54 c Calc default polars - time: 0.00 s pos: 0 undec: 40 neg: 1598
2.23/0.54 c =========================================================================================
2.23/0.54 c types(t): F = full restart, N = normal restart
2.23/0.54 c types(t): S = simplification begin/end, E = solution found
2.23/0.54 c restart types(rt): st = static, dy = dynamic
2.23/0.54 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
2.23/0.54 c B st 0 0 1598 5278 246359 0 737016 0 no data no data
2.23/1.02 c N dy 16 4706 1598 5278 246359 4568 737008 737282 12.83 13.63
12.50/1.71 c N dy 27 10605 1598 5278 246359 7860 737000 1028120 11.54 12.17
16.48/2.28 c N dy 33 14976 1598 5278 246359 7977 737000 599959 10.71 11.41
21.28/2.81 c N dy 45 19056 1598 5278 246359 6500 736994 443186 10.60 14.30
25.25/3.30 c N dy 68 23603 1598 5278 246359 10930 736990 962571 11.07 11.99
26.05/3.49 c F st 72 25001 1598 5278 246359 12286 736990 1057069 10.99 10.10
29.26/3.87 c N st 77 28300 1598 5278 246359 8842 736990 422507 10.99 no data
30.95/4.04 c S st 78 30001 1598 5278 246359 10464 736990 463510 10.99 no data
30.95/4.09 c S st 78 30503 1598 5278 246359 10963 736990 499278 10.99 no data
30.95/4.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
34.04/4.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 15.4M T: 0.32
34.04/4.42 c blocked clauses removed: 0 vars: 0 tried: 1598 T: 0.00 s
34.04/4.44 c bin-w-bin subsume rem 0 bins time: 0.02 s
69.17/8.85 c subs with bin: 0 lits-rem: 59893 v-fix: 0 time: 4.41 s
69.17/8.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1598 time: 0.02 s
69.97/8.90 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.02 s
69.97/8.96 c lits-rem: 1404 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
80.34/10.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.25 s
84.47/10.79 c lits-rem: 1722 cl-subs: 1439 v-elim: 0 v-fix: 0 time: 0.56 s
85.93/10.99 c asymm cl-useful: 0/2480/5278 lits-rem:0 time: 0.20
85.93/10.99 c calculated reachability. Time: 0.00
85.93/10.99 c N dy 78 30503 1598 5278 246359 9524 675693 462345 10.99 no data
89.93/11.44 c N dy 86 34584 1598 5278 246362 13485 675693 748164 10.88 11.57
93.26/11.89 c N dy 103 38608 1598 5278 246362 9786 675693 675519 10.99 18.51
97.91/12.41 c N dy 129 42636 1598 5278 246362 13733 675693 1175474 11.36 20.37
102.05/12.99 c S st 154 45754 1598 5278 246362 16807 675693 1640500 11.58 15.84
102.69/13.08 c S st 154 46257 1598 5278 246362 17309 675693 1684589 11.58 no data
102.69/13.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
108.29/13.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 25.9M T: 0.63
108.29/13.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
108.29/13.74 c bin-w-bin subsume rem 0 bins time: 0.02 s
133.84/16.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.19 s
133.84/16.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1598 time: 0.02 s
133.84/16.98 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.02 s
133.84/16.99 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
145.95/18.48 c subs with bin: 0 lits-rem: 15 v-fix: 0 time: 1.43 s
171.45/21.63 c lits-rem: 962 cl-subs: 254 v-elim: 0 v-fix: 0 time: 3.15 s
171.45/21.63 c vivif2 -- cl tried 5278 cl shrink 0 lits rem 0 time: 0.00
171.45/21.67 c vivif2 -- cl tried 17055 cl shrink 21 lits rem 21 time: 0.03
172.93/21.89 c asymm cl-useful: 0/631/5278 lits-rem:0 time: 0.22
172.93/21.89 c calculated reachability. Time: 0.00
172.93/21.89 c N dy 154 46257 1598 5278 246362 17055 675693 1651772 11.58 no data
177.74/22.40 c N dy 178 50365 1598 5278 246362 12338 675693 929691 11.83 12.65
181.71/22.93 c N dy 188 54407 1598 5278 246365 16281 675693 1421153 11.72 12.37
186.51/23.59 c N dy 203 58457 1598 5278 246366 10497 675693 632417 11.70 17.23
191.29/24.15 c N dy 229 62782 1598 5278 246366 14728 675693 1243993 11.90 12.61
197.79/24.99 c N dy 254 67413 1598 5278 246366 19251 675693 1857305 11.99 12.75
200.87/25.39 c S st 269 69385 1598 5278 246366 21180 675693 2150584 12.04 no data
202.48/25.51 c S st 269 69888 1598 5278 246366 10941 675693 623323 12.04 no data
202.48/25.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
204.87/25.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 16.6M T: 0.35
204.87/25.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
204.87/25.89 c bin-w-bin subsume rem 0 bins time: 0.02 s
230.42/29.06 c subs with bin: 0 lits-rem: 2 v-fix: 0 time: 3.17 s
230.42/29.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1598 time: 0.02 s
231.22/29.10 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.02 s
231.22/29.11 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
241.70/30.43 c subs with bin: 0 lits-rem: 8 v-fix: 0 time: 1.29 s
243.18/30.62 c lits-rem: 81 cl-subs: 87 v-elim: 0 v-fix: 0 time: 0.19 s
243.18/30.62 c vivif2 -- cl tried 5278 cl shrink 0 lits rem 0 time: 0.00
243.18/30.64 c vivif2 -- cl tried 10854 cl shrink 66 lits rem 66 time: 0.02
244.77/30.88 c asymm cl-useful: 0/1448/5278 lits-rem:0 time: 0.24
244.77/30.89 c calculated reachability. Time: 0.00
244.77/30.89 c N dy 269 69888 1598 5278 246366 10854 675691 620207 12.04 no data
250.48/31.54 c N dy 304 74417 1598 5278 246370 15295 675691 1206075 12.36 17.12
260.09/32.72 c N dy 318 81484 1598 5278 246370 22073 675691 1557751 12.15 12.88
264.73/33.37 c N dy 337 86701 1598 5278 246371 15502 675691 992270 12.15 12.94
265.53/33.48 c F st 338 87500 1598 5278 246371 16291 675691 1045979 12.13 8.96
271.92/34.23 c N dy 344 92697 1598 5278 246371 21367 675691 1364932 12.13 no data
279.10/35.17 c N dy 359 98639 1598 5278 246371 14480 675691 927901 12.01 15.72
287.89/36.21 c S st 378 104832 1598 5278 246371 20486 675691 1404721 12.00 9.62
287.89/36.29 c S st 378 105334 1598 5278 246371 20988 675691 1451989 12.00 no data
288.69/36.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
291.89/36.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 22.5M T: 0.49
291.89/36.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
292.69/36.81 c bin-w-bin subsume rem 0 bins time: 0.02 s
317.42/39.98 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 3.17 s
318.22/40.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1598 time: 0.02 s
318.22/40.02 c Removed useless bin: 0 fixed: 0 props: 1.23M time: 0.02 s
318.22/40.04 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
330.34/41.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.46 s
348.55/43.86 c lits-rem: 1260 cl-subs: 728 v-elim: 0 v-fix: 0 time: 2.32 s
348.55/43.86 c vivif2 -- cl tried 5278 cl shrink 0 lits rem 0 time: 0.00
349.35/43.90 c vivif2 -- cl tried 20260 cl shrink 47 lits rem 47 time: 0.04
350.15/44.06 c asymm cl-useful: 0/679/5278 lits-rem:0 time: 0.16
350.15/44.07 c calculated reachability. Time: 0.00
350.15/44.07 c N dy 378 105334 1598 5278 246371 20260 675690 1423678 12.00 no data
358.13/45.09 c N dy 402 112123 1598 5278 246373 26893 675690 2019307 11.93 14.30
367.71/46.27 c N dy 447 119990 1598 5278 246373 20896 675690 1533171 12.13 12.88
379.69/47.70 c N dy 483 128244 1598 5278 246373 28963 675690 2557483 12.23 12.90
390.96/49.20 c N dy 511 138251 1598 5278 246373 24096 675690 1690607 12.20 12.88
402.83/50.65 c N dy 545 147082 1598 5278 246376 17126 675690 914487 12.23 13.55
428.38/59.94 c Following stats are for *FIRST FINISHED THREAD ONLY*
428.38/59.94 c num threads : 8
428.38/59.94 c restarts : 939
428.38/59.94 c dynamic restarts : 921
428.38/59.94 c static restarts : 18
428.38/59.94 c full restarts : 2
428.38/59.94 c total simplify time : 0.00
428.38/59.94 c learnts DL2 : 0
428.38/59.94 c learnts size 2 : 253249
428.38/59.94 c learnts size 1 : 0 (0.00 % of vars)
428.38/59.94 c filedLit time : 0.96 (1.61 % time)
428.38/59.94 c v-elim SatELite : 40 (2.44 % vars)
428.38/59.94 c SatELite time : 6.85 (11.48 % time)
428.38/59.94 c v-elim xor : 0 (0.00 % vars)
428.38/59.94 c xor elim time : 0.01 (0.02 % time)
428.38/59.94 c num binary xor trees : 0
428.38/59.94 c binxor trees' crown : 0 (nan leafs/tree)
428.38/59.94 c bin xor find time : 0.00
428.38/59.94 c OTF clause improved : 6219 (0.03 clauses/conflict)
428.38/59.94 c OTF impr. size diff : 7078 (1.14 lits/clause)
428.38/59.94 c OTF cl watch-shrink : 197823 (0.83 clauses/conflict)
428.38/59.94 c OTF cl watch-sh-lit : 5739558 (29.01 lits/clause)
428.38/59.94 c tried to recurMin cls : 55486 (23.34 % of conflicts)
428.38/59.94 c updated cache : 0 (0.00 lits/tried recurMin)
428.38/59.94 c unit cls recevied : 0 (nan % of units)
428.38/59.94 c unit cls sent : 0 (nan % of units)
428.38/59.94 c bin cls recevied : 13
428.38/59.94 c bin cls sent : 1
428.38/59.94 c clauses over max glue : 0 (0.00 % of all clauses)
428.38/59.94 c conflicts : 237771 (3982.90 / sec)
428.38/59.94 c decisions : 391487 (0.82 % random)
428.38/59.94 c bogo-props : 2642457694 (44263812.16 / sec)
428.38/59.94 c conflict literals : 21670501 (38.99 % deleted)
428.38/59.94 c Memory used : 1039.18 MB
428.38/59.94 c single-thread CPU time : 59.70 s
428.38/59.94 c all-threads sum CPU time : 427.57 s
428.38/59.94 s SATISFIABLE
428.38/59.94 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 -842 -843 -844 -845 -846 -847 -848 849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 1638 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3421750-1306829845/watcher-3421750-1306829845 -o /tmp/evaluation-result-3421750-1306829845/solver-3421750-1306829845 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421750-1306829845.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: 6.85 7.75 7.89 2/510 18461
/proc/meminfo: memFree=5718268/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=92144 CPUtime=0.04 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) R 18459 18461 18173 0 -1 4202496 421 0 0 0 4 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213682 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 23036 360 302 95 0 18018 0
[pid=18461/tid=18462] ppid=18459 vsize=92144 CPUtime=0.01 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213273 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=92144 CPUtime=0 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213686 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=92144 CPUtime=0.01 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213273 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=92144 CPUtime=0.01 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213264 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=92144 CPUtime=0 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213273 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=92144 CPUtime=0.01 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213271 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=92144 CPUtime=0.01 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213273 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.0364939 s]
/proc/loadavg: 6.85 7.75 7.89 2/510 18461
/proc/meminfo: memFree=5718268/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=92144 CPUtime=0.2 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) R 18459 18461 18173 0 -1 4202496 421 0 0 0 20 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213273 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 23036 360 302 95 0 18018 0
[pid=18461/tid=18462] ppid=18459 vsize=92144 CPUtime=0.03 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213273 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=92144 CPUtime=0 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213686 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=92144 CPUtime=0.03 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213273 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=92144 CPUtime=0.02 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213273 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=92144 CPUtime=0.02 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213264 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=92144 CPUtime=0.02 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=92144 CPUtime=0.03 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 8 0 794581225 94355456 360 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213273 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 92144
[startup+0.10045 s]
/proc/loadavg: 6.85 7.75 7.89 2/510 18461
/proc/meminfo: memFree=5718268/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=490584 CPUtime=0.5 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) D 18459 18461 18173 0 -1 4202496 6308 0 0 0 39 11 0 0 17 0 8 0 794581225 502358016 6215 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500352709 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 122646 6218 336 95 0 117628 0
[pid=18461/tid=18462] ppid=18459 vsize=490584 CPUtime=0.06 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 657 0 0 0 5 1 0 0 17 0 8 0 794581225 502358016 6221 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500796910 0 0 4096 2 18446604446973939840 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=490584 CPUtime=0.02 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 580 0 0 0 1 1 0 0 17 0 8 0 794581225 502358016 6226 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500796910 0 0 4096 2 18446604446973939840 0 0 -1 7 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=490584 CPUtime=0.06 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 740 0 0 0 5 1 0 0 17 0 8 0 794581225 502358016 6231 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=490584 CPUtime=0.06 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 836 0 0 0 5 1 0 0 17 0 8 0 794581225 502358016 6235 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=490584 CPUtime=0.06 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) D 18459 18461 18173 0 -1 4202560 771 0 0 0 5 1 0 0 17 0 8 0 794581225 502358016 6235 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=490584 CPUtime=0.06 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 853 0 0 0 5 1 0 0 17 0 8 0 794581225 502358016 6239 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500796910 0 0 4096 2 18446604446973939840 0 0 -1 0 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=490584 CPUtime=0.06 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) D 18459 18461 18173 0 -1 4202560 779 0 0 0 5 1 0 0 17 0 8 0 794581225 502358016 6239 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 490584
[startup+0.353216 s]
/proc/loadavg: 6.85 7.75 7.89 2/510 18461
/proc/meminfo: memFree=5718268/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=631788 CPUtime=1.86 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) R 18459 18461 18173 0 -1 4202496 20450 0 0 0 160 26 0 0 17 0 8 0 794581225 646950912 20356 33554432000 4194304 4580107 140735642306704 18446744073709551615 4413398 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 157947 20423 371 95 0 152929 0
[pid=18461/tid=18462] ppid=18459 vsize=631788 CPUtime=0.23 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 2342 0 0 0 20 3 0 0 17 0 8 0 794581225 646950912 20431 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=631788 CPUtime=0.17 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) D 18459 18461 18173 0 -1 4202560 2171 0 0 0 15 2 0 0 17 0 8 0 794581225 646950912 20442 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=631788 CPUtime=0.24 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 2783 0 0 0 22 2 0 0 17 0 8 0 794581225 646950912 20447 33554432000 4194304 4580107 140735642306704 18446744073709551615 4490665 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=631788 CPUtime=0.23 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 3028 0 0 0 20 3 0 0 17 0 8 0 794581225 646950912 20447 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=631788 CPUtime=0.21 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) D 18459 18461 18173 0 -1 4202560 2659 0 0 0 18 3 0 0 17 0 8 0 794581225 646950912 20447 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=631788 CPUtime=0.24 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 2550 0 0 0 21 3 0 0 17 0 8 0 794581225 646950912 20447 33554432000 4194304 4580107 140735642306704 18446744073709551615 4412082 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=631788 CPUtime=0.24 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) D 18459 18461 18173 0 -1 4202560 2165 0 0 0 21 3 0 0 17 0 8 0 794581225 646950912 20447 33554432000 4194304 4580107 140735642306704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 631788
[startup+1.45423 s]
/proc/loadavg: 6.85 7.75 7.89 2/510 18461
/proc/meminfo: memFree=5718268/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=657492 CPUtime=10.53 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) R 18459 18461 18173 0 -1 4202496 47799 0 0 0 1018 35 0 0 19 0 8 0 794581225 673271808 38698 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500353057 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 164373 38698 376 95 0 159355 0
[pid=18461/tid=18462] ppid=18459 vsize=657492 CPUtime=1.3 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 5916 0 0 0 126 4 0 0 18 0 8 0 794581225 673271808 38698 33554432000 4194304 4580107 140735642306704 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=657492 CPUtime=1.26 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 6399 0 0 0 122 4 0 0 19 0 8 0 794581225 673271808 38698 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=657492 CPUtime=1.33 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 5884 0 0 0 130 3 0 0 19 0 8 0 794581225 673271808 38698 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=657492 CPUtime=1.31 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 6292 0 0 0 127 4 0 0 19 0 8 0 794581225 673271808 38698 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=657492 CPUtime=1.29 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 6008 0 0 0 125 4 0 0 19 0 8 0 794581225 673271808 38699 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=657492 CPUtime=1.33 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 5783 0 0 0 129 4 0 0 19 0 8 0 794581225 673271808 38699 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=657492 CPUtime=1.32 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 4805 0 0 0 129 3 0 0 18 0 8 0 794581225 673271808 38699 33554432000 4194304 4580107 140735642306704 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.53
Current children cumulated vsize (KiB) 657492
[startup+1.50115 s]
/proc/loadavg: 6.85 7.75 7.89 2/510 18461
/proc/meminfo: memFree=5718268/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=657804 CPUtime=10.9 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) R 18459 18461 18173 0 -1 4202496 48245 0 0 0 1055 35 0 0 19 0 8 0 794581225 673591296 39144 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 164451 39144 376 95 0 159433 0
[pid=18461/tid=18462] ppid=18459 vsize=657804 CPUtime=1.35 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 5929 0 0 0 131 4 0 0 18 0 8 0 794581225 673591296 39144 33554432000 4194304 4580107 140735642306704 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=657804 CPUtime=1.3 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 6478 0 0 0 126 4 0 0 19 0 8 0 794581225 673591296 39144 33554432000 4194304 4580107 140735642306704 18446744073709551615 4320944 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=657804 CPUtime=1.38 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 5934 0 0 0 135 3 0 0 19 0 8 0 794581225 673591296 39144 33554432000 4194304 4580107 140735642306704 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=657804 CPUtime=1.35 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 6319 0 0 0 131 4 0 0 19 0 8 0 794581225 673591296 39144 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=657804 CPUtime=1.34 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 6080 0 0 0 130 4 0 0 19 0 8 0 794581225 673591296 39145 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=657804 CPUtime=1.37 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 5853 0 0 0 133 4 0 0 19 0 8 0 794581225 673591296 39146 33554432000 4194304 4580107 140735642306704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=657804 CPUtime=1.37 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 4878 0 0 0 134 3 0 0 18 0 8 0 794581225 673591296 39146 33554432000 4194304 4580107 140735642306704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.9
Current children cumulated vsize (KiB) 657804
[startup+3.10083 s]
/proc/loadavg: 6.94 7.75 7.89 9/518 18469
/proc/meminfo: memFree=5552428/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=621736 CPUtime=23.66 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) R 18459 18461 18173 0 -1 4202496 70321 0 0 0 2327 39 0 0 22 0 8 0 794581225 636657664 42733 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 155434 42733 377 95 0 150416 0
[pid=18461/tid=18462] ppid=18459 vsize=621736 CPUtime=2.94 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 8413 0 0 0 290 4 0 0 22 0 8 0 794581225 636657664 42733 33554432000 4194304 4580107 140735642306704 18446744073709551615 254500388619 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=621736 CPUtime=2.86 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 9274 0 0 0 282 4 0 0 22 0 8 0 794581225 636657664 42733 33554432000 4194304 4580107 140735642306704 18446744073709551615 4316572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=621736 CPUtime=2.97 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 8747 0 0 0 294 3 0 0 22 0 8 0 794581225 636657664 42733 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=621736 CPUtime=2.95 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 8574 0 0 0 291 4 0 0 22 0 8 0 794581225 636657664 42733 33554432000 4194304 4580107 140735642306704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=621736 CPUtime=2.94 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 9384 0 0 0 289 5 0 0 22 0 8 0 794581225 636657664 42733 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=621736 CPUtime=2.97 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 8626 0 0 0 293 4 0 0 22 0 8 0 794581225 636657664 42734 33554432000 4194304 4580107 140735642306704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=621736 CPUtime=2.97 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 7938 0 0 0 293 4 0 0 21 0 8 0 794581225 636657664 42734 33554432000 4194304 4580107 140735642306704 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.66
Current children cumulated vsize (KiB) 621736
[startup+6.31919 s]
/proc/loadavg: 7.02 7.75 7.90 9/518 18470
/proc/meminfo: memFree=5468768/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=741124 CPUtime=49.35 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) R 18459 18461 18173 0 -1 4202496 97074 0 0 0 4891 44 0 0 25 0 8 0 794581225 758910976 62638 33554432000 4194304 4580107 140735642306704 18446744073709551615 4413617 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 185281 62638 378 95 0 180263 0
[pid=18461/tid=18462] ppid=18459 vsize=741124 CPUtime=6.17 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 10697 0 0 0 612 5 0 0 25 0 8 0 794581225 758910976 62638 33554432000 4194304 4580107 140735642306704 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=741124 CPUtime=6.03 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 12052 0 0 0 598 5 0 0 25 0 8 0 794581225 758910976 62638 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=741124 CPUtime=6.19 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 12867 0 0 0 615 4 0 0 25 0 8 0 794581225 758910976 62638 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=741124 CPUtime=6.17 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 12819 0 0 0 612 5 0 0 25 0 8 0 794581225 758910976 62638 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=741124 CPUtime=6.17 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 14068 0 0 0 611 6 0 0 25 0 8 0 794581225 758910976 62638 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=741124 CPUtime=6.19 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 12591 0 0 0 614 5 0 0 25 0 8 0 794581225 758910976 62638 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=741124 CPUtime=6.19 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 11449 0 0 0 614 5 0 0 25 0 8 0 794581225 758910976 62638 33554432000 4194304 4580107 140735642306704 18446744073709551615 4291761 0 0 4096 2 0 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/18461/task/18466/stat : 18466 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 27848 0 0 0 2526 8 0 0 25 0 8 0 794581225 805433344 124867 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=786556 CPUtime=25.36 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 25448 0 0 0 2529 7 0 0 25 0 8 0 794581225 805433344 124867 33554432000 4194304 4580107 140735642306704 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=786556 CPUtime=25.37 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 27685 0 0 0 2528 9 0 0 25 0 8 0 794581225 805433344 124867 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.48
Current children cumulated vsize (KiB) 786556
[startup+51.1013 s]
/proc/loadavg: 7.56 7.80 7.90 9/518 18471
/proc/meminfo: memFree=5055668/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=998580 CPUtime=406.83 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) R 18459 18461 18173 0 -1 4202496 308829 0 0 0 40595 88 0 0 25 0 8 0 794581225 1022545920 165729 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 249645 165729 378 95 0 244627 0
[pid=18461/tid=18462] ppid=18459 vsize=998580 CPUtime=50.94 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 34024 0 0 0 5085 9 0 0 25 0 8 0 794581225 1022545920 165729 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=998580 CPUtime=50.05 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 32212 0 0 0 4997 8 0 0 25 0 8 0 794581225 1022545920 165729 33554432000 4194304 4580107 140735642306704 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=998580 CPUtime=50.98 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 45858 0 0 0 5086 12 0 0 25 0 8 0 794581225 1022545920 165729 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=998580 CPUtime=50.95 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 41442 0 0 0 5084 11 0 0 25 0 8 0 794581225 1022545920 165729 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=998580 CPUtime=50.95 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 44096 0 0 0 5083 12 0 0 25 0 8 0 794581225 1022545920 165729 33554432000 4194304 4580107 140735642306704 18446744073709551615 4416737 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=998580 CPUtime=50.95 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 40181 0 0 0 5085 10 0 0 25 0 8 0 794581225 1022545920 165729 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=998580 CPUtime=50.98 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 41371 0 0 0 5087 11 0 0 25 0 8 0 794581225 1022545920 165729 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 406.83
Current children cumulated vsize (KiB) 998580
Solver just ended. Dumping a history of the last processes samples
[startup+51.9011 s]
/proc/loadavg: 7.59 7.80 7.91 9/518 18471
/proc/meminfo: memFree=5051328/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=998580 CPUtime=411.27 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) S 18459 18461 18173 0 -1 4202496 310443 0 0 0 41039 88 0 0 25 0 8 0 794581225 1022545920 167343 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 249645 167343 378 95 0 244627 0
[pid=18461/tid=18462] ppid=18459 vsize=998580 CPUtime=51.35 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 35203 0 0 0 5126 9 0 0 25 0 8 0 794581225 1022545920 167343 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=998580 CPUtime=50.83 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 32212 0 0 0 5075 8 0 0 25 0 8 0 794581225 1022545920 167343 33554432000 4194304 4580107 140735642306704 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=998580 CPUtime=51.39 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 45998 0 0 0 5127 12 0 0 25 0 8 0 794581225 1022545920 167343 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=998580 CPUtime=51.36 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 41442 0 0 0 5125 11 0 0 25 0 8 0 794581225 1022545920 167343 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 0 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=998580 CPUtime=51.75 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 44096 0 0 0 5163 12 0 0 25 0 8 0 794581225 1022545920 167343 33554432000 4194304 4580107 140735642306704 18446744073709551615 4417015 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=998580 CPUtime=51.75 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 40296 0 0 0 5165 10 0 0 25 0 8 0 794581225 1022545920 167343 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372188868 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=998580 CPUtime=51.39 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 41551 0 0 0 5128 11 0 0 25 0 8 0 794581225 1022545920 167343 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 411.27
Current children cumulated vsize (KiB) 998580
[startup+55.1005 s]
/proc/loadavg: 7.59 7.80 7.91 3/518 18471
/proc/meminfo: memFree=5043760/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=1064116 CPUtime=418.77 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) S 18459 18461 18173 0 -1 4202496 312010 0 0 0 41788 89 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 266029 168909 378 95 0 261011 0
[pid=18461/tid=18462] ppid=18459 vsize=1064116 CPUtime=51.35 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 35203 0 0 0 5126 9 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=1064116 CPUtime=54.03 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 33760 0 0 0 5394 9 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 4451559 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=1064116 CPUtime=51.39 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 45998 0 0 0 5127 12 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=1064116 CPUtime=51.36 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 41442 0 0 0 5125 11 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 0 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=1064116 CPUtime=52.85 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 44115 0 0 0 5273 12 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=1064116 CPUtime=54.95 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 40296 0 0 0 5485 10 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372188715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=1064116 CPUtime=51.39 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 41551 0 0 0 5128 11 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 418.77
Current children cumulated vsize (KiB) 1064116
[startup+58.3009 s]
/proc/loadavg: 7.14 7.71 7.87 3/518 18471
/proc/meminfo: memFree=5040876/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=1064116 CPUtime=425.18 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) S 18459 18461 18173 0 -1 4202496 312010 0 0 0 42429 89 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 266029 168909 378 95 0 261011 0
[pid=18461/tid=18462] ppid=18459 vsize=1064116 CPUtime=51.35 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 35203 0 0 0 5126 9 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=1064116 CPUtime=57.23 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 33760 0 0 0 5714 9 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=1064116 CPUtime=51.39 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 45998 0 0 0 5127 12 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=1064116 CPUtime=51.36 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 41442 0 0 0 5125 11 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 0 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=1064116 CPUtime=52.85 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 44115 0 0 0 5273 12 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=1064116 CPUtime=58.15 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 40296 0 0 0 5805 10 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372188715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=1064116 CPUtime=51.39 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 41551 0 0 0 5128 11 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 425.18
Current children cumulated vsize (KiB) 1064116
[startup+59.1197 s]
/proc/loadavg: 7.14 7.71 7.87 3/518 18471
/proc/meminfo: memFree=5040996/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=1064116 CPUtime=426.81 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) S 18459 18461 18173 0 -1 4202496 312010 0 0 0 42592 89 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 266029 168909 378 95 0 261011 0
[pid=18461/tid=18462] ppid=18459 vsize=1064116 CPUtime=51.35 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 35203 0 0 0 5126 9 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=1064116 CPUtime=58.05 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 33760 0 0 0 5796 9 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 4417020 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=1064116 CPUtime=51.39 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 45998 0 0 0 5127 12 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=1064116 CPUtime=51.36 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 41442 0 0 0 5125 11 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 0 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=1064116 CPUtime=52.85 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 44115 0 0 0 5273 12 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=1064116 CPUtime=58.97 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 40296 0 0 0 5887 10 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372188715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=1064116 CPUtime=51.39 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 41551 0 0 0 5128 11 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 426.81
Current children cumulated vsize (KiB) 1064116
[startup+59.5007 s]
/proc/loadavg: 7.14 7.71 7.87 3/518 18471
/proc/meminfo: memFree=5040996/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=1064116 CPUtime=427.58 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) S 18459 18461 18173 0 -1 4202496 312010 0 0 0 42669 89 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 266029 168909 378 95 0 261011 0
[pid=18461/tid=18462] ppid=18459 vsize=1064116 CPUtime=51.35 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 35203 0 0 0 5126 9 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=1064116 CPUtime=58.43 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 33760 0 0 0 5834 9 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 4416463 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=1064116 CPUtime=51.39 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 45998 0 0 0 5127 12 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=1064116 CPUtime=51.36 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 41442 0 0 0 5125 11 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 0 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=1064116 CPUtime=52.85 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 44115 0 0 0 5273 12 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=1064116 CPUtime=59.35 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 40296 0 0 0 5925 10 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372188715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=1064116 CPUtime=51.39 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 41551 0 0 0 5128 11 0 0 25 0 8 0 794581225 1089654784 168909 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 427.58
Current children cumulated vsize (KiB) 1064116
[startup+59.9006 s]
/proc/loadavg: 7.14 7.71 7.87 3/518 18471
/proc/meminfo: memFree=5040996/32950928 swapFree=35295748/67111528
[pid=18461] ppid=18459 vsize=1064116 CPUtime=428.38 cores=0-7
/proc/18461/stat : 18461 (strangenight2-m) S 18459 18461 18173 0 -1 4202496 312013 0 0 0 42749 89 0 0 25 0 8 0 794581225 1089654784 168482 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18461/statm: 266029 168482 378 95 0 261011 0
[pid=18461/tid=18462] ppid=18459 vsize=1064116 CPUtime=51.35 cores=0-7
/proc/18461/task/18462/stat : 18462 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 35203 0 0 0 5126 9 0 0 25 0 8 0 794581225 1089654784 168482 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 4 0 0 0
[pid=18461/tid=18463] ppid=18459 vsize=1064116 CPUtime=58.83 cores=0-7
/proc/18461/task/18463/stat : 18463 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 33763 0 0 0 5874 9 0 0 25 0 8 0 794581225 1089654784 168482 33554432000 4194304 4580107 140735642306704 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18461/tid=18464] ppid=18459 vsize=1064116 CPUtime=51.39 cores=0-7
/proc/18461/task/18464/stat : 18464 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 45998 0 0 0 5127 12 0 0 25 0 8 0 794581225 1089654784 168482 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 1 0 0 0
[pid=18461/tid=18465] ppid=18459 vsize=1064116 CPUtime=51.36 cores=0-7
/proc/18461/task/18465/stat : 18465 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 41442 0 0 0 5125 11 0 0 25 0 8 0 794581225 1089654784 168482 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 0 0 0 0
[pid=18461/tid=18466] ppid=18459 vsize=1064116 CPUtime=52.85 cores=0-7
/proc/18461/task/18466/stat : 18466 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 44115 0 0 0 5273 12 0 0 25 0 8 0 794581225 1089654784 168482 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 3 0 0 0
[pid=18461/tid=18467] ppid=18459 vsize=1064116 CPUtime=59.75 cores=0-7
/proc/18461/task/18467/stat : 18467 (strangenight2-m) R 18459 18461 18173 0 -1 4202560 40296 0 0 0 5965 10 0 0 25 0 8 0 794581225 1089654784 168482 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372188704 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18461/tid=18468] ppid=18459 vsize=1064116 CPUtime=51.39 cores=0-7
/proc/18461/task/18468/stat : 18468 (strangenight2-m) S 18459 18461 18173 0 -1 4202560 41551 0 0 0 5128 11 0 0 25 0 8 0 794581225 1089654784 168482 33554432000 4194304 4580107 140735642306704 18446744073709551615 47200372213300 0 0 4096 2 18446604446973939840 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 428.38
Current children cumulated vsize (KiB) 1064116
Child status: 10
Real time (s): 59.9777
CPU time (s): 428.502
CPU user time (s): 427.573
CPU system time (s): 0.928858
CPU usage (%): 714.435
Max. virtual memory (cumulated for all children) (KiB): 1064116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 427.573
system time used= 0.928858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312021
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= 43827
involuntary context switches= 2064
runsolver used 0.315951 second user time and 0.707892 second system time
The end
Begin job on node149 at 2011-05-31 10:17:25
IDJOB=3421750
IDBENCH=88229
IDSOLVER=1878
FILE ID=node149/3421750-1306829845
RUNJOBID= node149-1306824752-18187
PBS_JOBID= 13479109
Free space on /tmp= 58704 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q585-n40-p30-s19690873.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421750-1306829845/watcher-3421750-1306829845 -o /tmp/evaluation-result-3421750-1306829845/solver-3421750-1306829845 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421750-1306829845.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= e096925b96a6999132833f44e4f216d7
RANDOM SEED=1141759458
node149.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.806
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.61
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.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
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.806
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.83
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.806
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.73
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.806
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.82
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.806
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.75
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.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 5718796 kB
Buffers: 280760 kB
Cached: 17776200 kB
SwapCached: 74568 kB
Active: 10887164 kB
Inactive: 15630892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 5718796 kB
SwapTotal: 67111528 kB
SwapFree: 35295748 kB
Dirty: 8604 kB
Writeback: 4 kB
AnonPages: 8411032 kB
Mapped: 17292 kB
Slab: 524860 kB
PageTables: 117568 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 173079296 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= 58700 MiB
End job on node149 at 2011-05-31 10:18:25