0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
1.61/0.08 c This is CryptoMiniSat 3.0.0
1.61/0.08 c WARNING: for repeatability, setting FPU to use double precision
1.61/0.08 c Reading file 'HOME/instance-3400831-1306892039.cnf'
1.61/0.09 c -- header says num vars: 504
1.61/0.09 c -- header says num clauses: 1840
2.33/0.13 c -- clauses added: 0 learnts, 1840 normals, 0 xors
2.33/0.13 c -- vars added 504
2.33/0.13 c Parsing time: 0.00 s
2.33/0.13 c N st 0 0 504 1656 80 0 5512 0 no data no data
2.33/0.14 c asymm cl-useful: 0/1400/1400 lits-rem:0 time: 0.00
2.33/0.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 96 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
2.33/0.14 c Replacing 96 vars Replaced 1716 lits Time: 0.00 s
2.33/0.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2.33/0.15 c bin-w-bin subsume rem 0 bins time: 0.00 s
2.33/0.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2.33/0.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 336 time: 0.00 s
2.33/0.16 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s
2.33/0.17 c lits-rem: 0 cl-subs: 0 v-elim: 46 v-fix: 0 time: 0.01 s
2.33/0.17 c Finding binary XORs T: 0.00 s found: 0
2.33/0.17 c Finding non-binary XORs: 0.00 s (found: 146, avg size: 3.3)
2.33/0.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 10 locsubst: 0 time: 0.00
2.33/0.17 c calculated reachability. Time: 0.00
2.33/0.17 c Calc default polars - time: 0.00 s pos: 0 undec: 224 neg: 280
2.33/0.17 c =========================================================================================
2.33/0.17 c types(t): F = full restart, N = normal restart
2.33/0.17 c types(t): S = simplification begin/end, E = solution found
2.33/0.17 c restart types(rt): st = static, dy = dynamic
2.33/0.17 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
2.33/0.17 c B st 0 0 280 632 16 0 2776 0 no data no data
2.33/0.27 c Decided on static restart strategy
2.33/0.62 c N st 8 4916 280 632 36 4606 2776 77867 no data no data
2.33/1.02 c N st 10 11301 280 632 63 4299 2776 48161 no data no data
42.96/1.45 c N st 11 17044 280 632 63 9592 2776 136290 no data no data
61.85/2.08 c F st 12 25001 280 632 63 11741 2776 153444 no data no data
61.85/2.08 c N st 12 25001 280 632 63 11741 2776 153444 no data no data
61.85/2.08 c Finding binary XORs T: 0.00 s found: 31
61.85/2.09 c Replacing 31 vars Replaced 5951 lits Time: 0.01 s
61.85/2.10 c Following stats are for *FIRST FINISHED THREAD ONLY*
61.85/2.10 c num threads : 32
61.85/2.10 c restarts : 12
61.85/2.10 c dynamic restarts : 0
61.85/2.10 c static restarts : 12
61.85/2.10 c full restarts : 0
61.85/2.10 c total simplify time : 0.01
61.85/2.10 c learnts DL2 : 0
61.85/2.10 c learnts size 2 : 255
61.85/2.10 c learnts size 1 : 72 (14.29 % of vars)
61.85/2.10 c filedLit time : 0.00 (0.10 % time)
61.85/2.10 c v-elim SatELite : 46 (9.13 % vars)
61.85/2.10 c SatELite time : 0.00 (0.10 % time)
61.85/2.10 c v-elim xor : 10 (1.98 % vars)
61.85/2.10 c xor elim time : 0.00 (0.00 % time)
61.85/2.10 c num binary xor trees : 127
61.85/2.10 c binxor trees' crown : 127 (1.00 leafs/tree)
61.85/2.10 c bin xor find time : 0.00
61.85/2.10 c OTF clause improved : 1916 (0.08 clauses/conflict)
61.85/2.10 c OTF impr. size diff : 1955 (1.02 lits/clause)
61.85/2.10 c OTF cl watch-shrink : 2948 (0.12 clauses/conflict)
61.85/2.10 c OTF cl watch-sh-lit : 3311 (1.12 lits/clause)
61.85/2.10 c tried to recurMin cls : 3318 (13.31 % of conflicts)
61.85/2.10 c updated cache : 0 (0.00 lits/tried recurMin)
61.85/2.10 c unit cls recevied : 0 (0.00 % of units)
61.85/2.10 c unit cls sent : 0 (0.00 % of units)
61.85/2.10 c bin cls recevied : 201
61.85/2.10 c bin cls sent : 0
61.85/2.10 c clauses over max glue : 0 (0.00 % of all clauses)
61.85/2.10 c conflicts : 24923 (12382.91 / sec)
61.85/2.10 c decisions : 27385 (0.00 % random)
61.85/2.10 c bogo-props : 186478013 (92650950.91 / sec)
61.85/2.10 c conflict literals : 392134 (27.69 % deleted)
61.85/2.10 c Memory used : 1499.66 MB
61.85/2.10 c single-thread CPU time : 2.01 s
61.85/2.10 c all-threads sum CPU time : 64.51 s
61.85/2.10 s SATISFIABLE
61.85/2.10 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 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-3400831-1306892039/watcher-3400831-1306892039 -o /tmp/evaluation-result-3400831-1306892039/solver-3400831-1306892039 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400831-1306892039.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.62 31.65 31.90 1/413 26342
/proc/meminfo: memFree=263486256/264257624 swapFree=67044780/67111528
[pid=26342] ppid=26340 vsize=338000 CPUtime=0.8 cores=0-31
/proc/26342/stat : 26342 (strangenight2-m) R 26340 26342 26316 0 -1 4202496 437 0 0 0 80 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/26342/statm: 84500 376 297 95 0 79482 0
[pid=26342/tid=26343] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26343/stat : 26343 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26342/tid=26344] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26344/stat : 26344 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283446 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26345/stat : 26345 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26346/stat : 26346 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26347/stat : 26347 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283436 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26348/stat : 26348 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26349/stat : 26349 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26350/stat : 26350 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283436 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26351/stat : 26351 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26352/stat : 26352 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26353/stat : 26353 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26354/stat : 26354 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26355/stat : 26355 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26356/stat : 26356 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26357/stat : 26357 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283436 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=338000 CPUtime=0 cores=0-31
/proc/26342/task/26358/stat : 26358 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=338000 CPUtime=0.01 cores=0-31
/proc/26342/task/26359/stat : 26359 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283446 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26360/stat : 26360 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=338000 CPUtime=0 cores=0-31
/proc/26342/task/26361/stat : 26361 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283432 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=26342/tid=26362] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26362/stat : 26362 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26342/tid=26363] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26363/stat : 26363 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283436 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26342/tid=26364] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26364/stat : 26364 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283446 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26342/tid=26365] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26365/stat : 26365 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283440 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26342/tid=26366] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26366/stat : 26366 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26342/tid=26367] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26367/stat : 26367 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26342/tid=26368] ppid=26340 vsize=338000 CPUtime=0 cores=0-31
/proc/26342/task/26368/stat : 26368 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283446 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26342/tid=26369] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26369/stat : 26369 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=26342/tid=26370] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26370/stat : 26370 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26342/tid=26371] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26371/stat : 26371 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283436 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26342/tid=26372] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26372/stat : 26372 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26342/tid=26373] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26373/stat : 26373 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 21 0 0 0
[startup+0.062598 s]
/proc/loadavg: 29.62 31.65 31.90 1/413 26342
/proc/meminfo: memFree=263486256/264257624 swapFree=67044780/67111528
[pid=26342] ppid=26340 vsize=338000 CPUtime=1.61 cores=0-31
/proc/26342/stat : 26342 (strangenight2-m) R 26340 26342 26316 0 -1 4202496 469 0 0 0 161 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283037 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/26342/statm: 84500 408 300 95 0 79482 0
[pid=26342/tid=26343] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26343/stat : 26343 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 4 0 0 0 5 0 0 0 24 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283027 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26342/tid=26344] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26344/stat : 26344 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26345/stat : 26345 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26346/stat : 26346 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26347/stat : 26347 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26348/stat : 26348 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283027 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26349/stat : 26349 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26350/stat : 26350 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283027 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26351/stat : 26351 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26352/stat : 26352 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26353/stat : 26353 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283024 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26354/stat : 26354 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283024 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26355/stat : 26355 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283024 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26356/stat : 26356 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283037 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=338000 CPUtime=0.04 cores=0-31
/proc/26342/task/26357/stat : 26357 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=338000 CPUtime=0 cores=0-31
/proc/26342/task/26358/stat : 26358 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26359/stat : 26359 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283037 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26360/stat : 26360 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26361/stat : 26361 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=26342/tid=26362] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26362/stat : 26362 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26342/tid=26363] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26363/stat : 26363 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26342/tid=26364] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26364/stat : 26364 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283024 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26342/tid=26365] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26365/stat : 26365 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283027 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26342/tid=26366] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26366/stat : 26366 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26342/tid=26367] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26367/stat : 26367 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283031 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26342/tid=26368] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26368/stat : 26368 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26342/tid=26369] ppid=26340 vsize=338000 CPUtime=0.04 cores=0-31
/proc/26342/task/26369/stat : 26369 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=26342/tid=26370] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26370/stat : 26370 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26342/tid=26371] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26371/stat : 26371 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283031 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26342/tid=26372] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26372/stat : 26372 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283024 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26342/tid=26373] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26373/stat : 26373 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283037 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 338000
[startup+0.103608 s]
/proc/loadavg: 29.62 31.65 31.90 1/413 26342
/proc/meminfo: memFree=263486256/264257624 swapFree=67044780/67111528
[pid=26342] ppid=26340 vsize=1396608 CPUtime=2.33 cores=0-31
/proc/26342/stat : 26342 (strangenight2-m) D 26340 26342 26316 0 -1 4202496 2212 0 0 0 226 7 0 0 18 0 32 0 15169870 1430126592 2047 268435456000 4194304 4580107 140734353648880 18446744073709551615 258650999207 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/26342/statm: 349152 2058 336 95 0 344134 0
[pid=26342/tid=26343] ppid=26340 vsize=1396608 CPUtime=0.07 cores=0-31
/proc/26342/task/26343/stat : 26343 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 59 0 0 0 7 0 0 0 17 0 32 0 15169870 1430126592 2063 268435456000 4194304 4580107 140734353648880 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26342/tid=26344] ppid=26340 vsize=1404812 CPUtime=0.07 cores=0-31
/proc/26342/task/26344/stat : 26344 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 64 0 0 0 7 0 0 0 17 0 32 0 15169870 1438527488 2065 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446744071566925544 0 0 -1 2 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=1404812 CPUtime=0.07 cores=0-31
/proc/26342/task/26345/stat : 26345 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 80 0 0 0 7 0 0 0 17 0 32 0 15169870 1438527488 2069 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446604580869914080 0 0 -1 4 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=1404812 CPUtime=0.07 cores=0-31
/proc/26342/task/26346/stat : 26346 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 87 0 0 0 7 0 0 0 17 0 32 0 15169870 1438527488 2084 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446604497460067808 0 0 -1 12 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=1413016 CPUtime=0.07 cores=0-31
/proc/26342/task/26347/stat : 26347 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 56 0 0 0 7 0 0 0 17 0 32 0 15169870 1446928384 2086 268435456000 4194304 4580107 140734353648880 18446744073709551615 258650624575 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=1413012 CPUtime=0.07 cores=0-31
/proc/26342/task/26348/stat : 26348 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 66 0 0 0 7 0 0 0 18 0 32 0 15169870 1446924288 2089 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446604442904657376 0 0 -1 16 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=1413012 CPUtime=0.07 cores=0-31
/proc/26342/task/26349/stat : 26349 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 89 0 0 0 7 0 0 0 18 0 32 0 15169870 1446924288 2091 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446604467506626016 0 0 -1 15 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=1413012 CPUtime=0.07 cores=0-31
/proc/26342/task/26350/stat : 26350 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 66 0 0 0 7 0 0 0 17 0 32 0 15169870 1446924288 2098 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446744071566924504 0 0 -1 5 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=1413148 CPUtime=0.07 cores=0-31
/proc/26342/task/26351/stat : 26351 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 69 0 0 0 7 0 0 0 17 0 32 0 15169870 1447063552 2100 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446744071566925544 0 0 -1 6 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=1413148 CPUtime=0.07 cores=0-31
/proc/26342/task/26352/stat : 26352 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 27 0 0 0 7 0 0 0 17 0 32 0 15169870 1447063552 2103 268435456000 4194304 4580107 140734353648880 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=1413148 CPUtime=0.07 cores=0-31
/proc/26342/task/26353/stat : 26353 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 69 0 0 0 7 0 0 0 17 0 32 0 15169870 1447063552 2110 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446744071566933064 0 0 -1 10 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=1413148 CPUtime=0.07 cores=0-31
/proc/26342/task/26354/stat : 26354 (strangenight2-m) D 26340 26342 26316 0 -1 4202560 31 0 0 0 7 0 0 0 17 0 32 0 15169870 1447063552 2115 268435456000 4194304 4580107 140734353648880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=1413148 CPUtime=0.07 cores=0-31
/proc/26342/task/26355/stat : 26355 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 71 0 0 0 7 0 0 0 25 0 32 0 15169870 1447063552 2116 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446604459139063264 0 0 -1 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=1413144 CPUtime=0.07 cores=0-31
/proc/26342/task/26356/stat : 26356 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 73 0 0 0 7 0 0 0 17 0 32 0 15169870 1447059456 2121 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446604624932699616 0 0 -1 20 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=1413144 CPUtime=0.04 cores=0-31
/proc/26342/task/26357/stat : 26357 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 29 0 0 0 4 0 0 0 17 0 32 0 15169871 1447059456 2124 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=1413144 CPUtime=0.02 cores=0-31
/proc/26342/task/26358/stat : 26358 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 48 0 0 0 2 0 0 0 25 0 32 0 15169871 1447059456 2128 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446604595087424992 0 0 -1 12 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=1413144 CPUtime=0.05 cores=0-31
################
# More data... #
################
/proc/26342/task/26366/stat : 26366 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 874 0 0 0 152 1 0 0 19 0 32 0 15169871 1570529280 14586 268435456000 4194304 4580107 140734353648880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26342/tid=26367] ppid=26340 vsize=1533720 CPUtime=1.53 cores=0-31
/proc/26342/task/26367/stat : 26367 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 860 0 0 0 152 1 0 0 19 0 32 0 15169871 1570529280 14586 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26342/tid=26368] ppid=26340 vsize=1533720 CPUtime=1.52 cores=0-31
/proc/26342/task/26368/stat : 26368 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 921 0 0 0 150 2 0 0 19 0 32 0 15169871 1570529280 14586 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26342/tid=26369] ppid=26340 vsize=1533720 CPUtime=1.55 cores=0-31
/proc/26342/task/26369/stat : 26369 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 913 0 0 0 153 2 0 0 19 0 32 0 15169871 1570529280 14586 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=26342/tid=26370] ppid=26340 vsize=1533720 CPUtime=1.53 cores=0-31
/proc/26342/task/26370/stat : 26370 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 903 0 0 0 151 2 0 0 19 0 32 0 15169871 1570529280 14587 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26342/tid=26371] ppid=26340 vsize=1533720 CPUtime=1.52 cores=0-31
/proc/26342/task/26371/stat : 26371 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 802 0 0 0 151 1 0 0 19 0 32 0 15169871 1570529280 14587 268435456000 4194304 4580107 140734353648880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26342/tid=26372] ppid=26340 vsize=1533720 CPUtime=1.54 cores=0-31
/proc/26342/task/26372/stat : 26372 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 855 0 0 0 152 2 0 0 19 0 32 0 15169871 1570529280 14587 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26342/tid=26373] ppid=26340 vsize=1533720 CPUtime=1.54 cores=0-31
/proc/26342/task/26373/stat : 26373 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 696 0 0 0 153 1 0 0 19 0 32 0 15169871 1570529280 14587 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 49.42
Current children cumulated vsize (KiB) 1533720
Solver just ended. Dumping a history of the last processes samples
[startup+1.80162 s]
/proc/loadavg: 29.62 31.65 31.90 1/413 26342
/proc/meminfo: memFree=263486256/264257624 swapFree=67044780/67111528
[pid=26342] ppid=26340 vsize=1533988 CPUtime=55.46 cores=0-31
/proc/26342/stat : 26342 (strangenight2-m) R 26340 26342 26316 0 -1 4202496 30295 0 0 0 5481 65 0 0 19 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/26342/statm: 383497 16181 378 95 0 378479 0
[pid=26342/tid=26343] ppid=26340 vsize=1533988 CPUtime=1.75 cores=0-31
/proc/26342/task/26343/stat : 26343 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1002 0 0 0 173 2 0 0 19 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26342/tid=26344] ppid=26340 vsize=1533988 CPUtime=1.74 cores=0-31
/proc/26342/task/26344/stat : 26344 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 886 0 0 0 173 1 0 0 20 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=1533988 CPUtime=1.7 cores=0-31
/proc/26342/task/26345/stat : 26345 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 963 0 0 0 168 2 0 0 19 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26346/stat : 26346 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 931 0 0 0 171 1 0 0 19 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4291388 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=1533988 CPUtime=1.73 cores=0-31
/proc/26342/task/26347/stat : 26347 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 925 0 0 0 172 1 0 0 20 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=1533988 CPUtime=1.71 cores=0-31
/proc/26342/task/26348/stat : 26348 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 943 0 0 0 170 1 0 0 19 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=1533988 CPUtime=1.75 cores=0-31
/proc/26342/task/26349/stat : 26349 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 980 0 0 0 173 2 0 0 20 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294983 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26350/stat : 26350 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 977 0 0 0 171 1 0 0 19 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4316768 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=1533988 CPUtime=1.73 cores=0-31
/proc/26342/task/26351/stat : 26351 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 963 0 0 0 171 2 0 0 20 0 32 0 15169870 1570803712 16183 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=1533988 CPUtime=1.73 cores=0-31
/proc/26342/task/26352/stat : 26352 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 887 0 0 0 171 2 0 0 18 0 32 0 15169870 1570803712 16183 268435456000 4194304 4580107 140734353648880 18446744073709551615 258650620954 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=1533988 CPUtime=1.74 cores=0-31
/proc/26342/task/26353/stat : 26353 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 904 0 0 0 172 2 0 0 20 0 32 0 15169870 1570803712 16184 268435456000 4194304 4580107 140734353648880 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26354/stat : 26354 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 852 0 0 0 170 2 0 0 19 0 32 0 15169870 1570803712 16185 268435456000 4194304 4580107 140734353648880 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=1533988 CPUtime=1.73 cores=0-31
/proc/26342/task/26355/stat : 26355 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1020 0 0 0 171 2 0 0 19 0 32 0 15169870 1570803712 16187 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=1533988 CPUtime=1.75 cores=0-31
/proc/26342/task/26356/stat : 26356 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 955 0 0 0 172 3 0 0 20 0 32 0 15169870 1570803712 16187 268435456000 4194304 4580107 140734353648880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=1533988 CPUtime=1.69 cores=0-31
/proc/26342/task/26357/stat : 26357 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 859 0 0 0 168 1 0 0 19 0 32 0 15169871 1570803712 16187 268435456000 4194304 4580107 140734353648880 18446744073709551615 4321597 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=1533988 CPUtime=1.68 cores=0-31
/proc/26342/task/26358/stat : 26358 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 907 0 0 0 167 1 0 0 20 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=1533988 CPUtime=1.71 cores=0-31
/proc/26342/task/26359/stat : 26359 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 916 0 0 0 169 2 0 0 19 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=1533988 CPUtime=1.73 cores=0-31
/proc/26342/task/26360/stat : 26360 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 867 0 0 0 171 2 0 0 20 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26361/stat : 26361 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 973 0 0 0 170 2 0 0 20 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4322026 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=26342/tid=26362] ppid=26340 vsize=1533988 CPUtime=1.74 cores=0-31
/proc/26342/task/26362/stat : 26362 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 971 0 0 0 173 1 0 0 20 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4306354 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26342/tid=26363] ppid=26340 vsize=1533988 CPUtime=1.73 cores=0-31
/proc/26342/task/26363/stat : 26363 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 984 0 0 0 172 1 0 0 20 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4301924 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26342/tid=26364] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26364/stat : 26364 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 950 0 0 0 170 2 0 0 19 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26342/tid=26365] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26365/stat : 26365 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 955 0 0 0 171 1 0 0 19 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26342/tid=26366] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26366/stat : 26366 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 916 0 0 0 171 1 0 0 19 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26342/tid=26367] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26367/stat : 26367 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 912 0 0 0 171 1 0 0 20 0 32 0 15169871 1570803712 16189 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26342/tid=26368] ppid=26340 vsize=1533988 CPUtime=1.71 cores=0-31
/proc/26342/task/26368/stat : 26368 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 979 0 0 0 169 2 0 0 19 0 32 0 15169871 1570803712 16189 268435456000 4194304 4580107 140734353648880 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26342/tid=26369] ppid=26340 vsize=1533988 CPUtime=1.74 cores=0-31
/proc/26342/task/26369/stat : 26369 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 965 0 0 0 172 2 0 0 20 0 32 0 15169871 1570803712 16190 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=26342/tid=26370] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26370/stat : 26370 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 948 0 0 0 170 2 0 0 20 0 32 0 15169871 1570803712 16190 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26342/tid=26371] ppid=26340 vsize=1533988 CPUtime=1.71 cores=0-31
/proc/26342/task/26371/stat : 26371 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 859 0 0 0 170 1 0 0 19 0 32 0 15169871 1570803712 16190 268435456000 4194304 4580107 140734353648880 18446744073709551615 4323013 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26342/tid=26372] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26372/stat : 26372 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 904 0 0 0 170 2 0 0 19 0 32 0 15169871 1570803712 16195 268435456000 4194304 4580107 140734353648880 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26342/tid=26373] ppid=26340 vsize=1533988 CPUtime=1.73 cores=0-31
/proc/26342/task/26373/stat : 26373 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 849 0 0 0 172 1 0 0 19 0 32 0 15169871 1570803712 16196 268435456000 4194304 4580107 140734353648880 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 55.46
Current children cumulated vsize (KiB) 1533988
[startup+2.00163 s]
/proc/loadavg: 29.62 31.65 31.90 1/413 26342
/proc/meminfo: memFree=263486256/264257624 swapFree=67044780/67111528
[pid=26342] ppid=26340 vsize=1535152 CPUtime=61.85 cores=0-31
/proc/26342/stat : 26342 (strangenight2-m) R 26340 26342 26316 0 -1 4202496 33991 0 0 0 6119 66 0 0 20 0 32 0 15169870 1571995648 17149 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/26342/statm: 383788 17151 378 95 0 378770 0
[pid=26342/tid=26343] ppid=26340 vsize=1535152 CPUtime=1.94 cores=0-31
/proc/26342/task/26343/stat : 26343 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1166 0 0 0 192 2 0 0 20 0 32 0 15169870 1571995648 17151 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26342/tid=26344] ppid=26340 vsize=1535152 CPUtime=1.94 cores=0-31
/proc/26342/task/26344/stat : 26344 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 928 0 0 0 193 1 0 0 20 0 32 0 15169870 1571995648 17151 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=1535152 CPUtime=1.9 cores=0-31
/proc/26342/task/26345/stat : 26345 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1147 0 0 0 188 2 0 0 20 0 32 0 15169870 1571995648 17151 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26346/stat : 26346 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 993 0 0 0 191 1 0 0 20 0 32 0 15169870 1571995648 17151 268435456000 4194304 4580107 140734353648880 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=1535152 CPUtime=1.93 cores=0-31
/proc/26342/task/26347/stat : 26347 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1009 0 0 0 192 1 0 0 20 0 32 0 15169870 1571995648 17151 268435456000 4194304 4580107 140734353648880 18446744073709551615 4301873 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=1535152 CPUtime=1.91 cores=0-31
/proc/26342/task/26348/stat : 26348 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1134 0 0 0 190 1 0 0 20 0 32 0 15169870 1571995648 17151 268435456000 4194304 4580107 140734353648880 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=1535152 CPUtime=1.95 cores=0-31
/proc/26342/task/26349/stat : 26349 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1027 0 0 0 193 2 0 0 20 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26350/stat : 26350 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1078 0 0 0 191 1 0 0 20 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=1535152 CPUtime=1.93 cores=0-31
/proc/26342/task/26351/stat : 26351 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1172 0 0 0 191 2 0 0 20 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=1535152 CPUtime=1.93 cores=0-31
/proc/26342/task/26352/stat : 26352 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 937 0 0 0 191 2 0 0 19 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4255383 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=1535152 CPUtime=1.94 cores=0-31
/proc/26342/task/26353/stat : 26353 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 949 0 0 0 192 2 0 0 20 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26354/stat : 26354 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 899 0 0 0 190 2 0 0 20 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=1535152 CPUtime=1.93 cores=0-31
/proc/26342/task/26355/stat : 26355 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1204 0 0 0 191 2 0 0 19 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=1535152 CPUtime=1.95 cores=0-31
/proc/26342/task/26356/stat : 26356 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1005 0 0 0 192 3 0 0 20 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=1535152 CPUtime=1.89 cores=0-31
/proc/26342/task/26357/stat : 26357 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 932 0 0 0 188 1 0 0 20 0 32 0 15169871 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=1535152 CPUtime=1.88 cores=0-31
/proc/26342/task/26358/stat : 26358 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1004 0 0 0 187 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=1535152 CPUtime=1.91 cores=0-31
/proc/26342/task/26359/stat : 26359 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 988 0 0 0 189 2 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=1535152 CPUtime=1.93 cores=0-31
/proc/26342/task/26360/stat : 26360 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 924 0 0 0 191 2 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26361/stat : 26361 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1196 0 0 0 190 2 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=26342/tid=26362] ppid=26340 vsize=1535152 CPUtime=1.94 cores=0-31
/proc/26342/task/26362/stat : 26362 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1177 0 0 0 193 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26342/tid=26363] ppid=26340 vsize=1535152 CPUtime=1.93 cores=0-31
/proc/26342/task/26363/stat : 26363 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1044 0 0 0 192 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26342/tid=26364] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26364/stat : 26364 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1118 0 0 0 190 2 0 0 19 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26342/tid=26365] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26365/stat : 26365 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1148 0 0 0 191 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26342/tid=26366] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26366/stat : 26366 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 967 0 0 0 191 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26342/tid=26367] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26367/stat : 26367 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1100 0 0 0 191 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26342/tid=26368] ppid=26340 vsize=1535152 CPUtime=1.91 cores=0-31
/proc/26342/task/26368/stat : 26368 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1167 0 0 0 189 2 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26342/tid=26369] ppid=26340 vsize=1535152 CPUtime=1.94 cores=0-31
/proc/26342/task/26369/stat : 26369 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1149 0 0 0 192 2 0 0 18 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=26342/tid=26370] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26370/stat : 26370 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1043 0 0 0 190 2 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26342/tid=26371] ppid=26340 vsize=1535152 CPUtime=1.91 cores=0-31
/proc/26342/task/26371/stat : 26371 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 943 0 0 0 190 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26342/tid=26372] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26372/stat : 26372 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1092 0 0 0 190 2 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26342/tid=26373] ppid=26340 vsize=1535152 CPUtime=1.93 cores=0-31
/proc/26342/task/26373/stat : 26373 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 896 0 0 0 192 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 61.85
Current children cumulated vsize (KiB) 1535152
[startup+2.10163 s]
/proc/loadavg: 29.81 31.65 31.91 33/445 26374
/proc/meminfo: memFree=263410440/264257624 swapFree=67044780/67111528
[pid=26342] ppid=26340 vsize=0 CPUtime=65.21 cores=0-31
/proc/26342/stat : 26342 (strangenight2-m) Z 26340 26342 26316 0 -1 4203548 35862 0 0 0 6454 67 0 0 20 0 1 0 15169870 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/26342/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 65.21
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 2.12161
CPU time (s): 65.2211
CPU user time (s): 64.5432
CPU system time (s): 0.677896
CPU usage (%): 3074.13
Max. virtual memory (cumulated for all children) (KiB): 1541612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.5432
system time used= 0.677896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35862
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= 24047
involuntary context switches= 180
runsolver used 0.008998 second user time and 0.06499 second system time
The end
Begin job on node200 at 2011-06-01 03:33:59
IDJOB=3400831
IDBENCH=83424
IDSOLVER=1886
FILE ID=node200/3400831-1306892039
RUNJOBID= node200-1306892039-26330
PBS_JOBID= 13471400
Free space on /tmp= 61580 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_2_keyfind_1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400831-1306892039/watcher-3400831-1306892039 -o /tmp/evaluation-result-3400831-1306892039/solver-3400831-1306892039 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400831-1306892039.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= c192a897c1414e3cc7eb965289993edd
RANDOM SEED=2068844124
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.13
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.95
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3996.76
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263486420 kB
Buffers: 166264 kB
Cached: 409776 kB
SwapCached: 29976 kB
Active: 143628 kB
Inactive: 464488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263486420 kB
SwapTotal: 67111528 kB
SwapFree: 67044780 kB
Dirty: 5832 kB
Writeback: 0 kB
AnonPages: 31212 kB
Mapped: 7228 kB
Slab: 75124 kB
PageTables: 5780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191772 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61576 MiB
End job on node200 at 2011-06-01 03:34:01