0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.08 c This is CryptoMiniSat 3.0.0
0.00/0.08 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.08 c Reading file 'HOME/instance-3400652-1306273010.cnf'
0.00/0.09 c -- header says num vars: 4271
0.00/0.09 c -- header says num clauses: 12620
4.09/0.22 c -- clauses added: 0 learnts, 12620 normals, 0 xors
4.09/0.22 c -- vars added 4271
4.09/0.22 c Parsing time: 0.01 s
4.09/0.22 c N st 0 0 4271 4206 8412 0 29442 0 no data no data
4.09/0.35 c asymm cl-useful: 0/4197/4197 lits-rem:0 time: 0.13
19.68/1.14 c Flit: 2 Blit: 34 bXBeca: 0 bXProp: 115 Bins: 0 BRemL: 0 BRemN: 0 P: 2.1M T: 0.33
19.68/1.15 c Replacing 115 vars Replaced 1777 lits Time: 0.00 s
19.68/1.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
19.68/1.17 c bin-w-bin subsume rem 3 bins time: 0.00 s
19.68/1.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
19.68/1.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4107 time: 0.02 s
19.68/1.23 c Removed useless bin: 32 fixed: 0 props: 1.14M time: 0.02 s
22.94/1.36 c lits-rem: 0 cl-subs: 38 v-elim: 1369 v-fix: 0 time: 0.04 s
22.94/1.37 c Finding binary XORs T: 0.01 s found: 1
22.94/1.37 c Replacing 1 vars Replaced 11 lits Time: 0.00 s
22.94/1.38 c Finding non-binary XORs: 0.00 s (found: 140, avg size: 3.0)
22.94/1.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
22.94/1.38 c calculated reachability. Time: 0.00
22.94/1.38 c Calc default polars - time: 0.00 s pos: 134 undec: 1703 neg: 2434
22.94/1.38 c =========================================================================================
22.94/1.38 c types(t): F = full restart, N = normal restart
22.94/1.38 c types(t): S = simplification begin/end, E = solution found
22.94/1.38 c restart types(rt): st = static, dy = dynamic
22.94/1.38 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
22.94/1.38 c B st 0 0 2737 3534 5226 0 23395 0 no data no data
41.25/1.98 c Following stats are for *FIRST FINISHED THREAD ONLY*
41.25/1.98 c num threads : 32
41.25/1.98 c restarts : 18
41.25/1.98 c dynamic restarts : 12
41.25/1.98 c static restarts : 6
41.25/1.98 c full restarts : 0
41.25/1.98 c total simplify time : 0.00
41.25/1.98 c learnts DL2 : 0
41.25/1.98 c learnts size 2 : 11301
41.25/1.98 c learnts size 1 : 328 (7.68 % of vars)
41.25/1.98 c filedLit time : 0.32 (23.97 % time)
41.25/1.98 c v-elim SatELite : 1369 (32.05 % vars)
41.25/1.98 c SatELite time : 0.05 (3.53 % time)
41.25/1.98 c v-elim xor : 0 (0.00 % vars)
41.25/1.98 c xor elim time : 0.00 (0.08 % time)
41.25/1.98 c num binary xor trees : 96
41.25/1.98 c binxor trees' crown : 116 (1.21 leafs/tree)
41.25/1.98 c bin xor find time : 0.01
41.25/1.98 c OTF clause improved : 52 (0.01 clauses/conflict)
41.25/1.98 c OTF impr. size diff : 144 (2.77 lits/clause)
41.25/1.98 c OTF cl watch-shrink : 1409 (0.31 clauses/conflict)
41.25/1.98 c OTF cl watch-sh-lit : 3867 (2.74 lits/clause)
41.25/1.98 c tried to recurMin cls : 1823 (40.23 % of conflicts)
41.25/1.98 c updated cache : 0 (0.00 lits/tried recurMin)
41.25/1.98 c unit cls recevied : 0 (0.00 % of units)
41.25/1.98 c unit cls sent : 0 (0.00 % of units)
41.25/1.98 c bin cls recevied : 0
41.25/1.98 c bin cls sent : 0
41.25/1.98 c clauses over max glue : 0 (0.00 % of all clauses)
41.25/1.98 c conflicts : 4531 (3404.73 / sec)
41.25/1.98 c decisions : 19436 (0.00 % random)
41.25/1.98 c bogo-props : 14866013 (11170759.33 / sec)
41.25/1.98 c conflict literals : 106909 (28.15 % deleted)
41.25/1.98 c Memory used : 2542.47 MB
41.25/1.98 c single-thread CPU time : 1.33 s
41.25/1.98 c all-threads sum CPU time : 40.28 s
41.25/1.98 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400652-1306273010/watcher-3400652-1306273010 -o /tmp/evaluation-result-3400652-1306273010/solver-3400652-1306273010 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400652-1306273010.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.78 31.47 30.44 1/413 11525
/proc/meminfo: memFree=255166376/264257624 swapFree=67111528/67111528
[pid=11525] ppid=11523 vsize=338000 CPUtime=0.84 cores=0-31
/proc/11525/stat : 11525 (strangenight2-m) R 11523 11525 11499 0 -1 4202496 436 0 0 0 84 0 0 0 25 0 32 0 738787408 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011120 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/11525/statm: 84500 376 297 95 0 79482 0
[pid=11525/tid=11526] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11526/stat : 11526 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011112 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11525/tid=11527] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11527/stat : 11527 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11525/tid=11528] ppid=11523 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11525/task/11528/stat : 11528 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11525/tid=11529] ppid=11523 vsize=338000 CPUtime=0 cores=0-31
/proc/11525/task/11529/stat : 11529 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11525/tid=11530] ppid=11523 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11525/task/11530/stat : 11530 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11525/tid=11531] ppid=11523 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11525/task/11531/stat : 11531 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11525/tid=11532] ppid=11523 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11525/task/11532/stat : 11532 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11525/tid=11533] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11533/stat : 11533 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11525/tid=11534] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11534/stat : 11534 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011116 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11525/tid=11535] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11535/stat : 11535 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011112 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11525/tid=11536] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11536/stat : 11536 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11525/tid=11537] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11537/stat : 11537 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011116 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11525/tid=11538] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11538/stat : 11538 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11525/tid=11539] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11539/stat : 11539 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11525/tid=11540] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11540/stat : 11540 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11525/tid=11541] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11541/stat : 11541 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011116 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11525/tid=11542] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11542/stat : 11542 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11525/tid=11543] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11543/stat : 11543 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011116 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11525/tid=11544] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11544/stat : 11544 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011112 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11525/tid=11545] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11545/stat : 11545 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11525/tid=11546] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11546/stat : 11546 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11525/tid=11547] ppid=11523 vsize=338000 CPUtime=0 cores=0-31
/proc/11525/task/11547/stat : 11547 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11525/tid=11548] ppid=11523 vsize=338000 CPUtime=0 cores=0-31
/proc/11525/task/11548/stat : 11548 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011116 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11525/tid=11549] ppid=11523 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11525/task/11549/stat : 11549 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011116 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11525/tid=11550] ppid=11523 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11525/task/11550/stat : 11550 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11525/tid=11551] ppid=11523 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11525/task/11551/stat : 11551 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11525/tid=11552] ppid=11523 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11525/task/11552/stat : 11552 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011126 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11525/tid=11553] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11553/stat : 11553 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011116 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11525/tid=11554] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11554/stat : 11554 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11525/tid=11555] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11555/stat : 11555 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011122 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11525/tid=11556] ppid=11523 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11525/task/11556/stat : 11556 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 738787409 346112000 376 268435456000 4194304 4580107 140733347561008 18446744073709551615 47362921011126 0 0 4096 2 0 0 0 -1 26 0 0 0
[startup+0.133069 s]
/proc/loadavg: 29.78 31.47 30.44 1/413 11525
/proc/meminfo: memFree=255166376/264257624 swapFree=67111528/67111528
[pid=11525] ppid=11523 vsize=1259648 CPUtime=2.74 cores=0-31
/proc/11525/stat : 11525 (strangenight2-m) S 11523 11525 11499 0 -1 4202496 5478 0 0 0 225 49 0 0 17 0 32 0 738787408 1289879552 5329 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/11525/statm: 314945 5349 334 95 0 309927 0
[pid=11525/tid=11526] ppid=11523 vsize=1259780 CPUtime=0.08 cores=0-31
/proc/11525/task/11526/stat : 11526 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 151 0 0 0 7 1 0 0 17 0 32 0 738787409 1290014720 5354 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446744071566933704 0 0 -1 1 0 0 0
[pid=11525/tid=11527] ppid=11523 vsize=1260176 CPUtime=0.08 cores=0-31
/proc/11525/task/11527/stat : 11527 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 131 0 0 0 7 1 0 0 17 0 32 0 738787409 1290420224 5455 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11525/tid=11528] ppid=11523 vsize=1260440 CPUtime=0.08 cores=0-31
/proc/11525/task/11528/stat : 11528 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 197 0 0 0 7 1 0 0 17 0 32 0 738787409 1290690560 5512 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11525/tid=11529] ppid=11523 vsize=1260572 CPUtime=0.05 cores=0-31
/proc/11525/task/11529/stat : 11529 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 140 0 0 0 4 1 0 0 17 0 32 0 738787409 1290825728 5538 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11525/tid=11530] ppid=11523 vsize=1260572 CPUtime=0.08 cores=0-31
/proc/11525/task/11530/stat : 11530 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 152 0 0 0 7 1 0 0 17 0 32 0 738787409 1290825728 5548 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11525/tid=11531] ppid=11523 vsize=1260572 CPUtime=0.08 cores=0-31
/proc/11525/task/11531/stat : 11531 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 180 0 0 0 7 1 0 0 17 0 32 0 738787409 1290825728 5557 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604482645540320 0 0 -1 20 0 0 0
[pid=11525/tid=11532] ppid=11523 vsize=1260572 CPUtime=0.08 cores=0-31
/proc/11525/task/11532/stat : 11532 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 125 0 0 0 7 1 0 0 17 0 32 0 738787409 1290825728 5578 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11525/tid=11533] ppid=11523 vsize=1260852 CPUtime=0.08 cores=0-31
/proc/11525/task/11533/stat : 11533 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 139 0 0 0 7 1 0 0 17 0 32 0 738787409 1291112448 5585 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604488051531232 0 0 -1 5 0 0 0
[pid=11525/tid=11534] ppid=11523 vsize=1260852 CPUtime=0.08 cores=0-31
/proc/11525/task/11534/stat : 11534 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 219 0 0 0 7 1 0 0 17 0 32 0 738787409 1291112448 5599 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11525/tid=11535] ppid=11523 vsize=1260852 CPUtime=0.08 cores=0-31
/proc/11525/task/11535/stat : 11535 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 217 0 0 0 7 1 0 0 17 0 32 0 738787409 1291112448 5601 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604483876199904 0 0 -1 3 0 0 0
[pid=11525/tid=11536] ppid=11523 vsize=1260852 CPUtime=0.08 cores=0-31
/proc/11525/task/11536/stat : 11536 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 172 0 0 0 7 1 0 0 17 0 32 0 738787409 1291112448 5617 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446744071566929464 0 0 -1 9 0 0 0
[pid=11525/tid=11537] ppid=11523 vsize=1260852 CPUtime=0.08 cores=0-31
/proc/11525/task/11537/stat : 11537 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 175 0 0 0 7 1 0 0 17 0 32 0 738787409 1291112448 5624 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604479997672928 0 0 -1 10 0 0 0
[pid=11525/tid=11538] ppid=11523 vsize=1260852 CPUtime=0.08 cores=0-31
/proc/11525/task/11538/stat : 11538 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 216 0 0 0 7 1 0 0 17 0 32 0 738787409 1291112448 5643 268435456000 4194304 4580107 140733347561008 18446744073709551615 4353659 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11525/tid=11539] ppid=11523 vsize=1261116 CPUtime=0.08 cores=0-31
/proc/11525/task/11539/stat : 11539 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 134 0 0 0 7 1 0 0 17 0 32 0 738787409 1291382784 5715 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604505607503328 0 0 -1 13 0 0 0
[pid=11525/tid=11540] ppid=11523 vsize=1261116 CPUtime=0.08 cores=0-31
/proc/11525/task/11540/stat : 11540 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 175 0 0 0 7 1 0 0 17 0 32 0 738787409 1291382784 5730 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11525/tid=11541] ppid=11523 vsize=1261116 CPUtime=0.09 cores=0-31
/proc/11525/task/11541/stat : 11541 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 241 0 0 0 7 2 0 0 17 0 32 0 738787409 1291382784 5751 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604480783416800 0 0 -1 11 0 0 0
[pid=11525/tid=11542] ppid=11523 vsize=1261380 CPUtime=0.08 cores=0-31
/proc/11525/task/11542/stat : 11542 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 124 0 0 0 7 1 0 0 17 0 32 0 738787409 1291653120 5787 268435456000 4194304 4580107 140733347561008 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11525/tid=11543] ppid=11523 vsize=1261512 CPUtime=0.08 cores=0-31
/proc/11525/task/11543/stat : 11543 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 177 0 0 0 7 1 0 0 17 0 32 0 738787409 1291788288 5795 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604475027660256 0 0 -1 18 0 0 0
[pid=11525/tid=11544] ppid=11523 vsize=1261644 CPUtime=0.08 cores=0-31
/proc/11525/task/11544/stat : 11544 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 137 0 0 0 7 1 0 0 17 0 32 0 738787409 1291923456 5807 268435456000 4194304 4580107 140733347561008 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11525/tid=11545] ppid=11523 vsize=1261644 CPUtime=0.08 cores=0-31
/proc/11525/task/11545/stat : 11545 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 207 0 0 0 7 1 0 0 17 0 32 0 738787409 1291923456 5831 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604474456350176 0 0 -1 21 0 0 0
[pid=11525/tid=11546] ppid=11523 vsize=1261776 CPUtime=0.06 cores=0-31
/proc/11525/task/11546/stat : 11546 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 158 0 0 0 5 1 0 0 17 0 32 0 738787409 1292058624 5834 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604504230600160 0 0 -1 31 0 0 0
[pid=11525/tid=11547] ppid=11523 vsize=1261908 CPUtime=0.03 cores=0-31
/proc/11525/task/11547/stat : 11547 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 196 0 0 0 2 1 0 0 17 0 32 0 738787409 1292193792 5862 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11525/tid=11548] ppid=11523 vsize=1262040 CPUtime=0.05 cores=0-31
/proc/11525/task/11548/stat : 11548 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 185 0 0 0 5 0 0 0 17 0 32 0 738787409 1292328960 5866 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604484743634400 0 0 -1 30 0 0 0
[pid=11525/tid=11549] ppid=11523 vsize=1262040 CPUtime=0.07 cores=0-31
/proc/11525/task/11549/stat : 11549 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 175 0 0 0 6 1 0 0 17 0 32 0 738787409 1292328960 5882 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604478919417312 0 0 -1 29 0 0 0
[pid=11525/tid=11550] ppid=11523 vsize=1262040 CPUtime=0.07 cores=0-31
/proc/11525/task/11550/stat : 11550 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 126 0 0 0 6 1 0 0 17 0 32 0 738787409 1292328960 5901 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604505608633824 0 0 -1 23 0 0 0
[pid=11525/tid=11551] ppid=11523 vsize=1262040 CPUtime=0.08 cores=0-31
/proc/11525/task/11551/stat : 11551 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 161 0 0 0 7 1 0 0 17 0 32 0 738787409 1292328960 5969 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604485892398560 0 0 -1 8 0 0 0
[pid=11525/tid=11552] ppid=11523 vsize=1262040 CPUtime=0.08 cores=0-31
/proc/11525/task/11552/stat : 11552 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 178 0 0 0 7 1 0 0 17 0 32 0 738787409 1292328960 5985 268435456000 4194304 4580107 140733347561008 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11525/tid=11553] ppid=11523 vsize=1262180 CPUtime=0.08 cores=0-31
/proc/11525/task/11553/stat : 11553 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 187 0 0 0 7 1 0 0 17 0 32 0 738787409 1292472320 5999 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604500190125536 0 0 -1 22 0 0 0
[pid=11525/tid=11554] ppid=11523 vsize=1262180 CPUtime=0.09 cores=0-31
/proc/11525/task/11554/stat : 11554 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 165 0 0 0 7 2 0 0 17 0 32 0 738787409 1292472320 6013 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604475027660256 0 0 -1 19 0 0 0
[pid=11525/tid=11555] ppid=11523 vsize=1262180 CPUtime=0.08 cores=0-31
/proc/11525/task/11555/stat : 11555 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 180 0 0 0 7 1 0 0 17 0 32 0 738787409 1292472320 6028 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446744071566932704 0 0 -1 25 0 0 0
[pid=11525/tid=11556] ppid=11523 vsize=1262312 CPUtime=0.09 cores=0-31
/proc/11525/task/11556/stat : 11556 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 181 0 0 0 7 2 0 0 17 0 32 0 738787409 1292607488 6029 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604479997672928 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 1259648
[startup+0.207985 s]
/proc/loadavg: 29.78 31.47 30.44 1/413 11525
/proc/meminfo: memFree=255166376/264257624 swapFree=67111528/67111528
[pid=11525] ppid=11523 vsize=1338580 CPUtime=4.09 cores=0-31
/proc/11525/stat : 11525 (strangenight2-m) S 11523 11525 11499 0 -1 4202496 15583 0 0 0 268 141 0 0 17 0 32 0 738787408 1370705920 14368 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/11525/statm: 334617 14305 340 95 0 329599 0
[pid=11525/tid=11526] ppid=11523 vsize=1338468 CPUtime=0.12 cores=0-31
/proc/11525/task/11526/stat : 11526 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 373 0 0 0 9 3 0 0 17 0 32 0 738787409 1370591232 14316 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604479547940320 0 0 -1 1 0 0 0
[pid=11525/tid=11527] ppid=11523 vsize=1338468 CPUtime=0.12 cores=0-31
/proc/11525/task/11527/stat : 11527 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 417 0 0 0 8 4 0 0 17 0 32 0 738787409 1370591232 14351 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604478919417312 0 0 -1 2 0 0 0
[pid=11525/tid=11528] ppid=11523 vsize=1338468 CPUtime=0.12 cores=0-31
/proc/11525/task/11528/stat : 11528 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 624 0 0 0 8 4 0 0 17 0 32 0 738787409 1370591232 14363 268435456000 4194304 4580107 140733347561008 18446744073709551615 4231584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11525/tid=11529] ppid=11523 vsize=1338468 CPUtime=0.09 cores=0-31
/proc/11525/task/11529/stat : 11529 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 442 0 0 0 5 4 0 0 17 0 32 0 738787409 1370591232 14374 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604492944006624 0 0 -1 27 0 0 0
[pid=11525/tid=11530] ppid=11523 vsize=1338468 CPUtime=0.13 cores=0-31
/proc/11525/task/11530/stat : 11530 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 401 0 0 0 9 4 0 0 17 0 32 0 738787409 1370591232 14388 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604479997672928 0 0 -1 24 0 0 0
[pid=11525/tid=11531] ppid=11523 vsize=1338468 CPUtime=0.11 cores=0-31
/proc/11525/task/11531/stat : 11531 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 501 0 0 0 8 3 0 0 17 0 32 0 738787409 1370591232 14399 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604488051531232 0 0 -1 20 0 0 0
[pid=11525/tid=11532] ppid=11523 vsize=1338468 CPUtime=0.11 cores=0-31
/proc/11525/task/11532/stat : 11532 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 387 0 0 0 8 3 0 0 17 0 32 0 738787409 1370591232 14414 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11525/tid=11533] ppid=11523 vsize=1338984 CPUtime=0.11 cores=0-31
/proc/11525/task/11533/stat : 11533 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 342 0 0 0 8 3 0 0 17 0 32 0 738787409 1371119616 14495 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604478919417312 0 0 -1 5 0 0 0
[pid=11525/tid=11534] ppid=11523 vsize=1338984 CPUtime=0.13 cores=0-31
/proc/11525/task/11534/stat : 11534 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 560 0 0 0 9 4 0 0 17 0 32 0 738787409 1371119616 14600 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11525/tid=11535] ppid=11523 vsize=1338984 CPUtime=0.14 cores=0-31
/proc/11525/task/11535/stat : 11535 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 667 0 0 0 9 5 0 0 17 0 32 0 738787409 1371119616 14617 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11525/tid=11536] ppid=11523 vsize=1338984 CPUtime=0.11 cores=0-31
/proc/11525/task/11536/stat : 11536 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 485 0 0 0 8 3 0 0 17 0 32 0 738787409 1371119616 14644 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604483876199904 0 0 -1 9 0 0 0
[pid=11525/tid=11537] ppid=11523 vsize=1338724 CPUtime=0.13 cores=0-31
/proc/11525/task/11537/stat : 11537 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 470 0 0 0 9 4 0 0 17 0 32 0 738787409 1370853376 14585 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604500190125536 0 0 -1 10 0 0 0
[pid=11525/tid=11538] ppid=11523 vsize=1338724 CPUtime=0.12 cores=0-31
/proc/11525/task/11538/stat : 11538 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 494 0 0 0 8 4 0 0 17 0 32 0 738787409 1370853376 14600 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604574634745312 0 0 -1 7 0 0 0
[pid=11525/tid=11539] ppid=11523 vsize=1338724 CPUtime=0.13 cores=0-31
/proc/11525/task/11539/stat : 11539 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 381 0 0 0 9 4 0 0 17 0 32 0 738787409 1370853376 14615 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604498423594464 0 0 -1 13 0 0 0
[pid=11525/tid=11540] ppid=11523 vsize=1338724 CPUtime=0.12 cores=0-31
/proc/11525/task/11540/stat : 11540 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 428 0 0 0 8 4 0 0 17 0 32 0 738787409 1370853376 14616 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604481497292256 0 0 -1 14 0 0 0
[pid=11525/tid=11541] ppid=11523 vsize=1338724 CPUtime=0.13 cores=0-31
/proc/11525/task/11541/stat : 11541 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 684 0 0 0 8 5 0 0 17 0 32 0 738787409 1370853376 14620 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446604480783416800 0 0 -1 11 0 0 0
[pid=11525/tid=11542] ppid=11523 vsize=1338724 CPUtime=0.12 cores=0-31
################
# More data... #
################
/proc/11525/task/11550/stat : 11550 (strangenight2-m) D 11523 11525 11499 0 -1 4202560 1021 0 0 0 31 7 0 0 17 0 32 0 738787409 2590437376 31165 268435456000 4194304 4580107 140733347561008 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11525/tid=11551] ppid=11523 vsize=2529724 CPUtime=0.36 cores=0-31
/proc/11525/task/11551/stat : 11551 (strangenight2-m) S 11523 11525 11499 0 -1 4202560 1042 0 0 0 31 5 0 0 17 0 32 0 738787409 2590437376 31168 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 18446744071566932064 0 0 -1 4 0 0 0
[pid=11525/tid=11552] ppid=11523 vsize=2529724 CPUtime=0.37 cores=0-31
/proc/11525/task/11552/stat : 11552 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1085 0 0 0 31 6 0 0 17 0 32 0 738787409 2590437376 31170 268435456000 4194304 4580107 140733347561008 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11525/tid=11553] ppid=11523 vsize=2529724 CPUtime=0.38 cores=0-31
/proc/11525/task/11553/stat : 11553 (strangenight2-m) D 11523 11525 11499 0 -1 4202560 968 0 0 0 31 7 0 0 17 0 32 0 738787409 2590437376 31173 268435456000 4194304 4580107 140733347561008 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11525/tid=11554] ppid=11523 vsize=2529724 CPUtime=0.38 cores=0-31
/proc/11525/task/11554/stat : 11554 (strangenight2-m) D 11523 11525 11499 0 -1 4202560 1092 0 0 0 31 7 0 0 17 0 32 0 738787409 2590437376 31174 268435456000 4194304 4580107 140733347561008 18446744073709551615 4231546 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11525/tid=11555] ppid=11523 vsize=2529724 CPUtime=0.38 cores=0-31
/proc/11525/task/11555/stat : 11555 (strangenight2-m) D 11523 11525 11499 0 -1 4202560 1159 0 0 0 31 7 0 0 17 0 32 0 738787409 2590437376 31176 268435456000 4194304 4580107 140733347561008 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11525/tid=11556] ppid=11523 vsize=2529724 CPUtime=0.39 cores=0-31
/proc/11525/task/11556/stat : 11556 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 687 0 0 0 33 6 0 0 15 0 32 0 738787409 2590437376 31177 268435456000 4194304 4580107 140733347561008 18446744073709551615 4301509 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 2529724
[startup+1.50303 s]
/proc/loadavg: 29.78 31.47 30.44 33/445 11557
/proc/meminfo: memFree=254996984/264257624 swapFree=67111528/67111528
[pid=11525] ppid=11523 vsize=2602140 CPUtime=28.49 cores=0-31
/proc/11525/stat : 11525 (strangenight2-m) R 11523 11525 11499 0 -1 4202496 62681 0 0 0 2510 339 0 0 17 0 32 0 738787408 2664591360 58399 268435456000 4194304 4580107 140733347561008 18446744073709551615 4295047 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/11525/statm: 650535 58400 377 95 0 645517 0
[pid=11525/tid=11526] ppid=11523 vsize=2602140 CPUtime=0.85 cores=0-31
/proc/11525/task/11526/stat : 11526 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1933 0 0 0 76 9 0 0 17 0 32 0 738787409 2664591360 58400 268435456000 4194304 4580107 140733347561008 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11525/tid=11527] ppid=11523 vsize=2602140 CPUtime=0.88 cores=0-31
/proc/11525/task/11527/stat : 11527 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1913 0 0 0 77 11 0 0 17 0 32 0 738787409 2664591360 58400 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11525/tid=11528] ppid=11523 vsize=2602140 CPUtime=0.88 cores=0-31
/proc/11525/task/11528/stat : 11528 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1941 0 0 0 81 7 0 0 17 0 32 0 738787409 2664591360 58401 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11525/tid=11529] ppid=11523 vsize=2602140 CPUtime=0.85 cores=0-31
/proc/11525/task/11529/stat : 11529 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2030 0 0 0 75 10 0 0 17 0 32 0 738787409 2664591360 58401 268435456000 4194304 4580107 140733347561008 18446744073709551615 4301890 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11525/tid=11530] ppid=11523 vsize=2602140 CPUtime=0.87 cores=0-31
/proc/11525/task/11530/stat : 11530 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1994 0 0 0 76 11 0 0 17 0 32 0 738787409 2664591360 58401 268435456000 4194304 4580107 140733347561008 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11525/tid=11531] ppid=11523 vsize=2602140 CPUtime=0.88 cores=0-31
/proc/11525/task/11531/stat : 11531 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1923 0 0 0 77 11 0 0 17 0 32 0 738787409 2664591360 58402 268435456000 4194304 4580107 140733347561008 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11525/tid=11532] ppid=11523 vsize=2602140 CPUtime=0.88 cores=0-31
/proc/11525/task/11532/stat : 11532 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1835 0 0 0 78 10 0 0 17 0 32 0 738787409 2664591360 58402 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11525/tid=11533] ppid=11523 vsize=2602140 CPUtime=0.87 cores=0-31
/proc/11525/task/11533/stat : 11533 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1744 0 0 0 76 11 0 0 17 0 32 0 738787409 2664591360 58402 268435456000 4194304 4580107 140733347561008 18446744073709551615 4294213 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11525/tid=11534] ppid=11523 vsize=2602140 CPUtime=0.89 cores=0-31
/proc/11525/task/11534/stat : 11534 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2154 0 0 0 78 11 0 0 17 0 32 0 738787409 2664591360 58403 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11525/tid=11535] ppid=11523 vsize=2602140 CPUtime=0.96 cores=0-31
/proc/11525/task/11535/stat : 11535 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2057 0 0 0 87 9 0 0 17 0 32 0 738787409 2664591360 58404 268435456000 4194304 4580107 140733347561008 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11525/tid=11536] ppid=11523 vsize=2602140 CPUtime=0.9 cores=0-31
/proc/11525/task/11536/stat : 11536 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2073 0 0 0 80 10 0 0 17 0 32 0 738787409 2664591360 58404 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11525/tid=11537] ppid=11523 vsize=2602140 CPUtime=0.9 cores=0-31
/proc/11525/task/11537/stat : 11537 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2000 0 0 0 81 9 0 0 17 0 32 0 738787409 2664591360 58405 268435456000 4194304 4580107 140733347561008 18446744073709551615 4317025 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11525/tid=11538] ppid=11523 vsize=2602140 CPUtime=0.87 cores=0-31
/proc/11525/task/11538/stat : 11538 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2006 0 0 0 75 12 0 0 17 0 32 0 738787409 2664591360 58406 268435456000 4194304 4580107 140733347561008 18446744073709551615 4301873 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11525/tid=11539] ppid=11523 vsize=2602140 CPUtime=0.87 cores=0-31
/proc/11525/task/11539/stat : 11539 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1890 0 0 0 76 11 0 0 17 0 32 0 738787409 2664591360 58408 268435456000 4194304 4580107 140733347561008 18446744073709551615 4321016 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11525/tid=11540] ppid=11523 vsize=2602140 CPUtime=0.89 cores=0-31
/proc/11525/task/11540/stat : 11540 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1933 0 0 0 77 12 0 0 17 0 32 0 738787409 2664591360 58408 268435456000 4194304 4580107 140733347561008 18446744073709551615 4305960 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11525/tid=11541] ppid=11523 vsize=2602140 CPUtime=0.93 cores=0-31
/proc/11525/task/11541/stat : 11541 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2028 0 0 0 85 8 0 0 17 0 32 0 738787409 2664591360 58408 268435456000 4194304 4580107 140733347561008 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11525/tid=11542] ppid=11523 vsize=2602140 CPUtime=0.87 cores=0-31
/proc/11525/task/11542/stat : 11542 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1837 0 0 0 79 8 0 0 17 0 32 0 738787409 2664591360 58409 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11525/tid=11543] ppid=11523 vsize=2602140 CPUtime=0.87 cores=0-31
/proc/11525/task/11543/stat : 11543 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1844 0 0 0 75 12 0 0 17 0 32 0 738787409 2664591360 58409 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11525/tid=11544] ppid=11523 vsize=2602140 CPUtime=0.84 cores=0-31
/proc/11525/task/11544/stat : 11544 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1977 0 0 0 74 10 0 0 17 0 32 0 738787409 2664591360 58410 268435456000 4194304 4580107 140733347561008 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=11525/tid=11545] ppid=11523 vsize=2602140 CPUtime=0.92 cores=0-31
/proc/11525/task/11545/stat : 11545 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2030 0 0 0 85 7 0 0 17 0 32 0 738787409 2664591360 58410 268435456000 4194304 4580107 140733347561008 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11525/tid=11546] ppid=11523 vsize=2602140 CPUtime=0.87 cores=0-31
/proc/11525/task/11546/stat : 11546 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1972 0 0 0 76 11 0 0 17 0 32 0 738787409 2664591360 58410 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11525/tid=11547] ppid=11523 vsize=2602140 CPUtime=0.86 cores=0-31
/proc/11525/task/11547/stat : 11547 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2074 0 0 0 76 10 0 0 17 0 32 0 738787409 2664591360 58410 268435456000 4194304 4580107 140733347561008 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11525/tid=11548] ppid=11523 vsize=2602140 CPUtime=0.85 cores=0-31
/proc/11525/task/11548/stat : 11548 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2067 0 0 0 76 9 0 0 17 0 32 0 738787409 2664591360 58410 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11525/tid=11549] ppid=11523 vsize=2602140 CPUtime=0.83 cores=0-31
/proc/11525/task/11549/stat : 11549 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1946 0 0 0 73 10 0 0 17 0 32 0 738787409 2664591360 58410 268435456000 4194304 4580107 140733347561008 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11525/tid=11550] ppid=11523 vsize=2602140 CPUtime=0.87 cores=0-31
/proc/11525/task/11550/stat : 11550 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1948 0 0 0 76 11 0 0 17 0 32 0 738787409 2664591360 58412 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11525/tid=11551] ppid=11523 vsize=2602140 CPUtime=0.89 cores=0-31
/proc/11525/task/11551/stat : 11551 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2004 0 0 0 78 11 0 0 17 0 32 0 738787409 2664591360 58412 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11525/tid=11552] ppid=11523 vsize=2602140 CPUtime=0.88 cores=0-31
/proc/11525/task/11552/stat : 11552 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2005 0 0 0 77 11 0 0 17 0 32 0 738787409 2664591360 58413 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11525/tid=11553] ppid=11523 vsize=2602140 CPUtime=0.86 cores=0-31
/proc/11525/task/11553/stat : 11553 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1898 0 0 0 74 12 0 0 17 0 32 0 738787409 2664591360 58413 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11525/tid=11554] ppid=11523 vsize=2602140 CPUtime=0.88 cores=0-31
/proc/11525/task/11554/stat : 11554 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2070 0 0 0 77 11 0 0 17 0 32 0 738787409 2664591360 58415 268435456000 4194304 4580107 140733347561008 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11525/tid=11555] ppid=11523 vsize=2602140 CPUtime=0.9 cores=0-31
/proc/11525/task/11555/stat : 11555 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2161 0 0 0 79 11 0 0 17 0 32 0 738787409 2664591360 58419 268435456000 4194304 4580107 140733347561008 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11525/tid=11556] ppid=11523 vsize=2602140 CPUtime=0.94 cores=0-31
/proc/11525/task/11556/stat : 11556 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 839 0 0 0 87 7 0 0 16 0 32 0 738787409 2664591360 58419 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 28.49
Current children cumulated vsize (KiB) 2602140
Solver just ended. Dumping a history of the last processes samples
[startup+1.60303 s]
/proc/loadavg: 29.78 31.47 30.44 33/445 11557
/proc/meminfo: memFree=254996984/264257624 swapFree=67111528/67111528
[pid=11525] ppid=11523 vsize=2602284 CPUtime=31.68 cores=0-31
/proc/11525/stat : 11525 (strangenight2-m) R 11523 11525 11499 0 -1 4202496 63697 0 0 0 2826 342 0 0 17 0 32 0 738787408 2664738816 59415 268435456000 4194304 4580107 140733347561008 18446744073709551615 4324385 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/11525/statm: 650571 59416 377 95 0 645553 0
[pid=11525/tid=11526] ppid=11523 vsize=2602284 CPUtime=0.94 cores=0-31
/proc/11525/task/11526/stat : 11526 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1965 0 0 0 85 9 0 0 17 0 32 0 738787409 2664738816 59416 268435456000 4194304 4580107 140733347561008 18446744073709551615 4229991 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11525/tid=11527] ppid=11523 vsize=2602284 CPUtime=0.98 cores=0-31
/proc/11525/task/11527/stat : 11527 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1956 0 0 0 87 11 0 0 17 0 32 0 738787409 2664738816 59416 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11525/tid=11528] ppid=11523 vsize=2602284 CPUtime=0.98 cores=0-31
/proc/11525/task/11528/stat : 11528 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1963 0 0 0 91 7 0 0 17 0 32 0 738787409 2664738816 59416 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293013 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11525/tid=11529] ppid=11523 vsize=2602284 CPUtime=0.95 cores=0-31
/proc/11525/task/11529/stat : 11529 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2066 0 0 0 85 10 0 0 17 0 32 0 738787409 2664738816 59416 268435456000 4194304 4580107 140733347561008 18446744073709551615 4316546 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11525/tid=11530] ppid=11523 vsize=2602284 CPUtime=0.97 cores=0-31
/proc/11525/task/11530/stat : 11530 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2019 0 0 0 86 11 0 0 17 0 32 0 738787409 2664738816 59416 268435456000 4194304 4580107 140733347561008 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11525/tid=11531] ppid=11523 vsize=2602284 CPUtime=0.98 cores=0-31
/proc/11525/task/11531/stat : 11531 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1954 0 0 0 87 11 0 0 17 0 32 0 738787409 2664738816 59417 268435456000 4194304 4580107 140733347561008 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11525/tid=11532] ppid=11523 vsize=2602284 CPUtime=0.98 cores=0-31
/proc/11525/task/11532/stat : 11532 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1877 0 0 0 88 10 0 0 17 0 32 0 738787409 2664738816 59417 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11525/tid=11533] ppid=11523 vsize=2602284 CPUtime=0.97 cores=0-31
/proc/11525/task/11533/stat : 11533 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1784 0 0 0 86 11 0 0 17 0 32 0 738787409 2664738816 59417 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11525/tid=11534] ppid=11523 vsize=2602284 CPUtime=0.99 cores=0-31
/proc/11525/task/11534/stat : 11534 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2194 0 0 0 88 11 0 0 17 0 32 0 738787409 2664738816 59417 268435456000 4194304 4580107 140733347561008 18446744073709551615 4294256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11525/tid=11535] ppid=11523 vsize=2602284 CPUtime=1.06 cores=0-31
/proc/11525/task/11535/stat : 11535 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2080 0 0 0 97 9 0 0 17 0 32 0 738787409 2664738816 59417 268435456000 4194304 4580107 140733347561008 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=11525/tid=11536] ppid=11523 vsize=2602284 CPUtime=1 cores=0-31
/proc/11525/task/11536/stat : 11536 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2093 0 0 0 90 10 0 0 17 0 32 0 738787409 2664738816 59417 268435456000 4194304 4580107 140733347561008 18446744073709551615 4294754 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11525/tid=11537] ppid=11523 vsize=2602284 CPUtime=1 cores=0-31
/proc/11525/task/11537/stat : 11537 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2041 0 0 0 91 9 0 0 17 0 32 0 738787409 2664738816 59417 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11525/tid=11538] ppid=11523 vsize=2602284 CPUtime=0.97 cores=0-31
/proc/11525/task/11538/stat : 11538 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2047 0 0 0 85 12 0 0 17 0 32 0 738787409 2664738816 59419 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293022 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11525/tid=11539] ppid=11523 vsize=2602284 CPUtime=0.97 cores=0-31
/proc/11525/task/11539/stat : 11539 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1915 0 0 0 86 11 0 0 17 0 32 0 738787409 2664738816 59419 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=11525/tid=11540] ppid=11523 vsize=2602284 CPUtime=0.99 cores=0-31
/proc/11525/task/11540/stat : 11540 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1969 0 0 0 87 12 0 0 17 0 32 0 738787409 2664738816 59419 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11525/tid=11541] ppid=11523 vsize=2602284 CPUtime=1.03 cores=0-31
/proc/11525/task/11541/stat : 11541 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2055 0 0 0 95 8 0 0 17 0 32 0 738787409 2664738816 59420 268435456000 4194304 4580107 140733347561008 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11525/tid=11542] ppid=11523 vsize=2602284 CPUtime=0.97 cores=0-31
/proc/11525/task/11542/stat : 11542 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1868 0 0 0 89 8 0 0 17 0 32 0 738787409 2664738816 59421 268435456000 4194304 4580107 140733347561008 18446744073709551615 4301949 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11525/tid=11543] ppid=11523 vsize=2602284 CPUtime=0.97 cores=0-31
/proc/11525/task/11543/stat : 11543 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1877 0 0 0 85 12 0 0 17 0 32 0 738787409 2664738816 59422 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11525/tid=11544] ppid=11523 vsize=2602284 CPUtime=0.94 cores=0-31
/proc/11525/task/11544/stat : 11544 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2001 0 0 0 84 10 0 0 17 0 32 0 738787409 2664738816 59422 268435456000 4194304 4580107 140733347561008 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=11525/tid=11545] ppid=11523 vsize=2602284 CPUtime=1.03 cores=0-31
/proc/11525/task/11545/stat : 11545 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2064 0 0 0 95 8 0 0 17 0 32 0 738787409 2664738816 59423 268435456000 4194304 4580107 140733347561008 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11525/tid=11546] ppid=11523 vsize=2602284 CPUtime=0.96 cores=0-31
/proc/11525/task/11546/stat : 11546 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1994 0 0 0 85 11 0 0 17 0 32 0 738787409 2664738816 59424 268435456000 4194304 4580107 140733347561008 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11525/tid=11547] ppid=11523 vsize=2602284 CPUtime=0.95 cores=0-31
/proc/11525/task/11547/stat : 11547 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2105 0 0 0 85 10 0 0 17 0 32 0 738787409 2664738816 59426 268435456000 4194304 4580107 140733347561008 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11525/tid=11548] ppid=11523 vsize=2602284 CPUtime=0.95 cores=0-31
/proc/11525/task/11548/stat : 11548 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2102 0 0 0 86 9 0 0 17 0 32 0 738787409 2664738816 59431 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11525/tid=11549] ppid=11523 vsize=2602284 CPUtime=0.94 cores=0-31
/proc/11525/task/11549/stat : 11549 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1981 0 0 0 83 11 0 0 17 0 32 0 738787409 2664738816 59434 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11525/tid=11550] ppid=11523 vsize=2602284 CPUtime=0.97 cores=0-31
/proc/11525/task/11550/stat : 11550 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1985 0 0 0 86 11 0 0 17 0 32 0 738787409 2664738816 59434 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11525/tid=11551] ppid=11523 vsize=2602284 CPUtime=0.99 cores=0-31
/proc/11525/task/11551/stat : 11551 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2034 0 0 0 88 11 0 0 17 0 32 0 738787409 2664738816 59435 268435456000 4194304 4580107 140733347561008 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11525/tid=11552] ppid=11523 vsize=2602284 CPUtime=0.98 cores=0-31
/proc/11525/task/11552/stat : 11552 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2034 0 0 0 87 11 0 0 17 0 32 0 738787409 2664738816 59435 268435456000 4194304 4580107 140733347561008 18446744073709551615 4320786 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11525/tid=11553] ppid=11523 vsize=2602284 CPUtime=0.96 cores=0-31
/proc/11525/task/11553/stat : 11553 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 1927 0 0 0 84 12 0 0 17 0 32 0 738787409 2664738816 59435 268435456000 4194304 4580107 140733347561008 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11525/tid=11554] ppid=11523 vsize=2602284 CPUtime=0.98 cores=0-31
/proc/11525/task/11554/stat : 11554 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2106 0 0 0 87 11 0 0 17 0 32 0 738787409 2664738816 59436 268435456000 4194304 4580107 140733347561008 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11525/tid=11555] ppid=11523 vsize=2602284 CPUtime=1 cores=0-31
/proc/11525/task/11555/stat : 11555 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 2193 0 0 0 89 11 0 0 17 0 32 0 738787409 2664738816 59436 268435456000 4194304 4580107 140733347561008 18446744073709551615 4296107 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11525/tid=11556] ppid=11523 vsize=2602284 CPUtime=1.04 cores=0-31
/proc/11525/task/11556/stat : 11556 (strangenight2-m) R 11523 11525 11499 0 -1 4202560 867 0 0 0 97 7 0 0 16 0 32 0 738787409 2664738816 59437 268435456000 4194304 4580107 140733347561008 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 31.68
Current children cumulated vsize (KiB) 2602284
[startup+2.00319 s]
/proc/loadavg: 29.78 31.47 30.44 33/445 11557
/proc/meminfo: memFree=254996984/264257624 swapFree=67111528/67111528
[pid=11525] ppid=11523 vsize=0 CPUtime=43.8 cores=0-31
/proc/11525/stat : 11525 (strangenight2-m) Z 11523 11525 11499 0 -1 4203548 67487 0 0 0 4027 353 0 0 17 0 2 0 738787408 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/11525/statm: 0 0 0 0 0 0 0
[pid=11525/tid=11538] ppid=11523 vsize=0 CPUtime=1.38 cores=0-31
/proc/11525/task/11538/stat : 11538 (strangenight2-m) R 11523 11525 11499 0 -1 4203588 2163 0 0 0 123 15 0 0 17 0 2 0 738787409 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 43.8
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 2.02001
CPU time (s): 43.8253
CPU user time (s): 40.2769
CPU system time (s): 3.54846
CPU usage (%): 2169.56
Max. virtual memory (cumulated for all children) (KiB): 2602868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.2769
system time used= 3.54846
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67487
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= 134490
involuntary context switches= 86
runsolver used 0.036994 second user time and 0.080987 second system time
The end
Begin job on node200 at 2011-05-24 23:36:50
IDJOB=3400652
IDBENCH=70767
IDSOLVER=1886
FILE ID=node200/3400652-1306273010
RUNJOBID= node200-1306273010-11513
PBS_JOBID= 13411772
Free space on /tmp= 62048 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor016.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400652-1306273010/watcher-3400652-1306273010 -o /tmp/evaluation-result-3400652-1306273010/solver-3400652-1306273010 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400652-1306273010.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 12a87f636ffe8e3dae243dd6ce90cac8
RANDOM SEED=1125653428
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.049
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.09
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.049
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.049
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.08
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.049
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.09
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.049
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.17
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.049
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.049
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.06
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.049
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.049
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.04
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.049
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.09
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.049
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.09
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.049
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.02
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.049
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.17
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.049
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.09
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.049
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 : 3989.98
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.049
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.06
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.049
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.04
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.049
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.09
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.049
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.049
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 : 3990.09
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.049
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.09
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.049
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.08
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.049
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.09
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.049
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 : 3990.05
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.049
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.09
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.049
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.049
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.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255166532 kB
Buffers: 465404 kB
Cached: 8219852 kB
SwapCached: 0 kB
Active: 7769216 kB
Inactive: 984860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255166532 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5840 kB
Writeback: 0 kB
AnonPages: 69724 kB
Mapped: 13348 kB
Slab: 255636 kB
PageTables: 4780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188444 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= 62040 MiB
End job on node200 at 2011-05-24 23:36:52