0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400744-1306753483.cnf'
0.00/0.07 c -- header says num vars: 63349
0.00/0.07 c -- header says num clauses: 943492
85.26/6.01 c -- clauses added: 0 learnts, 943492 normals, 0 xors
85.26/6.01 c -- vars added 63349
85.26/6.01 c Parsing time: 0.95 s
85.26/6.01 c N st 0 0 63349 34554 907893 0 2147524 0 no data no data
115.88/7.22 c asymm cl-useful: 28/500/34031 lits-rem:1938 time: 0.90
400.04/16.12 c Flit: 608 Blit: 7126 bXBeca: 0 bXProp: 421 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 8.88
400.04/16.17 c Cleaning up after failed var search: 0.05 s
403.21/16.24 c Replacing 422 vars Replaced 17547 lits Time: 0.07 s
419.93/17.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
421.88/17.28 c bin-w-bin subsume rem 746 bins time: 0.09 s
434.46/17.72 c subs with bin: 2 lits-rem: 0 v-fix: 0 time: 0.39 s
508.85/20.53 c Subs w/ non-existent bins: 6 l-rem: 179 v-fix: 0 done: 51259 time: 2.28 s
515.23/20.79 c Removed useless bin: 8780 fixed: 0 props: 20.01M time: 0.26 s
524.80/21.01 c lits-rem: 62 cl-subs: 84 v-elim: 140 v-fix: 0 time: 0.21 s
524.80/21.05 c Finding binary XORs T: 0.04 s found: 68
527.99/21.11 c Replacing 68 vars Replaced 3543 lits Time: 0.06 s
527.99/21.16 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan)
527.99/21.16 c calculated reachability. Time: 0.00
527.99/21.18 c Calc default polars - time: 0.03 s pos: 1820 undec: 24980 neg: 36549
527.99/21.18 c =========================================================================================
527.99/21.18 c types(t): F = full restart, N = normal restart
527.99/21.18 c types(t): S = simplification begin/end, E = solution found
527.99/21.18 c restart types(rt): st = static, dy = dynamic
527.99/21.18 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
527.99/21.18 c B st 0 0 51051 25330 616641 0 1458594 0 no data no data
611.11/23.70 c N dy 17 4016 50930 25330 617046 3489 1458590 724698 13.01 13.98
703.75/26.67 c N dy 42 8109 49858 24261 591635 4535 1388348 742895 13.85 15.16
838.61/30.86 c N dy 69 12261 49670 24261 593973 8535 1388339 1980296 15.61 16.77
962.66/34.76 c N dy 99 16316 48518 22785 562623 7577 1309776 1602090 17.31 18.48
1049.56/37.44 c Finding binary XORs T: 0.04 s found: 259
1106.46/39.20 c N dy 126 20598 47422 21798 537581 5733 1246448 485241 17.91 18.92
1237.37/43.35 c N dy 153 24634 46953 21798 538562 9693 1246438 2359376 19.15 20.62
1250.16/43.73 c F st 156 25001 46942 21798 538564 10053 1246438 2501024 19.24 no data
1257.15/43.94 c Replacing 259 vars Replaced 31190 lits Time: 0.16 s
1448.09/49.92 c N dy 162 30002 43636 18183 462438 7084 1066422 823387 19.24 no data
1448.09/49.92 c S st 162 30002 43636 18183 462438 7084 1066422 823387 19.24 no data
1464.07/50.45 c S st 162 30505 43587 18183 463315 7539 1066421 913757 19.24 no data
1464.07/50.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
1698.94/61.19 c Flit: 3598 Blit: 524 bXBeca: 0 bXProp: 664 Bins: 316070 BRemL: 5364 BRemN: 0 P: 155.2M T: 10.69
1699.24/61.23 c Cleaning up after failed var search: 0.04 s
1699.24/61.25 c Replacing 665 vars Replaced 67282 lits Time: 0.02 s
1699.24/61.27 c blocked clauses removed: 0 vars: 16946 tried: 25199 T: 0.01 s
1699.24/61.28 c bin-w-bin subsume rem 5146 bins time: 0.01 s
1699.54/61.31 c subs with bin: 280 lits-rem: 109 v-fix: 0 time: 0.02 s
1699.83/61.43 c Subs w/ non-existent bins: 138 l-rem: 197 v-fix: 0 done: 11196 time: 0.12 s
1699.83/61.50 c Removed useless bin: 844 fixed: 0 props: 7.53M time: 0.07 s
1700.19/61.54 c lits-rem: 10 cl-subs: 229 v-elim: 52 v-fix: 0 time: 0.03 s
1701.33/61.97 c subs with bin: 323 lits-rem: 11014 v-fix: 0 time: 0.41 s
1701.63/62.01 c lits-rem: 659 cl-subs: 877 v-elim: 0 v-fix: 0 time: 0.04 s
1703.79/62.76 c asymm cl-useful: 567/3466/5345 lits-rem:1319 time: 0.74
1704.04/62.81 c calculated reachability. Time: 0.05
1704.04/62.81 c N dy 162 30505 11144 5233 142566 3640 219627 250141 19.24 no data
1704.04/62.81 c Following stats are for *FIRST FINISHED THREAD ONLY*
1704.04/62.81 c num threads : 32
1704.04/62.81 c restarts : 123
1704.04/62.81 c dynamic restarts : 111
1704.04/62.81 c static restarts : 12
1704.04/62.81 c full restarts : 1
1704.04/62.81 c total simplify time : 0.30
1704.04/62.81 c learnts DL2 : 0
1704.04/62.81 c learnts size 2 : 921860
1704.04/62.81 c learnts size 1 : 34329 (54.19 % of vars)
1704.04/62.81 c filedLit time : 8.72 (15.31 % time)
1704.04/62.81 c v-elim SatELite : 142 (0.22 % vars)
1704.04/62.81 c SatELite time : 2.65 (4.65 % time)
1704.04/62.81 c v-elim xor : 0 (0.00 % vars)
1704.04/62.81 c xor elim time : 0.00 (0.00 % time)
1704.04/62.81 c num binary xor trees : 620
1704.04/62.81 c binxor trees' crown : 764 (1.23 leafs/tree)
1704.04/62.81 c bin xor find time : 0.08
1704.04/62.81 c OTF clause improved : 469 (0.01 clauses/conflict)
1704.04/62.81 c OTF impr. size diff : 798 (1.70 lits/clause)
1704.04/62.81 c OTF cl watch-shrink : 25500 (0.68 clauses/conflict)
1704.04/62.81 c OTF cl watch-sh-lit : 1218961 (47.80 lits/clause)
1704.04/62.81 c tried to recurMin cls : 0 (0.00 % of conflicts)
1704.04/62.81 c updated cache : 0 (nan lits/tried recurMin)
1704.04/62.81 c unit cls recevied : 1769 (5.15 % of units)
1704.04/62.81 c unit cls sent : 192 (0.56 % of units)
1704.04/62.81 c bin cls recevied : 10897
1704.04/62.81 c bin cls sent : 579
1704.04/62.81 c clauses over max glue : 0 (0.00 % of all clauses)
1704.04/62.81 c conflicts : 37765 (663.32 / sec)
1704.04/62.81 c decisions : 159869 (0.00 % random)
1704.04/62.81 c bogo-props : 856414040 (15042398.35 / sec)
1704.04/62.81 c conflict literals : 15993312 (29.46 % deleted)
1704.04/62.81 c Memory used : 4225.70 MB
1704.04/62.81 c single-thread CPU time : 56.93 s
1704.04/62.81 c all-threads sum CPU time : 1632.78 s
1704.04/62.81 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-3400744-1306753483/watcher-3400744-1306753483 -o /tmp/evaluation-result-3400744-1306753483/solver-3400744-1306753483 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400744-1306753483.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.69 10.18 6.89 1/413 15578
/proc/meminfo: memFree=263903900/264257624 swapFree=67044364/67111528
[pid=15578] ppid=15576 vsize=338000 CPUtime=0.86 cores=0-31
/proc/15578/stat : 15578 (strangenight2-m) R 15576 15578 15432 0 -1 4202496 468 0 0 0 86 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15578/statm: 84500 408 300 95 0 79482 0
[pid=15578/tid=15579] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15579/stat : 15579 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15578/tid=15580] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15580/stat : 15580 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 4 0 0 0 2 0 0 0 23 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15578/tid=15581] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15581/stat : 15581 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15578/tid=15582] ppid=15576 vsize=338000 CPUtime=0 cores=0-31
/proc/15578/task/15582/stat : 15582 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590541234 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15578/tid=15583] ppid=15576 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15578/task/15583/stat : 15583 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 1 0 0 0 19 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15578/tid=15584] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15584/stat : 15584 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15578/tid=15585] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15585/stat : 15585 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540816 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15578/tid=15586] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15586/stat : 15586 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15578/tid=15587] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15587/stat : 15587 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15578/tid=15588] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15588/stat : 15588 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15578/tid=15589] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15589/stat : 15589 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15578/tid=15590] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15590/stat : 15590 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540823 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15578/tid=15591] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15591/stat : 15591 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15578/tid=15592] ppid=15576 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15578/task/15592/stat : 15592 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15578/tid=15593] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15593/stat : 15593 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15578/tid=15594] ppid=15576 vsize=338000 CPUtime=0 cores=0-31
/proc/15578/task/15594/stat : 15594 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15578/tid=15595] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15595/stat : 15595 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15578/tid=15596] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15596/stat : 15596 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15578/tid=15597] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15597/stat : 15597 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540816 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15578/tid=15598] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15598/stat : 15598 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15578/tid=15599] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15599/stat : 15599 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15578/tid=15600] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15600/stat : 15600 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15578/tid=15601] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15601/stat : 15601 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15578/tid=15602] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15602/stat : 15602 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540816 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15578/tid=15603] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15603/stat : 15603 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540829 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15578/tid=15604] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15604/stat : 15604 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15578/tid=15605] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15605/stat : 15605 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15578/tid=15606] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15606/stat : 15606 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540823 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15578/tid=15607] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15607/stat : 15607 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15578/tid=15608] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15608/stat : 15608 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1314354 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15578/tid=15609] ppid=15576 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15578/task/15609/stat : 15609 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1314355 346112000 408 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540825 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.0999009 s]
/proc/loadavg: 22.69 10.18 6.89 1/413 15578
/proc/meminfo: memFree=263903900/264257624 swapFree=67044364/67111528
[pid=15578] ppid=15576 vsize=1192748 CPUtime=1.84 cores=0-31
/proc/15578/stat : 15578 (strangenight2-m) R 15576 15578 15432 0 -1 4202496 10328 0 0 0 99 85 0 0 17 0 32 0 1314354 1221373952 10166 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650616632 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15578/statm: 298187 10166 331 95 0 293169 0
[pid=15578/tid=15579] ppid=15576 vsize=1192880 CPUtime=0.06 cores=0-31
/proc/15578/task/15579/stat : 15579 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 271 0 0 0 3 3 0 0 17 0 32 0 1314354 1221509120 10168 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604506221559264 0 0 -1 1 0 0 0
[pid=15578/tid=15580] ppid=15576 vsize=1192880 CPUtime=0.04 cores=0-31
/proc/15578/task/15580/stat : 15580 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 268 0 0 0 2 2 0 0 17 0 32 0 1314354 1221509120 10175 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604499981262304 0 0 -1 28 0 0 0
[pid=15578/tid=15581] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15581/stat : 15581 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 286 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10181 268435456000 4194304 4580107 140736044473632 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15578/tid=15582] ppid=15576 vsize=1192880 CPUtime=0 cores=0-31
/proc/15578/task/15582/stat : 15582 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 137 0 0 0 0 0 0 0 18 0 32 0 1314354 1221509120 10184 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15578/tid=15583] ppid=15576 vsize=1192880 CPUtime=0.04 cores=0-31
/proc/15578/task/15583/stat : 15583 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 371 0 0 0 2 2 0 0 19 0 32 0 1314354 1221509120 10193 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15578/tid=15584] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15584/stat : 15584 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 270 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10201 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604467304504800 0 0 -1 0 0 0 0
[pid=15578/tid=15585] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15585/stat : 15585 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10211 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566928624 0 0 -1 16 0 0 0
[pid=15578/tid=15586] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15586/stat : 15586 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10215 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604499981270496 0 0 -1 5 0 0 0
[pid=15578/tid=15587] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15587/stat : 15587 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 320 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10224 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604506319412704 0 0 -1 6 0 0 0
[pid=15578/tid=15588] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15588/stat : 15588 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 412 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10225 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15578/tid=15589] ppid=15576 vsize=1192880 CPUtime=0.06 cores=0-31
/proc/15578/task/15589/stat : 15589 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 324 0 0 0 3 3 0 0 18 0 32 0 1314354 1221509120 10227 268435456000 4194304 4580107 140736044473632 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15578/tid=15590] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15590/stat : 15590 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 274 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10233 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604499981262304 0 0 -1 10 0 0 0
[pid=15578/tid=15591] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15591/stat : 15591 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 367 0 0 0 3 2 0 0 18 0 32 0 1314354 1221509120 10250 268435456000 4194304 4580107 140736044473632 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15578/tid=15592] ppid=15576 vsize=1192880 CPUtime=0.06 cores=0-31
/proc/15578/task/15592/stat : 15592 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 308 0 0 0 3 3 0 0 18 0 32 0 1314354 1221509120 10258 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15578/tid=15593] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15593/stat : 15593 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 290 0 0 0 3 2 0 0 21 0 32 0 1314354 1221509120 10259 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604499981270496 0 0 -1 24 0 0 0
[pid=15578/tid=15594] ppid=15576 vsize=1192880 CPUtime=0.03 cores=0-31
/proc/15578/task/15594/stat : 15594 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 284 0 0 0 1 2 0 0 17 0 32 0 1314354 1221509120 10271 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604460100214240 0 0 -1 29 0 0 0
[pid=15578/tid=15595] ppid=15576 vsize=1192880 CPUtime=0.04 cores=0-31
/proc/15578/task/15595/stat : 15595 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 304 0 0 0 2 2 0 0 21 0 32 0 1314354 1221509120 10272 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566928984 0 0 -1 26 0 0 0
[pid=15578/tid=15596] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15596/stat : 15596 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 288 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10277 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15578/tid=15597] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15597/stat : 15597 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 325 0 0 0 3 2 0 0 18 0 32 0 1314354 1221509120 10297 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566931584 0 0 -1 12 0 0 0
[pid=15578/tid=15598] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15598/stat : 15598 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 334 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10310 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15578/tid=15599] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15599/stat : 15599 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 323 0 0 0 3 2 0 0 17 0 32 0 1314354 1221509120 10311 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604504901959136 0 0 -1 4 0 0 0
[pid=15578/tid=15600] ppid=15576 vsize=1192880 CPUtime=0.05 cores=0-31
/proc/15578/task/15600/stat : 15600 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 369 0 0 0 3 2 0 0 18 0 32 0 1314354 1221509120 10316 268435456000 4194304 4580107 140736044473632 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15578/tid=15601] ppid=15576 vsize=1193024 CPUtime=0.05 cores=0-31
/proc/15578/task/15601/stat : 15601 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 330 0 0 0 3 2 0 0 18 0 32 0 1314354 1221656576 10322 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15578/tid=15602] ppid=15576 vsize=1193024 CPUtime=0.05 cores=0-31
/proc/15578/task/15602/stat : 15602 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 317 0 0 0 3 2 0 0 17 0 32 0 1314354 1221656576 10330 268435456000 4194304 4580107 140736044473632 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15578/tid=15603] ppid=15576 vsize=1193024 CPUtime=0.05 cores=0-31
/proc/15578/task/15603/stat : 15603 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 382 0 0 0 3 2 0 0 17 0 32 0 1314354 1221656576 10342 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566928624 0 0 -1 15 0 0 0
[pid=15578/tid=15604] ppid=15576 vsize=1193024 CPUtime=0.06 cores=0-31
/proc/15578/task/15604/stat : 15604 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 355 0 0 0 3 3 0 0 17 0 32 0 1314354 1221656576 10345 268435456000 4194304 4580107 140736044473632 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15578/tid=15605] ppid=15576 vsize=1193024 CPUtime=0.05 cores=0-31
/proc/15578/task/15605/stat : 15605 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 290 0 0 0 3 2 0 0 17 0 32 0 1314354 1221656576 10355 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566924024 0 0 -1 18 0 0 0
[pid=15578/tid=15606] ppid=15576 vsize=1193024 CPUtime=0.05 cores=0-31
/proc/15578/task/15606/stat : 15606 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 332 0 0 0 3 2 0 0 17 0 32 0 1314354 1221656576 10357 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15578/tid=15607] ppid=15576 vsize=1193024 CPUtime=0.06 cores=0-31
/proc/15578/task/15607/stat : 15607 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 288 0 0 0 3 3 0 0 24 0 32 0 1314354 1221656576 10361 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15578/tid=15608] ppid=15576 vsize=1193024 CPUtime=0.05 cores=0-31
/proc/15578/task/15608/stat : 15608 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 272 0 0 0 3 2 0 0 17 0 32 0 1314354 1221656576 10370 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566930584 0 0 -1 22 0 0 0
[pid=15578/tid=15609] ppid=15576 vsize=1193024 CPUtime=0.05 cores=0-31
/proc/15578/task/15609/stat : 15609 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 433 0 0 0 3 2 0 0 24 0 32 0 1314355 1221656576 10380 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 1192748
[startup+0.10391 s]
/proc/loadavg: 22.69 10.18 6.89 1/413 15578
/proc/meminfo: memFree=263903900/264257624 swapFree=67044364/67111528
[pid=15578] ppid=15576 vsize=1193288 CPUtime=1.87 cores=0-31
/proc/15578/stat : 15578 (strangenight2-m) S 15576 15578 15432 0 -1 4202496 10760 0 0 0 100 87 0 0 17 0 32 0 1314354 1221926912 10598 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15578/statm: 298322 10602 331 95 0 293304 0
[pid=15578/tid=15579] ppid=15576 vsize=1193288 CPUtime=0.06 cores=0-31
/proc/15578/task/15579/stat : 15579 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 271 0 0 0 3 3 0 0 17 0 32 0 1314354 1221926912 10614 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566931104 0 0 -1 1 0 0 0
[pid=15578/tid=15580] ppid=15576 vsize=1193288 CPUtime=0.04 cores=0-31
/proc/15578/task/15580/stat : 15580 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 268 0 0 0 2 2 0 0 17 0 32 0 1314354 1221926912 10646 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566931104 0 0 -1 28 0 0 0
[pid=15578/tid=15581] ppid=15576 vsize=1193288 CPUtime=0.05 cores=0-31
/proc/15578/task/15581/stat : 15581 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 308 0 0 0 3 2 0 0 17 0 32 0 1314354 1221926912 10689 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15578/tid=15582] ppid=15576 vsize=1193288 CPUtime=0 cores=0-31
/proc/15578/task/15582/stat : 15582 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 168 0 0 0 0 0 0 0 18 0 32 0 1314354 1221926912 10693 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15578/tid=15583] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15583/stat : 15583 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 399 0 0 0 2 3 0 0 19 0 32 0 1314354 1222070272 10694 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15578/tid=15584] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15584/stat : 15584 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 273 0 0 0 3 2 0 0 17 0 32 0 1314354 1222070272 10695 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566929544 0 0 -1 0 0 0 0
[pid=15578/tid=15585] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15585/stat : 15585 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 271 0 0 0 3 2 0 0 17 0 32 0 1314354 1222070272 10703 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446604506519756256 0 0 -1 16 0 0 0
[pid=15578/tid=15586] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15586/stat : 15586 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 273 0 0 0 3 2 0 0 17 0 32 0 1314354 1222070272 10707 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15578/tid=15587] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15587/stat : 15587 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 342 0 0 0 3 2 0 0 17 0 32 0 1314354 1222070272 10716 268435456000 4194304 4580107 140736044473632 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15578/tid=15588] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15588/stat : 15588 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 432 0 0 0 3 2 0 0 17 0 32 0 1314354 1222070272 10727 268435456000 4194304 4580107 140736044473632 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15578/tid=15589] ppid=15576 vsize=1193428 CPUtime=0.06 cores=0-31
/proc/15578/task/15589/stat : 15589 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 350 0 0 0 3 3 0 0 18 0 32 0 1314354 1222070272 10756 268435456000 4194304 4580107 140736044473632 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15578/tid=15590] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15590/stat : 15590 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 287 0 0 0 3 2 0 0 17 0 32 0 1314354 1222070272 10757 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15578/tid=15591] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15591/stat : 15591 (strangenight2-m) D 15576 15578 15432 0 -1 4202560 391 0 0 0 3 2 0 0 18 0 32 0 1314354 1222070272 10758 268435456000 4194304 4580107 140736044473632 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15578/tid=15592] ppid=15576 vsize=1193428 CPUtime=0.06 cores=0-31
/proc/15578/task/15592/stat : 15592 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 334 0 0 0 3 3 0 0 18 0 32 0 1314354 1222070272 10770 268435456000 4194304 4580107 140736044473632 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15578/tid=15593] ppid=15576 vsize=1193428 CPUtime=0.05 cores=0-31
/proc/15578/task/15593/stat : 15593 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 307 0 0 0 3 2 0 0 21 0 32 0 1314354 1222070272 10784 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566931024 0 0 -1 24 0 0 0
[pid=15578/tid=15594] ppid=15576 vsize=1193428 CPUtime=0.03 cores=0-31
/proc/15578/task/15594/stat : 15594 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 293 0 0 0 1 2 0 0 17 0 32 0 1314354 1222070272 10787 268435456000 4194304 4580107 140736044473632 18446744073709551615 258651060958 0 0 4096 2 18446744071566931184 0 0 -1 29 0 0 0
[pid=15578/tid=15595] ppid=15576 vsize=1193428 CPUtime=0.04 cores=0-31
################
# More data... #
################
/proc/15578/task/15602/stat : 15602 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 30985 0 0 0 5066 236 0 0 25 0 32 0 1314354 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506215718368 0 0 -1 14 0 0 0
[pid=15578/tid=15603] ppid=15576 vsize=4261572 CPUtime=52.26 cores=0-31
/proc/15578/task/15603/stat : 15603 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 27582 0 0 0 5000 226 0 0 25 0 32 0 1314354 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604502266174944 0 0 -1 20 0 0 0
[pid=15578/tid=15604] ppid=15576 vsize=4261572 CPUtime=52.46 cores=0-31
/proc/15578/task/15604/stat : 15604 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31882 0 0 0 5025 221 0 0 25 0 32 0 1314354 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506523745760 0 0 -1 30 0 0 0
[pid=15578/tid=15605] ppid=15576 vsize=4261572 CPUtime=52.38 cores=0-31
/proc/15578/task/15605/stat : 15605 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 33025 0 0 0 4992 246 0 0 25 0 32 0 1314354 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506519764448 0 0 -1 22 0 0 0
[pid=15578/tid=15606] ppid=15576 vsize=4261572 CPUtime=52.41 cores=0-31
/proc/15578/task/15606/stat : 15606 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28391 0 0 0 5012 229 0 0 25 0 32 0 1314354 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604502266183136 0 0 -1 15 0 0 0
[pid=15578/tid=15607] ppid=15576 vsize=4261572 CPUtime=53.14 cores=0-31
/proc/15578/task/15607/stat : 15607 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32456 0 0 0 5091 223 0 0 25 0 32 0 1314354 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506314751456 0 0 -1 13 0 0 0
[pid=15578/tid=15608] ppid=15576 vsize=4261572 CPUtime=52.37 cores=0-31
/proc/15578/task/15608/stat : 15608 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29044 0 0 0 4996 241 0 0 25 0 32 0 1314354 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504901950944 0 0 -1 2 0 0 0
[pid=15578/tid=15609] ppid=15576 vsize=4261572 CPUtime=53.6 cores=0-31
/proc/15578/task/15609/stat : 15609 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32925 0 0 0 5158 202 0 0 25 0 32 0 1314355 4363849728 625807 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604460100214240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1697.74
Current children cumulated vsize (KiB) 4261572
[startup+62.3014 s]
/proc/loadavg: 27.57 13.75 8.32 4/445 15612
/proc/meminfo: memFree=261392784/264257624 swapFree=67044364/67111528
[pid=15578] ppid=15576 vsize=4327108 CPUtime=1702.54 cores=0-31
/proc/15578/stat : 15578 (strangenight2-m) R 15576 15578 15432 0 -1 4202496 965651 0 0 0 163123 7131 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 4293241 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15578/statm: 1081777 626669 378 95 0 1076759 0
[pid=15578/tid=15579] ppid=15576 vsize=4327108 CPUtime=57.33 cores=0-31
/proc/15578/task/15579/stat : 15579 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 28092 0 0 0 5529 204 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15578/tid=15580] ppid=15576 vsize=4327108 CPUtime=52.23 cores=0-31
/proc/15578/task/15580/stat : 15580 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29683 0 0 0 5014 209 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506221551072 0 0 -1 8 0 0 0
[pid=15578/tid=15581] ppid=15576 vsize=4327108 CPUtime=52.66 cores=0-31
/proc/15578/task/15581/stat : 15581 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31305 0 0 0 5040 226 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506519756256 0 0 -1 5 0 0 0
[pid=15578/tid=15582] ppid=15576 vsize=4327108 CPUtime=52.27 cores=0-31
/proc/15578/task/15582/stat : 15582 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31496 0 0 0 5005 222 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506221559264 0 0 -1 16 0 0 0
[pid=15578/tid=15583] ppid=15576 vsize=4327108 CPUtime=53.27 cores=0-31
/proc/15578/task/15583/stat : 15583 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28775 0 0 0 5099 228 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506540539360 0 0 -1 27 0 0 0
[pid=15578/tid=15584] ppid=15576 vsize=4327108 CPUtime=52.44 cores=0-31
/proc/15578/task/15584/stat : 15584 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 27154 0 0 0 5003 241 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506523737568 0 0 -1 11 0 0 0
[pid=15578/tid=15585] ppid=15576 vsize=4327108 CPUtime=52.26 cores=0-31
/proc/15578/task/15585/stat : 15585 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29925 0 0 0 5008 218 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604460100222432 0 0 -1 10 0 0 0
[pid=15578/tid=15586] ppid=15576 vsize=4327108 CPUtime=53.38 cores=0-31
/proc/15578/task/15586/stat : 15586 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31399 0 0 0 5132 206 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604505227558368 0 0 -1 21 0 0 0
[pid=15578/tid=15587] ppid=15576 vsize=4327108 CPUtime=52.59 cores=0-31
/proc/15578/task/15587/stat : 15587 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28437 0 0 0 5015 244 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504308391392 0 0 -1 26 0 0 0
[pid=15578/tid=15588] ppid=15576 vsize=4327108 CPUtime=52.35 cores=0-31
/proc/15578/task/15588/stat : 15588 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28776 0 0 0 5005 230 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506215726560 0 0 -1 7 0 0 0
[pid=15578/tid=15589] ppid=15576 vsize=4327108 CPUtime=53.6 cores=0-31
/proc/15578/task/15589/stat : 15589 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32026 0 0 0 5157 203 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604505425214944 0 0 -1 0 0 0 0
[pid=15578/tid=15590] ppid=15576 vsize=4327108 CPUtime=52.27 cores=0-31
/proc/15578/task/15590/stat : 15590 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31877 0 0 0 4991 236 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506319412704 0 0 -1 18 0 0 0
[pid=15578/tid=15591] ppid=15576 vsize=4327108 CPUtime=53.06 cores=0-31
/proc/15578/task/15591/stat : 15591 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28748 0 0 0 5072 234 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446744071566926424 0 0 -1 3 0 0 0
[pid=15578/tid=15592] ppid=15576 vsize=4327108 CPUtime=52.74 cores=0-31
/proc/15578/task/15592/stat : 15592 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 30584 0 0 0 5046 228 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604467304504800 0 0 -1 25 0 0 0
[pid=15578/tid=15593] ppid=15576 vsize=4327108 CPUtime=52.86 cores=0-31
/proc/15578/task/15593/stat : 15593 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29819 0 0 0 5062 224 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506319420896 0 0 -1 17 0 0 0
[pid=15578/tid=15594] ppid=15576 vsize=4327108 CPUtime=52.18 cores=0-31
/proc/15578/task/15594/stat : 15594 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32189 0 0 0 4988 230 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504308399584 0 0 -1 29 0 0 0
[pid=15578/tid=15595] ppid=15576 vsize=4327108 CPUtime=52.35 cores=0-31
/proc/15578/task/15595/stat : 15595 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 33995 0 0 0 4994 241 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506314743264 0 0 -1 6 0 0 0
[pid=15578/tid=15596] ppid=15576 vsize=4327108 CPUtime=53.32 cores=0-31
/proc/15578/task/15596/stat : 15596 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 30983 0 0 0 5113 219 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504901959136 0 0 -1 24 0 0 0
[pid=15578/tid=15597] ppid=15576 vsize=4327108 CPUtime=53.46 cores=0-31
/proc/15578/task/15597/stat : 15597 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29710 0 0 0 5136 210 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604499981270496 0 0 -1 12 0 0 0
[pid=15578/tid=15598] ppid=15576 vsize=4327108 CPUtime=52.88 cores=0-31
/proc/15578/task/15598/stat : 15598 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29667 0 0 0 5109 179 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604505227550176 0 0 -1 15 0 0 0
[pid=15578/tid=15599] ppid=15576 vsize=4327108 CPUtime=52.49 cores=0-31
/proc/15578/task/15599/stat : 15599 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28054 0 0 0 5016 233 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506575748576 0 0 -1 19 0 0 0
[pid=15578/tid=15600] ppid=15576 vsize=4327108 CPUtime=52.52 cores=0-31
/proc/15578/task/15600/stat : 15600 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 24614 0 0 0 5045 207 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506575740384 0 0 -1 28 0 0 0
[pid=15578/tid=15601] ppid=15576 vsize=4327108 CPUtime=58.47 cores=0-31
/proc/15578/task/15601/stat : 15601 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 34387 0 0 0 5641 206 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590516267 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15578/tid=15602] ppid=15576 vsize=4327108 CPUtime=53.02 cores=0-31
/proc/15578/task/15602/stat : 15602 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 30985 0 0 0 5066 236 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506215718368 0 0 -1 14 0 0 0
[pid=15578/tid=15603] ppid=15576 vsize=4327108 CPUtime=52.26 cores=0-31
/proc/15578/task/15603/stat : 15603 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 27582 0 0 0 5000 226 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604502266174944 0 0 -1 20 0 0 0
[pid=15578/tid=15604] ppid=15576 vsize=4327108 CPUtime=52.46 cores=0-31
/proc/15578/task/15604/stat : 15604 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31882 0 0 0 5025 221 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506523745760 0 0 -1 30 0 0 0
[pid=15578/tid=15605] ppid=15576 vsize=4327108 CPUtime=52.38 cores=0-31
/proc/15578/task/15605/stat : 15605 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 33025 0 0 0 4992 246 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506519764448 0 0 -1 22 0 0 0
[pid=15578/tid=15606] ppid=15576 vsize=4327108 CPUtime=52.41 cores=0-31
/proc/15578/task/15606/stat : 15606 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28391 0 0 0 5012 229 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604502266183136 0 0 -1 15 0 0 0
[pid=15578/tid=15607] ppid=15576 vsize=4327108 CPUtime=53.14 cores=0-31
/proc/15578/task/15607/stat : 15607 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32456 0 0 0 5091 223 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506314751456 0 0 -1 13 0 0 0
[pid=15578/tid=15608] ppid=15576 vsize=4327108 CPUtime=52.37 cores=0-31
/proc/15578/task/15608/stat : 15608 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29044 0 0 0 4996 241 0 0 25 0 32 0 1314354 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504901950944 0 0 -1 2 0 0 0
[pid=15578/tid=15609] ppid=15576 vsize=4327108 CPUtime=53.6 cores=0-31
/proc/15578/task/15609/stat : 15609 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32925 0 0 0 5158 202 0 0 25 0 32 0 1314355 4430958592 626669 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604460100214240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1702.54
Current children cumulated vsize (KiB) 4327108
[startup+62.7195 s]
/proc/loadavg: 25.60 13.57 8.29 4/445 15612
/proc/meminfo: memFree=261391544/264257624 swapFree=67044364/67111528
[pid=15578] ppid=15576 vsize=4327108 CPUtime=1703.79 cores=0-31
/proc/15578/stat : 15578 (strangenight2-m) R 15576 15578 15432 0 -1 4202496 965653 0 0 0 163248 7131 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15578/statm: 1081777 626671 378 95 0 1076759 0
[pid=15578/tid=15579] ppid=15576 vsize=4327108 CPUtime=57.75 cores=0-31
/proc/15578/task/15579/stat : 15579 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 28092 0 0 0 5571 204 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15578/tid=15580] ppid=15576 vsize=4327108 CPUtime=52.23 cores=0-31
/proc/15578/task/15580/stat : 15580 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29683 0 0 0 5014 209 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506221551072 0 0 -1 8 0 0 0
[pid=15578/tid=15581] ppid=15576 vsize=4327108 CPUtime=52.66 cores=0-31
/proc/15578/task/15581/stat : 15581 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31305 0 0 0 5040 226 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506519756256 0 0 -1 5 0 0 0
[pid=15578/tid=15582] ppid=15576 vsize=4327108 CPUtime=52.27 cores=0-31
/proc/15578/task/15582/stat : 15582 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31496 0 0 0 5005 222 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506221559264 0 0 -1 16 0 0 0
[pid=15578/tid=15583] ppid=15576 vsize=4327108 CPUtime=53.27 cores=0-31
/proc/15578/task/15583/stat : 15583 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28775 0 0 0 5099 228 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506540539360 0 0 -1 27 0 0 0
[pid=15578/tid=15584] ppid=15576 vsize=4327108 CPUtime=52.44 cores=0-31
/proc/15578/task/15584/stat : 15584 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 27154 0 0 0 5003 241 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506523737568 0 0 -1 11 0 0 0
[pid=15578/tid=15585] ppid=15576 vsize=4327108 CPUtime=52.26 cores=0-31
/proc/15578/task/15585/stat : 15585 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29925 0 0 0 5008 218 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604460100222432 0 0 -1 10 0 0 0
[pid=15578/tid=15586] ppid=15576 vsize=4327108 CPUtime=53.38 cores=0-31
/proc/15578/task/15586/stat : 15586 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31399 0 0 0 5132 206 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604505227558368 0 0 -1 21 0 0 0
[pid=15578/tid=15587] ppid=15576 vsize=4327108 CPUtime=52.59 cores=0-31
/proc/15578/task/15587/stat : 15587 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28437 0 0 0 5015 244 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504308391392 0 0 -1 26 0 0 0
[pid=15578/tid=15588] ppid=15576 vsize=4327108 CPUtime=52.35 cores=0-31
/proc/15578/task/15588/stat : 15588 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28776 0 0 0 5005 230 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506215726560 0 0 -1 7 0 0 0
[pid=15578/tid=15589] ppid=15576 vsize=4327108 CPUtime=53.6 cores=0-31
/proc/15578/task/15589/stat : 15589 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32026 0 0 0 5157 203 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604505425214944 0 0 -1 0 0 0 0
[pid=15578/tid=15590] ppid=15576 vsize=4327108 CPUtime=52.27 cores=0-31
/proc/15578/task/15590/stat : 15590 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31877 0 0 0 4991 236 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506319412704 0 0 -1 18 0 0 0
[pid=15578/tid=15591] ppid=15576 vsize=4327108 CPUtime=53.06 cores=0-31
/proc/15578/task/15591/stat : 15591 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28748 0 0 0 5072 234 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446744071566926424 0 0 -1 3 0 0 0
[pid=15578/tid=15592] ppid=15576 vsize=4327108 CPUtime=52.74 cores=0-31
/proc/15578/task/15592/stat : 15592 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 30584 0 0 0 5046 228 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604467304504800 0 0 -1 25 0 0 0
[pid=15578/tid=15593] ppid=15576 vsize=4327108 CPUtime=52.86 cores=0-31
/proc/15578/task/15593/stat : 15593 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29819 0 0 0 5062 224 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506319420896 0 0 -1 17 0 0 0
[pid=15578/tid=15594] ppid=15576 vsize=4327108 CPUtime=52.18 cores=0-31
/proc/15578/task/15594/stat : 15594 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32189 0 0 0 4988 230 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504308399584 0 0 -1 29 0 0 0
[pid=15578/tid=15595] ppid=15576 vsize=4327108 CPUtime=52.35 cores=0-31
/proc/15578/task/15595/stat : 15595 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 33995 0 0 0 4994 241 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506314743264 0 0 -1 6 0 0 0
[pid=15578/tid=15596] ppid=15576 vsize=4327108 CPUtime=53.32 cores=0-31
/proc/15578/task/15596/stat : 15596 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 30983 0 0 0 5113 219 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504901959136 0 0 -1 24 0 0 0
[pid=15578/tid=15597] ppid=15576 vsize=4327108 CPUtime=53.46 cores=0-31
/proc/15578/task/15597/stat : 15597 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29710 0 0 0 5136 210 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604499981270496 0 0 -1 12 0 0 0
[pid=15578/tid=15598] ppid=15576 vsize=4327108 CPUtime=52.88 cores=0-31
/proc/15578/task/15598/stat : 15598 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29667 0 0 0 5109 179 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604505227550176 0 0 -1 15 0 0 0
[pid=15578/tid=15599] ppid=15576 vsize=4327108 CPUtime=52.49 cores=0-31
/proc/15578/task/15599/stat : 15599 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28054 0 0 0 5016 233 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506575748576 0 0 -1 19 0 0 0
[pid=15578/tid=15600] ppid=15576 vsize=4327108 CPUtime=52.52 cores=0-31
/proc/15578/task/15600/stat : 15600 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 24614 0 0 0 5045 207 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506575740384 0 0 -1 28 0 0 0
[pid=15578/tid=15601] ppid=15576 vsize=4327108 CPUtime=58.89 cores=0-31
/proc/15578/task/15601/stat : 15601 (strangenight2-m) R 15576 15578 15432 0 -1 4202560 34387 0 0 0 5683 206 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590516420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15578/tid=15602] ppid=15576 vsize=4327108 CPUtime=53.02 cores=0-31
/proc/15578/task/15602/stat : 15602 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 30985 0 0 0 5066 236 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506215718368 0 0 -1 14 0 0 0
[pid=15578/tid=15603] ppid=15576 vsize=4327108 CPUtime=52.26 cores=0-31
/proc/15578/task/15603/stat : 15603 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 27582 0 0 0 5000 226 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604502266174944 0 0 -1 20 0 0 0
[pid=15578/tid=15604] ppid=15576 vsize=4327108 CPUtime=52.46 cores=0-31
/proc/15578/task/15604/stat : 15604 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 31882 0 0 0 5025 221 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506523745760 0 0 -1 30 0 0 0
[pid=15578/tid=15605] ppid=15576 vsize=4327108 CPUtime=52.38 cores=0-31
/proc/15578/task/15605/stat : 15605 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 33025 0 0 0 4992 246 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506519764448 0 0 -1 22 0 0 0
[pid=15578/tid=15606] ppid=15576 vsize=4327108 CPUtime=52.41 cores=0-31
/proc/15578/task/15606/stat : 15606 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 28391 0 0 0 5012 229 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604502266183136 0 0 -1 15 0 0 0
[pid=15578/tid=15607] ppid=15576 vsize=4327108 CPUtime=53.14 cores=0-31
/proc/15578/task/15607/stat : 15607 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32456 0 0 0 5091 223 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604506314751456 0 0 -1 13 0 0 0
[pid=15578/tid=15608] ppid=15576 vsize=4327108 CPUtime=52.37 cores=0-31
/proc/15578/task/15608/stat : 15608 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 29044 0 0 0 4996 241 0 0 25 0 32 0 1314354 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604504901950944 0 0 -1 2 0 0 0
[pid=15578/tid=15609] ppid=15576 vsize=4327108 CPUtime=53.6 cores=0-31
/proc/15578/task/15609/stat : 15609 (strangenight2-m) S 15576 15578 15432 0 -1 4202560 32925 0 0 0 5158 202 0 0 25 0 32 0 1314355 4430958592 626671 268435456000 4194304 4580107 140736044473632 18446744073709551615 47007590540852 0 0 4096 2 18446604460100214240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1703.79
Current children cumulated vsize (KiB) 4327108
[startup+62.9015 s]
/proc/loadavg: 25.60 13.57 8.29 4/445 15612
/proc/meminfo: memFree=261391544/264257624 swapFree=67044364/67111528
[pid=15578] ppid=15576 vsize=0 CPUtime=1704.2 cores=0-31
/proc/15578/stat : 15578 (strangenight2-m) Z 15576 15578 15432 0 -1 4203548 965657 0 0 0 163278 7142 0 0 25 0 2 0 1314354 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15578/statm: 0 0 0 0 0 0 0
[pid=15578/tid=15598] ppid=15576 vsize=0 CPUtime=52.96 cores=0-31
/proc/15578/task/15598/stat : 15598 (strangenight2-m) R 15576 15578 15432 0 -1 4203588 29667 0 0 0 5109 187 0 0 18 0 2 0 1314354 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 1704.2
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 62.9937
CPU time (s): 1704.3
CPU user time (s): 1632.78
CPU system time (s): 71.5151
CPU usage (%): 2705.5
Max. virtual memory (cumulated for all children) (KiB): 4976024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1632.78
system time used= 71.5151
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 965657
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= 2779479
involuntary context switches= 28213
runsolver used 0.433934 second user time and 1.53277 second system time
The end
Begin job on node200 at 2011-05-30 13:04:44
IDJOB=3400744
IDBENCH=82420
IDSOLVER=1886
FILE ID=node200/3400744-1306753483
RUNJOBID= node200-1306753305-15446
PBS_JOBID= 13471600
Free space on /tmp= 61564 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-12-step15.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400744-1306753483/watcher-3400744-1306753483 -o /tmp/evaluation-result-3400744-1306753483/solver-3400744-1306753483 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400744-1306753483.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 86980f7370ece00291f2970256db731a
RANDOM SEED=1563508061
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: 263904172 kB
Buffers: 11212 kB
Cached: 172776 kB
SwapCached: 16168 kB
Active: 105588 kB
Inactive: 99344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263904172 kB
SwapTotal: 67111528 kB
SwapFree: 67044364 kB
Dirty: 21048 kB
Writeback: 0 kB
AnonPages: 18520 kB
Mapped: 8112 kB
Slab: 57040 kB
PageTables: 4420 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 177832 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= 61560 MiB
End job on node200 at 2011-05-30 13:05:47