0.00/0.00 c Outputting solution to console
0.00/0.04 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-3400809-1306820625.cnf'
0.00/0.07 c -- header says num vars: 19995
0.00/0.07 c -- header says num clauses: 66333
10.87/0.70 c -- clauses added: 0 learnts, 66333 normals, 0 xors
10.87/0.70 c -- vars added 19995
10.87/0.70 c Parsing time: 0.10 s
10.87/0.70 c N st 0 0 19995 30626 31735 0 158899 0 no data no data
41.40/1.64 c asymm cl-useful: 8/30626/30626 lits-rem:83 time: 0.94
110.98/6.50 c Flit: 59 Blit: 1904 bXBeca: 0 bXProp: 3257 Bins: 0 BRemL: 0 BRemN: 0 P: 14.4M T: 1.84
110.98/6.51 c Cleaning up after failed var search: 0.01 s
110.98/6.58 c Replacing 3257 vars Replaced 87417 lits Time: 0.02 s
115.93/6.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
115.93/6.81 c bin-w-bin subsume rem 509 bins time: 0.00 s
115.93/6.82 c subs with bin: 0 lits-rem: 12 v-fix: 0 time: 0.01 s
115.93/6.84 c Subs w/ non-existent bins: 0 l-rem: 4 v-fix: 0 done: 13673 time: 0.02 s
115.93/6.86 c Removed useless bin: 38 fixed: 0 props: 1.82M time: 0.02 s
124.52/7.21 c lits-rem: 0 cl-subs: 150 v-elim: 4557 v-fix: 0 time: 0.13 s
124.52/7.26 c Finding binary XORs T: 0.05 s found: 13
124.52/7.26 c Replacing 13 vars Replaced 166 lits Time: 0.00 s
127.66/7.30 c Finding non-binary XORs: 0.02 s (found: 4121, avg size: 3.0)
127.66/7.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 647 locsubst: 2628 time: 0.02
127.66/7.31 c Replacing 1314 vars Replaced 7884 lits Time: 0.00 s
127.66/7.31 c calculated reachability. Time: 0.00
127.66/7.31 c Calc default polars - time: 0.00 s pos: 1080 undec: 12882 neg: 6033
127.66/7.31 c =========================================================================================
127.66/7.31 c types(t): F = full restart, N = normal restart
127.66/7.31 c types(t): S = simplification begin/end, E = solution found
127.66/7.31 c restart types(rt): st = static, dy = dynamic
127.66/7.31 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
127.66/7.31 c B st 0 0 7142 11596 9930 0 76602 0 no data no data
137.24/7.69 c Decided on static restart strategy
156.36/8.24 c N st 8 4926 7138 11596 9965 4775 76602 209078 no data no data
191.52/9.32 c Finding binary XORs T: 0.02 s found: 6
197.92/9.51 c N st 10 11310 7108 11585 10593 4563 75807 144002 no data no data
226.68/10.40 c N st 11 17054 7108 11585 10600 10155 75807 327585 no data no data
265.05/11.64 c F st 12 25001 7108 11585 10857 12359 75807 387242 no data no data
265.05/11.65 c Replacing 6 vars Replaced 2812 lits Time: 0.01 s
265.05/11.66 c N st 12 25001 7102 11584 10845 12353 75784 386990 no data no data
300.20/12.74 c Decided on static restart strategy
300.20/12.74 c N st 18 30000 7098 11584 11150 10709 75784 391229 no data no data
300.20/12.74 c S st 18 30000 7098 11584 11150 10709 75784 391229 no data no data
303.39/12.87 c Finding binary XORs T: 0.02 s found: 0
306.59/12.91 c S st 18 30503 7097 11581 11153 11174 75709 398340 no data no data
306.59/12.92 c x-sub: 1314 x-cut: 0 vfix: 0 v-elim: 324 locsubst: 0 time: 0.01
322.56/13.40 c Flit: 55 Blit: 7 bXBeca: 0 bXProp: 21 Bins: 63844 BRemL: 43346 BRemN: 10 P: 4.9M T: 0.47
322.56/13.41 c Replacing 21 vars Replaced 985 lits Time: 0.01 s
322.56/13.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
322.56/13.42 c bin-w-bin subsume rem 300 bins time: 0.00 s
322.56/13.43 c subs with bin: 568 lits-rem: 386 v-fix: 0 time: 0.01 s
322.56/13.44 c Subs w/ non-existent bins: 0 l-rem: 9 v-fix: 0 done: 6689 time: 0.01 s
322.56/13.45 c Removed useless bin: 31 fixed: 0 props: 0.21M time: 0.01 s
322.56/13.49 c lits-rem: 169 cl-subs: 167 v-elim: 1231 v-fix: 0 time: 0.04 s
325.75/13.50 c subs with bin: 28 lits-rem: 204 v-fix: 0 time: 0.01 s
325.75/13.52 c lits-rem: 50 cl-subs: 112 v-elim: 0 v-fix: 0 time: 0.01 s
328.96/13.66 c asymm cl-useful: 145/11148/11148 lits-rem:640 time: 0.14
328.96/13.66 c calculated reachability. Time: 0.00
328.96/13.66 c N st 18 30503 5458 11148 23788 2298 65702 65527 no data no data
344.95/14.15 c Finding binary XORs T: 0.02 s found: 0
370.51/14.95 c N st 20 37615 5453 11141 23708 5773 65456 278722 no data no data
405.67/16.04 c N st 21 44017 5452 11141 23708 12042 65456 590738 no data no data
405.67/16.09 c Finding binary XORs T: 0.02 s found: 1
418.46/16.43 c S st 22 45755 5447 11134 66367 13680 65225 730927 no data no data
422.24/16.56 c S st 22 46255 5447 11134 66376 7528 65225 310338 no data no data
422.24/16.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 144 locsubst: 0 time: 0.01
431.22/16.84 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 1353 BRemL: 33012 BRemN: 66 P: 2.9M T: 0.27
431.22/16.85 c Replacing 2 vars Replaced 124 lits Time: 0.01 s
431.22/16.86 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
431.22/16.86 c bin-w-bin subsume rem 7736 bins time: 0.00 s
431.22/16.87 c subs with bin: 35 lits-rem: 14 v-fix: 0 time: 0.01 s
431.22/16.88 c Subs w/ non-existent bins: 0 l-rem: 28 v-fix: 0 done: 5300 time: 0.01 s
431.22/16.88 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s
431.22/16.89 c lits-rem: 0 cl-subs: 27 v-elim: 35 v-fix: 0 time: 0.01 s
434.42/16.95 c subs with bin: 13 lits-rem: 314 v-fix: 0 time: 0.04 s
434.42/16.98 c lits-rem: 181 cl-subs: 166 v-elim: 0 v-fix: 0 time: 0.03 s
434.42/16.99 c vivif2 -- cl tried 11064 cl shrink 82 lits rem 194 time: 0.00
434.42/16.99 c vivif2 -- cl tried 5265 cl shrink 480 lits rem 1975 time: 0.01
440.82/17.15 c asymm cl-useful: 56/11043/11043 lits-rem:134 time: 0.16
440.82/17.16 c calculated reachability. Time: 0.00
440.82/17.16 c N st 22 46255 5265 11043 24331 5263 64025 158175 no data no data
533.51/20.08 c N st 23 60652 5265 11043 24336 11677 64025 436013 no data no data
536.71/20.11 c Finding binary XORs T: 0.02 s found: 1
578.26/21.49 c N st 24 69383 5244 11007 19820 10477 63583 285502 no data no data
578.26/21.49 c S st 24 69383 5244 11007 19820 10477 63583 285502 no data no data
581.47/21.58 c S st 24 69887 5244 11007 19821 10977 63583 293218 no data no data
581.47/21.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 72 locsubst: 0 time: 0.01
587.86/21.76 c Flit: 8 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 409 BRemL: 1391 BRemN: 2 P: 2.7M T: 0.17
587.86/21.77 c Replacing 1 vars Replaced 76 lits Time: 0.01 s
587.86/21.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
587.86/21.78 c bin-w-bin subsume rem 395 bins time: 0.00 s
587.86/21.79 c subs with bin: 47 lits-rem: 46 v-fix: 0 time: 0.00 s
587.86/21.80 c Subs w/ non-existent bins: 0 l-rem: 1 v-fix: 0 done: 5163 time: 0.01 s
591.06/21.80 c Removed useless bin: 0 fixed: 0 props: 0.13M time: 0.00 s
591.06/21.82 c lits-rem: 0 cl-subs: 46 v-elim: 36 v-fix: 0 time: 0.02 s
594.26/21.90 c subs with bin: 180 lits-rem: 728 v-fix: 0 time: 0.07 s
594.26/21.97 c lits-rem: 452 cl-subs: 367 v-elim: 0 v-fix: 0 time: 0.06 s
594.26/21.98 c vivif2 -- cl tried 10914 cl shrink 40 lits rem 54 time: 0.00
594.26/21.99 c vivif2 -- cl tried 10081 cl shrink 1710 lits rem 6823 time: 0.02
601.24/22.14 c asymm cl-useful: 357/10914/10914 lits-rem:959 time: 0.15
601.24/22.15 c calculated reachability. Time: 0.00
601.24/22.15 c N st 24 69887 5127 10648 16310 10081 62348 250142 no data no data
601.24/22.17 c Finding binary XORs T: 0.02 s found: 107
601.24/22.17 c Replacing 107 vars Replaced 2646 lits Time: 0.01 s
699.75/25.29 c F st 25 87502 5020 10648 16097 16163 62134 392941 no data no data
699.75/25.30 c N st 25 87502 5020 10648 16097 16163 62134 392941 no data no data
722.12/25.92 c Finding binary XORs T: 0.02 s found: 36
731.71/26.25 c Decided on static restart strategy
747.68/26.80 c N st 32 95541 4984 10500 15317 21879 61256 577239 no data no data
795.65/28.22 c Finding binary XORs T: 0.02 s found: 14
795.65/28.26 c Replacing 62 vars Replaced 24361 lits Time: 0.03 s
802.04/28.43 c N st 34 104830 4891 10362 16711 18983 60339 462148 no data no data
802.04/28.43 c S st 34 104830 4891 10362 16711 18983 60339 462148 no data no data
805.24/28.55 c S st 34 105332 4891 10362 16715 19477 60339 470429 no data no data
805.24/28.56 c x-sub: 1 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 56 time: 0.01
812.26/28.80 c Flit: 4 Blit: 6 bXBeca: 0 bXProp: 33 Bins: 1000 BRemL: 3968 BRemN: 23 P: 4.3M T: 0.24
814.81/28.83 c Replacing 52 vars Replaced 15320 lits Time: 0.03 s
814.81/28.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
814.81/28.84 c bin-w-bin subsume rem 924 bins time: 0.00 s
814.81/28.84 c subs with bin: 235 lits-rem: 222 v-fix: 0 time: 0.00 s
814.81/28.85 c Subs w/ non-existent bins: 18 l-rem: 12 v-fix: 0 done: 4817 time: 0.01 s
814.81/28.85 c Removed useless bin: 16 fixed: 0 props: 0.12M time: 0.00 s
814.81/28.88 c lits-rem: 31 cl-subs: 253 v-elim: 93 v-fix: 0 time: 0.02 s
821.21/29.01 c subs with bin: 373 lits-rem: 14541 v-fix: 0 time: 0.11 s
824.40/29.18 c lits-rem: 910 cl-subs: 1553 v-elim: 0 v-fix: 0 time: 0.16 s
824.40/29.18 c vivif2 -- cl tried 9702 cl shrink 29 lits rem 30 time: 0.00
827.60/29.20 c vivif2 -- cl tried 13301 cl shrink 6019 lits rem 15530 time: 0.02
830.81/29.37 c asymm cl-useful: 129/9700/9700 lits-rem:306 time: 0.17
830.81/29.38 c calculated reachability. Time: 0.00
830.81/29.38 c N st 34 105332 4724 9666 11226 13296 57495 245954 no data no data
882.55/30.93 c N st 35 114930 4724 9666 11234 11904 57495 211667 no data no data
882.55/30.96 c Finding binary XORs T: 0.02 s found: 41
949.64/33.05 c Following stats are for *FIRST FINISHED THREAD ONLY*
949.64/33.05 c num threads : 32
949.64/33.05 c restarts : 36
949.64/33.05 c dynamic restarts : 0
949.64/33.05 c static restarts : 36
949.64/33.05 c full restarts : 2
949.64/33.05 c total simplify time : 0.30
949.64/33.05 c learnts DL2 : 0
949.64/33.05 c learnts size 2 : 123948
949.64/33.05 c learnts size 1 : 3781 (18.91 % of vars)
949.64/33.05 c filedLit time : 2.19 (7.51 % time)
949.64/33.05 c v-elim SatELite : 5772 (28.87 % vars)
949.64/33.05 c SatELite time : 0.11 (0.38 % time)
949.64/33.05 c v-elim xor : 971 (4.86 % vars)
949.64/33.05 c xor elim time : 0.03 (0.11 % time)
949.64/33.05 c num binary xor trees : 2150
949.64/33.05 c binxor trees' crown : 4950 (2.30 leafs/tree)
949.64/33.05 c bin xor find time : 0.21
949.64/33.05 c OTF clause improved : 3522 (0.03 clauses/conflict)
949.64/33.05 c OTF impr. size diff : 4704 (1.34 lits/clause)
949.64/33.05 c OTF cl watch-shrink : 71432 (0.58 clauses/conflict)
949.64/33.05 c OTF cl watch-sh-lit : 204148 (2.86 lits/clause)
949.64/33.05 c tried to recurMin cls : 34428 (28.15 % of conflicts)
949.64/33.05 c updated cache : 0 (0.00 lits/tried recurMin)
949.64/33.05 c unit cls recevied : 181 (4.79 % of units)
949.64/33.05 c unit cls sent : 113 (2.99 % of units)
949.64/33.05 c bin cls recevied : 95875
949.64/33.05 c bin cls sent : 2205
949.64/33.05 c clauses over max glue : 0 (0.00 % of all clauses)
949.64/33.05 c conflicts : 122306 (4187.33 / sec)
949.64/33.05 c decisions : 179697 (7.93 % random)
949.64/33.05 c bogo-props : 1474986067 (50498419.56 / sec)
949.64/33.05 c conflict literals : 5190882 (30.70 % deleted)
949.64/33.05 c Memory used : 3757.46 MB
949.64/33.05 c single-thread CPU time : 29.21 s
949.64/33.05 c all-threads sum CPU time : 933.60 s
949.64/33.05 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-3400809-1306820625/watcher-3400809-1306820625 -o /tmp/evaluation-result-3400809-1306820625/solver-3400809-1306820625 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400809-1306820625.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: 31.65 31.48 31.76 1/413 22556
/proc/meminfo: memFree=263551480/264257624 swapFree=67044764/67111528
[pid=22556] ppid=22554 vsize=338000 CPUtime=0.76 cores=0-31
/proc/22556/stat : 22556 (strangenight2-m) R 22554 22556 22468 0 -1 4202496 436 0 0 0 76 0 0 0 25 0 32 0 8028507 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/22556/statm: 84500 377 297 95 0 79482 0
[pid=22556/tid=22557] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22557/stat : 22557 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22556/tid=22558] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22558/stat : 22558 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22556/tid=22559] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22559/stat : 22559 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22556/tid=22560] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22560/stat : 22560 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529388 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=22556/tid=22561] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22561/stat : 22561 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529388 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22556/tid=22562] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22562/stat : 22562 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529384 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22556/tid=22563] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22563/stat : 22563 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529388 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22556/tid=22564] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22564/stat : 22564 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529388 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22556/tid=22565] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22565/stat : 22565 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22556/tid=22566] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22566/stat : 22566 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22556/tid=22567] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22567/stat : 22567 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22556/tid=22568] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22568/stat : 22568 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22556/tid=22569] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22569/stat : 22569 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529388 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22556/tid=22570] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22570/stat : 22570 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529384 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22556/tid=22571] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22571/stat : 22571 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529392 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22556/tid=22572] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22572/stat : 22572 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22556/tid=22573] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22573/stat : 22573 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22556/tid=22574] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22574/stat : 22574 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529388 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22556/tid=22575] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22575/stat : 22575 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22556/tid=22576] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22576/stat : 22576 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529388 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22556/tid=22577] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22577/stat : 22577 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22556/tid=22578] ppid=22554 vsize=338000 CPUtime=0 cores=0-31
/proc/22556/task/22578/stat : 22578 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22556/tid=22579] ppid=22554 vsize=338000 CPUtime=0 cores=0-31
/proc/22556/task/22579/stat : 22579 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529388 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22556/tid=22580] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22580/stat : 22580 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529392 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22556/tid=22581] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22581/stat : 22581 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529398 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22556/tid=22582] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22582/stat : 22582 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=22556/tid=22583] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22583/stat : 22583 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529398 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22556/tid=22584] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22584/stat : 22584 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22556/tid=22585] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22585/stat : 22585 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=22556/tid=22586] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22586/stat : 22586 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=22556/tid=22587] ppid=22554 vsize=338000 CPUtime=0.02 cores=0-31
/proc/22556/task/22587/stat : 22587 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 8028508 346112000 377 268435456000 4194304 4580107 140736450564992 18446744073709551615 47215255529394 0 0 4096 2 0 0 0 -1 19 0 0 0
[startup+0.137285 s]
/proc/loadavg: 31.65 31.48 31.76 1/413 22556
/proc/meminfo: memFree=263551480/264257624 swapFree=67044764/67111528
[pid=22556] ppid=22554 vsize=1133540 CPUtime=2.27 cores=0-31
/proc/22556/stat : 22556 (strangenight2-m) S 22554 22556 22468 0 -1 4202496 15250 0 0 0 107 120 0 0 17 0 32 0 8028507 1160744960 14573 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/22556/statm: 283385 14594 331 95 0 278367 0
[pid=22556/tid=22557] ppid=22554 vsize=1133540 CPUtime=0.07 cores=0-31
/proc/22556/task/22557/stat : 22557 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 606 0 0 0 3 4 0 0 17 0 32 0 8028508 1160744960 14594 268435456000 4194304 4580107 140736450564992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22556/tid=22558] ppid=22554 vsize=1133540 CPUtime=0.06 cores=0-31
/proc/22556/task/22558/stat : 22558 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 425 0 0 0 3 3 0 0 17 0 32 0 8028508 1160744960 14613 268435456000 4194304 4580107 140736450564992 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22556/tid=22559] ppid=22554 vsize=1133540 CPUtime=0.07 cores=0-31
/proc/22556/task/22559/stat : 22559 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 535 0 0 0 4 3 0 0 17 0 32 0 8028508 1160744960 14655 268435456000 4194304 4580107 140736450564992 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22556/tid=22560] ppid=22554 vsize=1133732 CPUtime=0.05 cores=0-31
/proc/22556/task/22560/stat : 22560 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 291 0 0 0 3 2 0 0 22 0 32 0 8028508 1160941568 14666 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446604506476887520 0 0 -1 24 0 0 0
[pid=22556/tid=22561] ppid=22554 vsize=1133732 CPUtime=0.08 cores=0-31
/proc/22556/task/22561/stat : 22561 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 518 0 0 0 4 4 0 0 18 0 32 0 8028508 1160941568 14674 268435456000 4194304 4580107 140736450564992 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22556/tid=22562] ppid=22554 vsize=1133732 CPUtime=0.07 cores=0-31
/proc/22556/task/22562/stat : 22562 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 613 0 0 0 3 4 0 0 17 0 32 0 8028508 1160941568 14682 268435456000 4194304 4580107 140736450564992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22556/tid=22563] ppid=22554 vsize=1133732 CPUtime=0.07 cores=0-31
/proc/22556/task/22563/stat : 22563 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 570 0 0 0 3 4 0 0 22 0 32 0 8028508 1160941568 14706 268435456000 4194304 4580107 140736450564992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22556/tid=22564] ppid=22554 vsize=1133732 CPUtime=0.06 cores=0-31
/proc/22556/task/22564/stat : 22564 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 479 0 0 0 3 3 0 0 17 0 32 0 8028508 1160941568 14747 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446744071566930944 0 0 -1 6 0 0 0
[pid=22556/tid=22565] ppid=22554 vsize=1133732 CPUtime=0.06 cores=0-31
/proc/22556/task/22565/stat : 22565 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 477 0 0 0 3 3 0 0 17 0 32 0 8028508 1160941568 14767 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446744071566929464 0 0 -1 3 0 0 0
[pid=22556/tid=22566] ppid=22554 vsize=1133732 CPUtime=0.06 cores=0-31
/proc/22556/task/22566/stat : 22566 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 402 0 0 0 3 3 0 0 17 0 32 0 8028508 1160941568 14734 268435456000 4194304 4580107 140736450564992 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22556/tid=22567] ppid=22554 vsize=1133600 CPUtime=0.07 cores=0-31
/proc/22556/task/22567/stat : 22567 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 584 0 0 0 3 4 0 0 17 0 32 0 8028508 1160806400 14741 268435456000 4194304 4580107 140736450564992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22556/tid=22568] ppid=22554 vsize=1133600 CPUtime=0.06 cores=0-31
/proc/22556/task/22568/stat : 22568 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 548 0 0 0 3 3 0 0 17 0 32 0 8028508 1160806400 14748 268435456000 4194304 4580107 140736450564992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22556/tid=22569] ppid=22554 vsize=1133600 CPUtime=0.06 cores=0-31
/proc/22556/task/22569/stat : 22569 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 376 0 0 0 3 3 0 0 17 0 32 0 8028508 1160806400 14750 268435456000 4194304 4580107 140736450564992 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22556/tid=22570] ppid=22554 vsize=1133600 CPUtime=0.05 cores=0-31
/proc/22556/task/22570/stat : 22570 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 277 0 0 0 3 2 0 0 17 0 32 0 8028508 1160806400 14775 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446604485762825696 0 0 -1 13 0 0 0
[pid=22556/tid=22571] ppid=22554 vsize=1133600 CPUtime=0.06 cores=0-31
/proc/22556/task/22571/stat : 22571 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 363 0 0 0 3 3 0 0 17 0 32 0 8028508 1160806400 14814 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446604645693799904 0 0 -1 14 0 0 0
[pid=22556/tid=22572] ppid=22554 vsize=1133600 CPUtime=0.07 cores=0-31
/proc/22556/task/22572/stat : 22572 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 519 0 0 0 3 4 0 0 17 0 32 0 8028508 1160806400 14814 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446604645281103328 0 0 -1 31 0 0 0
[pid=22556/tid=22573] ppid=22554 vsize=1133600 CPUtime=0.06 cores=0-31
/proc/22556/task/22573/stat : 22573 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 578 0 0 0 3 3 0 0 17 0 32 0 8028508 1160806400 14826 268435456000 4194304 4580107 140736450564992 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22556/tid=22574] ppid=22554 vsize=1133600 CPUtime=0.06 cores=0-31
/proc/22556/task/22574/stat : 22574 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 335 0 0 0 3 3 0 0 17 0 32 0 8028508 1160806400 14845 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446604452961943008 0 0 -1 18 0 0 0
[pid=22556/tid=22575] ppid=22554 vsize=1133600 CPUtime=0.07 cores=0-31
/proc/22556/task/22575/stat : 22575 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 611 0 0 0 3 4 0 0 17 0 32 0 8028508 1160806400 14873 268435456000 4194304 4580107 140736450564992 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22556/tid=22576] ppid=22554 vsize=1133600 CPUtime=0.07 cores=0-31
/proc/22556/task/22576/stat : 22576 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 651 0 0 0 3 4 0 0 17 0 32 0 8028508 1160806400 14874 268435456000 4194304 4580107 140736450564992 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22556/tid=22577] ppid=22554 vsize=1133600 CPUtime=0.07 cores=0-31
/proc/22556/task/22577/stat : 22577 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 637 0 0 0 3 4 0 0 18 0 32 0 8028508 1160806400 14898 268435456000 4194304 4580107 140736450564992 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22556/tid=22578] ppid=22554 vsize=1133600 CPUtime=0.04 cores=0-31
/proc/22556/task/22578/stat : 22578 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 640 0 0 0 0 4 0 0 17 0 32 0 8028508 1160806400 14915 268435456000 4194304 4580107 140736450564992 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=22556/tid=22579] ppid=22554 vsize=1133600 CPUtime=0.05 cores=0-31
/proc/22556/task/22579/stat : 22579 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 634 0 0 0 1 4 0 0 17 0 32 0 8028508 1160806400 14918 268435456000 4194304 4580107 140736450564992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22556/tid=22580] ppid=22554 vsize=1133792 CPUtime=0.05 cores=0-31
/proc/22556/task/22580/stat : 22580 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 327 0 0 0 2 3 0 0 17 0 32 0 8028508 1161003008 14929 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446604448938835424 0 0 -1 30 0 0 0
[pid=22556/tid=22581] ppid=22554 vsize=1133984 CPUtime=0.06 cores=0-31
/proc/22556/task/22581/stat : 22581 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 476 0 0 0 3 3 0 0 17 0 32 0 8028508 1161199616 14941 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446744071566928504 0 0 -1 22 0 0 0
[pid=22556/tid=22582] ppid=22554 vsize=1133984 CPUtime=0.05 cores=0-31
/proc/22556/task/22582/stat : 22582 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 341 0 0 0 2 3 0 0 17 0 32 0 8028508 1161199616 14977 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446744071566927024 0 0 -1 28 0 0 0
[pid=22556/tid=22583] ppid=22554 vsize=1133984 CPUtime=0.05 cores=0-31
/proc/22556/task/22583/stat : 22583 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 315 0 0 0 3 2 0 0 17 0 32 0 8028508 1161199616 15017 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446744071566929144 0 0 -1 12 0 0 0
[pid=22556/tid=22584] ppid=22554 vsize=1133984 CPUtime=0.06 cores=0-31
/proc/22556/task/22584/stat : 22584 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 607 0 0 0 2 4 0 0 18 0 32 0 8028508 1161199616 15051 268435456000 4194304 4580107 140736450564992 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=22556/tid=22585] ppid=22554 vsize=1133984 CPUtime=0.04 cores=0-31
/proc/22556/task/22585/stat : 22585 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 268 0 0 0 2 2 0 0 17 0 32 0 8028508 1161199616 15056 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446604494966128096 0 0 -1 26 0 0 0
[pid=22556/tid=22586] ppid=22554 vsize=1134176 CPUtime=0.06 cores=0-31
/proc/22556/task/22586/stat : 22586 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 390 0 0 0 3 3 0 0 17 0 32 0 8028508 1161396224 15059 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446744071566928504 0 0 -1 27 0 0 0
[pid=22556/tid=22587] ppid=22554 vsize=1134176 CPUtime=0.07 cores=0-31
/proc/22556/task/22587/stat : 22587 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 386 0 0 0 3 4 0 0 17 0 32 0 8028508 1161396224 15062 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446604490472398304 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 1133540
[startup+0.204277 s]
/proc/loadavg: 31.65 31.48 31.76 1/413 22556
/proc/meminfo: memFree=263551480/264257624 swapFree=67044764/67111528
[pid=22556] ppid=22554 vsize=1161700 CPUtime=2.92 cores=0-31
/proc/22556/stat : 22556 (strangenight2-m) S 22554 22556 22468 0 -1 4202496 28868 0 0 0 118 174 0 0 17 0 32 0 8028507 1189580800 25617 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/22556/statm: 290425 25617 332 95 0 285407 0
[pid=22556/tid=22557] ppid=22554 vsize=1161700 CPUtime=0.09 cores=0-31
/proc/22556/task/22557/stat : 22557 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 1117 0 0 0 4 5 0 0 17 0 32 0 8028508 1189580800 25832 268435456000 4194304 4580107 140736450564992 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22556/tid=22558] ppid=22554 vsize=1161700 CPUtime=0.09 cores=0-31
/proc/22556/task/22558/stat : 22558 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 941 0 0 0 4 5 0 0 17 0 32 0 8028508 1189580800 25832 268435456000 4194304 4580107 140736450564992 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22556/tid=22559] ppid=22554 vsize=1161700 CPUtime=0.09 cores=0-31
/proc/22556/task/22559/stat : 22559 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 1078 0 0 0 4 5 0 0 17 0 32 0 8028508 1189580800 25832 268435456000 4194304 4580107 140736450564992 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22556/tid=22560] ppid=22554 vsize=1161840 CPUtime=0.06 cores=0-31
/proc/22556/task/22560/stat : 22560 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 316 0 0 0 3 3 0 0 17 0 32 0 8028508 1189724160 25832 268435456000 4194304 4580107 140736450564992 18446744073709551615 258650652986 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=22556/tid=22561] ppid=22554 vsize=1161840 CPUtime=0.1 cores=0-31
/proc/22556/task/22561/stat : 22561 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 1219 0 0 0 4 6 0 0 18 0 32 0 8028508 1189724160 25851 268435456000 4194304 4580107 140736450564992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22556/tid=22562] ppid=22554 vsize=1162268 CPUtime=0.1 cores=0-31
/proc/22556/task/22562/stat : 22562 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 1204 0 0 0 4 6 0 0 17 0 32 0 8028508 1190162432 25851 268435456000 4194304 4580107 140736450564992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22556/tid=22563] ppid=22554 vsize=1161980 CPUtime=0.1 cores=0-31
/proc/22556/task/22563/stat : 22563 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 1164 0 0 0 4 6 0 0 17 0 32 0 8028508 1189867520 25986 268435456000 4194304 4580107 140736450564992 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22556/tid=22564] ppid=22554 vsize=1161980 CPUtime=0.09 cores=0-31
/proc/22556/task/22564/stat : 22564 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 1097 0 0 0 3 6 0 0 17 0 32 0 8028508 1189867520 26109 268435456000 4194304 4580107 140736450564992 18446744073709551615 258650653289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22556/tid=22565] ppid=22554 vsize=1161980 CPUtime=0.1 cores=0-31
/proc/22556/task/22565/stat : 22565 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 993 0 0 0 4 6 0 0 17 0 32 0 8028508 1189867520 26111 268435456000 4194304 4580107 140736450564992 18446744073709551615 258650653361 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22556/tid=22566] ppid=22554 vsize=1161980 CPUtime=0.08 cores=0-31
/proc/22556/task/22566/stat : 22566 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 878 0 0 0 3 5 0 0 17 0 32 0 8028508 1189867520 26111 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446604572041567712 0 0 -1 9 0 0 0
[pid=22556/tid=22567] ppid=22554 vsize=1161980 CPUtime=0.1 cores=0-31
/proc/22556/task/22567/stat : 22567 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 1223 0 0 0 4 6 0 0 17 0 32 0 8028508 1189867520 26111 268435456000 4194304 4580107 140736450564992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22556/tid=22568] ppid=22554 vsize=1161980 CPUtime=0.1 cores=0-31
/proc/22556/task/22568/stat : 22568 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 1089 0 0 0 4 6 0 0 17 0 32 0 8028508 1189867520 26111 268435456000 4194304 4580107 140736450564992 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22556/tid=22569] ppid=22554 vsize=1162120 CPUtime=0.08 cores=0-31
/proc/22556/task/22569/stat : 22569 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 889 0 0 0 4 4 0 0 17 0 32 0 8028508 1190010880 26135 268435456000 4194304 4580107 140736450564992 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22556/tid=22570] ppid=22554 vsize=1162120 CPUtime=0.05 cores=0-31
/proc/22556/task/22570/stat : 22570 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 374 0 0 0 3 2 0 0 17 0 32 0 8028508 1190010880 26135 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446604645693799904 0 0 -1 13 0 0 0
[pid=22556/tid=22571] ppid=22554 vsize=1162120 CPUtime=0.08 cores=0-31
/proc/22556/task/22571/stat : 22571 (strangenight2-m) S 22554 22556 22468 0 -1 4202560 741 0 0 0 3 5 0 0 17 0 32 0 8028508 1190010880 26141 268435456000 4194304 4580107 140736450564992 18446744073709551615 258651060958 0 0 4096 2 18446604490134371808 0 0 -1 14 0 0 0
[pid=22556/tid=22572] ppid=22554 vsize=1162120 CPUtime=0.09 cores=0-31
/proc/22556/task/22572/stat : 22572 (strangenight2-m) D 22554 22556 22468 0 -1 4202560 928 0 0 0 4 5 0 0 17 0 32 0 8028508 1190010880 26219 268435456000 4194304 4580107 140736450564992 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=22556/tid=22573] ppid=22554 vsize=1164176 CPUtime=0.07 cores=0-31
################
# More data... #
################
/proc/22556/task/22580/stat : 22580 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 18838 0 0 0 2785 58 0 0 25 0 32 0 8028508 3950583808 412572 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22556/tid=22581] ppid=22554 vsize=3857992 CPUtime=28.72 cores=0-31
/proc/22556/task/22581/stat : 22581 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17475 0 0 0 2818 54 0 0 25 0 32 0 8028508 3950583808 412572 268435456000 4194304 4580107 140736450564992 18446744073709551615 4321616 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22556/tid=22582] ppid=22554 vsize=3857992 CPUtime=28.45 cores=0-31
/proc/22556/task/22582/stat : 22582 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 15601 0 0 0 2793 52 0 0 25 0 32 0 8028508 3950583808 412572 268435456000 4194304 4580107 140736450564992 18446744073709551615 4316725 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22556/tid=22583] ppid=22554 vsize=3857992 CPUtime=28.43 cores=0-31
/proc/22556/task/22583/stat : 22583 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 19572 0 0 0 2794 49 0 0 25 0 32 0 8028508 3950583808 412572 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22556/tid=22584] ppid=22554 vsize=3857992 CPUtime=28.87 cores=0-31
/proc/22556/task/22584/stat : 22584 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 18283 0 0 0 2832 55 0 0 25 0 32 0 8028508 3950583808 412572 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22556/tid=22585] ppid=22554 vsize=3857992 CPUtime=28.5 cores=0-31
/proc/22556/task/22585/stat : 22585 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16079 0 0 0 2803 47 0 0 25 0 32 0 8028508 3950583808 412573 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=22556/tid=22586] ppid=22554 vsize=3857992 CPUtime=28.49 cores=0-31
/proc/22556/task/22586/stat : 22586 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 18208 0 0 0 2789 60 0 0 25 0 32 0 8028508 3950583808 412573 268435456000 4194304 4580107 140736450564992 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22556/tid=22587] ppid=22554 vsize=3857992 CPUtime=30.42 cores=0-31
/proc/22556/task/22587/stat : 22587 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 7841 0 0 0 3006 36 0 0 25 0 32 0 8028508 3950583808 412573 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 917.7
Current children cumulated vsize (KiB) 3857992
[startup+32.8014 s]
/proc/loadavg: 31.79 31.53 31.77 33/445 22588
/proc/meminfo: memFree=261891448/264257624 swapFree=67044764/67111528
[pid=22556] ppid=22554 vsize=3847632 CPUtime=942.65 cores=0-31
/proc/22556/stat : 22556 (strangenight2-m) R 22554 22556 22468 0 -1 4202496 551712 0 0 0 92552 1713 0 0 25 0 32 0 8028507 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/22556/statm: 961908 413899 379 95 0 956890 0
[pid=22556/tid=22557] ppid=22554 vsize=3847632 CPUtime=29.31 cores=0-31
/proc/22556/task/22557/stat : 22557 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 19284 0 0 0 2874 57 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22556/tid=22558] ppid=22554 vsize=3847632 CPUtime=29.44 cores=0-31
/proc/22556/task/22558/stat : 22558 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 19252 0 0 0 2886 58 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4295029 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22556/tid=22559] ppid=22554 vsize=3847632 CPUtime=29.39 cores=0-31
/proc/22556/task/22559/stat : 22559 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17564 0 0 0 2886 53 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22556/tid=22560] ppid=22554 vsize=3847632 CPUtime=29.27 cores=0-31
/proc/22556/task/22560/stat : 22560 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17766 0 0 0 2877 50 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4222474 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22556/tid=22561] ppid=22554 vsize=3847632 CPUtime=29.51 cores=0-31
/proc/22556/task/22561/stat : 22561 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16379 0 0 0 2897 54 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22556/tid=22562] ppid=22554 vsize=3847632 CPUtime=29.39 cores=0-31
/proc/22556/task/22562/stat : 22562 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17089 0 0 0 2887 52 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22556/tid=22563] ppid=22554 vsize=3847632 CPUtime=29.48 cores=0-31
/proc/22556/task/22563/stat : 22563 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 20297 0 0 0 2895 53 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22556/tid=22564] ppid=22554 vsize=3847632 CPUtime=29.48 cores=0-31
/proc/22556/task/22564/stat : 22564 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17378 0 0 0 2896 52 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4316720 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22556/tid=22565] ppid=22554 vsize=3847632 CPUtime=29.28 cores=0-31
/proc/22556/task/22565/stat : 22565 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 19619 0 0 0 2863 65 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=22556/tid=22566] ppid=22554 vsize=3847632 CPUtime=29.08 cores=0-31
/proc/22556/task/22566/stat : 22566 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16256 0 0 0 2857 51 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22556/tid=22567] ppid=22554 vsize=3847632 CPUtime=30.15 cores=0-31
/proc/22556/task/22567/stat : 22567 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 18058 0 0 0 2968 47 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=22556/tid=22568] ppid=22554 vsize=3847632 CPUtime=29.4 cores=0-31
/proc/22556/task/22568/stat : 22568 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17468 0 0 0 2884 56 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=22556/tid=22569] ppid=22554 vsize=3847632 CPUtime=29.32 cores=0-31
/proc/22556/task/22569/stat : 22569 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 19773 0 0 0 2878 54 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22556/tid=22570] ppid=22554 vsize=3847632 CPUtime=29.17 cores=0-31
/proc/22556/task/22570/stat : 22570 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17191 0 0 0 2866 51 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=22556/tid=22571] ppid=22554 vsize=3847632 CPUtime=29.36 cores=0-31
/proc/22556/task/22571/stat : 22571 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17859 0 0 0 2881 55 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22556/tid=22572] ppid=22554 vsize=3847632 CPUtime=29.32 cores=0-31
/proc/22556/task/22572/stat : 22572 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16343 0 0 0 2875 57 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293962 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22556/tid=22573] ppid=22554 vsize=3847632 CPUtime=29.32 cores=0-31
/proc/22556/task/22573/stat : 22573 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 14966 0 0 0 2885 47 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22556/tid=22574] ppid=22554 vsize=3847632 CPUtime=29.24 cores=0-31
/proc/22556/task/22574/stat : 22574 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16428 0 0 0 2870 54 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22556/tid=22575] ppid=22554 vsize=3847632 CPUtime=29.28 cores=0-31
/proc/22556/task/22575/stat : 22575 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16864 0 0 0 2870 58 0 0 25 0 32 0 8028508 3939975168 413899 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22556/tid=22576] ppid=22554 vsize=3847632 CPUtime=29.98 cores=0-31
/proc/22556/task/22576/stat : 22576 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16343 0 0 0 2949 49 0 0 25 0 32 0 8028508 3939975168 413900 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22556/tid=22577] ppid=22554 vsize=3847632 CPUtime=30.12 cores=0-31
/proc/22556/task/22577/stat : 22577 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 15904 0 0 0 2965 47 0 0 25 0 32 0 8028508 3939975168 413900 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22556/tid=22578] ppid=22554 vsize=3847632 CPUtime=29.23 cores=0-31
/proc/22556/task/22578/stat : 22578 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17789 0 0 0 2867 56 0 0 25 0 32 0 8028508 3939975168 413900 268435456000 4194304 4580107 140736450564992 18446744073709551615 4321646 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22556/tid=22579] ppid=22554 vsize=3847632 CPUtime=29.06 cores=0-31
/proc/22556/task/22579/stat : 22579 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17136 0 0 0 2853 53 0 0 25 0 32 0 8028508 3939975168 413900 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=22556/tid=22580] ppid=22554 vsize=3847632 CPUtime=29.21 cores=0-31
/proc/22556/task/22580/stat : 22580 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 18930 0 0 0 2863 58 0 0 25 0 32 0 8028508 3939975168 413900 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294259 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22556/tid=22581] ppid=22554 vsize=3847632 CPUtime=29.5 cores=0-31
/proc/22556/task/22581/stat : 22581 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17477 0 0 0 2896 54 0 0 25 0 32 0 8028508 3939975168 413900 268435456000 4194304 4580107 140736450564992 18446744073709551615 4295122 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22556/tid=22582] ppid=22554 vsize=3847632 CPUtime=29.23 cores=0-31
/proc/22556/task/22582/stat : 22582 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 15765 0 0 0 2871 52 0 0 25 0 32 0 8028508 3939975168 413900 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22556/tid=22583] ppid=22554 vsize=3847632 CPUtime=29.21 cores=0-31
/proc/22556/task/22583/stat : 22583 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 19645 0 0 0 2872 49 0 0 25 0 32 0 8028508 3939975168 413900 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22556/tid=22584] ppid=22554 vsize=3847632 CPUtime=29.65 cores=0-31
/proc/22556/task/22584/stat : 22584 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 18287 0 0 0 2910 55 0 0 25 0 32 0 8028508 3939975168 413900 268435456000 4194304 4580107 140736450564992 18446744073709551615 4295469 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22556/tid=22585] ppid=22554 vsize=3847632 CPUtime=29.28 cores=0-31
/proc/22556/task/22585/stat : 22585 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16103 0 0 0 2881 47 0 0 25 0 32 0 8028508 3939975168 413900 268435456000 4194304 4580107 140736450564992 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=22556/tid=22586] ppid=22554 vsize=3847632 CPUtime=29.27 cores=0-31
/proc/22556/task/22586/stat : 22586 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 18212 0 0 0 2867 60 0 0 25 0 32 0 8028508 3939975168 413900 268435456000 4194304 4580107 140736450564992 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22556/tid=22587] ppid=22554 vsize=3847632 CPUtime=31.2 cores=0-31
/proc/22556/task/22587/stat : 22587 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 7841 0 0 0 3084 36 0 0 25 0 32 0 8028508 3939975168 413900 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 942.65
Current children cumulated vsize (KiB) 3847632
[startup+33.0014 s]
/proc/loadavg: 31.80 31.53 31.77 33/445 22588
/proc/meminfo: memFree=261884008/264257624 swapFree=67044764/67111528
[pid=22556] ppid=22554 vsize=3847632 CPUtime=949.64 cores=0-31
/proc/22556/stat : 22556 (strangenight2-m) R 22554 22556 22468 0 -1 4202496 552413 0 0 0 93251 1713 0 0 25 0 32 0 8028507 3939975168 414600 268435456000 4194304 4580107 140736450564992 18446744073709551615 4295676 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/22556/statm: 961908 414600 379 95 0 956890 0
[pid=22556/tid=22557] ppid=22554 vsize=3847632 CPUtime=29.53 cores=0-31
/proc/22556/task/22557/stat : 22557 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 19330 0 0 0 2896 57 0 0 25 0 32 0 8028508 3939975168 414601 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=22556/tid=22558] ppid=22554 vsize=3847632 CPUtime=29.66 cores=0-31
/proc/22556/task/22558/stat : 22558 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 19253 0 0 0 2908 58 0 0 25 0 32 0 8028508 3939975168 414601 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22556/tid=22559] ppid=22554 vsize=3847632 CPUtime=29.61 cores=0-31
/proc/22556/task/22559/stat : 22559 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17607 0 0 0 2908 53 0 0 25 0 32 0 8028508 3939975168 414601 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22556/tid=22560] ppid=22554 vsize=3847632 CPUtime=29.49 cores=0-31
/proc/22556/task/22560/stat : 22560 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17796 0 0 0 2899 50 0 0 25 0 32 0 8028508 3939975168 414601 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=22556/tid=22561] ppid=22554 vsize=3847632 CPUtime=29.73 cores=0-31
/proc/22556/task/22561/stat : 22561 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16381 0 0 0 2919 54 0 0 25 0 32 0 8028508 3939975168 414601 268435456000 4194304 4580107 140736450564992 18446744073709551615 4295161 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=22556/tid=22562] ppid=22554 vsize=3847632 CPUtime=29.61 cores=0-31
/proc/22556/task/22562/stat : 22562 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17134 0 0 0 2909 52 0 0 25 0 32 0 8028508 3939975168 414601 268435456000 4194304 4580107 140736450564992 18446744073709551615 4295465 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22556/tid=22563] ppid=22554 vsize=3847632 CPUtime=29.7 cores=0-31
/proc/22556/task/22563/stat : 22563 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 20324 0 0 0 2917 53 0 0 25 0 32 0 8028508 3939975168 414601 268435456000 4194304 4580107 140736450564992 18446744073709551615 4295096 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=22556/tid=22564] ppid=22554 vsize=3847632 CPUtime=29.69 cores=0-31
/proc/22556/task/22564/stat : 22564 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17379 0 0 0 2917 52 0 0 25 0 32 0 8028508 3939975168 414601 268435456000 4194304 4580107 140736450564992 18446744073709551615 4316736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22556/tid=22565] ppid=22554 vsize=3847632 CPUtime=29.5 cores=0-31
/proc/22556/task/22565/stat : 22565 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 19619 0 0 0 2885 65 0 0 25 0 32 0 8028508 3939975168 414601 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=22556/tid=22566] ppid=22554 vsize=3847632 CPUtime=29.3 cores=0-31
/proc/22556/task/22566/stat : 22566 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16284 0 0 0 2879 51 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=22556/tid=22567] ppid=22554 vsize=3847632 CPUtime=30.37 cores=0-31
/proc/22556/task/22567/stat : 22567 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 18071 0 0 0 2990 47 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=22556/tid=22568] ppid=22554 vsize=3847632 CPUtime=29.62 cores=0-31
/proc/22556/task/22568/stat : 22568 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17792 0 0 0 2906 56 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=22556/tid=22569] ppid=22554 vsize=3847632 CPUtime=29.54 cores=0-31
/proc/22556/task/22569/stat : 22569 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 19775 0 0 0 2900 54 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22556/tid=22570] ppid=22554 vsize=3847632 CPUtime=29.39 cores=0-31
/proc/22556/task/22570/stat : 22570 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17193 0 0 0 2888 51 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=22556/tid=22571] ppid=22554 vsize=3847632 CPUtime=29.58 cores=0-31
/proc/22556/task/22571/stat : 22571 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17860 0 0 0 2903 55 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=22556/tid=22572] ppid=22554 vsize=3847632 CPUtime=29.54 cores=0-31
/proc/22556/task/22572/stat : 22572 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16373 0 0 0 2897 57 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=22556/tid=22573] ppid=22554 vsize=3847632 CPUtime=29.54 cores=0-31
/proc/22556/task/22573/stat : 22573 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 14967 0 0 0 2907 47 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=22556/tid=22574] ppid=22554 vsize=3847632 CPUtime=29.46 cores=0-31
/proc/22556/task/22574/stat : 22574 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16428 0 0 0 2892 54 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=22556/tid=22575] ppid=22554 vsize=3847632 CPUtime=29.5 cores=0-31
/proc/22556/task/22575/stat : 22575 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16889 0 0 0 2892 58 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=22556/tid=22576] ppid=22554 vsize=3847632 CPUtime=30.2 cores=0-31
/proc/22556/task/22576/stat : 22576 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16345 0 0 0 2971 49 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22556/tid=22577] ppid=22554 vsize=3847632 CPUtime=30.34 cores=0-31
/proc/22556/task/22577/stat : 22577 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 15904 0 0 0 2987 47 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=22556/tid=22578] ppid=22554 vsize=3847632 CPUtime=29.45 cores=0-31
/proc/22556/task/22578/stat : 22578 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17791 0 0 0 2889 56 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22556/tid=22579] ppid=22554 vsize=3847632 CPUtime=29.26 cores=0-31
/proc/22556/task/22579/stat : 22579 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17138 0 0 0 2873 53 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4295135 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=22556/tid=22580] ppid=22554 vsize=3847632 CPUtime=29.43 cores=0-31
/proc/22556/task/22580/stat : 22580 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 18964 0 0 0 2885 58 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=22556/tid=22581] ppid=22554 vsize=3847632 CPUtime=29.72 cores=0-31
/proc/22556/task/22581/stat : 22581 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 17479 0 0 0 2918 54 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=22556/tid=22582] ppid=22554 vsize=3847632 CPUtime=29.45 cores=0-31
/proc/22556/task/22582/stat : 22582 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 15766 0 0 0 2893 52 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4295561 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=22556/tid=22583] ppid=22554 vsize=3847632 CPUtime=29.43 cores=0-31
/proc/22556/task/22583/stat : 22583 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 19645 0 0 0 2894 49 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=22556/tid=22584] ppid=22554 vsize=3847632 CPUtime=29.87 cores=0-31
/proc/22556/task/22584/stat : 22584 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 18288 0 0 0 2932 55 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22556/tid=22585] ppid=22554 vsize=3847632 CPUtime=29.5 cores=0-31
/proc/22556/task/22585/stat : 22585 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 16139 0 0 0 2903 47 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=22556/tid=22586] ppid=22554 vsize=3847632 CPUtime=29.48 cores=0-31
/proc/22556/task/22586/stat : 22586 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 18212 0 0 0 2888 60 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=22556/tid=22587] ppid=22554 vsize=3847632 CPUtime=31.42 cores=0-31
/proc/22556/task/22587/stat : 22587 (strangenight2-m) R 22554 22556 22468 0 -1 4202560 7841 0 0 0 3106 36 0 0 25 0 32 0 8028508 3939975168 414602 268435456000 4194304 4580107 140736450564992 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 949.64
Current children cumulated vsize (KiB) 3847632
[startup+33.1216 s]
/proc/loadavg: 31.80 31.53 31.77 33/445 22588
/proc/meminfo: memFree=261884008/264257624 swapFree=67044764/67111528
[pid=22556] ppid=22554 vsize=0 CPUtime=950.79 cores=0-31
/proc/22556/stat : 22556 (strangenight2-m) Z 22554 22556 22468 0 -1 4203548 552477 0 0 0 93359 1720 0 0 25 0 2 0 8028507 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 23 0 0 0
/proc/22556/statm: 0 0 0 0 0 0 0
[pid=22556/tid=22580] ppid=22554 vsize=0 CPUtime=29.53 cores=0-31
/proc/22556/task/22580/stat : 22580 (strangenight2-m) R 22554 22556 22468 0 -1 4203588 18969 0 0 0 2888 65 0 0 25 0 2 0 8028508 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) 950.79
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 33.1749
CPU time (s): 950.855
CPU user time (s): 933.599
CPU system time (s): 17.2564
CPU usage (%): 2866.19
Max. virtual memory (cumulated for all children) (KiB): 3857992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 933.599
system time used= 17.2564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 552477
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= 634012
involuntary context switches= 3382
runsolver used 0.252961 second user time and 0.85087 second system time
The end
Begin job on node200 at 2011-05-31 07:43:45
IDJOB=3400809
IDBENCH=83117
IDSOLVER=1886
FILE ID=node200/3400809-1306820625
RUNJOBID= node200-1306820480-22482
PBS_JOBID= 13471338
Free space on /tmp= 61580 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400809-1306820625/watcher-3400809-1306820625 -o /tmp/evaluation-result-3400809-1306820625/solver-3400809-1306820625 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400809-1306820625.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f3c2fb082f5fbc8fb1f714d6ee13929d
RANDOM SEED=207786279
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: 263551768 kB
Buffers: 108804 kB
Cached: 395712 kB
SwapCached: 29992 kB
Active: 126616 kB
Inactive: 410704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263551768 kB
SwapTotal: 67111528 kB
SwapFree: 67044764 kB
Dirty: 6952 kB
Writeback: 16 kB
AnonPages: 28888 kB
Mapped: 8756 kB
Slab: 72836 kB
PageTables: 4352 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 194588 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= 61572 MiB
End job on node200 at 2011-05-31 07:44:19