0.00/0.00 c Outputting solution to console
0.22/0.06 c Using 8 threads
0.22/0.06 c This is CryptoMiniSat 3.0.0
0.22/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.22/0.06 c Reading file 'HOME/instance-3421734-1306824752.cnf'
0.22/0.06 c -- header says num vars: 550
0.22/0.06 c -- header says num clauses: 35586
0.22/0.10 c -- clauses added: 0 learnts, 35586 normals, 0 xors
0.22/0.10 c -- vars added 550
0.22/0.10 c Parsing time: 0.01 s
0.22/0.10 c N st 0 0 550 25 35561 0 71672 0 no data no data
0.22/0.10 c asymm cl-useful: 0/25/25 lits-rem:0 time: 0.00
0.22/0.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
0.22/0.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
0.22/0.11 c bin-w-bin subsume rem 0 bins time: 0.00 s
0.22/0.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
0.22/0.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 550 time: 0.00 s
0.22/0.12 c Removed useless bin: 0 fixed: 0 props: 0.18M time: 0.00 s
0.49/0.13 c lits-rem: 189 cl-subs: 0 v-elim: 25 v-fix: 0 time: 0.01 s
0.49/0.13 c Finding binary XORs T: 0.00 s found: 0
0.49/0.13 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
0.49/0.13 c calculated reachability. Time: 0.00
0.49/0.13 c Calc default polars - time: 0.00 s pos: 0 undec: 25 neg: 525
0.49/0.13 c =========================================================================================
0.49/0.13 c types(t): F = full restart, N = normal restart
0.49/0.13 c types(t): S = simplification begin/end, E = solution found
0.49/0.13 c restart types(rt): st = static, dy = dynamic
0.49/0.13 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.49/0.13 c B st 0 0 525 1159 33877 0 96043 0 no data no data
4.37/0.61 c N dy 13 4172 525 1159 33878 4050 96043 236997 8.63 9.09
4.37/0.61 c N dy 32 8216 524 1159 33889 5539 96041 246818 8.96 9.47
7.67/1.11 c N dy 45 12619 524 1159 33892 5679 96041 201902 8.85 9.33
7.67/1.11 c N dy 57 16645 524 1159 33929 9550 96039 373988 8.57 13.05
9.16/1.21 c N dy 68 20798 523 1159 33973 8121 96038 272920 8.41 8.98
11.56/1.51 c N dy 88 24838 521 1159 33993 11997 96038 419996 8.36 8.84
11.56/1.51 c F st 89 25003 520 1159 34024 12150 96038 426587 8.35 8.60
13.16/1.73 c N dy 95 30001 520 1146 33111 9749 93822 368661 8.35 no data
13.16/1.73 c S st 95 30001 520 1146 33111 9749 93822 368661 8.35 no data
13.16/1.76 c S st 95 30504 520 1146 33111 10245 93822 385186 8.35 no data
13.16/1.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
13.96/1.82 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 0 Bins: 3 BRemL: 0 BRemN: 0 P: 3.5M T: 0.06
13.96/1.82 c blocked clauses removed: 0 vars: 0 tried: 519 T: 0.00 s
13.96/1.83 c bin-w-bin subsume rem 0 bins time: 0.00 s
14.76/1.93 c subs with bin: 0 lits-rem: 4918 v-fix: 0 time: 0.10 s
14.76/1.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 519 time: 0.00 s
14.76/1.94 c Removed useless bin: 0 fixed: 0 props: 0.16M time: 0.00 s
14.76/1.94 c lits-rem: 19 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
24.33/3.15 c subs with bin: 40 lits-rem: 585 v-fix: 0 time: 1.20 s
26.72/3.46 c lits-rem: 1250 cl-subs: 529 v-elim: 0 v-fix: 0 time: 0.30 s
27.52/3.53 c asymm cl-useful: 0/1108/1133 lits-rem:0 time: 0.07
27.52/3.53 c calculated reachability. Time: 0.00
27.52/3.53 c N dy 95 30504 519 1133 32946 9648 88231 367803 8.35 no data
29.92/3.80 c N dy 112 34563 516 1133 32983 13564 88231 522621 8.28 8.72
31.52/4.03 c N dy 128 38748 515 1133 32987 10341 88231 318663 8.24 8.69
33.12/4.27 c N dy 151 42810 515 1133 32987 14260 88231 459745 8.30 9.12
34.85/4.48 c S st 160 45756 515 1133 32995 8635 88231 233577 8.27 7.76
35.50/4.50 c S st 160 46256 515 1133 32995 9134 88231 255957 8.27 no data
35.50/4.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
35.50/4.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 0 BRemN: 0 P: 2.8M T: 0.05
35.50/4.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
35.50/4.55 c bin-w-bin subsume rem 0 bins time: 0.00 s
36.30/4.63 c subs with bin: 0 lits-rem: 20 v-fix: 0 time: 0.08 s
36.30/4.63 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 515 time: 0.00 s
36.30/4.63 c Removed useless bin: 0 fixed: 0 props: 0.16M time: 0.00 s
36.30/4.64 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
45.88/5.83 c subs with bin: 256 lits-rem: 756 v-fix: 0 time: 1.18 s
45.88/5.89 c lits-rem: 196 cl-subs: 229 v-elim: 0 v-fix: 0 time: 0.07 s
45.88/5.89 c vivif2 -- cl tried 1120 cl shrink 0 lits rem 0 time: 0.00
46.68/5.90 c vivif2 -- cl tried 8441 cl shrink 2 lits rem 2 time: 0.00
46.68/5.96 c asymm cl-useful: 0/1120/1120 lits-rem:0 time: 0.06
46.68/5.96 c calculated reachability. Time: 0.00
46.68/5.96 c N dy 160 46256 515 1120 32401 8441 86750 246321 8.27 no data
48.28/6.18 c N dy 175 50295 515 1120 32445 12311 86750 354907 8.23 8.68
50.68/6.44 c N dy 200 54333 512 1120 32447 16226 86750 511270 8.28 8.77
53.05/6.73 c N dy 228 58701 512 1120 32458 11027 86750 321687 8.39 8.88
54.66/6.98 c N dy 248 62727 512 1120 32473 14896 86750 500937 8.46 17.22
57.86/7.33 c N dy 273 66825 512 1120 32480 18834 86750 657638 8.49 9.02
59.46/7.56 c S st 288 69384 512 1120 32496 10803 86750 311790 8.52 no data
59.46/7.59 c S st 288 69888 511 1120 32496 11301 86750 332662 8.52 no data
59.46/7.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
60.35/7.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 0 BRemN: 0 P: 3.3M T: 0.06
60.35/7.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
60.35/7.65 c bin-w-bin subsume rem 0 bins time: 0.00 s
61.19/7.73 c subs with bin: 0 lits-rem: 29 v-fix: 0 time: 0.07 s
61.19/7.73 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 511 time: 0.00 s
61.19/7.73 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s
61.19/7.74 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
70.60/8.93 c subs with bin: 560 lits-rem: 1607 v-fix: 0 time: 1.18 s
71.41/9.03 c lits-rem: 391 cl-subs: 235 v-elim: 0 v-fix: 0 time: 0.10 s
71.41/9.03 c vivif2 -- cl tried 1098 cl shrink 0 lits rem 0 time: 0.00
71.41/9.04 c vivif2 -- cl tried 10287 cl shrink 352 lits rem 450 time: 0.01
72.21/9.12 c asymm cl-useful: 0/1098/1098 lits-rem:0 time: 0.08
72.21/9.12 c calculated reachability. Time: 0.00
72.21/9.12 c N dy 288 69888 511 1098 31858 10287 85059 317366 8.52 no data
74.61/9.42 c N dy 313 74384 511 1098 31902 14594 85059 442783 8.53 9.10
77.01/9.77 c N dy 340 79482 508 1098 31902 19459 85059 591208 8.56 9.10
80.19/10.16 c N dy 371 84558 506 1098 31921 12988 85059 378998 8.60 9.13
81.79/10.34 c F st 383 87500 504 1080 30713 14843 82414 467588 8.60 no data
83.39/10.52 c Finding binary XORs T: 0.00 s found: 0
84.19/10.63 c N st 388 90803 504 1080 30713 17998 82414 578203 8.60 no data
88.97/11.28 c N dy 416 96611 503 1080 30719 23524 82414 765331 8.67 9.14
92.18/11.69 c N dy 446 102830 503 1080 30731 17590 82414 527518 8.72 9.33
93.77/11.85 c S st 458 104834 503 1080 30739 19501 82414 591880 8.73 no data
93.77/11.89 c S st 458 105334 502 1080 30739 19998 82414 612112 8.73 no data
93.77/11.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
94.57/11.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.4M T: 0.08
94.57/11.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
94.57/11.97 c bin-w-bin subsume rem 0 bins time: 0.00 s
95.47/12.05 c subs with bin: 0 lits-rem: 21 v-fix: 0 time: 0.07 s
95.47/12.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 502 time: 0.00 s
95.47/12.05 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s
95.47/12.06 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
105.73/13.31 c subs with bin: 236 lits-rem: 1576 v-fix: 0 time: 1.23 s
109.24/13.97 c lits-rem: 1529 cl-subs: 1144 v-elim: 0 v-fix: 0 time: 0.67 s
109.24/13.98 c vivif2 -- cl tried 1080 cl shrink 0 lits rem 0 time: 0.00
109.24/13.99 c vivif2 -- cl tried 18470 cl shrink 624 lits rem 651 time: 0.01
109.85/14.10 c asymm cl-useful: 0/1080/1080 lits-rem:0 time: 0.11
109.85/14.10 c calculated reachability. Time: 0.00
109.85/14.10 c N dy 458 105334 502 1080 30411 18470 81710 584165 8.73 no data
112.15/15.22 c Following stats are for *FIRST FINISHED THREAD ONLY*
112.15/15.22 c num threads : 8
112.15/15.22 c restarts : 653
112.15/15.22 c dynamic restarts : 635
112.15/15.22 c static restarts : 18
112.15/15.22 c full restarts : 2
112.15/15.22 c total simplify time : 0.01
112.15/15.22 c learnts DL2 : 0
112.15/15.22 c learnts size 2 : 36042
112.15/15.22 c learnts size 1 : 25 (4.55 % of vars)
112.15/15.22 c filedLit time : 0.16 (1.04 % time)
112.15/15.22 c v-elim SatELite : 25 (4.55 % vars)
112.15/15.22 c SatELite time : 1.53 (10.16 % time)
112.15/15.22 c v-elim xor : 0 (0.00 % vars)
112.15/15.22 c xor elim time : 0.00 (0.02 % time)
112.15/15.22 c num binary xor trees : 0
112.15/15.22 c binxor trees' crown : 0 (nan leafs/tree)
112.15/15.22 c bin xor find time : 0.00
112.15/15.22 c OTF clause improved : 5391 (0.04 clauses/conflict)
112.15/15.22 c OTF impr. size diff : 6122 (1.14 lits/clause)
112.15/15.22 c OTF cl watch-shrink : 106243 (0.81 clauses/conflict)
112.15/15.22 c OTF cl watch-sh-lit : 1136751 (10.70 lits/clause)
112.15/15.22 c tried to recurMin cls : 30227 (23.10 % of conflicts)
112.15/15.22 c updated cache : 0 (0.00 lits/tried recurMin)
112.15/15.22 c unit cls recevied : 19 (76.00 % of units)
112.15/15.22 c unit cls sent : 2 (8.00 % of units)
112.15/15.22 c bin cls recevied : 370
112.15/15.22 c bin cls sent : 87
112.15/15.22 c clauses over max glue : 0 (0.00 % of all clauses)
112.15/15.22 c conflicts : 130855 (8666.06 / sec)
112.15/15.22 c decisions : 197295 (1.05 % random)
112.15/15.22 c bogo-props : 984816750 (65220930.82 / sec)
112.15/15.22 c conflict literals : 4680288 (42.08 % deleted)
112.15/15.22 c Memory used : 543.57 MB
112.15/15.22 c single-thread CPU time : 15.10 s
112.15/15.22 c all-threads sum CPU time : 111.96 s
112.15/15.22 s SATISFIABLE
112.15/15.22 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 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-3421734-1306824752/watcher-3421734-1306824752 -o /tmp/evaluation-result-3421734-1306824752/solver-3421734-1306824752 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421734-1306824752.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: 0.00 0.00 0.00 2/510 18199
/proc/meminfo: memFree=4431068/32950928 swapFree=35754236/67111528
[pid=18199] ppid=18197 vsize=92144 CPUtime=0.05 cores=0-7
/proc/18199/stat : 18199 (strangenight2-m) R 18197 18199 18173 0 -1 4202496 413 0 0 0 5 0 0 0 25 0 8 0 794071885 94355456 352 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263410 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18199/statm: 23036 352 299 95 0 18018 0
[pid=18199/tid=18200] ppid=18197 vsize=92144 CPUtime=0.01 cores=0-7
/proc/18199/task/18200/stat : 18200 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 794071886 94355456 352 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263410 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18199/tid=18201] ppid=18197 vsize=92144 CPUtime=0 cores=0-7
/proc/18199/task/18201/stat : 18201 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 794071886 94355456 352 33554432000 4194304 4580107 140735647414112 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18199/tid=18202] ppid=18197 vsize=92144 CPUtime=0 cores=0-7
/proc/18199/task/18202/stat : 18202 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 794071886 94355456 352 33554432000 4194304 4580107 140735647414112 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18199/tid=18203] ppid=18197 vsize=92144 CPUtime=0.01 cores=0-7
/proc/18199/task/18203/stat : 18203 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 794071886 94355456 352 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18199/tid=18204] ppid=18197 vsize=92144 CPUtime=0 cores=0-7
/proc/18199/task/18204/stat : 18204 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 794071886 94355456 352 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18199/tid=18205] ppid=18197 vsize=92144 CPUtime=0.01 cores=0-7
/proc/18199/task/18205/stat : 18205 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 794071886 94355456 352 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263400 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18199/tid=18206] ppid=18197 vsize=92144 CPUtime=0 cores=0-7
/proc/18199/task/18206/stat : 18206 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 794071886 94355456 352 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263410 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.0470699 s]
/proc/loadavg: 0.00 0.00 0.00 2/510 18199
/proc/meminfo: memFree=4431068/32950928 swapFree=35754236/67111528
[pid=18199] ppid=18197 vsize=92144 CPUtime=0.22 cores=0-7
/proc/18199/stat : 18199 (strangenight2-m) R 18197 18199 18173 0 -1 4202496 421 0 0 0 22 0 0 0 25 0 8 0 794071885 94355456 360 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851262999 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18199/statm: 23036 360 302 95 0 18018 0
[pid=18199/tid=18200] ppid=18197 vsize=92144 CPUtime=0.04 cores=0-7
/proc/18199/task/18200/stat : 18200 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 4 0 0 0 4 0 0 0 25 0 8 0 794071886 94355456 360 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851262999 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18199/tid=18201] ppid=18197 vsize=92144 CPUtime=0.01 cores=0-7
/proc/18199/task/18201/stat : 18201 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 794071886 94355456 360 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263001 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18199/tid=18202] ppid=18197 vsize=92144 CPUtime=0.01 cores=0-7
/proc/18199/task/18202/stat : 18202 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 794071886 94355456 360 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263001 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18199/tid=18203] ppid=18197 vsize=92144 CPUtime=0.04 cores=0-7
/proc/18199/task/18203/stat : 18203 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 8 0 794071886 94355456 360 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263001 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18199/tid=18204] ppid=18197 vsize=92144 CPUtime=0 cores=0-7
/proc/18199/task/18204/stat : 18204 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 794071886 94355456 360 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18199/tid=18205] ppid=18197 vsize=92144 CPUtime=0.03 cores=0-7
/proc/18199/task/18205/stat : 18205 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 8 0 794071886 94355456 360 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263001 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18199/tid=18206] ppid=18197 vsize=92144 CPUtime=0.01 cores=0-7
/proc/18199/task/18206/stat : 18206 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 794071886 94355456 360 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263005 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 92144
[startup+0.101087 s]
/proc/loadavg: 0.00 0.00 0.00 2/510 18199
/proc/meminfo: memFree=4431068/32950928 swapFree=35754236/67111528
[pid=18199] ppid=18197 vsize=553436 CPUtime=0.49 cores=0-7
/proc/18199/stat : 18199 (strangenight2-m) R 18197 18199 18173 0 -1 4202496 3895 0 0 0 44 5 0 0 17 0 8 0 794071885 566718464 3762 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18199/statm: 138359 3800 368 95 0 133341 0
[pid=18199/tid=18200] ppid=18197 vsize=553832 CPUtime=0.08 cores=0-7
/proc/18199/task/18200/stat : 18200 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 612 0 0 0 8 0 0 0 17 0 8 0 794071886 567123968 4582 33554432000 4194304 4580107 140735647414112 18446744073709551615 4490764 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18199/tid=18201] ppid=18197 vsize=554256 CPUtime=0.06 cores=0-7
/proc/18199/task/18201/stat : 18201 (strangenight2-m) D 18197 18199 18173 0 -1 4202560 578 0 0 0 6 0 0 0 17 0 8 0 794071886 567558144 5091 33554432000 4194304 4580107 140735647414112 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18199/tid=18202] ppid=18197 vsize=554256 CPUtime=0.07 cores=0-7
/proc/18199/task/18202/stat : 18202 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 790 0 0 0 7 0 0 0 18 0 8 0 794071886 567558144 5161 33554432000 4194304 4580107 140735647414112 18446744073709551615 4416732 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18199/tid=18203] ppid=18197 vsize=554256 CPUtime=0.09 cores=0-7
/proc/18199/task/18203/stat : 18203 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 770 0 0 0 9 0 0 0 18 0 8 0 794071886 567558144 5221 33554432000 4194304 4580107 140735647414112 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18199/tid=18204] ppid=18197 vsize=554256 CPUtime=0.03 cores=0-7
/proc/18199/task/18204/stat : 18204 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 516 0 0 0 3 0 0 0 17 0 8 0 794071886 567558144 5339 33554432000 4194304 4580107 140735647414112 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18199/tid=18205] ppid=18197 vsize=554256 CPUtime=0.09 cores=0-7
/proc/18199/task/18205/stat : 18205 (strangenight2-m) D 18197 18199 18173 0 -1 4202560 695 0 0 0 8 1 0 0 17 0 8 0 794071886 567558144 5387 33554432000 4194304 4580107 140735647414112 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18199/tid=18206] ppid=18197 vsize=554256 CPUtime=0.06 cores=0-7
/proc/18199/task/18206/stat : 18206 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 418 0 0 0 6 0 0 0 17 0 8 0 794071886 567558144 5395 33554432000 4194304 4580107 140735647414112 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 553436
[startup+0.301023 s]
/proc/loadavg: 0.00 0.00 0.00 2/510 18199
/proc/meminfo: memFree=4431068/32950928 swapFree=35754236/67111528
[pid=18199] ppid=18197 vsize=554832 CPUtime=1.98 cores=0-7
/proc/18199/stat : 18199 (strangenight2-m) R 18197 18199 18173 0 -1 4202496 8278 0 0 0 191 7 0 0 18 0 8 0 794071885 568147968 7860 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18199/statm: 138708 7860 376 95 0 133690 0
[pid=18199/tid=18200] ppid=18197 vsize=554832 CPUtime=0.27 cores=0-7
/proc/18199/task/18200/stat : 18200 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1071 0 0 0 26 1 0 0 18 0 8 0 794071886 568147968 7860 33554432000 4194304 4580107 140735647414112 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18199/tid=18201] ppid=18197 vsize=554832 CPUtime=0.23 cores=0-7
/proc/18199/task/18201/stat : 18201 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 959 0 0 0 23 0 0 0 18 0 8 0 794071886 568147968 7860 33554432000 4194304 4580107 140735647414112 18446744073709551615 4321069 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18199/tid=18202] ppid=18197 vsize=554832 CPUtime=0.19 cores=0-7
/proc/18199/task/18202/stat : 18202 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1028 0 0 0 19 0 0 0 18 0 8 0 794071886 568147968 7862 33554432000 4194304 4580107 140735647414112 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18199/tid=18203] ppid=18197 vsize=554832 CPUtime=0.27 cores=0-7
/proc/18199/task/18203/stat : 18203 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1079 0 0 0 26 1 0 0 18 0 8 0 794071886 568147968 7862 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18199/tid=18204] ppid=18197 vsize=554832 CPUtime=0.18 cores=0-7
/proc/18199/task/18204/stat : 18204 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 905 0 0 0 17 1 0 0 17 0 8 0 794071886 568147968 7862 33554432000 4194304 4580107 140735647414112 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18199/tid=18205] ppid=18197 vsize=554832 CPUtime=0.27 cores=0-7
/proc/18199/task/18205/stat : 18205 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 974 0 0 0 26 1 0 0 18 0 8 0 794071886 568147968 7862 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18199/tid=18206] ppid=18197 vsize=554832 CPUtime=0.24 cores=0-7
/proc/18199/task/18206/stat : 18206 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 837 0 0 0 24 0 0 0 18 0 8 0 794071886 568147968 7867 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 554832
[startup+0.700943 s]
/proc/loadavg: 0.00 0.00 0.00 2/510 18199
/proc/meminfo: memFree=4431068/32950928 swapFree=35754236/67111528
[pid=18199] ppid=18197 vsize=560932 CPUtime=5.18 cores=0-7
/proc/18199/stat : 18199 (strangenight2-m) R 18197 18199 18173 0 -1 4202496 14152 0 0 0 509 9 0 0 18 0 8 0 794071885 574394368 8864 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18199/statm: 140233 8864 376 95 0 135215 0
[pid=18199/tid=18200] ppid=18197 vsize=560932 CPUtime=0.67 cores=0-7
/proc/18199/task/18200/stat : 18200 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1857 0 0 0 66 1 0 0 18 0 8 0 794071886 574394368 8864 33554432000 4194304 4580107 140735647414112 18446744073709551615 4295831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18199/tid=18201] ppid=18197 vsize=560932 CPUtime=0.63 cores=0-7
/proc/18199/task/18201/stat : 18201 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1622 0 0 0 63 0 0 0 18 0 8 0 794071886 574394368 8864 33554432000 4194304 4580107 140735647414112 18446744073709551615 4322552 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18199/tid=18202] ppid=18197 vsize=560932 CPUtime=0.59 cores=0-7
/proc/18199/task/18202/stat : 18202 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1840 0 0 0 59 0 0 0 18 0 8 0 794071886 574394368 8864 33554432000 4194304 4580107 140735647414112 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18199/tid=18203] ppid=18197 vsize=560932 CPUtime=0.67 cores=0-7
/proc/18199/task/18203/stat : 18203 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1828 0 0 0 66 1 0 0 18 0 8 0 794071886 574394368 8865 33554432000 4194304 4580107 140735647414112 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18199/tid=18204] ppid=18197 vsize=560932 CPUtime=0.58 cores=0-7
/proc/18199/task/18204/stat : 18204 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1665 0 0 0 57 1 0 0 18 0 8 0 794071886 574394368 8865 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18199/tid=18205] ppid=18197 vsize=560932 CPUtime=0.67 cores=0-7
/proc/18199/task/18205/stat : 18205 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1655 0 0 0 66 1 0 0 18 0 8 0 794071886 574394368 8865 33554432000 4194304 4580107 140735647414112 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18199/tid=18206] ppid=18197 vsize=560932 CPUtime=0.64 cores=0-7
/proc/18199/task/18206/stat : 18206 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 1461 0 0 0 64 0 0 0 18 0 8 0 794071886 574394368 8865 33554432000 4194304 4580107 140735647414112 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 560932
[startup+1.50078 s]
/proc/loadavg: 0.80 0.17 0.05 11/518 18207
/proc/meminfo: memFree=4390952/32950928 swapFree=35754236/67111528
[pid=18199] ppid=18197 vsize=535336 CPUtime=11.56 cores=0-7
/proc/18199/stat : 18199 (strangenight2-m) R 18197 18199 18173 0 -1 4202496 22394 0 0 0 1146 10 0 0 19 0 8 0 794071885 548184064 10861 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18199/statm: 133834 10862 378 95 0 128816 0
[pid=18199/tid=18200] ppid=18197 vsize=535336 CPUtime=1.46 cores=0-7
/proc/18199/task/18200/stat : 18200 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 2883 0 0 0 145 1 0 0 19 0 8 0 794071886 548184064 10862 33554432000 4194304 4580107 140735647414112 18446744073709551615 4324126 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18199/tid=18201] ppid=18197 vsize=535336 CPUtime=1.41 cores=0-7
/proc/18199/task/18201/stat : 18201 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 2723 0 0 0 141 0 0 0 19 0 8 0 794071886 548184064 10863 33554432000 4194304 4580107 140735647414112 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18199/tid=18202] ppid=18197 vsize=535336 CPUtime=1.39 cores=0-7
/proc/18199/task/18202/stat : 18202 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 2715 0 0 0 138 1 0 0 19 0 8 0 794071886 548184064 10863 33554432000 4194304 4580107 140735647414112 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18199/tid=18203] ppid=18197 vsize=535336 CPUtime=1.47 cores=0-7
/proc/18199/task/18203/stat : 18203 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 2889 0 0 0 146 1 0 0 19 0 8 0 794071886 548184064 10863 33554432000 4194304 4580107 140735647414112 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18199/tid=18204] ppid=18197 vsize=535336 CPUtime=1.38 cores=0-7
/proc/18199/task/18204/stat : 18204 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 2725 0 0 0 137 1 0 0 19 0 8 0 794071886 548184064 10863 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18199/tid=18205] ppid=18197 vsize=535336 CPUtime=1.47 cores=0-7
/proc/18199/task/18205/stat : 18205 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 2786 0 0 0 146 1 0 0 19 0 8 0 794071886 548184064 10864 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18199/tid=18206] ppid=18197 vsize=535336 CPUtime=1.43 cores=0-7
/proc/18199/task/18206/stat : 18206 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 2561 0 0 0 143 0 0 0 19 0 8 0 794071886 548184064 10864 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.56
Current children cumulated vsize (KiB) 535336
[startup+3.10046 s]
/proc/loadavg: 0.80 0.17 0.05 9/518 18207
/proc/meminfo: memFree=4370988/32950928 swapFree=35754236/67111528
[pid=18199] ppid=18197 vsize=570040 CPUtime=24.33 cores=0-7
/proc/18199/stat : 18199 (strangenight2-m) R 18197 18199 18173 0 -1 4202496 37805 0 0 0 2421 12 0 0 24 0 8 0 794071885 583720960 19123 33554432000 4194304 4580107 140735647414112 18446744073709551615 4413356 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18199/statm: 142510 19123 379 95 0 137492 0
[pid=18199/tid=18200] ppid=18197 vsize=570040 CPUtime=3.06 cores=0-7
/proc/18199/task/18200/stat : 18200 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 4728 0 0 0 305 1 0 0 25 0 8 0 794071886 583720960 19124 33554432000 4194304 4580107 140735647414112 18446744073709551615 4413403 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18199/tid=18201] ppid=18197 vsize=570040 CPUtime=3 cores=0-7
/proc/18199/task/18201/stat : 18201 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 5632 0 0 0 299 1 0 0 24 0 8 0 794071886 583720960 19124 33554432000 4194304 4580107 140735647414112 18446744073709551615 4412948 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18199/tid=18202] ppid=18197 vsize=570040 CPUtime=2.99 cores=0-7
/proc/18199/task/18202/stat : 18202 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 4388 0 0 0 298 1 0 0 23 0 8 0 794071886 583720960 19124 33554432000 4194304 4580107 140735647414112 18446744073709551615 4413356 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18199/tid=18203] ppid=18197 vsize=570040 CPUtime=3.07 cores=0-7
/proc/18199/task/18203/stat : 18203 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 4425 0 0 0 306 1 0 0 24 0 8 0 794071886 583720960 19124 33554432000 4194304 4580107 140735647414112 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18199/tid=18204] ppid=18197 vsize=570040 CPUtime=2.97 cores=0-7
/proc/18199/task/18204/stat : 18204 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 4716 0 0 0 296 1 0 0 23 0 8 0 794071886 583720960 19124 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18199/tid=18205] ppid=18197 vsize=570040 CPUtime=3.06 cores=0-7
/proc/18199/task/18205/stat : 18205 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 4573 0 0 0 305 1 0 0 24 0 8 0 794071886 583720960 19124 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18199/tid=18206] ppid=18197 vsize=570040 CPUtime=3.04 cores=0-7
/proc/18199/task/18206/stat : 18206 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 3716 0 0 0 303 1 0 0 24 0 8 0 794071886 583720960 19125 33554432000 4194304 4580107 140735647414112 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.33
Current children cumulated vsize (KiB) 570040
[startup+6.30083 s]
/proc/loadavg: 0.80 0.17 0.05 9/518 18207
/proc/meminfo: memFree=4322896/32950928 swapFree=35754236/67111528
[pid=18199] ppid=18197 vsize=570256 CPUtime=49.88 cores=0-7
/proc/18199/stat : 18199 (strangenight2-m) R 18197 18199 18173 0 -1 4202496 61214 0 0 0 4971 17 0 0 25 0 8 0 794071885 583942144 30435 33554432000 4194304 4580107 140735647414112 18446744073709551615 4292922 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18199/statm: 142564 30435 379 95 0 137546 0
[pid=18199/tid=18200] ppid=18197 vsize=570256 CPUtime=6.27 cores=0-7
/proc/18199/task/18200/stat : 18200 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 8411 0 0 0 625 2 0 0 25 0 8 0 794071886 583942144 30435 33554432000 4194304 4580107 140735647414112 18446744073709551615 4413328 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18199/tid=18201] ppid=18197 vsize=570256 CPUtime=6.14 cores=0-7
/proc/18199/task/18201/stat : 18201 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 7977 0 0 0 613 1 0 0 23 0 8 0 794071886 583942144 30435 33554432000 4194304 4580107 140735647414112 18446744073709551615 4318281 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18199/tid=18202] ppid=18197 vsize=570256 CPUtime=6.19 cores=0-7
/proc/18199/task/18202/stat : 18202 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 8015 0 0 0 618 1 0 0 25 0 8 0 794071886 583942144 30435 33554432000 4194304 4580107 140735647414112 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18199/tid=18203] ppid=18197 vsize=570256 CPUtime=6.27 cores=0-7
/proc/18199/task/18203/stat : 18203 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 7308 0 0 0 625 2 0 0 25 0 8 0 794071886 583942144 30435 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18199/tid=18204] ppid=18197 vsize=570256 CPUtime=6.18 cores=0-7
/proc/18199/task/18204/stat : 18204 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 7751 0 0 0 616 2 0 0 25 0 8 0 794071886 583942144 30435 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18199/tid=18205] ppid=18197 vsize=570256 CPUtime=6.27 cores=0-7
/proc/18199/task/18205/stat : 18205 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 7468 0 0 0 625 2 0 0 22 0 8 0 794071886 583942144 30435 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294598 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18199/tid=18206] ppid=18197 vsize=570256 CPUtime=6.24 cores=0-7
/proc/18199/task/18206/stat : 18206 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 6840 0 0 0 623 1 0 0 25 0 8 0 794071886 583942144 30435 33554432000 4194304 4580107 140735647414112 18446744073709551615 4320735 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (KiB) 570256
[startup+12.7005 s]
/proc/loadavg: 2.05 0.46 0.15 9/518 18207
/proc/meminfo: memFree=4273068/32950928 swapFree=35754236/67111528
[pid=18199] ppid=18197 vsize=536176 CPUtime=100.96 cores=0-7
/proc/18199/stat : 18199 (strangenight2-m) R 18197 18199 18173 0 -1 4202496 98679 0 0 0 10073 23 0 0 25 0 8 0 794071885 549044224 44303 33554432000 4194304 4580107 140735647414112 18446744073709551615 4413640 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18199/statm: 134044 44303 379 95 0 129026 0
[pid=18199/tid=18200] ppid=18197 vsize=536176 CPUtime=12.67 cores=0-7
/proc/18199/task/18200/stat : 18200 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 12701 0 0 0 1265 2 0 0 25 0 8 0 794071886 549044224 44303 33554432000 4194304 4580107 140735647414112 18446744073709551615 4413328 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18199/tid=18201] ppid=18197 vsize=536176 CPUtime=12.42 cores=0-7
/proc/18199/task/18201/stat : 18201 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 12845 0 0 0 1241 1 0 0 25 0 8 0 794071886 549044224 44303 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18199/tid=18202] ppid=18197 vsize=536176 CPUtime=12.59 cores=0-7
/proc/18199/task/18202/stat : 18202 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 12710 0 0 0 1257 2 0 0 25 0 8 0 794071886 549044224 44303 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18199/tid=18203] ppid=18197 vsize=536176 CPUtime=12.67 cores=0-7
/proc/18199/task/18203/stat : 18203 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 14170 0 0 0 1264 3 0 0 25 0 8 0 794071886 549044224 44303 33554432000 4194304 4580107 140735647414112 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18199/tid=18204] ppid=18197 vsize=536176 CPUtime=12.57 cores=0-7
/proc/18199/task/18204/stat : 18204 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 11729 0 0 0 1255 2 0 0 25 0 8 0 794071886 549044224 44303 33554432000 4194304 4580107 140735647414112 18446744073709551615 4325716 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18199/tid=18205] ppid=18197 vsize=536176 CPUtime=12.65 cores=0-7
/proc/18199/task/18205/stat : 18205 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 12077 0 0 0 1262 3 0 0 25 0 8 0 794071886 549044224 44303 33554432000 4194304 4580107 140735647414112 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18199/tid=18206] ppid=18197 vsize=536176 CPUtime=12.64 cores=0-7
/proc/18199/task/18206/stat : 18206 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 11385 0 0 0 1262 2 0 0 25 0 8 0 794071886 549044224 44303 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 100.96
Current children cumulated vsize (KiB) 536176
Solver just ended. Dumping a history of the last processes samples
[startup+14.3193 s]
/proc/loadavg: 2.05 0.46 0.15 4/518 18207
/proc/meminfo: memFree=4249880/32950928 swapFree=35754236/67111528
[pid=18199] ppid=18197 vsize=556608 CPUtime=110.39 cores=0-7
/proc/18199/stat : 18199 (strangenight2-m) S 18197 18199 18173 0 -1 4202496 102580 0 0 0 11015 24 0 0 25 0 8 0 794071885 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18199/statm: 139152 45081 379 95 0 134134 0
[pid=18199/tid=18200] ppid=18197 vsize=556608 CPUtime=13.77 cores=0-7
/proc/18199/task/18200/stat : 18200 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12745 0 0 0 1375 2 0 0 25 0 8 0 794071886 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 4 0 0 0
[pid=18199/tid=18201] ppid=18197 vsize=556608 CPUtime=13.31 cores=0-7
/proc/18199/task/18201/stat : 18201 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 13546 0 0 0 1329 2 0 0 25 0 8 0 794071886 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 7 0 0 0
[pid=18199/tid=18202] ppid=18197 vsize=556608 CPUtime=14.21 cores=0-7
/proc/18199/task/18202/stat : 18202 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 13522 0 0 0 1419 2 0 0 25 0 8 0 794071886 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851238443 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18199/tid=18203] ppid=18197 vsize=556608 CPUtime=14.29 cores=0-7
/proc/18199/task/18203/stat : 18203 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 14683 0 0 0 1426 3 0 0 25 0 8 0 794071886 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 4416719 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18199/tid=18204] ppid=18197 vsize=556608 CPUtime=13.47 cores=0-7
/proc/18199/task/18204/stat : 18204 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12454 0 0 0 1345 2 0 0 25 0 8 0 794071886 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 1 0 0 0
[pid=18199/tid=18205] ppid=18197 vsize=556608 CPUtime=13.55 cores=0-7
/proc/18199/task/18205/stat : 18205 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12334 0 0 0 1352 3 0 0 25 0 8 0 794071886 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 6 0 0 0
[pid=18199/tid=18206] ppid=18197 vsize=556608 CPUtime=13.54 cores=0-7
/proc/18199/task/18206/stat : 18206 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12147 0 0 0 1352 2 0 0 25 0 8 0 794071886 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 110.39
Current children cumulated vsize (KiB) 556608
[startup+14.7012 s]
/proc/loadavg: 2.05 0.46 0.15 4/518 18207
/proc/meminfo: memFree=4249880/32950928 swapFree=35754236/67111528
[pid=18199] ppid=18197 vsize=556608 CPUtime=111.15 cores=0-7
/proc/18199/stat : 18199 (strangenight2-m) S 18197 18199 18173 0 -1 4202496 102580 0 0 0 11091 24 0 0 25 0 8 0 794071885 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18199/statm: 139152 45081 379 95 0 134134 0
[pid=18199/tid=18200] ppid=18197 vsize=556608 CPUtime=13.77 cores=0-7
/proc/18199/task/18200/stat : 18200 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12745 0 0 0 1375 2 0 0 25 0 8 0 794071886 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 4 0 0 0
[pid=18199/tid=18201] ppid=18197 vsize=556608 CPUtime=13.31 cores=0-7
/proc/18199/task/18201/stat : 18201 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 13546 0 0 0 1329 2 0 0 25 0 8 0 794071886 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 7 0 0 0
[pid=18199/tid=18202] ppid=18197 vsize=556608 CPUtime=14.59 cores=0-7
/proc/18199/task/18202/stat : 18202 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 13522 0 0 0 1457 2 0 0 25 0 8 0 794071886 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851238443 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18199/tid=18203] ppid=18197 vsize=556608 CPUtime=14.67 cores=0-7
/proc/18199/task/18203/stat : 18203 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 14683 0 0 0 1464 3 0 0 25 0 8 0 794071886 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 4416997 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18199/tid=18204] ppid=18197 vsize=556608 CPUtime=13.47 cores=0-7
/proc/18199/task/18204/stat : 18204 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12454 0 0 0 1345 2 0 0 25 0 8 0 794071886 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 1 0 0 0
[pid=18199/tid=18205] ppid=18197 vsize=556608 CPUtime=13.55 cores=0-7
/proc/18199/task/18205/stat : 18205 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12334 0 0 0 1352 3 0 0 25 0 8 0 794071886 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 6 0 0 0
[pid=18199/tid=18206] ppid=18197 vsize=556608 CPUtime=13.54 cores=0-7
/proc/18199/task/18206/stat : 18206 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12147 0 0 0 1352 2 0 0 25 0 8 0 794071886 569966592 45081 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 111.15
Current children cumulated vsize (KiB) 556608
[startup+15.1011 s]
/proc/loadavg: 2.05 0.46 0.15 4/518 18207
/proc/meminfo: memFree=4249880/32950928 swapFree=35754236/67111528
[pid=18199] ppid=18197 vsize=556608 CPUtime=111.95 cores=0-7
/proc/18199/stat : 18199 (strangenight2-m) S 18197 18199 18173 0 -1 4202496 102627 0 0 0 11171 24 0 0 25 0 8 0 794071885 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18199/statm: 139152 44721 379 95 0 134134 0
[pid=18199/tid=18200] ppid=18197 vsize=556608 CPUtime=13.77 cores=0-7
/proc/18199/task/18200/stat : 18200 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12745 0 0 0 1375 2 0 0 25 0 8 0 794071886 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 4 0 0 0
[pid=18199/tid=18201] ppid=18197 vsize=556608 CPUtime=13.31 cores=0-7
/proc/18199/task/18201/stat : 18201 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 13546 0 0 0 1329 2 0 0 25 0 8 0 794071886 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 7 0 0 0
[pid=18199/tid=18202] ppid=18197 vsize=556608 CPUtime=14.99 cores=0-7
/proc/18199/task/18202/stat : 18202 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 13522 0 0 0 1497 2 0 0 25 0 8 0 794071886 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851238596 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18199/tid=18203] ppid=18197 vsize=556608 CPUtime=15.07 cores=0-7
/proc/18199/task/18203/stat : 18203 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 14730 0 0 0 1504 3 0 0 25 0 8 0 794071886 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18199/tid=18204] ppid=18197 vsize=556608 CPUtime=13.47 cores=0-7
/proc/18199/task/18204/stat : 18204 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12454 0 0 0 1345 2 0 0 25 0 8 0 794071886 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 1 0 0 0
[pid=18199/tid=18205] ppid=18197 vsize=556608 CPUtime=13.55 cores=0-7
/proc/18199/task/18205/stat : 18205 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12334 0 0 0 1352 3 0 0 25 0 8 0 794071886 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 6 0 0 0
[pid=18199/tid=18206] ppid=18197 vsize=556608 CPUtime=13.54 cores=0-7
/proc/18199/task/18206/stat : 18206 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12147 0 0 0 1352 2 0 0 25 0 8 0 794071886 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 111.95
Current children cumulated vsize (KiB) 556608
[startup+15.2011 s]
/proc/loadavg: 2.05 0.46 0.15 4/518 18207
/proc/meminfo: memFree=4249880/32950928 swapFree=35754236/67111528
[pid=18199] ppid=18197 vsize=556608 CPUtime=112.15 cores=0-7
/proc/18199/stat : 18199 (strangenight2-m) S 18197 18199 18173 0 -1 4202496 102627 0 0 0 11191 24 0 0 25 0 8 0 794071885 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18199/statm: 139152 44721 379 95 0 134134 0
[pid=18199/tid=18200] ppid=18197 vsize=556608 CPUtime=13.77 cores=0-7
/proc/18199/task/18200/stat : 18200 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12745 0 0 0 1375 2 0 0 25 0 8 0 794071886 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 4 0 0 0
[pid=18199/tid=18201] ppid=18197 vsize=556608 CPUtime=13.31 cores=0-7
/proc/18199/task/18201/stat : 18201 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 13546 0 0 0 1329 2 0 0 25 0 8 0 794071886 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 7 0 0 0
[pid=18199/tid=18202] ppid=18197 vsize=556608 CPUtime=15.09 cores=0-7
/proc/18199/task/18202/stat : 18202 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 13522 0 0 0 1507 2 0 0 25 0 8 0 794071886 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851238443 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18199/tid=18203] ppid=18197 vsize=556608 CPUtime=15.17 cores=0-7
/proc/18199/task/18203/stat : 18203 (strangenight2-m) R 18197 18199 18173 0 -1 4202560 14730 0 0 0 1514 3 0 0 25 0 8 0 794071886 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18199/tid=18204] ppid=18197 vsize=556608 CPUtime=13.47 cores=0-7
/proc/18199/task/18204/stat : 18204 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12454 0 0 0 1345 2 0 0 25 0 8 0 794071886 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 1 0 0 0
[pid=18199/tid=18205] ppid=18197 vsize=556608 CPUtime=13.55 cores=0-7
/proc/18199/task/18205/stat : 18205 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12334 0 0 0 1352 3 0 0 25 0 8 0 794071886 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 6 0 0 0
[pid=18199/tid=18206] ppid=18197 vsize=556608 CPUtime=13.54 cores=0-7
/proc/18199/task/18206/stat : 18206 (strangenight2-m) S 18197 18199 18173 0 -1 4202560 12147 0 0 0 1352 2 0 0 25 0 8 0 794071886 569966592 44721 33554432000 4194304 4580107 140735647414112 18446744073709551615 47236851263028 0 0 4096 2 18446604470909535488 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 112.15
Current children cumulated vsize (KiB) 556608
Child status: 10
Real time (s): 15.2366
CPU time (s): 112.219
CPU user time (s): 111.965
CPU system time (s): 0.253961
CPU usage (%): 736.509
Max. virtual memory (cumulated for all children) (KiB): 582480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 111.965
system time used= 0.253961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102635
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= 8357
involuntary context switches= 586
runsolver used 0.088986 second user time and 0.202969 second system time
The end
Begin job on node149 at 2011-05-31 08:52:32
IDJOB=3421734
IDBENCH=88213
IDSOLVER=1878
FILE ID=node149/3421734-1306824752
RUNJOBID= node149-1306824752-18187
PBS_JOBID= 13479109
Free space on /tmp= 58708 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q225-n25-p15-s58217873.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421734-1306824752/watcher-3421734-1306824752 -o /tmp/evaluation-result-3421734-1306824752/solver-3421734-1306824752 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421734-1306824752.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 5114ac23a1af2282bd254f062acfce74
RANDOM SEED=1416476270
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: 4433044 kB
Buffers: 279740 kB
Cached: 18603168 kB
SwapCached: 70448 kB
Active: 12163024 kB
Inactive: 15635504 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 4433044 kB
SwapTotal: 67111528 kB
SwapFree: 35754236 kB
Dirty: 5848 kB
Writeback: 0 kB
AnonPages: 8869392 kB
Mapped: 17196 kB
Slab: 529820 kB
PageTables: 118088 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 173083196 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 08:52:47