0.00/0.00 c Outputting solution to console
1.31/0.05 c Using 32 threads
1.31/0.07 c This is CryptoMiniSat 3.0.0
1.31/0.07 c WARNING: for repeatability, setting FPU to use double precision
1.31/0.07 c Reading file 'HOME/instance-3400739-1306486229.cnf'
1.31/0.09 c -- header says num vars: 66084
1.31/0.09 c -- header says num clauses: 1060536
57.54/3.82 c -- clauses added: 0 learnts, 1060536 normals, 0 xors
57.54/3.82 c -- vars added 66084
57.54/3.82 c Parsing time: 0.69 s
57.54/3.82 c N st 0 0 66084 25002 661876 0 1572305 0 no data no data
84.93/4.96 c asymm cl-useful: 279/802/20688 lits-rem:9991 time: 0.92
462.07/16.71 c Flit: 281 Blit: 9075 bXBeca: 0 bXProp: 515 Bins: 0 BRemL: 0 BRemN: 0 P: 200.1M T: 11.77
462.07/16.74 c Cleaning up after failed var search: 0.03 s
462.07/16.78 c Replacing 515 vars Replaced 29599 lits Time: 0.04 s
465.26/16.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
465.26/16.88 c bin-w-bin subsume rem 774 bins time: 0.04 s
468.46/16.98 c subs with bin: 29 lits-rem: 151 v-fix: 0 time: 0.10 s
531.09/19.03 c Subs w/ non-existent bins: 43 l-rem: 537 v-fix: 419 done: 25334 time: 2.03 s
537.48/19.23 c Removed useless bin: 11600 fixed: 0 props: 20.00M time: 0.20 s
540.67/19.39 c lits-rem: 0 cl-subs: 80 v-elim: 13 v-fix: 0 time: 0.15 s
543.87/19.41 c Finding binary XORs T: 0.02 s found: 197
543.87/19.45 c Replacing 197 vars Replaced 15767 lits Time: 0.04 s
543.87/19.48 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan)
543.87/19.48 c calculated reachability. Time: 0.00
543.87/19.49 c Calc default polars - time: 0.01 s pos: 1149 undec: 41221 neg: 23714
543.87/19.49 c =========================================================================================
543.87/19.49 c types(t): F = full restart, N = normal restart
543.87/19.49 c types(t): S = simplification begin/end, E = solution found
543.87/19.49 c restart types(rt): st = static, dy = dynamic
543.87/19.49 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
543.87/19.49 c B st 0 0 24869 15464 304210 0 738545 0 no data no data
761.06/26.27 c N dy 12 4031 24861 15464 304281 3914 738545 2506152 37.27 40.45
952.78/32.24 c N dy 28 8141 24468 15253 299465 5477 721181 2324048 36.85 41.42
1134.85/37.97 c N dy 40 12181 24451 15253 299532 5295 721181 1126672 35.94 39.79
1260.12/41.85 c Finding binary XORs T: 0.03 s found: 164
1307.46/43.38 c N dy 51 16309 24016 15025 294781 9256 704688 2969839 33.11 35.52
1503.05/49.46 c N dy 57 20349 23437 14756 289055 7656 685995 1253958 29.93 31.92
1687.81/55.25 c N dy 67 24386 23399 14756 289102 11612 685995 3084602 28.41 31.57
1722.97/56.35 c F st 71 25002 23297 14756 289104 12218 685994 3331905 28.39 20.35
1729.36/56.59 c Replacing 164 vars Replaced 23120 lits Time: 0.21 s
1730.48/56.66 c Following stats are for *FIRST FINISHED THREAD ONLY*
1730.48/56.66 c num threads : 32
1730.48/56.66 c restarts : 87
1730.48/56.66 c dynamic restarts : 75
1730.48/56.66 c static restarts : 12
1730.48/56.66 c full restarts : 1
1730.48/56.66 c total simplify time : 0.57
1730.48/56.66 c learnts DL2 : 0
1730.48/56.66 c learnts size 2 : 672448
1730.48/56.66 c learnts size 1 : 49722 (75.24 % of vars)
1730.48/56.66 c filedLit time : 0.00 (0.00 % time)
1730.48/56.66 c v-elim SatELite : 0 (0.00 % vars)
1730.48/56.66 c SatELite time : 0.00 (0.00 % time)
1730.48/56.66 c v-elim xor : 0 (0.00 % vars)
1730.48/56.66 c xor elim time : 0.00 (0.00 % time)
1730.48/56.66 c num binary xor trees : 946
1730.48/56.66 c binxor trees' crown : 1027 (1.09 leafs/tree)
1730.48/56.66 c bin xor find time : 0.10
1730.48/56.66 c OTF clause improved : 240 (0.01 clauses/conflict)
1730.48/56.66 c OTF impr. size diff : 496 (2.07 lits/clause)
1730.48/56.66 c OTF cl watch-shrink : 25679 (0.78 clauses/conflict)
1730.48/56.66 c OTF cl watch-sh-lit : 1225002 (47.70 lits/clause)
1730.48/56.66 c tried to recurMin cls : 23506 (71.31 % of conflicts)
1730.48/56.66 c updated cache : 33400 (1.42 lits/tried recurMin)
1730.48/56.66 c unit cls recevied : 2716 (5.46 % of units)
1730.48/56.66 c unit cls sent : 32031 (64.42 % of units)
1730.48/56.66 c bin cls recevied : 8170
1730.48/56.66 c bin cls sent : 1688
1730.48/56.66 c clauses over max glue : 0 (0.00 % of all clauses)
1730.48/56.66 c conflicts : 32964 (629.66 / sec)
1730.48/56.66 c decisions : 282170 (1.13 % random)
1730.48/56.66 c bogo-props : 726191227 (13871306.89 / sec)
1730.48/56.66 c conflict literals : 12984216 (28.67 % deleted)
1730.48/56.66 c Memory used : 3422.88 MB
1730.48/56.66 c single-thread CPU time : 52.35 s
1730.48/56.66 c all-threads sum CPU time : 1688.38 s
1730.48/56.66 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-3400739-1306486229/watcher-3400739-1306486229 -o /tmp/evaluation-result-3400739-1306486229/solver-3400739-1306486229 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400739-1306486229.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: 22.37 11.86 4.75 1/414 8031
/proc/meminfo: memFree=263650860/264257624 swapFree=67111528/67111528
[pid=8031] ppid=8029 vsize=338000 CPUtime=0.71 cores=0-31
/proc/8031/stat : 8031 (strangenight2-m) R 8029 8031 7883 0 -1 4202496 436 0 0 0 71 0 0 0 25 0 32 0 125020 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063478 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/8031/statm: 84500 377 297 95 0 79482 0
[pid=8031/tid=8032] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8032/stat : 8032 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8031/tid=8033] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8033/stat : 8033 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063464 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8031/tid=8034] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8034/stat : 8034 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063478 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8031/tid=8035] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8035/stat : 8035 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063468 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8031/tid=8036] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8036/stat : 8036 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8031/tid=8037] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8037/stat : 8037 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063468 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8031/tid=8038] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8038/stat : 8038 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8031/tid=8039] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8039/stat : 8039 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8031/tid=8040] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8040/stat : 8040 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8031/tid=8041] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8041/stat : 8041 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8031/tid=8042] ppid=8029 vsize=338000 CPUtime=0 cores=0-31
/proc/8031/task/8042/stat : 8042 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8031/tid=8043] ppid=8029 vsize=338000 CPUtime=0 cores=0-31
/proc/8031/task/8043/stat : 8043 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8031/tid=8044] ppid=8029 vsize=338000 CPUtime=0 cores=0-31
/proc/8031/task/8044/stat : 8044 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8031/tid=8045] ppid=8029 vsize=338000 CPUtime=0 cores=0-31
/proc/8031/task/8045/stat : 8045 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 258662753996 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8031/tid=8046] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8046/stat : 8046 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8031/tid=8047] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8047/stat : 8047 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8031/tid=8048] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8048/stat : 8048 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063468 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8031/tid=8049] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8049/stat : 8049 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063472 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8031/tid=8050] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8050/stat : 8050 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8031/tid=8051] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8051/stat : 8051 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8031/tid=8052] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8052/stat : 8052 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063468 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8031/tid=8053] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8053/stat : 8053 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8031/tid=8054] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8054/stat : 8054 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8031/tid=8055] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8055/stat : 8055 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063472 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8031/tid=8056] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8056/stat : 8056 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063468 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8031/tid=8057] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8057/stat : 8057 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063464 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8031/tid=8058] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8058/stat : 8058 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8031/tid=8059] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8059/stat : 8059 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8031/tid=8060] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8060/stat : 8060 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063472 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8031/tid=8061] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8061/stat : 8061 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8031/tid=8062] ppid=8029 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8031/task/8062/stat : 8062 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.0524899 s]
/proc/loadavg: 22.37 11.86 4.75 1/414 8031
/proc/meminfo: memFree=263650860/264257624 swapFree=67111528/67111528
[pid=8031] ppid=8029 vsize=338000 CPUtime=1.31 cores=0-31
/proc/8031/stat : 8031 (strangenight2-m) R 8029 8031 7883 0 -1 4202496 436 0 0 0 131 0 0 0 25 0 32 0 125020 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/8031/statm: 84500 377 297 95 0 79482 0
[pid=8031/tid=8032] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8032/stat : 8032 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8031/tid=8033] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8033/stat : 8033 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8031/tid=8034] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8034/stat : 8034 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8031/tid=8035] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8035/stat : 8035 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063468 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8031/tid=8036] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8036/stat : 8036 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8031/tid=8037] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8037/stat : 8037 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8031/tid=8038] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8038/stat : 8038 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8031/tid=8039] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8039/stat : 8039 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063468 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8031/tid=8040] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8040/stat : 8040 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063468 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8031/tid=8041] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8041/stat : 8041 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063472 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8031/tid=8042] ppid=8029 vsize=338000 CPUtime=0 cores=0-31
/proc/8031/task/8042/stat : 8042 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8031/tid=8043] ppid=8029 vsize=338000 CPUtime=0 cores=0-31
/proc/8031/task/8043/stat : 8043 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8031/tid=8044] ppid=8029 vsize=338000 CPUtime=0.01 cores=0-31
/proc/8031/task/8044/stat : 8044 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8031/tid=8045] ppid=8029 vsize=338000 CPUtime=0.01 cores=0-31
/proc/8031/task/8045/stat : 8045 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063468 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8031/tid=8046] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8046/stat : 8046 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063472 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8031/tid=8047] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8047/stat : 8047 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063468 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8031/tid=8048] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8048/stat : 8048 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8031/tid=8049] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8049/stat : 8049 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8031/tid=8050] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8050/stat : 8050 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063464 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8031/tid=8051] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8051/stat : 8051 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8031/tid=8052] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8052/stat : 8052 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063464 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8031/tid=8053] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8053/stat : 8053 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063472 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8031/tid=8054] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8054/stat : 8054 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8031/tid=8055] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8055/stat : 8055 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063464 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8031/tid=8056] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8056/stat : 8056 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8031/tid=8057] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8057/stat : 8057 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063468 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8031/tid=8058] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8058/stat : 8058 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8031/tid=8059] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8059/stat : 8059 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063464 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8031/tid=8060] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8060/stat : 8060 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063468 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8031/tid=8061] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8061/stat : 8061 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8031/tid=8062] ppid=8029 vsize=338000 CPUtime=0.04 cores=0-31
/proc/8031/task/8062/stat : 8062 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 125021 346112000 377 268435456000 4194304 4580107 140733474241600 18446744073709551615 47944135063474 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 338000
[startup+0.103532 s]
/proc/loadavg: 22.37 11.86 4.75 1/414 8031
/proc/meminfo: memFree=263650860/264257624 swapFree=67111528/67111528
[pid=8031] ppid=8029 vsize=1191904 CPUtime=2.19 cores=0-31
/proc/8031/stat : 8031 (strangenight2-m) D 8029 8031 7883 0 -1 4202496 9956 0 0 0 149 70 0 0 25 0 32 0 125020 1220509696 9765 268435456000 4194304 4580107 140733474241600 18446744073709551615 4307681 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/8031/statm: 297976 9771 333 95 0 292958 0
[pid=8031/tid=8032] ppid=8029 vsize=1191904 CPUtime=0.06 cores=0-31
/proc/8031/task/8032/stat : 8032 (strangenight2-m) S 8029 8031 7883 0 -1 4202560 275 0 0 0 5 1 0 0 17 0 32 0 125021 1220509696 9773 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651060958 0 0 4096 2 18446604506045996512 0 0 -1 1 0 0 0
[pid=8031/tid=8033] ppid=8029 vsize=1191904 CPUtime=0.07 cores=0-31
/proc/8031/task/8033/stat : 8033 (strangenight2-m) S 8029 8031 7883 0 -1 4202560 273 0 0 0 5 2 0 0 24 0 32 0 125021 1220509696 9783 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651060958 0 0 4096 2 18446604505962749408 0 0 -1 24 0 0 0
[pid=8031/tid=8034] ppid=8029 vsize=1191904 CPUtime=0.07 cores=0-31
/proc/8031/task/8034/stat : 8034 (strangenight2-m) D 8029 8031 7883 0 -1 4202560 322 0 0 0 5 2 0 0 18 0 32 0 125021 1220509696 9790 268435456000 4194304 4580107 140733474241600 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8031/tid=8035] ppid=8029 vsize=1191904 CPUtime=0.06 cores=0-31
/proc/8031/task/8035/stat : 8035 (strangenight2-m) S 8029 8031 7883 0 -1 4202560 267 0 0 0 5 1 0 0 17 0 32 0 125021 1220509696 9818 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651060958 0 0 4096 2 18446604505626516960 0 0 -1 5 0 0 0
[pid=8031/tid=8036] ppid=8029 vsize=1191904 CPUtime=0.07 cores=0-31
/proc/8031/task/8036/stat : 8036 (strangenight2-m) S 8029 8031 7883 0 -1 4202560 314 0 0 0 5 2 0 0 17 0 32 0 125021 1220509696 9823 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651060958 0 0 4096 2 18446604506045988320 0 0 -1 6 0 0 0
[pid=8031/tid=8037] ppid=8029 vsize=1191904 CPUtime=0.07 cores=0-31
/proc/8031/task/8037/stat : 8037 (strangenight2-m) D 8029 8031 7883 0 -1 4202560 336 0 0 0 5 2 0 0 18 0 32 0 125021 1220509696 9843 268435456000 4194304 4580107 140733474241600 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8031/tid=8038] ppid=8029 vsize=1191904 CPUtime=0.07 cores=0-31
/proc/8031/task/8038/stat : 8038 (strangenight2-m) D 8029 8031 7883 0 -1 4202560 275 0 0 0 5 2 0 0 17 0 32 0 125021 1220509696 9846 268435456000 4194304 4580107 140733474241600 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8031/tid=8039] ppid=8029 vsize=1191904 CPUtime=0.07 cores=0-31
/proc/8031/task/8039/stat : 8039 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 290 0 0 0 5 2 0 0 25 0 32 0 125021 1220509696 9872 268435456000 4194304 4580107 140733474241600 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8031/tid=8040] ppid=8029 vsize=1191904 CPUtime=0.07 cores=0-31
/proc/8031/task/8040/stat : 8040 (strangenight2-m) S 8029 8031 7883 0 -1 4202560 321 0 0 0 5 2 0 0 25 0 32 0 125021 1220509696 9881 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651060958 0 0 4096 2 18446604505970146784 0 0 -1 8 0 0 0
[pid=8031/tid=8041] ppid=8029 vsize=1191904 CPUtime=0.06 cores=0-31
/proc/8031/task/8041/stat : 8041 (strangenight2-m) S 8029 8031 7883 0 -1 4202560 286 0 0 0 5 1 0 0 25 0 32 0 125021 1220509696 9886 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651060958 0 0 4096 2 18446744071566933704 0 0 -1 29 0 0 0
[pid=8031/tid=8042] ppid=8029 vsize=1191904 CPUtime=0.02 cores=0-31
/proc/8031/task/8042/stat : 8042 (strangenight2-m) S 8029 8031 7883 0 -1 4202560 268 0 0 0 0 2 0 0 17 0 32 0 125021 1220509696 9898 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651060958 0 0 4096 2 18446604506045980128 0 0 -1 4 0 0 0
[pid=8031/tid=8043] ppid=8029 vsize=1191904 CPUtime=0.03 cores=0-31
/proc/8031/task/8043/stat : 8043 (strangenight2-m) S 8029 8031 7883 0 -1 4202560 314 0 0 0 1 2 0 0 25 0 32 0 125021 1220509696 9907 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651060958 0 0 4096 2 18446744071566926664 0 0 -1 30 0 0 0
[pid=8031/tid=8044] ppid=8029 vsize=1191904 CPUtime=0.03 cores=0-31
/proc/8031/task/8044/stat : 8044 (strangenight2-m) D 8029 8031 7883 0 -1 4202560 275 0 0 0 1 2 0 0 17 0 32 0 125021 1220509696 9919 268435456000 4194304 4580107 140733474241600 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8031/tid=8045] ppid=8029 vsize=1191904 CPUtime=0.04 cores=0-31
/proc/8031/task/8045/stat : 8045 (strangenight2-m) S 8029 8031 7883 0 -1 4202560 274 0 0 0 2 2 0 0 17 0 32 0 125021 1220509696 9925 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651060958 0 0 4096 2 18446604505874144736 0 0 -1 27 0 0 0
[pid=8031/tid=8046] ppid=8029 vsize=1191904 CPUtime=0.06 cores=0-31
/proc/8031/task/8046/stat : 8046 (strangenight2-m) S 8029 8031 7883 0 -1 4202560 293 0 0 0 4 2 0 0 17 0 32 0 125021 1220509696 9929 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651060958 0 0 4096 2 18446604505626533344 0 0 -1 0 0 0 0
[pid=8031/tid=8047] ppid=8029 vsize=1191904 CPUtime=0.06 cores=0-31
/proc/8031/task/8047/stat : 8047 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 310 0 0 0 5 1 0 0 17 0 32 0 125021 1220509696 9949 268435456000 4194304 4580107 140733474241600 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8031/tid=8048] ppid=8029 vsize=1191904 CPUtime=0.07 cores=0-31
################
# More data... #
################
/proc/8031/task/8054/stat : 8054 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 24606 0 0 0 5037 137 0 0 25 0 32 0 125021 4002033664 500034 268435456000 4194304 4580107 140733474241600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8031/tid=8055] ppid=8029 vsize=3908236 CPUtime=51.74 cores=0-31
/proc/8031/task/8055/stat : 8055 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 22838 0 0 0 5032 142 0 0 25 0 32 0 125021 4002033664 500034 268435456000 4194304 4580107 140733474241600 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8031/tid=8056] ppid=8029 vsize=3908236 CPUtime=52.05 cores=0-31
/proc/8031/task/8056/stat : 8056 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26621 0 0 0 5075 130 0 0 25 0 32 0 125021 4002033664 500034 268435456000 4194304 4580107 140733474241600 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8031/tid=8057] ppid=8029 vsize=3908236 CPUtime=51.69 cores=0-31
/proc/8031/task/8057/stat : 8057 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26491 0 0 0 5031 138 0 0 25 0 32 0 125021 4002033664 500034 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8031/tid=8058] ppid=8029 vsize=3908236 CPUtime=51.8 cores=0-31
/proc/8031/task/8058/stat : 8058 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 27620 0 0 0 5042 138 0 0 25 0 32 0 125021 4002033664 500034 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8031/tid=8059] ppid=8029 vsize=3908236 CPUtime=51.83 cores=0-31
/proc/8031/task/8059/stat : 8059 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 24700 0 0 0 5050 133 0 0 25 0 32 0 125021 4002033664 500036 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8031/tid=8060] ppid=8029 vsize=3908236 CPUtime=51.73 cores=0-31
/proc/8031/task/8060/stat : 8060 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26920 0 0 0 5040 133 0 0 25 0 32 0 125021 4002033664 500036 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8031/tid=8061] ppid=8029 vsize=3908236 CPUtime=52.09 cores=0-31
/proc/8031/task/8061/stat : 8061 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26137 0 0 0 5077 132 0 0 25 0 32 0 125021 4002033664 500036 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8031/tid=8062] ppid=8029 vsize=3908236 CPUtime=51.38 cores=0-31
/proc/8031/task/8062/stat : 8062 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 28344 0 0 0 5004 134 0 0 25 0 32 0 125021 4002033664 500036 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1659.04
Current children cumulated vsize (KiB) 3908236
[startup+55.9016 s]
/proc/loadavg: 28.15 15.25 6.31 33/446 8064
/proc/meminfo: memFree=261636628/264257624 swapFree=67111528/67111528
[pid=8031] ppid=8029 vsize=3688604 CPUtime=1710.19 cores=0-31
/proc/8031/stat : 8031 (strangenight2-m) R 8029 8031 7883 0 -1 4202496 838510 0 0 0 166790 4229 0 0 25 0 32 0 125020 3777130496 491303 268435456000 4194304 4580107 140733474241600 18446744073709551615 4318673 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8031/statm: 922151 491304 377 95 0 917133 0
[pid=8031/tid=8032] ppid=8029 vsize=3688604 CPUtime=53.6 cores=0-31
/proc/8031/task/8032/stat : 8032 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 25494 0 0 0 5237 123 0 0 25 0 32 0 125021 3777130496 491306 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8031/tid=8033] ppid=8029 vsize=3688604 CPUtime=53.6 cores=0-31
/proc/8031/task/8033/stat : 8033 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26727 0 0 0 5239 121 0 0 25 0 32 0 125021 3777130496 491306 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8031/tid=8034] ppid=8029 vsize=3688604 CPUtime=53.38 cores=0-31
/proc/8031/task/8034/stat : 8034 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 28767 0 0 0 5193 145 0 0 25 0 32 0 125021 3777130496 491306 268435456000 4194304 4580107 140733474241600 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8031/tid=8035] ppid=8029 vsize=3688604 CPUtime=53.26 cores=0-31
/proc/8031/task/8035/stat : 8035 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 27191 0 0 0 5198 128 0 0 25 0 32 0 125021 3777130496 491306 268435456000 4194304 4580107 140733474241600 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8031/tid=8036] ppid=8029 vsize=3688604 CPUtime=53.6 cores=0-31
/proc/8031/task/8036/stat : 8036 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 22034 0 0 0 5229 131 0 0 25 0 32 0 125021 3777130496 491306 268435456000 4194304 4580107 140733474241600 18446744073709551615 4316421 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8031/tid=8037] ppid=8029 vsize=3688604 CPUtime=53.66 cores=0-31
/proc/8031/task/8037/stat : 8037 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26921 0 0 0 5236 130 0 0 25 0 32 0 125021 3777130496 491306 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8031/tid=8038] ppid=8029 vsize=3688604 CPUtime=53.62 cores=0-31
/proc/8031/task/8038/stat : 8038 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26590 0 0 0 5238 124 0 0 25 0 32 0 125021 3777130496 491306 268435456000 4194304 4580107 140733474241600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8031/tid=8039] ppid=8029 vsize=3688604 CPUtime=53.47 cores=0-31
/proc/8031/task/8039/stat : 8039 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26858 0 0 0 5205 142 0 0 25 0 32 0 125021 3777130496 491307 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8031/tid=8040] ppid=8029 vsize=3688604 CPUtime=53.45 cores=0-31
/proc/8031/task/8040/stat : 8040 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 25188 0 0 0 5209 136 0 0 25 0 32 0 125021 3777130496 491307 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8031/tid=8041] ppid=8029 vsize=3688604 CPUtime=53.56 cores=0-31
/proc/8031/task/8041/stat : 8041 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26812 0 0 0 5232 124 0 0 25 0 32 0 125021 3777130496 491307 268435456000 4194304 4580107 140733474241600 18446744073709551615 4316717 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8031/tid=8042] ppid=8029 vsize=3688604 CPUtime=53.35 cores=0-31
/proc/8031/task/8042/stat : 8042 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 29010 0 0 0 5221 114 0 0 25 0 32 0 125021 3777130496 491307 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8031/tid=8043] ppid=8029 vsize=3688604 CPUtime=53.44 cores=0-31
/proc/8031/task/8043/stat : 8043 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 24046 0 0 0 5203 141 0 0 25 0 32 0 125021 3777130496 491307 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294173 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8031/tid=8044] ppid=8029 vsize=3688604 CPUtime=53.51 cores=0-31
/proc/8031/task/8044/stat : 8044 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 29024 0 0 0 5218 133 0 0 25 0 32 0 125021 3777130496 491307 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8031/tid=8045] ppid=8029 vsize=3688604 CPUtime=53.09 cores=0-31
/proc/8031/task/8045/stat : 8045 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 23736 0 0 0 5176 133 0 0 25 0 32 0 125021 3777130496 491307 268435456000 4194304 4580107 140733474241600 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8031/tid=8046] ppid=8029 vsize=3688604 CPUtime=53.48 cores=0-31
/proc/8031/task/8046/stat : 8046 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 28466 0 0 0 5232 116 0 0 25 0 32 0 125021 3777130496 491308 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8031/tid=8047] ppid=8029 vsize=3688604 CPUtime=53.16 cores=0-31
/proc/8031/task/8047/stat : 8047 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 23398 0 0 0 5192 124 0 0 25 0 32 0 125021 3777130496 491308 268435456000 4194304 4580107 140733474241600 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8031/tid=8048] ppid=8029 vsize=3688604 CPUtime=53.51 cores=0-31
/proc/8031/task/8048/stat : 8048 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26533 0 0 0 5223 128 0 0 25 0 32 0 125021 3777130496 491308 268435456000 4194304 4580107 140733474241600 18446744073709551615 4317131 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8031/tid=8049] ppid=8029 vsize=3688604 CPUtime=53.33 cores=0-31
/proc/8031/task/8049/stat : 8049 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 25971 0 0 0 5193 140 0 0 25 0 32 0 125021 3777130496 491308 268435456000 4194304 4580107 140733474241600 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8031/tid=8050] ppid=8029 vsize=3688604 CPUtime=53.4 cores=0-31
/proc/8031/task/8050/stat : 8050 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26212 0 0 0 5200 140 0 0 25 0 32 0 125021 3777130496 491308 268435456000 4194304 4580107 140733474241600 18446744073709551615 4292977 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8031/tid=8051] ppid=8029 vsize=3688604 CPUtime=53.75 cores=0-31
/proc/8031/task/8051/stat : 8051 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 25374 0 0 0 5244 131 0 0 25 0 32 0 125021 3777130496 491308 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8031/tid=8052] ppid=8029 vsize=3688604 CPUtime=53.39 cores=0-31
/proc/8031/task/8052/stat : 8052 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 25150 0 0 0 5202 137 0 0 25 0 32 0 125021 3777130496 491308 268435456000 4194304 4580107 140733474241600 18446744073709551615 258650611751 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8031/tid=8053] ppid=8029 vsize=3688604 CPUtime=53.13 cores=0-31
/proc/8031/task/8053/stat : 8053 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 27443 0 0 0 5181 132 0 0 25 0 32 0 125021 3777130496 491308 268435456000 4194304 4580107 140733474241600 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8031/tid=8054] ppid=8029 vsize=3688604 CPUtime=53.34 cores=0-31
/proc/8031/task/8054/stat : 8054 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 24653 0 0 0 5197 137 0 0 25 0 32 0 125021 3777130496 491308 268435456000 4194304 4580107 140733474241600 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8031/tid=8055] ppid=8029 vsize=3688604 CPUtime=53.34 cores=0-31
/proc/8031/task/8055/stat : 8055 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 23140 0 0 0 5192 142 0 0 25 0 32 0 125021 3777130496 491308 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294163 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8031/tid=8056] ppid=8029 vsize=3688604 CPUtime=53.65 cores=0-31
/proc/8031/task/8056/stat : 8056 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 27143 0 0 0 5235 130 0 0 25 0 32 0 125021 3777130496 491309 268435456000 4194304 4580107 140733474241600 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8031/tid=8057] ppid=8029 vsize=3688604 CPUtime=53.29 cores=0-31
/proc/8031/task/8057/stat : 8057 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26491 0 0 0 5191 138 0 0 25 0 32 0 125021 3777130496 491309 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8031/tid=8058] ppid=8029 vsize=3688604 CPUtime=53.39 cores=0-31
/proc/8031/task/8058/stat : 8058 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 27818 0 0 0 5201 138 0 0 25 0 32 0 125021 3777130496 491309 268435456000 4194304 4580107 140733474241600 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8031/tid=8059] ppid=8029 vsize=3688604 CPUtime=53.43 cores=0-31
/proc/8031/task/8059/stat : 8059 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 25090 0 0 0 5210 133 0 0 25 0 32 0 125021 3777130496 491310 268435456000 4194304 4580107 140733474241600 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8031/tid=8060] ppid=8029 vsize=3688604 CPUtime=53.33 cores=0-31
/proc/8031/task/8060/stat : 8060 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 27380 0 0 0 5200 133 0 0 25 0 32 0 125021 3777130496 491310 268435456000 4194304 4580107 140733474241600 18446744073709551615 4321592 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8031/tid=8061] ppid=8029 vsize=3688604 CPUtime=53.69 cores=0-31
/proc/8031/task/8061/stat : 8061 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26399 0 0 0 5237 132 0 0 25 0 32 0 125021 3777130496 491310 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8031/tid=8062] ppid=8029 vsize=3688604 CPUtime=52.95 cores=0-31
/proc/8031/task/8062/stat : 8062 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 28344 0 0 0 5161 134 0 0 25 0 32 0 125021 3777130496 491310 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1710.19
Current children cumulated vsize (KiB) 3688604
[startup+56.3016 s]
/proc/loadavg: 28.15 15.25 6.31 33/446 8064
/proc/meminfo: memFree=261672696/264257624 swapFree=67111528/67111528
[pid=8031] ppid=8029 vsize=3596480 CPUtime=1722.97 cores=0-31
/proc/8031/stat : 8031 (strangenight2-m) R 8029 8031 7883 0 -1 4202496 841019 0 0 0 168067 4230 0 0 25 0 32 0 125020 3682795520 493112 268435456000 4194304 4580107 140733474241600 18446744073709551615 4316555 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8031/statm: 899120 493112 377 95 0 894102 0
[pid=8031/tid=8032] ppid=8029 vsize=3596480 CPUtime=54 cores=0-31
/proc/8031/task/8032/stat : 8032 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 25494 0 0 0 5277 123 0 0 25 0 32 0 125021 3682795520 493112 268435456000 4194304 4580107 140733474241600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8031/tid=8033] ppid=8029 vsize=3596480 CPUtime=54 cores=0-31
/proc/8031/task/8033/stat : 8033 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26727 0 0 0 5279 121 0 0 25 0 32 0 125021 3682795520 493112 268435456000 4194304 4580107 140733474241600 18446744073709551615 4316418 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8031/tid=8034] ppid=8029 vsize=3596480 CPUtime=53.78 cores=0-31
/proc/8031/task/8034/stat : 8034 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 28844 0 0 0 5233 145 0 0 25 0 32 0 125021 3682795520 493112 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8031/tid=8035] ppid=8029 vsize=3596480 CPUtime=53.66 cores=0-31
/proc/8031/task/8035/stat : 8035 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 27233 0 0 0 5238 128 0 0 25 0 32 0 125021 3682795520 493112 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8031/tid=8036] ppid=8029 vsize=3596480 CPUtime=54 cores=0-31
/proc/8031/task/8036/stat : 8036 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 22182 0 0 0 5269 131 0 0 25 0 32 0 125021 3682795520 493112 268435456000 4194304 4580107 140733474241600 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8031/tid=8037] ppid=8029 vsize=3596480 CPUtime=54.06 cores=0-31
/proc/8031/task/8037/stat : 8037 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 27035 0 0 0 5276 130 0 0 25 0 32 0 125021 3682795520 493113 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8031/tid=8038] ppid=8029 vsize=3596480 CPUtime=54.02 cores=0-31
/proc/8031/task/8038/stat : 8038 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26590 0 0 0 5278 124 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293040 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8031/tid=8039] ppid=8029 vsize=3596480 CPUtime=53.87 cores=0-31
/proc/8031/task/8039/stat : 8039 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26946 0 0 0 5245 142 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8031/tid=8040] ppid=8029 vsize=3596480 CPUtime=53.85 cores=0-31
/proc/8031/task/8040/stat : 8040 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 25712 0 0 0 5249 136 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8031/tid=8041] ppid=8029 vsize=3596480 CPUtime=53.96 cores=0-31
/proc/8031/task/8041/stat : 8041 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26890 0 0 0 5272 124 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4317211 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8031/tid=8042] ppid=8029 vsize=3596480 CPUtime=53.75 cores=0-31
/proc/8031/task/8042/stat : 8042 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 29066 0 0 0 5261 114 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8031/tid=8043] ppid=8029 vsize=3596480 CPUtime=53.84 cores=0-31
/proc/8031/task/8043/stat : 8043 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 24148 0 0 0 5243 141 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8031/tid=8044] ppid=8029 vsize=3596480 CPUtime=53.91 cores=0-31
/proc/8031/task/8044/stat : 8044 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 29140 0 0 0 5258 133 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8031/tid=8045] ppid=8029 vsize=3596480 CPUtime=53.49 cores=0-31
/proc/8031/task/8045/stat : 8045 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 23823 0 0 0 5216 133 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8031/tid=8046] ppid=8029 vsize=3596480 CPUtime=53.88 cores=0-31
/proc/8031/task/8046/stat : 8046 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 28510 0 0 0 5272 116 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8031/tid=8047] ppid=8029 vsize=3596480 CPUtime=53.57 cores=0-31
/proc/8031/task/8047/stat : 8047 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 23469 0 0 0 5232 125 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4222061 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8031/tid=8048] ppid=8029 vsize=3596480 CPUtime=53.91 cores=0-31
/proc/8031/task/8048/stat : 8048 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26572 0 0 0 5263 128 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4306112 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8031/tid=8049] ppid=8029 vsize=3596480 CPUtime=53.73 cores=0-31
/proc/8031/task/8049/stat : 8049 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26080 0 0 0 5233 140 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8031/tid=8050] ppid=8029 vsize=3596480 CPUtime=53.8 cores=0-31
/proc/8031/task/8050/stat : 8050 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26212 0 0 0 5240 140 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8031/tid=8051] ppid=8029 vsize=3596480 CPUtime=54.15 cores=0-31
/proc/8031/task/8051/stat : 8051 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 25514 0 0 0 5284 131 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8031/tid=8052] ppid=8029 vsize=3596480 CPUtime=53.79 cores=0-31
/proc/8031/task/8052/stat : 8052 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 25227 0 0 0 5242 137 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8031/tid=8053] ppid=8029 vsize=3596480 CPUtime=53.53 cores=0-31
/proc/8031/task/8053/stat : 8053 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 27467 0 0 0 5221 132 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8031/tid=8054] ppid=8029 vsize=3596480 CPUtime=53.74 cores=0-31
/proc/8031/task/8054/stat : 8054 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 24694 0 0 0 5237 137 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4316765 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8031/tid=8055] ppid=8029 vsize=3596480 CPUtime=53.74 cores=0-31
/proc/8031/task/8055/stat : 8055 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 23175 0 0 0 5232 142 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8031/tid=8056] ppid=8029 vsize=3596480 CPUtime=54.05 cores=0-31
/proc/8031/task/8056/stat : 8056 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 27241 0 0 0 5275 130 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4316807 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8031/tid=8057] ppid=8029 vsize=3596480 CPUtime=53.69 cores=0-31
/proc/8031/task/8057/stat : 8057 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26491 0 0 0 5231 138 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8031/tid=8058] ppid=8029 vsize=3596480 CPUtime=53.79 cores=0-31
/proc/8031/task/8058/stat : 8058 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 27853 0 0 0 5241 138 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8031/tid=8059] ppid=8029 vsize=3596480 CPUtime=53.83 cores=0-31
/proc/8031/task/8059/stat : 8059 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 25203 0 0 0 5250 133 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8031/tid=8060] ppid=8029 vsize=3596480 CPUtime=53.73 cores=0-31
/proc/8031/task/8060/stat : 8060 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 27453 0 0 0 5240 133 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8031/tid=8061] ppid=8029 vsize=3596480 CPUtime=54.08 cores=0-31
/proc/8031/task/8061/stat : 8061 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 26487 0 0 0 5276 132 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8031/tid=8062] ppid=8029 vsize=3596480 CPUtime=53.32 cores=0-31
/proc/8031/task/8062/stat : 8062 (strangenight2-m) R 8029 8031 7883 0 -1 4202560 28344 0 0 0 5198 134 0 0 25 0 32 0 125021 3682795520 493114 268435456000 4194304 4580107 140733474241600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1722.97
Current children cumulated vsize (KiB) 3596480
[startup+56.7018 s]
/proc/loadavg: 28.15 15.25 6.31 33/446 8064
/proc/meminfo: memFree=261672696/264257624 swapFree=67111528/67111528
[pid=8031] ppid=8029 vsize=0 CPUtime=1730.74 cores=0-31
/proc/8031/stat : 8031 (strangenight2-m) R 8029 8031 7883 0 -1 4203524 842041 0 0 0 168837 4237 0 0 25 0 1 0 125020 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/8031/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1730.74
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 56.792
CPU time (s): 1730.84
CPU user time (s): 1688.38
CPU system time (s): 42.4615
CPU usage (%): 3047.68
Max. virtual memory (cumulated for all children) (KiB): 3953256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1688.38
system time used= 42.4615
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 842041
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= 1614800
involuntary context switches= 23155
runsolver used 0.356945 second user time and 1.35479 second system time
The end
Begin job on node200 at 2011-05-27 10:50:30
IDJOB=3400739
IDBENCH=82410
IDSOLVER=1886
FILE ID=node200/3400739-1306486229
RUNJOBID= node200-1306486016-7897
PBS_JOBID= 13471399
Free space on /tmp= 61636 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400739-1306486229/watcher-3400739-1306486229 -o /tmp/evaluation-result-3400739-1306486229/solver-3400739-1306486229 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400739-1306486229.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 17407fc59aa2b679b7792ae0656704b9
RANDOM SEED=1645528504
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.046
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.046
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.046
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.046
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.05
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.046
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.046
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.06
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.046
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.08
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.046
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.06
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.046
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.046
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.04
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.046
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.10
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.046
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.07
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.046
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.046
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.07
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.046
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.07
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.046
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.09
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.046
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.046
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.046
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.05
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.046
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.08
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.046
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.04
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.046
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.09
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.046
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.15
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.046
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.08
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.046
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.04
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.046
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.14
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.046
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.046
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.07
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.046
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.04
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.046
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.05
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.046
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.09
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.046
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.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263651140 kB
Buffers: 94416 kB
Cached: 307592 kB
SwapCached: 0 kB
Active: 208176 kB
Inactive: 260416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263651140 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 23120 kB
Writeback: 36 kB
AnonPages: 66700 kB
Mapped: 14556 kB
Slab: 64536 kB
PageTables: 4044 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 168768 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= 61632 MiB
End job on node200 at 2011-05-27 10:51:27