0.00/0.00 c Outputting solution to console
0.00/0.04 c Using 32 threads
1.15/0.05 c This is CryptoMiniSat 3.0.0
1.15/0.05 c WARNING: for repeatability, setting FPU to use double precision
1.15/0.05 c Reading file 'HOME/instance-3400756-1306754542.cnf'
1.15/0.08 c -- header says num vars: 259762
1.15/0.08 c -- header says num clauses: 656573
85.60/6.92 c -- clauses added: 0 learnts, 656573 normals, 0 xors
85.60/6.92 c -- vars added 259762
85.60/6.92 c Parsing time: 0.91 s
85.60/6.92 c N st 0 0 259762 218857 437714 0 1531999 0 no data no data
149.18/8.98 c asymm cl-useful: 0/844/216224 lits-rem:0 time: 2.03
1072.08/37.80 c Flit: 0 Blit: 4662 bXBeca: 0 bXProp: 3592 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 28.83
1072.08/37.86 c Cleaning up after failed var search: 0.06 s
1076.51/38.10 c Replacing 3592 vars Replaced 46696 lits Time: 0.11 s
1109.38/40.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
1111.39/40.80 c bin-w-bin subsume rem 0 bins time: 0.10 s
1116.36/41.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.28 s
1234.49/45.56 c Subs w/ non-existent bins: 1 l-rem: 1 v-fix: 9527 done: 47736 time: 3.25 s
1243.77/45.84 c Removed useless bin: 418 fixed: 0 props: 20.00M time: 0.28 s
1599.82/59.59 c lits-rem: 0 cl-subs: 103 v-elim: 82958 v-fix: 0 time: 8.84 s
1603.02/59.69 c Finding binary XORs T: 0.11 s found: 8572
1606.21/59.79 c Replacing 8572 vars Replaced 77200 lits Time: 0.09 s
1609.40/59.86 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
1609.40/59.86 c calculated reachability. Time: 0.01
1609.40/59.90 c Calc default polars - time: 0.04 s pos: 13258 undec: 114015 neg: 132489
1609.40/59.90 c =========================================================================================
1609.40/59.90 c types(t): F = full restart, N = normal restart
1609.40/59.90 c types(t): S = simplification begin/end, E = solution found
1609.40/59.90 c restart types(rt): st = static, dy = dynamic
1609.40/59.90 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1609.40/59.90 c B st 0 0 147817 109942 307184 0 949717 0 no data no data
2095.03/75.03 c N dy 18 4469 135899 102865 290054 3847 893215 2500855 10.37 11.16
2111.01/75.57 c Finding binary XORs T: 0.10 s found: 8573
2117.40/75.73 c Replacing 8573 vars Replaced 117306 lits Time: 0.16 s
2238.78/79.77 c N dy 31 8738 87235 92325 307697 7956 780661 3085309 9.37 10.39
2269.04/80.70 c Finding binary XORs T: 0.08 s found: 31752
2269.04/80.79 c Replacing 31752 vars Replaced 643236 lits Time: 0.09 s
2291.83/81.49 c N dy 47 14021 26414 25949 59001 12938 191456 281036 8.68 9.28
2319.70/82.38 c N dy 58 19528 26411 25949 89782 18279 191456 455126 8.12 8.60
2329.15/82.69 c Finding binary XORs T: 0.03 s found: 1
2345.05/83.14 c N dy 69 23576 26410 25949 91989 12845 190440 244311 7.85 8.35
2351.43/83.36 c F st 75 25000 26410 25949 91990 14238 190440 270329 7.81 7.18
2351.43/83.39 c Replacing 1 vars Replaced 12 lits Time: 0.03 s
2373.72/84.08 c N st 80 28298 26409 25949 96122 17422 190440 352096 7.81 no data
2380.11/84.26 c S st 81 30000 26409 25949 96122 19085 190440 393016 7.81 no data
2389.27/84.52 c S st 81 30504 26409 25949 96192 19515 190440 402862 7.81 no data
2389.27/84.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
2558.45/97.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7288 Bins: 17704 BRemL: 4917 BRemN: 0 P: 190.8M T: 12.55
2558.91/97.82 c Replacing 7288 vars Replaced 159084 lits Time: 0.04 s
2558.91/97.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2558.91/97.87 c bin-w-bin subsume rem 48280 bins time: 0.02 s
2558.91/97.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s
2560.05/98.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 19121 time: 0.24 s
2560.44/98.24 c Removed useless bin: 0 fixed: 0 props: 9.24M time: 0.10 s
2562.04/98.69 c lits-rem: 0 cl-subs: 7287 v-elim: 11238 v-fix: 0 time: 0.45 s
2562.44/98.71 c subs with bin: 0 lits-rem: 9 v-fix: 0 time: 0.01 s
2562.44/98.73 c lits-rem: 27 cl-subs: 156 v-elim: 0 v-fix: 0 time: 0.01 s
2562.44/98.75 c asymm cl-useful: 0/8880/9724 lits-rem:0 time: 0.01
2562.44/98.78 c calculated reachability. Time: 0.03
2562.44/98.78 c N dy 81 30504 7883 9724 16132 2380 92264 30030 7.81 no data
2572.56/102.31 c Following stats are for *FIRST FINISHED THREAD ONLY*
2572.56/102.31 c num threads : 32
2572.56/102.31 c restarts : 153
2572.56/102.31 c dynamic restarts : 141
2572.56/102.31 c static restarts : 12
2572.56/102.31 c full restarts : 1
2572.56/102.31 c total simplify time : 0.76
2572.56/102.31 c learnts DL2 : 0
2572.56/102.31 c learnts size 2 : 2922241
2572.56/102.31 c learnts size 1 : 105462 (40.60 % of vars)
2572.56/102.31 c filedLit time : 28.75 (32.85 % time)
2572.56/102.31 c v-elim SatELite : 82958 (31.94 % vars)
2572.56/102.31 c SatELite time : 11.60 (13.25 % time)
2572.56/102.31 c v-elim xor : 0 (0.00 % vars)
2572.56/102.31 c xor elim time : 0.00 (0.00 % time)
2572.56/102.31 c num binary xor trees : 6818
2572.56/102.31 c binxor trees' crown : 46002 (6.75 leafs/tree)
2572.56/102.31 c bin xor find time : 0.31
2572.56/102.31 c OTF clause improved : 1210 (0.02 clauses/conflict)
2572.56/102.31 c OTF impr. size diff : 1483 (1.23 lits/clause)
2572.56/102.31 c OTF cl watch-shrink : 10120 (0.17 clauses/conflict)
2572.56/102.31 c OTF cl watch-sh-lit : 18211 (1.80 lits/clause)
2572.56/102.31 c tried to recurMin cls : 0 (0.00 % of conflicts)
2572.56/102.31 c updated cache : 0 (nan lits/tried recurMin)
2572.56/102.31 c unit cls recevied : 12908 (12.24 % of units)
2572.56/102.31 c unit cls sent : 526 (0.50 % of units)
2572.56/102.31 c bin cls recevied : 236535
2572.56/102.31 c bin cls sent : 6254
2572.56/102.31 c clauses over max glue : 0 (0.00 % of all clauses)
2572.56/102.31 c conflicts : 58363 (666.89 / sec)
2572.56/102.31 c decisions : 463442 (0.00 % random)
2572.56/102.31 c bogo-props : 555564789 (6348245.73 / sec)
2572.56/102.31 c conflict literals : 7869012 (4.30 % deleted)
2572.56/102.31 c Memory used : 10336.16 MB
2572.56/102.31 c single-thread CPU time : 87.51 s
2572.56/102.31 c all-threads sum CPU time : 2455.82 s
2572.56/102.31 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-3400756-1306754542/watcher-3400756-1306754542 -o /tmp/evaluation-result-3400756-1306754542/solver-3400756-1306754542 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400756-1306754542.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: 30.79 29.01 21.58 2/413 16346
/proc/meminfo: memFree=263823984/264257624 swapFree=67044428/67111528
[pid=16346] ppid=16344 vsize=338000 CPUtime=0.86 cores=0-31
/proc/16346/stat : 16346 (strangenight2-m) R 16344 16346 16200 0 -1 4202496 437 0 0 0 86 0 0 0 25 0 32 0 1420258 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16346/statm: 84500 377 297 95 0 79482 0
[pid=16346/tid=16347] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16347/stat : 16347 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278704 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278700 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16346/tid=16349] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16349/stat : 16349 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16346/tid=16350] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16350/stat : 16350 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16346/tid=16351] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16351/stat : 16351 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278700 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16346/tid=16352] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16352/stat : 16352 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16346/tid=16353] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16353/stat : 16353 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278710 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16346/tid=16354] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16354/stat : 16354 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278700 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16346/tid=16355] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16355/stat : 16355 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278700 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16346/tid=16356] ppid=16344 vsize=338000 CPUtime=0 cores=0-31
/proc/16346/task/16356/stat : 16356 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16346/tid=16357] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16357/stat : 16357 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16346/tid=16358] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16358/stat : 16358 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16346/tid=16359] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16359/stat : 16359 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16346/tid=16360] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16360/stat : 16360 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16346/tid=16361] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16361/stat : 16361 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16346/tid=16362] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16362/stat : 16362 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16346/tid=16363] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16363/stat : 16363 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278704 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16346/tid=16364] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16364/stat : 16364 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16346/tid=16365] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16365/stat : 16365 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278710 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16346/tid=16366] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16366/stat : 16366 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16346/tid=16367] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16367/stat : 16367 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16346/tid=16368] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16368/stat : 16368 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278704 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16346/tid=16369] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16369/stat : 16369 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16346/tid=16370] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16370/stat : 16370 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16346/tid=16371] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16371/stat : 16371 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16346/tid=16372] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16372/stat : 16372 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16346/tid=16373] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16373/stat : 16373 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278696 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16346/tid=16374] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16374/stat : 16374 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16346/tid=16375] ppid=16344 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16346/task/16375/stat : 16375 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278710 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16346/tid=16376] ppid=16344 vsize=338000 CPUtime=0 cores=0-31
/proc/16346/task/16376/stat : 16376 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16346/tid=16377] ppid=16344 vsize=338000 CPUtime=0.03 cores=0-31
/proc/16346/task/16377/stat : 16377 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 1420259 346112000 377 268435456000 4194304 4580107 140734518431344 18446744073709551615 47277372278706 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.047187 s]
/proc/loadavg: 30.79 29.01 21.58 2/413 16346
/proc/meminfo: memFree=263823984/264257624 swapFree=67044428/67111528
[pid=16346] ppid=16344 vsize=600176 CPUtime=1.15 cores=0-31
/proc/16346/stat : 16346 (strangenight2-m) S 16344 16346 16200 0 -1 4202496 799 0 0 0 113 2 0 0 25 0 32 0 1420258 614580224 654 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16346/statm: 150044 660 315 95 0 145026 0
[pid=16346/tid=16347] ppid=16344 vsize=600176 CPUtime=0.03 cores=0-31
/proc/16346/task/16347/stat : 16347 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 9 0 0 0 3 0 0 0 24 0 32 0 1420259 614580224 684 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604579430628832 0 0 -1 1 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=534660 CPUtime=0.03 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 547491840 687 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16346/tid=16349] ppid=16344 vsize=534796 CPUtime=0.03 cores=0-31
/proc/16346/task/16349/stat : 16349 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 76 0 0 0 3 0 0 0 18 0 32 0 1420259 547631104 693 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16346/tid=16350] ppid=16344 vsize=534800 CPUtime=0.03 cores=0-31
/proc/16346/task/16350/stat : 16350 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 13 0 0 0 3 0 0 0 18 0 32 0 1420259 547635200 693 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16346/tid=16351] ppid=16344 vsize=534784 CPUtime=0.03 cores=0-31
/proc/16346/task/16351/stat : 16351 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 1420259 547618816 698 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16346/tid=16352] ppid=16344 vsize=534784 CPUtime=0.03 cores=0-31
/proc/16346/task/16352/stat : 16352 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 13 0 0 0 3 0 0 0 18 0 32 0 1420259 547618816 701 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16346/tid=16353] ppid=16344 vsize=534784 CPUtime=0.03 cores=0-31
/proc/16346/task/16353/stat : 16353 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 24 0 32 0 1420259 547618816 705 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566925784 0 0 -1 20 0 0 0
[pid=16346/tid=16354] ppid=16344 vsize=534784 CPUtime=0.03 cores=0-31
/proc/16346/task/16354/stat : 16354 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 1420259 547618816 715 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604617240534496 0 0 -1 28 0 0 0
[pid=16346/tid=16355] ppid=16344 vsize=534788 CPUtime=0.03 cores=0-31
/proc/16346/task/16355/stat : 16355 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 547622912 716 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604642043395552 0 0 -1 22 0 0 0
[pid=16346/tid=16356] ppid=16344 vsize=534788 CPUtime=0 cores=0-31
/proc/16346/task/16356/stat : 16356 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 32 0 1420259 547622912 739 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604457076063712 0 0 -1 8 0 0 0
[pid=16346/tid=16357] ppid=16344 vsize=534788 CPUtime=0.03 cores=0-31
/proc/16346/task/16357/stat : 16357 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 6 0 0 0 3 0 0 0 25 0 32 0 1420259 547622912 774 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604594641952224 0 0 -1 18 0 0 0
[pid=16346/tid=16358] ppid=16344 vsize=534788 CPUtime=0.03 cores=0-31
/proc/16346/task/16358/stat : 16358 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 6 0 0 0 3 0 0 0 25 0 32 0 1420259 547622912 815 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604504916114912 0 0 -1 26 0 0 0
[pid=16346/tid=16359] ppid=16344 vsize=534788 CPUtime=0.03 cores=0-31
/proc/16346/task/16359/stat : 16359 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 547622912 852 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604643631250912 0 0 -1 14 0 0 0
[pid=16346/tid=16360] ppid=16344 vsize=534788 CPUtime=0.03 cores=0-31
/proc/16346/task/16360/stat : 16360 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 56 0 0 0 3 0 0 0 18 0 32 0 1420259 547622912 852 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16346/tid=16361] ppid=16344 vsize=534792 CPUtime=0.03 cores=0-31
/proc/16346/task/16361/stat : 16361 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 547627008 867 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566925784 0 0 -1 10 0 0 0
[pid=16346/tid=16362] ppid=16344 vsize=665864 CPUtime=0.03 cores=0-31
/proc/16346/task/16362/stat : 16362 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 681844736 868 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650616632 0 0 4096 2 6 0 0 -1 3 0 0 0
[pid=16346/tid=16363] ppid=16344 vsize=665864 CPUtime=0.03 cores=0-31
/proc/16346/task/16363/stat : 16363 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 681844736 870 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604641250827744 0 0 -1 5 0 0 0
[pid=16346/tid=16364] ppid=16344 vsize=665864 CPUtime=0.03 cores=0-31
/proc/16346/task/16364/stat : 16364 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 681844736 870 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604640283516384 0 0 -1 7 0 0 0
[pid=16346/tid=16365] ppid=16344 vsize=665864 CPUtime=0.03 cores=0-31
/proc/16346/task/16365/stat : 16365 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 681844736 873 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604581011193312 0 0 -1 9 0 0 0
[pid=16346/tid=16366] ppid=16344 vsize=665868 CPUtime=0.03 cores=0-31
/proc/16346/task/16366/stat : 16366 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 1420259 681848832 873 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16346/tid=16367] ppid=16344 vsize=665868 CPUtime=0.03 cores=0-31
/proc/16346/task/16367/stat : 16367 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 55 0 0 0 3 0 0 0 18 0 32 0 1420259 681848832 878 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16346/tid=16368] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16368/stat : 16368 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 614739968 884 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16346/tid=16369] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16369/stat : 16369 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 614739968 892 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604595964444128 0 0 -1 17 0 0 0
[pid=16346/tid=16370] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16370/stat : 16370 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 4 0 0 0 3 0 0 0 25 0 32 0 1420259 614739968 893 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604641250778592 0 0 -1 19 0 0 0
[pid=16346/tid=16371] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16371/stat : 16371 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 69 0 0 0 3 0 0 0 18 0 32 0 1420259 614739968 895 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16346/tid=16372] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16372/stat : 16372 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 3 0 0 0 25 0 32 0 1420259 614739968 903 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604580496301536 0 0 -1 23 0 0 0
[pid=16346/tid=16373] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16373/stat : 16373 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 23 0 0 0 3 0 0 0 25 0 32 0 1420259 614739968 903 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16346/tid=16374] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16374/stat : 16374 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 45 0 0 0 3 0 0 0 18 0 32 0 1420259 614739968 905 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16346/tid=16375] ppid=16344 vsize=600332 CPUtime=0.03 cores=0-31
/proc/16346/task/16375/stat : 16375 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 44 0 0 0 3 0 0 0 18 0 32 0 1420259 614739968 905 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16346/tid=16376] ppid=16344 vsize=600332 CPUtime=0 cores=0-31
/proc/16346/task/16376/stat : 16376 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 32 0 1420259 614739968 909 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604573289651680 0 0 -1 31 0 0 0
[pid=16346/tid=16377] ppid=16344 vsize=600336 CPUtime=0.03 cores=0-31
/proc/16346/task/16377/stat : 16377 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 19 0 0 0 3 0 0 0 25 0 32 0 1420259 614744064 909 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 600176
[startup+0.103162 s]
/proc/loadavg: 30.79 29.01 21.58 2/413 16346
/proc/meminfo: memFree=263823984/264257624 swapFree=67044428/67111528
[pid=16346] ppid=16344 vsize=1127892 CPUtime=2.14 cores=0-31
/proc/16346/stat : 16346 (strangenight2-m) D 16344 16346 16200 0 -1 4202496 10849 0 0 0 117 97 0 0 17 0 32 0 1420258 1154961408 10702 268435456000 4194304 4580107 140734518431344 18446744073709551615 4344560 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16346/statm: 281973 10713 331 95 0 276955 0
[pid=16346/tid=16347] ppid=16344 vsize=1127892 CPUtime=0.06 cores=0-31
/proc/16346/task/16347/stat : 16347 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 285 0 0 0 3 3 0 0 17 0 32 0 1420259 1154961408 10719 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566931024 0 0 -1 1 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=1127892 CPUtime=0.06 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 402 0 0 0 4 2 0 0 17 0 32 0 1420259 1154961408 10722 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16346/tid=16349] ppid=16344 vsize=1127892 CPUtime=0.06 cores=0-31
/proc/16346/task/16349/stat : 16349 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 385 0 0 0 4 2 0 0 17 0 32 0 1420259 1154961408 10734 268435456000 4194304 4580107 140734518431344 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16346/tid=16350] ppid=16344 vsize=1127892 CPUtime=0.05 cores=0-31
/proc/16346/task/16350/stat : 16350 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 343 0 0 0 3 2 0 0 17 0 32 0 1420259 1154961408 10734 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604598210485728 0 0 -1 4 0 0 0
[pid=16346/tid=16351] ppid=16344 vsize=1128024 CPUtime=0.06 cores=0-31
/proc/16346/task/16351/stat : 16351 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 279 0 0 0 3 3 0 0 17 0 32 0 1420259 1155096576 10742 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566929504 0 0 -1 16 0 0 0
[pid=16346/tid=16352] ppid=16344 vsize=1128024 CPUtime=0.06 cores=0-31
/proc/16346/task/16352/stat : 16352 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 375 0 0 0 3 3 0 0 17 0 32 0 1420259 1155096576 10752 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604504272141792 0 0 -1 12 0 0 0
[pid=16346/tid=16353] ppid=16344 vsize=1128024 CPUtime=0.07 cores=0-31
/proc/16346/task/16353/stat : 16353 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 291 0 0 0 4 3 0 0 17 0 32 0 1420259 1155096576 10757 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566933904 0 0 -1 20 0 0 0
[pid=16346/tid=16354] ppid=16344 vsize=1128024 CPUtime=0.06 cores=0-31
/proc/16346/task/16354/stat : 16354 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 384 0 0 0 3 3 0 0 25 0 32 0 1420259 1155096576 10768 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16346/tid=16355] ppid=16344 vsize=1128024 CPUtime=0.05 cores=0-31
/proc/16346/task/16355/stat : 16355 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 333 0 0 0 3 2 0 0 17 0 32 0 1420259 1155096576 10772 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604639908232672 0 0 -1 22 0 0 0
[pid=16346/tid=16356] ppid=16344 vsize=1128024 CPUtime=0.03 cores=0-31
/proc/16346/task/16356/stat : 16356 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 340 0 0 0 0 3 0 0 17 0 32 0 1420259 1155096576 10777 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16346/tid=16357] ppid=16344 vsize=1128024 CPUtime=0.05 cores=0-31
/proc/16346/task/16357/stat : 16357 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 267 0 0 0 3 2 0 0 17 0 32 0 1420259 1155096576 10781 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604643631250912 0 0 -1 18 0 0 0
[pid=16346/tid=16358] ppid=16344 vsize=1128024 CPUtime=0.06 cores=0-31
/proc/16346/task/16358/stat : 16358 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 288 0 0 0 3 3 0 0 17 0 32 0 1420259 1155096576 10782 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604496098139616 0 0 -1 26 0 0 0
[pid=16346/tid=16359] ppid=16344 vsize=1128024 CPUtime=0.05 cores=0-31
/proc/16346/task/16359/stat : 16359 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 1420259 1155096576 10807 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16346/tid=16360] ppid=16344 vsize=1128024 CPUtime=0.06 cores=0-31
/proc/16346/task/16360/stat : 16360 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 435 0 0 0 3 3 0 0 17 0 32 0 1420259 1155096576 10814 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16346/tid=16361] ppid=16344 vsize=1128024 CPUtime=0.05 cores=0-31
/proc/16346/task/16361/stat : 16361 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 350 0 0 0 3 2 0 0 25 0 32 0 1420259 1155096576 10821 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16346/tid=16362] ppid=16344 vsize=1128156 CPUtime=0.06 cores=0-31
/proc/16346/task/16362/stat : 16362 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 366 0 0 0 4 2 0 0 18 0 32 0 1420259 1155231744 10845 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650618162 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16346/tid=16363] ppid=16344 vsize=1128156 CPUtime=0.06 cores=0-31
################
# More data... #
################
[pid=16346/tid=16347] ppid=16344 vsize=4436880 CPUtime=21.27 cores=0-31
/proc/16346/task/16347/stat : 16347 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 27520 0 0 0 1959 168 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=4436880 CPUtime=21.19 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28282 0 0 0 1951 168 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16346/tid=16349] ppid=16344 vsize=4436880 CPUtime=21.22 cores=0-31
/proc/16346/task/16349/stat : 16349 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 27441 0 0 0 1955 167 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16346/tid=16350] ppid=16344 vsize=4436880 CPUtime=20.72 cores=0-31
/proc/16346/task/16350/stat : 16350 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 30157 0 0 0 1903 169 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=16346/tid=16351] ppid=16344 vsize=4436880 CPUtime=21.36 cores=0-31
/proc/16346/task/16351/stat : 16351 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29883 0 0 0 1957 179 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16346/tid=16352] ppid=16344 vsize=4436880 CPUtime=21.26 cores=0-31
/proc/16346/task/16352/stat : 16352 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29707 0 0 0 1960 166 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16346/tid=16353] ppid=16344 vsize=4436880 CPUtime=21.33 cores=0-31
/proc/16346/task/16353/stat : 16353 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 30411 0 0 0 1960 173 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4235045 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16346/tid=16354] ppid=16344 vsize=4436880 CPUtime=21.39 cores=0-31
/proc/16346/task/16354/stat : 16354 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 30742 0 0 0 1969 170 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16346/tid=16355] ppid=16344 vsize=4436880 CPUtime=21.21 cores=0-31
/proc/16346/task/16355/stat : 16355 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29728 0 0 0 1955 166 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292947 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16346/tid=16356] ppid=16344 vsize=4436880 CPUtime=21.22 cores=0-31
/proc/16346/task/16356/stat : 16356 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28315 0 0 0 1948 174 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16346/tid=16357] ppid=16344 vsize=4436880 CPUtime=21.02 cores=0-31
/proc/16346/task/16357/stat : 16357 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28661 0 0 0 1944 158 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16346/tid=16358] ppid=16344 vsize=4436880 CPUtime=21.24 cores=0-31
/proc/16346/task/16358/stat : 16358 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29650 0 0 0 1951 173 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16346/tid=16359] ppid=16344 vsize=4436880 CPUtime=21.14 cores=0-31
/proc/16346/task/16359/stat : 16359 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28609 0 0 0 1955 159 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16346/tid=16360] ppid=16344 vsize=4436880 CPUtime=21.24 cores=0-31
/proc/16346/task/16360/stat : 16360 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28604 0 0 0 1947 177 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16346/tid=16361] ppid=16344 vsize=4436880 CPUtime=21.21 cores=0-31
/proc/16346/task/16361/stat : 16361 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29571 0 0 0 1947 174 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16346/tid=16362] ppid=16344 vsize=4436880 CPUtime=21.29 cores=0-31
/proc/16346/task/16362/stat : 16362 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28912 0 0 0 1956 173 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4235045 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16346/tid=16363] ppid=16344 vsize=4436880 CPUtime=21.28 cores=0-31
/proc/16346/task/16363/stat : 16363 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29243 0 0 0 1965 163 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16346/tid=16364] ppid=16344 vsize=4436880 CPUtime=21.3 cores=0-31
/proc/16346/task/16364/stat : 16364 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 31561 0 0 0 1951 179 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4295390 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16346/tid=16365] ppid=16344 vsize=4436880 CPUtime=21.32 cores=0-31
/proc/16346/task/16365/stat : 16365 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29804 0 0 0 1978 154 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16346/tid=16366] ppid=16344 vsize=4436880 CPUtime=21.31 cores=0-31
/proc/16346/task/16366/stat : 16366 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29736 0 0 0 1956 175 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16346/tid=16367] ppid=16344 vsize=4436880 CPUtime=21.26 cores=0-31
/proc/16346/task/16367/stat : 16367 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 27804 0 0 0 1960 166 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16346/tid=16368] ppid=16344 vsize=4436880 CPUtime=21.28 cores=0-31
/proc/16346/task/16368/stat : 16368 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28426 0 0 0 1952 176 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16346/tid=16369] ppid=16344 vsize=4436880 CPUtime=21.32 cores=0-31
/proc/16346/task/16369/stat : 16369 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29156 0 0 0 1966 166 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16346/tid=16370] ppid=16344 vsize=4436880 CPUtime=21.23 cores=0-31
/proc/16346/task/16370/stat : 16370 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 26801 0 0 0 1950 173 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16346/tid=16371] ppid=16344 vsize=4436880 CPUtime=21.2 cores=0-31
/proc/16346/task/16371/stat : 16371 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29610 0 0 0 1951 169 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16346/tid=16372] ppid=16344 vsize=4436880 CPUtime=21.33 cores=0-31
/proc/16346/task/16372/stat : 16372 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 27333 0 0 0 1964 169 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16346/tid=16373] ppid=16344 vsize=4436880 CPUtime=21.22 cores=0-31
/proc/16346/task/16373/stat : 16373 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 29662 0 0 0 1961 161 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16346/tid=16374] ppid=16344 vsize=4436880 CPUtime=21.33 cores=0-31
/proc/16346/task/16374/stat : 16374 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 27781 0 0 0 1957 176 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16346/tid=16375] ppid=16344 vsize=4436880 CPUtime=21.1 cores=0-31
/proc/16346/task/16375/stat : 16375 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 26511 0 0 0 1954 156 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16346/tid=16376] ppid=16344 vsize=4436880 CPUtime=21.22 cores=0-31
/proc/16346/task/16376/stat : 16376 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 28322 0 0 0 1955 167 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16346/tid=16377] ppid=16344 vsize=4436880 CPUtime=21.27 cores=0-31
/proc/16346/task/16377/stat : 16377 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 35336 0 0 0 1977 150 0 0 25 0 32 0 1420259 4543365120 798015 268435456000 4194304 4580107 140734518431344 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 679.81
Current children cumulated vsize (KiB) 4436880
[startup+51.1027 s]
/proc/loadavg: 31.44 29.48 22.13 26/445 16380
/proc/meminfo: memFree=257915588/264257624 swapFree=67044428/67111528
[pid=16346] ppid=16344 vsize=8392912 CPUtime=1371.39 cores=0-31
/proc/16346/stat : 16346 (strangenight2-m) S 16344 16346 16200 0 -1 4202496 1699039 0 0 0 128017 9122 0 0 16 0 32 0 1420258 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/16346/statm: 2098228 1510383 376 95 0 2093210 0
[pid=16346/tid=16347] ppid=16344 vsize=8392912 CPUtime=44.59 cores=0-31
/proc/16346/task/16347/stat : 16347 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 61024 0 0 0 4166 293 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 4452185 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=8392912 CPUtime=42.19 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 50025 0 0 0 3975 244 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604640283516384 0 0 -1 0 0 0 0
[pid=16346/tid=16349] ppid=16344 vsize=8392912 CPUtime=44.37 cores=0-31
/proc/16346/task/16349/stat : 16349 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 51724 0 0 0 4144 293 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16346/tid=16350] ppid=16344 vsize=8392912 CPUtime=42.48 cores=0-31
/proc/16346/task/16350/stat : 16350 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 52545 0 0 0 3981 267 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604504916114912 0 0 -1 27 0 0 0
[pid=16346/tid=16351] ppid=16344 vsize=8392912 CPUtime=42.09 cores=0-31
/proc/16346/task/16351/stat : 16351 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 49772 0 0 0 3906 303 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16346/tid=16352] ppid=16344 vsize=8392912 CPUtime=42.16 cores=0-31
/proc/16346/task/16352/stat : 16352 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 49786 0 0 0 3920 296 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16346/tid=16353] ppid=16344 vsize=8392912 CPUtime=43.26 cores=0-31
/proc/16346/task/16353/stat : 16353 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 56547 0 0 0 4015 311 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 4277626 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16346/tid=16354] ppid=16344 vsize=8392912 CPUtime=44.17 cores=0-31
/proc/16346/task/16354/stat : 16354 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 70463 0 0 0 4139 278 0 0 17 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 4321235 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16346/tid=16355] ppid=16344 vsize=8392912 CPUtime=42.12 cores=0-31
/proc/16346/task/16355/stat : 16355 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 48648 0 0 0 3924 288 0 0 15 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566929064 0 0 -1 7 0 0 0
[pid=16346/tid=16356] ppid=16344 vsize=8392912 CPUtime=44.25 cores=0-31
/proc/16346/task/16356/stat : 16356 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 51689 0 0 0 4121 304 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 4452185 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16346/tid=16357] ppid=16344 vsize=8392912 CPUtime=42.4 cores=0-31
/proc/16346/task/16357/stat : 16357 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 51242 0 0 0 3950 290 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566927704 0 0 -1 23 0 0 0
[pid=16346/tid=16358] ppid=16344 vsize=8392912 CPUtime=42.71 cores=0-31
/proc/16346/task/16358/stat : 16358 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 53954 0 0 0 3966 305 0 0 15 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 4517574 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16346/tid=16359] ppid=16344 vsize=8392912 CPUtime=41.89 cores=0-31
/proc/16346/task/16359/stat : 16359 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 52833 0 0 0 3884 305 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16346/tid=16360] ppid=16344 vsize=8392912 CPUtime=42.78 cores=0-31
/proc/16346/task/16360/stat : 16360 (strangenight2-m) D 16344 16346 16200 0 -1 4202560 52928 0 0 0 3960 318 0 0 16 0 32 0 1420259 8594341888 1510383 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16346/tid=16361] ppid=16344 vsize=8392912 CPUtime=42.34 cores=0-31
/proc/16346/task/16361/stat : 16361 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 56354 0 0 0 3927 307 0 0 16 0 32 0 1420259 8594341888 1510384 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446744071566933904 0 0 -1 6 0 0 0
[pid=16346/tid=16362] ppid=16344 vsize=8392912 CPUtime=42.85 cores=0-31
/proc/16346/task/16362/stat : 16362 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 52638 0 0 0 3989 296 0 0 16 0 32 0 1420259 8594341888 1510386 268435456000 4194304 4580107 140734518431344 18446744073709551615 4399196 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16346/tid=16363] ppid=16344 vsize=8392912 CPUtime=42 cores=0-31
/proc/16346/task/16363/stat : 16363 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 52574 0 0 0 3923 277 0 0 16 0 32 0 1420259 8594341888 1510387 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16346/tid=16364] ppid=16344 vsize=8392912 CPUtime=42.33 cores=0-31
/proc/16346/task/16364/stat : 16364 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 52026 0 0 0 3962 271 0 0 16 0 32 0 1420259 8594341888 1510393 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604598210485728 0 0 -1 9 0 0 0
[pid=16346/tid=16365] ppid=16344 vsize=8392912 CPUtime=45.03 cores=0-31
/proc/16346/task/16365/stat : 16365 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 71240 0 0 0 4237 266 0 0 16 0 32 0 1420259 8594341888 1510401 268435456000 4194304 4580107 140734518431344 18446744073709551615 4363825 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16346/tid=16366] ppid=16344 vsize=8392912 CPUtime=42.31 cores=0-31
/proc/16346/task/16366/stat : 16366 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 54108 0 0 0 3918 313 0 0 16 0 32 0 1420259 8594341888 1510403 268435456000 4194304 4580107 140734518431344 18446744073709551615 4399459 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16346/tid=16367] ppid=16344 vsize=8392912 CPUtime=42.1 cores=0-31
/proc/16346/task/16367/stat : 16367 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 49935 0 0 0 3921 289 0 0 16 0 32 0 1420259 8594341888 1510403 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604640283516384 0 0 -1 23 0 0 0
[pid=16346/tid=16368] ppid=16344 vsize=8392912 CPUtime=42.04 cores=0-31
/proc/16346/task/16368/stat : 16368 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 51465 0 0 0 3887 317 0 0 16 0 32 0 1420259 8594341888 1510407 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 18446604451054198240 0 0 -1 22 0 0 0
[pid=16346/tid=16369] ppid=16344 vsize=8392912 CPUtime=44.09 cores=0-31
/proc/16346/task/16369/stat : 16369 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 62992 0 0 0 4183 226 0 0 19 0 32 0 1420259 8594341888 1510413 268435456000 4194304 4580107 140734518431344 18446744073709551615 4316629 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16346/tid=16370] ppid=16344 vsize=8392912 CPUtime=42.21 cores=0-31
/proc/16346/task/16370/stat : 16370 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 50258 0 0 0 3935 286 0 0 15 0 32 0 1420259 8594341888 1510415 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16346/tid=16371] ppid=16344 vsize=8392912 CPUtime=42.26 cores=0-31
/proc/16346/task/16371/stat : 16371 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 55753 0 0 0 3925 301 0 0 16 0 32 0 1420259 8594341888 1510416 268435456000 4194304 4580107 140734518431344 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16346/tid=16372] ppid=16344 vsize=8392912 CPUtime=43.11 cores=0-31
/proc/16346/task/16372/stat : 16372 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 47655 0 0 0 4022 289 0 0 15 0 32 0 1420259 8594341888 1510421 268435456000 4194304 4580107 140734518431344 18446744073709551615 4399850 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16346/tid=16373] ppid=16344 vsize=8392912 CPUtime=42.09 cores=0-31
/proc/16346/task/16373/stat : 16373 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 50403 0 0 0 3953 256 0 0 16 0 32 0 1420259 8594341888 1510422 268435456000 4194304 4580107 140734518431344 18446744073709551615 4409864 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16346/tid=16374] ppid=16344 vsize=8392912 CPUtime=42.49 cores=0-31
/proc/16346/task/16374/stat : 16374 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 49682 0 0 0 3979 270 0 0 16 0 32 0 1420259 8594341888 1510424 268435456000 4194304 4580107 140734518431344 18446744073709551615 4399872 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16346/tid=16375] ppid=16344 vsize=8392912 CPUtime=41.76 cores=0-31
/proc/16346/task/16375/stat : 16375 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 47760 0 0 0 3894 282 0 0 16 0 32 0 1420259 8594341888 1510426 268435456000 4194304 4580107 140734518431344 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16346/tid=16376] ppid=16344 vsize=8392912 CPUtime=42.92 cores=0-31
/proc/16346/task/16376/stat : 16376 (strangenight2-m) S 16344 16346 16200 0 -1 4202560 49808 0 0 0 3984 308 0 0 16 0 32 0 1420259 8594341888 1510432 268435456000 4194304 4580107 140734518431344 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16346/tid=16377] ppid=16344 vsize=8392912 CPUtime=45.64 cores=0-31
/proc/16346/task/16377/stat : 16377 (strangenight2-m) R 16344 16346 16200 0 -1 4202560 42975 0 0 0 4406 158 0 0 18 0 32 0 1420259 8594341888 1510440 268435456000 4194304 4580107 140734518431344 18446744073709551615 4316428 0 0 4096 2 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 1371.39
Current children cumulated vsize (KiB) 8392912
[startup+102.336 s]
/proc/loadavg: 27.44 28.94 22.35 3/445 16380
/proc/meminfo: memFree=255655012/264257624 swapFree=67044428/67111528
[pid=16346] ppid=16344 vsize=0 CPUtime=2572.73 cores=0-31
/proc/16346/stat : 16346 (strangenight2-m) Z 16344 16346 16200 0 -1 4203548 2656087 0 0 0 245582 11691 0 0 18 0 2 0 1420258 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/16346/statm: 0 0 0 0 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=0 CPUtime=91.52 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) R 16344 16346 16200 0 -1 4203588 129640 0 0 0 8790 362 0 0 25 0 2 0 1420259 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 2572.73
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+102.701 s]
/proc/loadavg: 27.44 28.94 22.35 3/445 16380
/proc/meminfo: memFree=255655012/264257624 swapFree=67044428/67111528
[pid=16346] ppid=16344 vsize=0 CPUtime=2573.1 cores=0-31
/proc/16346/stat : 16346 (strangenight2-m) Z 16344 16346 16200 0 -1 4203548 2656087 0 0 0 245582 11728 0 0 18 0 2 0 1420258 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/16346/statm: 0 0 0 0 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=0 CPUtime=91.88 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) R 16344 16346 16200 0 -1 4203588 129640 0 0 0 8790 398 0 0 25 0 2 0 1420259 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 2573.1
Current children cumulated vsize (KiB) 0
[startup+102.901 s]
/proc/loadavg: 27.44 28.94 22.35 3/445 16380
/proc/meminfo: memFree=255655012/264257624 swapFree=67044428/67111528
[pid=16346] ppid=16344 vsize=0 CPUtime=2573.3 cores=0-31
/proc/16346/stat : 16346 (strangenight2-m) Z 16344 16346 16200 0 -1 4203548 2656087 0 0 0 245582 11748 0 0 18 0 2 0 1420258 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/16346/statm: 0 0 0 0 0 0 0
[pid=16346/tid=16348] ppid=16344 vsize=0 CPUtime=92.08 cores=0-31
/proc/16346/task/16348/stat : 16348 (strangenight2-m) R 16344 16346 16200 0 -1 4203588 129640 0 0 0 8790 418 0 0 25 0 2 0 1420259 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 2573.3
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 102.914
CPU time (s): 2573.32
CPU user time (s): 2455.82
CPU system time (s): 117.496
CPU usage (%): 2500.46
Max. virtual memory (cumulated for all children) (KiB): 12858016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2455.82
system time used= 117.496
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2656087
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= 4320248
involuntary context switches= 44017
runsolver used 0.747886 second user time and 2.6386 second system time
The end
Begin job on node200 at 2011-05-30 13:22:23
IDJOB=3400756
IDBENCH=82435
IDSOLVER=1886
FILE ID=node200/3400756-1306754542
RUNJOBID= node200-1306754353-16214
PBS_JOBID= 13471602
Free space on /tmp= 61568 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400756-1306754542/watcher-3400756-1306754542 -o /tmp/evaluation-result-3400756-1306754542/solver-3400756-1306754542 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400756-1306754542.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= ceca868d07951273fdc2de08c57f2b6a
RANDOM SEED=1939455777
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: 263824396 kB
Buffers: 14260 kB
Cached: 238140 kB
SwapCached: 16104 kB
Active: 101496 kB
Inactive: 169388 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263824396 kB
SwapTotal: 67111528 kB
SwapFree: 67044428 kB
Dirty: 17280 kB
Writeback: 0 kB
AnonPages: 17884 kB
Mapped: 7988 kB
Slab: 57428 kB
PageTables: 4836 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 190116 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 13:24:06