0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.06 c This is CryptoMiniSat 3.0.0
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c Reading file 'HOME/instance-3400778-1306778310.cnf'
0.00/0.10 c -- header says num vars: 160244
0.00/0.10 c -- header says num clauses: 479591
57.17/4.72 c -- clauses added: 0 learnts, 479591 normals, 0 xors
57.17/4.72 c -- vars added 160244
57.17/4.74 c Parsing time: 0.65 s
57.17/4.74 c N st 0 0 160244 159863 319726 0 1119041 0 no data no data
76.19/5.50 c asymm cl-useful: 0/7516/159862 lits-rem:0 time: 0.75
632.25/22.87 c Flit: 322 Blit: 13385 bXBeca: 0 bXProp: 9400 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 17.37
635.46/22.92 c Cleaning up after failed var search: 0.05 s
638.66/23.01 c Replacing 9401 vars Replaced 167264 lits Time: 0.09 s
642.36/23.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
645.44/23.26 c bin-w-bin subsume rem 683 bins time: 0.05 s
647.98/23.37 c subs with bin: 19 lits-rem: 18 v-fix: 0 time: 0.10 s
673.66/24.23 c Subs w/ non-existent bins: 165 l-rem: 132 v-fix: 33 done: 122159 time: 0.83 s
678.82/24.41 c Removed useless bin: 103 fixed: 0 props: 20.00M time: 0.17 s
735.22/26.47 c lits-rem: 5659 cl-subs: 17378 v-elim: 45277 v-fix: 0 time: 1.16 s
737.90/26.53 c Finding binary XORs T: 0.05 s found: 109
737.90/26.59 c Replacing 109 vars Replaced 5281 lits Time: 0.06 s
742.37/26.71 c Finding non-binary XORs: 0.06 s (found: 56, avg size: 3.0)
742.37/26.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
742.37/26.74 c calculated reachability. Time: 0.00
742.37/26.77 c Calc default polars - time: 0.03 s pos: 997 undec: 70126 neg: 89121
742.37/26.77 c =========================================================================================
742.37/26.77 c types(t): F = full restart, N = normal restart
742.37/26.77 c types(t): S = simplification begin/end, E = solution found
742.37/26.77 c restart types(rt): st = static, dy = dynamic
742.37/26.77 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
742.37/26.77 c B st 0 0 90413 124606 180735 0 788152 0 no data no data
862.11/30.97 c N dy 18 4122 90412 124606 180925 3863 788143 69505 5.38 5.67
1030.94/36.31 c N dy 44 8123 89933 124606 183762 7661 788133 155141 5.91 7.49
1257.86/43.35 c N dy 76 12210 89829 124606 183829 11641 788132 283771 6.35 8.20
1299.42/44.66 c Finding binary XORs T: 0.05 s found: 2403
1302.65/44.74 c Replacing 2418 vars Replaced 74992 lits Time: 0.08 s
1632.46/55.11 c Following stats are for *FIRST FINISHED THREAD ONLY*
1632.46/55.11 c num threads : 32
1632.46/55.11 c restarts : 84
1632.46/55.11 c dynamic restarts : 78
1632.46/55.11 c static restarts : 6
1632.46/55.11 c full restarts : 0
1632.46/55.11 c total simplify time : 0.24
1632.46/55.11 c learnts DL2 : 0
1632.46/55.11 c learnts size 2 : 375122
1632.46/55.11 c learnts size 1 : 36394 (22.71 % of vars)
1632.46/55.11 c filedLit time : 17.59 (35.29 % time)
1632.46/55.11 c v-elim SatELite : 45277 (28.26 % vars)
1632.46/55.11 c SatELite time : 1.74 (3.49 % time)
1632.46/55.11 c v-elim xor : 0 (0.00 % vars)
1632.46/55.11 c xor elim time : 0.04 (0.09 % time)
1632.46/55.11 c num binary xor trees : 2758
1632.46/55.11 c binxor trees' crown : 12459 (4.52 leafs/tree)
1632.46/55.11 c bin xor find time : 0.11
1632.46/55.11 c OTF clause improved : 170 (0.01 clauses/conflict)
1632.46/55.11 c OTF impr. size diff : 203 (1.19 lits/clause)
1632.46/55.11 c OTF cl watch-shrink : 7211 (0.47 clauses/conflict)
1632.46/55.11 c OTF cl watch-sh-lit : 27939 (3.87 lits/clause)
1632.46/55.11 c tried to recurMin cls : 0 (0.00 % of conflicts)
1632.46/55.11 c updated cache : 0 (nan lits/tried recurMin)
1632.46/55.11 c unit cls recevied : 134 (0.37 % of units)
1632.46/55.11 c unit cls sent : 144 (0.40 % of units)
1632.46/55.11 c bin cls recevied : 28803
1632.46/55.11 c bin cls sent : 223
1632.46/55.11 c clauses over max glue : 0 (0.00 % of all clauses)
1632.46/55.11 c conflicts : 15281 (306.60 / sec)
1632.46/55.11 c decisions : 39359 (0.00 % random)
1632.46/55.11 c bogo-props : 449229366 (9013353.80 / sec)
1632.46/55.11 c conflict literals : 383100 (50.16 % deleted)
1632.46/55.11 c Memory used : 6162.35 MB
1632.46/55.11 c single-thread CPU time : 49.84 s
1632.46/55.11 c all-threads sum CPU time : 1587.10 s
1632.46/55.11 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-3400778-1306778310/watcher-3400778-1306778310 -o /tmp/evaluation-result-3400778-1306778310/solver-3400778-1306778310 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400778-1306778310.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: 25.84 29.36 30.94 1/413 18580
/proc/meminfo: memFree=263714988/264257624 swapFree=67044744/67111528
[pid=18580] ppid=18578 vsize=338000 CPUtime=0.74 cores=0-31
/proc/18580/stat : 18580 (strangenight2-m) R 18578 18580 18554 0 -1 4202496 465 0 0 0 74 0 0 0 25 0 32 0 3797066 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18580/statm: 84500 405 300 95 0 79482 0
[pid=18580/tid=18581] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18581/stat : 18581 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 4 0 0 0 2 0 0 0 23 0 32 0 3797066 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18580/tid=18582] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18582/stat : 18582 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 3797066 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18580/tid=18583] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18583/stat : 18583 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3797066 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919699 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18580/tid=18584] ppid=18578 vsize=338000 CPUtime=0 cores=0-31
/proc/18580/task/18584/stat : 18584 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 32 0 3797066 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919699 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18580/tid=18585] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18585/stat : 18585 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 3797066 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18580/tid=18586] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18586/stat : 18586 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 3797066 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18580/tid=18587] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18587/stat : 18587 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3797066 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18580/tid=18588] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18588/stat : 18588 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 3797066 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919696 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18580/tid=18589] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18589/stat : 18589 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919696 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18580/tid=18590] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18590/stat : 18590 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919709 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18580/tid=18591] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18591/stat : 18591 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18580/tid=18592] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18592/stat : 18592 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919709 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18580/tid=18593] ppid=18578 vsize=338000 CPUtime=0 cores=0-31
/proc/18580/task/18593/stat : 18593 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270920114 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18580/tid=18594] ppid=18578 vsize=338000 CPUtime=0 cores=0-31
/proc/18580/task/18594/stat : 18594 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18580/tid=18595] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18595/stat : 18595 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919699 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18580/tid=18596] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18596/stat : 18596 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919699 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18580/tid=18597] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18597/stat : 18597 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919699 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18580/tid=18598] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18598/stat : 18598 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919696 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18580/tid=18599] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18599/stat : 18599 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18580/tid=18600] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18600/stat : 18600 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18580/tid=18601] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18601/stat : 18601 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18580/tid=18602] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18602/stat : 18602 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18580/tid=18603] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18603/stat : 18603 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18580/tid=18604] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18604/stat : 18604 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18580/tid=18605] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18605/stat : 18605 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919699 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18580/tid=18606] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18606/stat : 18606 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18580/tid=18607] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18607/stat : 18607 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18580/tid=18608] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18608/stat : 18608 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919696 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18580/tid=18609] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18609/stat : 18609 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919705 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18580/tid=18610] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18610/stat : 18610 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919699 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18580/tid=18611] ppid=18578 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18580/task/18611/stat : 18611 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3797067 346112000 405 268435456000 4194304 4580107 140737015607664 18446744073709551615 47531270919703 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.120841 s]
/proc/loadavg: 25.84 29.36 30.94 1/413 18580
/proc/meminfo: memFree=263714988/264257624 swapFree=67044744/67111528
[pid=18580] ppid=18578 vsize=1250140 CPUtime=2.43 cores=0-31
/proc/18580/stat : 18580 (strangenight2-m) R 18578 18580 18554 0 -1 4202496 11218 0 0 0 143 100 0 0 17 0 32 0 3797066 1280143360 11071 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18580/statm: 312535 11081 334 95 0 307517 0
[pid=18580/tid=18581] ppid=18578 vsize=1250140 CPUtime=0.06 cores=0-31
/proc/18580/task/18581/stat : 18581 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 320 0 0 0 4 2 0 0 17 0 32 0 3797066 1280143360 11085 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446744071566929744 0 0 -1 1 0 0 0
[pid=18580/tid=18582] ppid=18578 vsize=1250140 CPUtime=0.07 cores=0-31
/proc/18580/task/18582/stat : 18582 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 419 0 0 0 5 2 0 0 17 0 32 0 3797066 1280143360 11096 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604461204504032 0 0 -1 2 0 0 0
[pid=18580/tid=18583] ppid=18578 vsize=1250140 CPUtime=0.06 cores=0-31
/proc/18580/task/18583/stat : 18583 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 337 0 0 0 4 2 0 0 17 0 32 0 3797066 1280143360 11107 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604453262245344 0 0 -1 30 0 0 0
[pid=18580/tid=18584] ppid=18578 vsize=1250140 CPUtime=0.04 cores=0-31
/proc/18580/task/18584/stat : 18584 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 330 0 0 0 2 2 0 0 17 0 32 0 3797066 1280143360 11113 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604461204504032 0 0 -1 24 0 0 0
[pid=18580/tid=18585] ppid=18578 vsize=1250140 CPUtime=0.06 cores=0-31
/proc/18580/task/18585/stat : 18585 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 314 0 0 0 4 2 0 0 17 0 32 0 3797066 1280143360 11140 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604454624435680 0 0 -1 20 0 0 0
[pid=18580/tid=18586] ppid=18578 vsize=1250140 CPUtime=0.07 cores=0-31
/proc/18580/task/18586/stat : 18586 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 380 0 0 0 4 3 0 0 17 0 32 0 3797066 1280143360 11151 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604473430375904 0 0 -1 8 0 0 0
[pid=18580/tid=18587] ppid=18578 vsize=1250140 CPUtime=0.07 cores=0-31
/proc/18580/task/18587/stat : 18587 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 328 0 0 0 4 3 0 0 17 0 32 0 3797066 1280143360 11155 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604500781211104 0 0 -1 0 0 0 0
[pid=18580/tid=18588] ppid=18578 vsize=1250140 CPUtime=0.07 cores=0-31
/proc/18580/task/18588/stat : 18588 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 335 0 0 0 4 3 0 0 17 0 32 0 3797066 1280143360 11170 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18580/tid=18589] ppid=18578 vsize=1250140 CPUtime=0.06 cores=0-31
/proc/18580/task/18589/stat : 18589 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 288 0 0 0 4 2 0 0 17 0 32 0 3797067 1280143360 11181 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604506450910688 0 0 -1 5 0 0 0
[pid=18580/tid=18590] ppid=18578 vsize=1250140 CPUtime=0.07 cores=0-31
/proc/18580/task/18590/stat : 18590 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 374 0 0 0 4 3 0 0 17 0 32 0 3797067 1280143360 11187 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604441511583200 0 0 -1 6 0 0 0
[pid=18580/tid=18591] ppid=18578 vsize=1250140 CPUtime=0.07 cores=0-31
/proc/18580/task/18591/stat : 18591 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 344 0 0 0 4 3 0 0 17 0 32 0 3797067 1280143360 11200 268435456000 4194304 4580107 140737015607664 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18580/tid=18592] ppid=18578 vsize=1250140 CPUtime=0.07 cores=0-31
/proc/18580/task/18592/stat : 18592 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 334 0 0 0 4 3 0 0 17 0 32 0 3797067 1280143360 11203 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604461204504032 0 0 -1 28 0 0 0
[pid=18580/tid=18593] ppid=18578 vsize=1250304 CPUtime=0.03 cores=0-31
/proc/18580/task/18593/stat : 18593 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 351 0 0 0 0 3 0 0 17 0 32 0 3797067 1280311296 11241 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604453262245344 0 0 -1 31 0 0 0
[pid=18580/tid=18594] ppid=18578 vsize=1250304 CPUtime=0.05 cores=0-31
/proc/18580/task/18594/stat : 18594 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 313 0 0 0 2 3 0 0 17 0 32 0 3797067 1280311296 11246 268435456000 4194304 4580107 140737015607664 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18580/tid=18595] ppid=18578 vsize=1250304 CPUtime=0.07 cores=0-31
/proc/18580/task/18595/stat : 18595 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 365 0 0 0 4 3 0 0 17 0 32 0 3797067 1280311296 11247 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604566145785312 0 0 -1 12 0 0 0
[pid=18580/tid=18596] ppid=18578 vsize=1250304 CPUtime=0.07 cores=0-31
/proc/18580/task/18596/stat : 18596 (strangenight2-m) D 18578 18580 18554 0 -1 4202560 314 0 0 0 4 3 0 0 17 0 32 0 3797067 1280311296 11253 268435456000 4194304 4580107 140737015607664 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18580/tid=18597] ppid=18578 vsize=1250304 CPUtime=0.06 cores=0-31
/proc/18580/task/18597/stat : 18597 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 329 0 0 0 4 2 0 0 17 0 32 0 3797067 1280311296 11264 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604460935855584 0 0 -1 10 0 0 0
[pid=18580/tid=18598] ppid=18578 vsize=1250304 CPUtime=0.07 cores=0-31
/proc/18580/task/18598/stat : 18598 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 340 0 0 0 4 3 0 0 17 0 32 0 3797067 1280311296 11268 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604505226763744 0 0 -1 7 0 0 0
[pid=18580/tid=18599] ppid=18578 vsize=1250304 CPUtime=0.07 cores=0-31
/proc/18580/task/18599/stat : 18599 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 346 0 0 0 4 3 0 0 17 0 32 0 3797067 1280311296 11286 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604500781211104 0 0 -1 13 0 0 0
[pid=18580/tid=18600] ppid=18578 vsize=1250304 CPUtime=0.06 cores=0-31
/proc/18580/task/18600/stat : 18600 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 355 0 0 0 4 2 0 0 17 0 32 0 3797067 1280311296 11296 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18580/tid=18601] ppid=18578 vsize=1250304 CPUtime=0.06 cores=0-31
/proc/18580/task/18601/stat : 18601 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 363 0 0 0 4 2 0 0 17 0 32 0 3797067 1280311296 11317 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604454252584416 0 0 -1 11 0 0 0
[pid=18580/tid=18602] ppid=18578 vsize=1250304 CPUtime=0.07 cores=0-31
/proc/18580/task/18602/stat : 18602 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 321 0 0 0 4 3 0 0 17 0 32 0 3797067 1280311296 11331 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604566145785312 0 0 -1 17 0 0 0
[pid=18580/tid=18603] ppid=18578 vsize=1250304 CPUtime=0.06 cores=0-31
/proc/18580/task/18603/stat : 18603 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 349 0 0 0 4 2 0 0 17 0 32 0 3797067 1280311296 11342 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18580/tid=18604] ppid=18578 vsize=1250304 CPUtime=0.07 cores=0-31
/proc/18580/task/18604/stat : 18604 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 346 0 0 0 4 3 0 0 17 0 32 0 3797067 1280311296 11356 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18580/tid=18605] ppid=18578 vsize=1250304 CPUtime=0.07 cores=0-31
/proc/18580/task/18605/stat : 18605 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 366 0 0 0 4 3 0 0 17 0 32 0 3797067 1280311296 11375 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604450662948320 0 0 -1 21 0 0 0
[pid=18580/tid=18606] ppid=18578 vsize=1250304 CPUtime=0.06 cores=0-31
/proc/18580/task/18606/stat : 18606 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 371 0 0 0 4 2 0 0 17 0 32 0 3797067 1280311296 11375 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604506575912416 0 0 -1 22 0 0 0
[pid=18580/tid=18607] ppid=18578 vsize=1250304 CPUtime=0.07 cores=0-31
/proc/18580/task/18607/stat : 18607 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 368 0 0 0 4 3 0 0 17 0 32 0 3797067 1280311296 11397 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604454455705056 0 0 -1 19 0 0 0
[pid=18580/tid=18608] ppid=18578 vsize=1250304 CPUtime=0.07 cores=0-31
/proc/18580/task/18608/stat : 18608 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 342 0 0 0 4 3 0 0 17 0 32 0 3797067 1280311296 11413 268435456000 4194304 4580107 140737015607664 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18580/tid=18609] ppid=18578 vsize=1250436 CPUtime=0.06 cores=0-31
/proc/18580/task/18609/stat : 18609 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 369 0 0 0 4 2 0 0 17 0 32 0 3797067 1280446464 11424 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446744071566928704 0 0 -1 26 0 0 0
[pid=18580/tid=18610] ppid=18578 vsize=1250436 CPUtime=0.07 cores=0-31
/proc/18580/task/18610/stat : 18610 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 320 0 0 0 4 3 0 0 17 0 32 0 3797067 1280446464 11445 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18580/tid=18611] ppid=18578 vsize=1250700 CPUtime=0.07 cores=0-31
/proc/18580/task/18611/stat : 18611 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 344 0 0 0 4 3 0 0 17 0 32 0 3797067 1280716800 11489 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 1250140
[startup+0.20788 s]
/proc/loadavg: 25.84 29.36 30.94 1/413 18580
/proc/meminfo: memFree=263714988/264257624 swapFree=67044744/67111528
[pid=18580] ppid=18578 vsize=1401868 CPUtime=4.02 cores=0-31
/proc/18580/stat : 18580 (strangenight2-m) S 18578 18580 18554 0 -1 4202496 26819 0 0 0 191 211 0 0 17 0 32 0 3797066 1435512832 23671 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18580/statm: 350467 23680 334 95 0 345449 0
[pid=18580/tid=18581] ppid=18578 vsize=1401868 CPUtime=0.13 cores=0-31
/proc/18580/task/18581/stat : 18581 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 889 0 0 0 7 6 0 0 17 0 32 0 3797066 1435512832 23688 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18580/tid=18582] ppid=18578 vsize=1402056 CPUtime=0.12 cores=0-31
/proc/18580/task/18582/stat : 18582 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 847 0 0 0 7 5 0 0 17 0 32 0 3797066 1435705344 23704 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604500781211104 0 0 -1 2 0 0 0
[pid=18580/tid=18583] ppid=18578 vsize=1402056 CPUtime=0.11 cores=0-31
/proc/18580/task/18583/stat : 18583 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 853 0 0 0 6 5 0 0 17 0 32 0 3797066 1435705344 23729 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446744071566932304 0 0 -1 30 0 0 0
[pid=18580/tid=18584] ppid=18578 vsize=1402056 CPUtime=0.09 cores=0-31
/proc/18580/task/18584/stat : 18584 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 837 0 0 0 3 6 0 0 17 0 32 0 3797066 1435705344 23740 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604450613124576 0 0 -1 24 0 0 0
[pid=18580/tid=18585] ppid=18578 vsize=1402056 CPUtime=0.12 cores=0-31
/proc/18580/task/18585/stat : 18585 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 821 0 0 0 6 6 0 0 17 0 32 0 3797066 1435705344 23775 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604456401362400 0 0 -1 20 0 0 0
[pid=18580/tid=18586] ppid=18578 vsize=1402056 CPUtime=0.12 cores=0-31
/proc/18580/task/18586/stat : 18586 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 894 0 0 0 6 6 0 0 17 0 32 0 3797066 1435705344 23795 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604449721171424 0 0 -1 8 0 0 0
[pid=18580/tid=18587] ppid=18578 vsize=1402056 CPUtime=0.11 cores=0-31
/proc/18580/task/18587/stat : 18587 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 767 0 0 0 5 6 0 0 17 0 32 0 3797066 1435705344 23799 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604450613124576 0 0 -1 0 0 0 0
[pid=18580/tid=18588] ppid=18578 vsize=1402056 CPUtime=0.12 cores=0-31
/proc/18580/task/18588/stat : 18588 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 881 0 0 0 6 6 0 0 17 0 32 0 3797066 1435705344 23816 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18580/tid=18589] ppid=18578 vsize=1402056 CPUtime=0.11 cores=0-31
/proc/18580/task/18589/stat : 18589 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 636 0 0 0 6 5 0 0 17 0 32 0 3797067 1435705344 23828 268435456000 4194304 4580107 140737015607664 18446744073709551615 258650653371 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18580/tid=18590] ppid=18578 vsize=1402056 CPUtime=0.12 cores=0-31
/proc/18580/task/18590/stat : 18590 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 872 0 0 0 6 6 0 0 17 0 32 0 3797067 1435705344 23840 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604480331832800 0 0 -1 6 0 0 0
[pid=18580/tid=18591] ppid=18578 vsize=1402572 CPUtime=0.11 cores=0-31
/proc/18580/task/18591/stat : 18591 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 831 0 0 0 5 6 0 0 17 0 32 0 3797067 1436233728 23868 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18580/tid=18592] ppid=18578 vsize=1402312 CPUtime=0.11 cores=0-31
/proc/18580/task/18592/stat : 18592 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 741 0 0 0 5 6 0 0 17 0 32 0 3797067 1435967488 23893 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604449721171424 0 0 -1 28 0 0 0
[pid=18580/tid=18593] ppid=18578 vsize=1402312 CPUtime=0.09 cores=0-31
/proc/18580/task/18593/stat : 18593 (strangenight2-m) S 18578 18580 18554 0 -1 4202560 889 0 0 0 2 7 0 0 17 0 32 0 3797067 1435967488 23900 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 18446604450613124576 0 0 -1 31 0 0 0
[pid=18580/tid=18594] ppid=18578 vsize=1402312 CPUtime=0.1 cores=0-31
/proc/18580/task/18594/stat : 18594 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 828 0 0 0 4 6 0 0 17 0 32 0 3797067 1435967488 23919 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18580/tid=18595] ppid=18578 vsize=1402312 CPUtime=0.12 cores=0-31
/proc/18580/task/18595/stat : 18595 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 903 0 0 0 6 6 0 0 17 0 32 0 3797067 1435967488 23934 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18580/tid=18596] ppid=18578 vsize=1402828 CPUtime=0.11 cores=0-31
/proc/18580/task/18596/stat : 18596 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 704 0 0 0 5 6 0 0 17 0 32 0 3797067 1436495872 23987 268435456000 4194304 4580107 140737015607664 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18580/tid=18597] ppid=18578 vsize=1402828 CPUtime=0.11 cores=0-31
################
# More data... #
################
[pid=18580/tid=18610] ppid=18578 vsize=6306284 CPUtime=47.13 cores=0-31
/proc/18580/task/18610/stat : 18610 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 36703 0 0 0 4555 158 0 0 25 0 32 0 3797067 6457634816 990044 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18580/tid=18611] ppid=18578 vsize=6306284 CPUtime=47.12 cores=0-31
/proc/18580/task/18611/stat : 18611 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 24593 0 0 0 4604 108 0 0 25 0 32 0 3797067 6457634816 990044 268435456000 4194304 4580107 140737015607664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1510.42
Current children cumulated vsize (KiB) 6306284
[startup+52.8017 s]
/proc/loadavg: 28.38 29.36 30.84 33/445 18614
/proc/meminfo: memFree=259760684/264257624 swapFree=67044744/67111528
[pid=18580] ppid=18578 vsize=6306284 CPUtime=1562.14 cores=0-31
/proc/18580/stat : 18580 (strangenight2-m) R 18578 18580 18554 0 -1 4202496 1193236 0 0 0 151388 4826 0 0 25 0 32 0 3797066 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4321592 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18580/statm: 1576571 990814 383 95 0 1571553 0
[pid=18580/tid=18581] ppid=18578 vsize=6306284 CPUtime=49.03 cores=0-31
/proc/18580/task/18581/stat : 18581 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 35459 0 0 0 4755 148 0 0 25 0 32 0 3797066 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18580/tid=18582] ppid=18578 vsize=6306284 CPUtime=49.19 cores=0-31
/proc/18580/task/18582/stat : 18582 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38353 0 0 0 4779 140 0 0 25 0 32 0 3797066 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18580/tid=18583] ppid=18578 vsize=6306284 CPUtime=48.74 cores=0-31
/proc/18580/task/18583/stat : 18583 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38241 0 0 0 4723 151 0 0 25 0 32 0 3797066 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18580/tid=18584] ppid=18578 vsize=6306284 CPUtime=48.8 cores=0-31
/proc/18580/task/18584/stat : 18584 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 39846 0 0 0 4718 162 0 0 25 0 32 0 3797066 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18580/tid=18585] ppid=18578 vsize=6306284 CPUtime=49.14 cores=0-31
/proc/18580/task/18585/stat : 18585 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 40770 0 0 0 4783 131 0 0 25 0 32 0 3797066 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18580/tid=18586] ppid=18578 vsize=6306284 CPUtime=48.75 cores=0-31
/proc/18580/task/18586/stat : 18586 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38306 0 0 0 4723 152 0 0 25 0 32 0 3797066 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18580/tid=18587] ppid=18578 vsize=6306284 CPUtime=48.44 cores=0-31
/proc/18580/task/18587/stat : 18587 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 35181 0 0 0 4712 132 0 0 25 0 32 0 3797066 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18580/tid=18588] ppid=18578 vsize=6306284 CPUtime=49.17 cores=0-31
/proc/18580/task/18588/stat : 18588 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 36901 0 0 0 4786 131 0 0 25 0 32 0 3797066 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18580/tid=18589] ppid=18578 vsize=6306284 CPUtime=48.7 cores=0-31
/proc/18580/task/18589/stat : 18589 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 41327 0 0 0 4716 154 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18580/tid=18590] ppid=18578 vsize=6306284 CPUtime=48.5 cores=0-31
/proc/18580/task/18590/stat : 18590 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38234 0 0 0 4677 173 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18580/tid=18591] ppid=18578 vsize=6306284 CPUtime=48.67 cores=0-31
/proc/18580/task/18591/stat : 18591 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38770 0 0 0 4704 163 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18580/tid=18592] ppid=18578 vsize=6306284 CPUtime=48.72 cores=0-31
/proc/18580/task/18592/stat : 18592 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 35924 0 0 0 4708 164 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18580/tid=18593] ppid=18578 vsize=6306284 CPUtime=48 cores=0-31
/proc/18580/task/18593/stat : 18593 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 35448 0 0 0 4649 151 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18580/tid=18594] ppid=18578 vsize=6306284 CPUtime=48.65 cores=0-31
/proc/18580/task/18594/stat : 18594 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 41162 0 0 0 4701 164 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18580/tid=18595] ppid=18578 vsize=6306284 CPUtime=49.39 cores=0-31
/proc/18580/task/18595/stat : 18595 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38772 0 0 0 4822 117 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4306158 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18580/tid=18596] ppid=18578 vsize=6306284 CPUtime=48.52 cores=0-31
/proc/18580/task/18596/stat : 18596 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 37869 0 0 0 4688 164 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18580/tid=18597] ppid=18578 vsize=6306284 CPUtime=49.08 cores=0-31
/proc/18580/task/18597/stat : 18597 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38921 0 0 0 4749 159 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18580/tid=18598] ppid=18578 vsize=6306284 CPUtime=48.36 cores=0-31
/proc/18580/task/18598/stat : 18598 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38065 0 0 0 4671 165 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18580/tid=18599] ppid=18578 vsize=6306284 CPUtime=48.53 cores=0-31
/proc/18580/task/18599/stat : 18599 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38023 0 0 0 4699 154 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18580/tid=18600] ppid=18578 vsize=6306284 CPUtime=48.6 cores=0-31
/proc/18580/task/18600/stat : 18600 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 35628 0 0 0 4695 165 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18580/tid=18601] ppid=18578 vsize=6306284 CPUtime=48.86 cores=0-31
/proc/18580/task/18601/stat : 18601 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 36435 0 0 0 4729 157 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18580/tid=18602] ppid=18578 vsize=6306284 CPUtime=48.89 cores=0-31
/proc/18580/task/18602/stat : 18602 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 34116 0 0 0 4757 132 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18580/tid=18603] ppid=18578 vsize=6306284 CPUtime=49.26 cores=0-31
/proc/18580/task/18603/stat : 18603 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 35575 0 0 0 4799 127 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18580/tid=18604] ppid=18578 vsize=6306284 CPUtime=48.64 cores=0-31
/proc/18580/task/18604/stat : 18604 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 37259 0 0 0 4685 179 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18580/tid=18605] ppid=18578 vsize=6306284 CPUtime=48.54 cores=0-31
/proc/18580/task/18605/stat : 18605 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 39538 0 0 0 4683 171 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18580/tid=18606] ppid=18578 vsize=6306284 CPUtime=49.49 cores=0-31
/proc/18580/task/18606/stat : 18606 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 34982 0 0 0 4820 129 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 258650980487 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18580/tid=18607] ppid=18578 vsize=6306284 CPUtime=48.6 cores=0-31
/proc/18580/task/18607/stat : 18607 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 37098 0 0 0 4687 173 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18580/tid=18608] ppid=18578 vsize=6306284 CPUtime=49.14 cores=0-31
/proc/18580/task/18608/stat : 18608 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 39808 0 0 0 4783 131 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18580/tid=18609] ppid=18578 vsize=6306284 CPUtime=49.14 cores=0-31
/proc/18580/task/18609/stat : 18609 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 36769 0 0 0 4760 154 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18580/tid=18610] ppid=18578 vsize=6306284 CPUtime=48.75 cores=0-31
/proc/18580/task/18610/stat : 18610 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 36724 0 0 0 4717 158 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18580/tid=18611] ppid=18578 vsize=6306284 CPUtime=48.68 cores=0-31
/proc/18580/task/18611/stat : 18611 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 24610 0 0 0 4760 108 0 0 25 0 32 0 3797067 6457634816 990814 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1562.14
Current children cumulated vsize (KiB) 6306284
[startup+54.4018 s]
/proc/loadavg: 28.38 29.36 30.84 33/445 18614
/proc/meminfo: memFree=259758732/264257624 swapFree=67044744/67111528
[pid=18580] ppid=18578 vsize=6306284 CPUtime=1612.69 cores=0-31
/proc/18580/stat : 18580 (strangenight2-m) R 18578 18580 18554 0 -1 4202496 1193892 0 0 0 156442 4827 0 0 25 0 32 0 3797066 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4320876 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18580/statm: 1576571 991470 383 95 0 1571553 0
[pid=18580/tid=18581] ppid=18578 vsize=6306284 CPUtime=50.62 cores=0-31
/proc/18580/task/18581/stat : 18581 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 35479 0 0 0 4913 149 0 0 25 0 32 0 3797066 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18580/tid=18582] ppid=18578 vsize=6306284 CPUtime=50.77 cores=0-31
/proc/18580/task/18582/stat : 18582 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38372 0 0 0 4937 140 0 0 25 0 32 0 3797066 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18580/tid=18583] ppid=18578 vsize=6306284 CPUtime=50.32 cores=0-31
/proc/18580/task/18583/stat : 18583 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38254 0 0 0 4881 151 0 0 25 0 32 0 3797066 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18580/tid=18584] ppid=18578 vsize=6306284 CPUtime=50.38 cores=0-31
/proc/18580/task/18584/stat : 18584 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 39863 0 0 0 4876 162 0 0 25 0 32 0 3797066 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18580/tid=18585] ppid=18578 vsize=6306284 CPUtime=50.72 cores=0-31
/proc/18580/task/18585/stat : 18585 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 40795 0 0 0 4941 131 0 0 25 0 32 0 3797066 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18580/tid=18586] ppid=18578 vsize=6306284 CPUtime=50.33 cores=0-31
/proc/18580/task/18586/stat : 18586 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38323 0 0 0 4881 152 0 0 25 0 32 0 3797066 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18580/tid=18587] ppid=18578 vsize=6306284 CPUtime=50.02 cores=0-31
/proc/18580/task/18587/stat : 18587 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 35201 0 0 0 4870 132 0 0 25 0 32 0 3797066 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18580/tid=18588] ppid=18578 vsize=6306284 CPUtime=50.76 cores=0-31
/proc/18580/task/18588/stat : 18588 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 36928 0 0 0 4944 132 0 0 25 0 32 0 3797066 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18580/tid=18589] ppid=18578 vsize=6306284 CPUtime=50.28 cores=0-31
/proc/18580/task/18589/stat : 18589 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 41341 0 0 0 4874 154 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18580/tid=18590] ppid=18578 vsize=6306284 CPUtime=50.08 cores=0-31
/proc/18580/task/18590/stat : 18590 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38278 0 0 0 4835 173 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18580/tid=18591] ppid=18578 vsize=6306284 CPUtime=50.25 cores=0-31
/proc/18580/task/18591/stat : 18591 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38786 0 0 0 4862 163 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18580/tid=18592] ppid=18578 vsize=6306284 CPUtime=50.3 cores=0-31
/proc/18580/task/18592/stat : 18592 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 35937 0 0 0 4866 164 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18580/tid=18593] ppid=18578 vsize=6306284 CPUtime=49.58 cores=0-31
/proc/18580/task/18593/stat : 18593 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 35464 0 0 0 4807 151 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18580/tid=18594] ppid=18578 vsize=6306284 CPUtime=50.23 cores=0-31
/proc/18580/task/18594/stat : 18594 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 41193 0 0 0 4859 164 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18580/tid=18595] ppid=18578 vsize=6306284 CPUtime=50.97 cores=0-31
/proc/18580/task/18595/stat : 18595 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38790 0 0 0 4980 117 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18580/tid=18596] ppid=18578 vsize=6306284 CPUtime=50.1 cores=0-31
/proc/18580/task/18596/stat : 18596 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 37890 0 0 0 4846 164 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18580/tid=18597] ppid=18578 vsize=6306284 CPUtime=50.66 cores=0-31
/proc/18580/task/18597/stat : 18597 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38948 0 0 0 4907 159 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18580/tid=18598] ppid=18578 vsize=6306284 CPUtime=49.94 cores=0-31
/proc/18580/task/18598/stat : 18598 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38081 0 0 0 4829 165 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18580/tid=18599] ppid=18578 vsize=6306284 CPUtime=50.11 cores=0-31
/proc/18580/task/18599/stat : 18599 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 38041 0 0 0 4857 154 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18580/tid=18600] ppid=18578 vsize=6306284 CPUtime=50.19 cores=0-31
/proc/18580/task/18600/stat : 18600 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 35652 0 0 0 4853 166 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18580/tid=18601] ppid=18578 vsize=6306284 CPUtime=50.44 cores=0-31
/proc/18580/task/18601/stat : 18601 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 36457 0 0 0 4887 157 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18580/tid=18602] ppid=18578 vsize=6306284 CPUtime=50.47 cores=0-31
/proc/18580/task/18602/stat : 18602 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 34136 0 0 0 4915 132 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18580/tid=18603] ppid=18578 vsize=6306284 CPUtime=50.84 cores=0-31
/proc/18580/task/18603/stat : 18603 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 35596 0 0 0 4957 127 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18580/tid=18604] ppid=18578 vsize=6306284 CPUtime=50.22 cores=0-31
/proc/18580/task/18604/stat : 18604 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 37283 0 0 0 4843 179 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18580/tid=18605] ppid=18578 vsize=6306284 CPUtime=50.12 cores=0-31
/proc/18580/task/18605/stat : 18605 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 39557 0 0 0 4841 171 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18580/tid=18606] ppid=18578 vsize=6306284 CPUtime=51.07 cores=0-31
/proc/18580/task/18606/stat : 18606 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 35002 0 0 0 4978 129 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18580/tid=18607] ppid=18578 vsize=6306284 CPUtime=50.18 cores=0-31
/proc/18580/task/18607/stat : 18607 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 37111 0 0 0 4845 173 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18580/tid=18608] ppid=18578 vsize=6306284 CPUtime=50.72 cores=0-31
/proc/18580/task/18608/stat : 18608 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 39828 0 0 0 4941 131 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18580/tid=18609] ppid=18578 vsize=6306284 CPUtime=50.72 cores=0-31
/proc/18580/task/18609/stat : 18609 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 36796 0 0 0 4918 154 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18580/tid=18610] ppid=18578 vsize=6306284 CPUtime=50.33 cores=0-31
/proc/18580/task/18610/stat : 18610 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 36743 0 0 0 4875 158 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18580/tid=18611] ppid=18578 vsize=6306284 CPUtime=50.22 cores=0-31
/proc/18580/task/18611/stat : 18611 (strangenight2-m) R 18578 18580 18554 0 -1 4202560 24623 0 0 0 4914 108 0 0 25 0 32 0 3797067 6457634816 991470 268435456000 4194304 4580107 140737015607664 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1612.69
Current children cumulated vsize (KiB) 6306284
[startup+55.2009 s]
/proc/loadavg: 28.38 29.36 30.84 33/445 18614
/proc/meminfo: memFree=259759104/264257624 swapFree=67044744/67111528
[pid=18580] ppid=18578 vsize=0 CPUtime=1635.47 cores=0-31
/proc/18580/stat : 18580 (strangenight2-m) Z 18578 18580 18554 0 -1 4203548 1194933 0 0 0 158710 4837 0 0 25 0 2 0 3797066 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18580/statm: 0 0 0 0 0 0 0
[pid=18580/tid=18594] ppid=18578 vsize=0 CPUtime=51.03 cores=0-31
/proc/18580/task/18594/stat : 18594 (strangenight2-m) R 18578 18580 18554 0 -1 4203588 41204 0 0 0 4930 173 0 0 25 0 2 0 3797067 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1635.47
Current children cumulated vsize (KiB) 0
[startup+55.4009 s]
/proc/loadavg: 28.38 29.36 30.84 33/445 18614
/proc/meminfo: memFree=259759104/264257624 swapFree=67044744/67111528
[pid=18580] ppid=18578 vsize=0 CPUtime=1635.67 cores=0-31
/proc/18580/stat : 18580 (strangenight2-m) Z 18578 18580 18554 0 -1 4203548 1194933 0 0 0 158710 4857 0 0 25 0 2 0 3797066 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18580/statm: 0 0 0 0 0 0 0
[pid=18580/tid=18594] ppid=18578 vsize=0 CPUtime=51.23 cores=0-31
/proc/18580/task/18594/stat : 18594 (strangenight2-m) R 18578 18580 18554 0 -1 4203588 41204 0 0 0 4930 193 0 0 25 0 2 0 3797067 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1635.67
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 55.402
CPU time (s): 1635.68
CPU user time (s): 1587.1
CPU system time (s): 48.5706
CPU usage (%): 2952.37
Max. virtual memory (cumulated for all children) (KiB): 6371616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1587.1
system time used= 48.5706
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1194933
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= 1601008
involuntary context switches= 16842
runsolver used 0.350946 second user time and 1.39879 second system time
The end
Begin job on node200 at 2011-05-30 19:58:31
IDJOB=3400778
IDBENCH=82474
IDSOLVER=1886
FILE ID=node200/3400778-1306778310
RUNJOBID= node200-1306778310-18568
PBS_JOBID= 13471869
Free space on /tmp= 61572 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400778-1306778310/watcher-3400778-1306778310 -o /tmp/evaluation-result-3400778-1306778310/solver-3400778-1306778310 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400778-1306778310.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= d07ba7628d2c2e21fb72ee99fe24c054
RANDOM SEED=1706075066
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: 263715392 kB
Buffers: 47268 kB
Cached: 294832 kB
SwapCached: 29732 kB
Active: 123512 kB
Inactive: 250716 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263715392 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 13948 kB
Writeback: 0 kB
AnonPages: 28464 kB
Mapped: 7612 kB
Slab: 59904 kB
PageTables: 4024 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 180756 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= 61564 MiB
End job on node200 at 2011-05-30 19:59:26