0.00/0.00 c Outputting solution to console
0.00/0.04 c Using 32 threads
0.00/0.06 c This is CryptoMiniSat 3.0.0
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c Reading file 'HOME/instance-3400700-1306356029.cnf'
0.00/0.09 c -- header says num vars: 17710
0.00/0.09 c -- header says num clauses: 304026
22.26/1.69 c -- clauses added: 0 learnts, 304026 normals, 0 xors
22.26/1.69 c -- vars added 17710
22.26/1.69 c Parsing time: 0.26 s
22.26/1.69 c N st 0 0 17710 35671 268354 0 890579 0 no data no data
45.29/2.41 c asymm cl-useful: 470/5723/35670 lits-rem:4671 time: 0.68
116.38/9.36 c Flit: 273 Blit: 63 bXBeca: 0 bXProp: 2030 Bins: 0 BRemL: 0 BRemN: 0 P: 23.9M T: 1.97
116.38/9.39 c Cleaning up after failed var search: 0.02 s
119.56/9.42 c Replacing 2030 vars Replaced 26831 lits Time: 0.03 s
122.81/9.62 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
122.81/9.64 c bin-w-bin subsume rem 49 bins time: 0.02 s
124.96/9.82 c subs with bin: 96 lits-rem: 594 v-fix: 0 time: 0.16 s
124.96/9.89 c Subs w/ non-existent bins: 0 l-rem: 44 v-fix: 0 done: 14780 time: 0.07 s
126.81/10.01 c Removed useless bin: 586 fixed: 0 props: 5.75M time: 0.11 s
150.60/10.92 c lits-rem: 252 cl-subs: 915 v-elim: 4926 v-fix: 0 time: 0.66 s
150.60/11.02 c Finding binary XORs T: 0.09 s found: 64
154.69/11.05 c Replacing 64 vars Replaced 14000 lits Time: 0.03 s
154.69/11.12 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
154.69/11.12 c calculated reachability. Time: 0.02
154.69/11.14 c Calc default polars - time: 0.01 s pos: 1261 undec: 8081 neg: 8368
154.69/11.14 c =========================================================================================
154.69/11.14 c types(t): F = full restart, N = normal restart
154.69/11.14 c types(t): S = simplification begin/end, E = solution found
154.69/11.14 c restart types(rt): st = static, dy = dynamic
154.69/11.14 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
154.69/11.14 c B st 0 0 9790 25339 203638 0 756423 0 no data no data
183.25/12.00 c N dy 23 4064 9784 25339 203850 3726 756414 170296 30.17 33.36
202.31/12.69 c N dy 45 8460 9784 25339 204542 5118 756414 190041 33.04 35.89
260.38/14.43 c F st 50 25001 9784 25339 204759 9845 756413 264775 22.46 13.44
260.38/14.49 c N st 50 25001 9784 25078 204674 9845 753595 264736 22.46 13.44
282.12/15.18 c N dy 56 30001 9745 25078 208281 7410 753595 187911 22.46 no data
282.12/15.18 c S st 56 30001 9745 25078 208281 7410 753595 187911 22.46 no data
288.51/15.32 c S st 56 30502 9745 25078 208423 7761 753592 192768 22.46 no data
288.51/15.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
355.58/17.41 c Flit: 19 Blit: 0 bXBeca: 0 bXProp: 108 Bins: 474478 BRemL: 108177 BRemN: 5 P: 30.9M T: 2.08
355.58/17.49 c Replacing 108 vars Replaced 27964 lits Time: 0.07 s
358.78/17.52 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
358.78/17.60 c bin-w-bin subsume rem 7910 bins time: 0.08 s
381.15/18.22 c subs with bin: 795 lits-rem: 25639 v-fix: 0 time: 0.62 s
384.34/18.31 c Subs w/ non-existent bins: 0 l-rem: 1664 v-fix: 0 done: 9615 time: 0.09 s
384.34/18.36 c Removed useless bin: 1002 fixed: 0 props: 2.28M time: 0.05 s
390.74/18.57 c lits-rem: 419 cl-subs: 186 v-elim: 718 v-fix: 0 time: 0.21 s
393.94/18.68 c subs with bin: 21 lits-rem: 1726 v-fix: 0 time: 0.09 s
397.74/18.76 c lits-rem: 2711 cl-subs: 489 v-elim: 0 v-fix: 0 time: 0.06 s
409.89/19.14 c asymm cl-useful: 1308/6162/21978 lits-rem:3179 time: 0.38
409.89/19.18 c calculated reachability. Time: 0.02
409.89/19.18 c N dy 56 30502 8897 21974 543684 3398 689372 780733 22.46 no data
413.09/19.25 c Finding binary XORs T: 0.06 s found: 0
428.89/19.77 c N dy 70 34722 8808 21974 547824 7463 689341 951307 21.84 23.27
451.33/20.73 c N dy 77 42916 8793 21974 547897 9047 689331 927133 20.27 21.54
488.74/23.06 c Finding binary XORs T: 0.06 s found: 70
493.75/23.36 c S st 81 45756 8774 20498 672577 11528 657675 1284204 19.80 18.89
495.56/23.48 c S st 81 46257 8774 20498 672600 12002 657673 1294354 19.80 no data
497.44/23.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
529.80/25.20 c Flit: 7 Blit: 13 bXBeca: 0 bXProp: 27 Bins: 3964 BRemL: 134008 BRemN: 765 P: 31.9M T: 1.69
529.80/25.28 c Replacing 97 vars Replaced 31921 lits Time: 0.07 s
529.80/25.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
532.17/25.38 c bin-w-bin subsume rem 14185 bins time: 0.07 s
540.97/25.89 c subs with bin: 450 lits-rem: 8404 v-fix: 0 time: 0.51 s
542.91/25.97 c Subs w/ non-existent bins: 18 l-rem: 294 v-fix: 0 done: 8651 time: 0.08 s
544.98/26.03 c Removed useless bin: 7887 fixed: 0 props: 2.43M time: 0.05 s
549.01/26.25 c lits-rem: 710 cl-subs: 397 v-elim: 832 v-fix: 0 time: 0.22 s
557.10/26.67 c subs with bin: 351 lits-rem: 10973 v-fix: 0 time: 0.39 s
562.19/26.81 c lits-rem: 7261 cl-subs: 775 v-elim: 0 v-fix: 0 time: 0.12 s
562.19/26.84 c vivif2 -- cl tried 18812 cl shrink 1402 lits rem 5243 time: 0.03
562.19/26.87 c vivif2 -- cl tried 9053 cl shrink 3007 lits rem 9801 time: 0.03
571.00/27.15 c asymm cl-useful: 0/6772/18657 lits-rem:0 time: 0.24
571.00/27.18 c calculated reachability. Time: 0.02
571.00/27.18 c N dy 81 46257 7819 18657 467039 9050 547630 831091 19.80 no data
609.34/28.31 c N dy 92 55500 7700 18657 487117 10595 547616 858398 18.26 19.41
657.92/29.87 c N dy 93 68529 7698 16514 459499 12640 524033 850804 16.28 17.25
660.47/29.99 c S st 96 69385 7539 14081 435772 9392 499182 761694 16.23 7.65
663.67/30.09 c N st 96 69833 7539 14081 435776 9829 499178 771272 16.23 no data
679.78/33.27 c Following stats are for *FIRST FINISHED THREAD ONLY*
679.78/33.27 c num threads : 32
679.78/33.27 c restarts : 118
679.78/33.27 c dynamic restarts : 100
679.78/33.27 c static restarts : 18
679.78/33.27 c full restarts : 2
679.78/33.27 c total simplify time : 0.25
679.78/33.27 c learnts DL2 : 0
679.78/33.27 c learnts size 2 : 886044
679.78/33.27 c learnts size 1 : 2239 (12.64 % of vars)
679.78/33.27 c filedLit time : 4.10 (15.87 % time)
679.78/33.27 c v-elim SatELite : 6169 (34.83 % vars)
679.78/33.27 c SatELite time : 0.95 (3.69 % time)
679.78/33.27 c v-elim xor : 0 (0.00 % vars)
679.78/33.27 c xor elim time : 0.02 (0.06 % time)
679.78/33.27 c num binary xor trees : 659
679.78/33.27 c binxor trees' crown : 2305 (3.50 leafs/tree)
679.78/33.27 c bin xor find time : 0.25
679.78/33.27 c OTF clause improved : 2718 (0.03 clauses/conflict)
679.78/33.27 c OTF impr. size diff : 3874 (1.43 lits/clause)
679.78/33.27 c OTF cl watch-shrink : 72130 (0.72 clauses/conflict)
679.78/33.27 c OTF cl watch-sh-lit : 538239 (7.46 lits/clause)
679.78/33.27 c tried to recurMin cls : 44627 (44.66 % of conflicts)
679.78/33.27 c updated cache : 0 (0.00 lits/tried recurMin)
679.78/33.27 c unit cls recevied : 87 (3.89 % of units)
679.78/33.27 c unit cls sent : 927 (41.40 % of units)
679.78/33.27 c bin cls recevied : 299299
679.78/33.27 c bin cls sent : 33317
679.78/33.27 c clauses over max glue : 0 (0.00 % of all clauses)
679.78/33.27 c conflicts : 99919 (3864.58 / sec)
679.78/33.27 c decisions : 719761 (1.48 % random)
679.78/33.27 c bogo-props : 485003615 (18758550.40 / sec)
679.78/33.27 c conflict literals : 3801004 (33.12 % deleted)
679.78/33.27 c Memory used : 4415.57 MB
679.78/33.27 c single-thread CPU time : 25.86 s
679.78/33.27 c all-threads sum CPU time : 652.18 s
679.78/33.27 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-3400700-1306356029/watcher-3400700-1306356029 -o /tmp/evaluation-result-3400700-1306356029/solver-3400700-1306356029 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400700-1306356029.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: 13.35 22.17 14.93 1/413 17937
/proc/meminfo: memFree=255138380/264257624 swapFree=67111528/67111528
[pid=17937] ppid=17935 vsize=338000 CPUtime=0.71 cores=0-31
/proc/17937/stat : 17937 (strangenight2-m) R 17935 17937 17911 0 -1 4202496 436 0 0 0 71 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628278 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17937/statm: 84500 376 297 95 0 79482 0
[pid=17937/tid=17938] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17938/stat : 17938 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17937/tid=17939] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17939/stat : 17939 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17937/tid=17940] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17940/stat : 17940 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628268 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17937/tid=17941] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17941/stat : 17941 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628268 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17937/tid=17942] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17942/stat : 17942 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628268 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17937/tid=17943] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17943/stat : 17943 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17937/tid=17944] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17944/stat : 17944 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17937/tid=17945] ppid=17935 vsize=338000 CPUtime=0 cores=0-31
/proc/17937/task/17945/stat : 17945 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628264 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17937/tid=17946] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17946/stat : 17946 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17937/tid=17947] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17947/stat : 17947 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628268 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17937/tid=17948] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17948/stat : 17948 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628278 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17937/tid=17949] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17949/stat : 17949 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17937/tid=17950] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17950/stat : 17950 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17937/tid=17951] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17951/stat : 17951 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17937/tid=17952] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17952/stat : 17952 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17937/tid=17953] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17953/stat : 17953 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17937/tid=17954] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17954/stat : 17954 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17937/tid=17955] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17955/stat : 17955 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17937/tid=17956] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17956/stat : 17956 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628272 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17937/tid=17957] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17957/stat : 17957 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17937/tid=17958] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17958/stat : 17958 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17937/tid=17959] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17959/stat : 17959 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628272 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17937/tid=17960] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17960/stat : 17960 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17937/tid=17961] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17961/stat : 17961 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628264 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17937/tid=17962] ppid=17935 vsize=338000 CPUtime=0 cores=0-31
/proc/17937/task/17962/stat : 17962 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17937/tid=17963] ppid=17935 vsize=338000 CPUtime=0 cores=0-31
/proc/17937/task/17963/stat : 17963 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17937/tid=17964] ppid=17935 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17937/task/17964/stat : 17964 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628268 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17937/tid=17965] ppid=17935 vsize=338000 CPUtime=0 cores=0-31
/proc/17937/task/17965/stat : 17965 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628268 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17937/tid=17966] ppid=17935 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17937/task/17966/stat : 17966 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628268 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17937/tid=17967] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17967/stat : 17967 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089356 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17937/tid=17968] ppid=17935 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17937/task/17968/stat : 17968 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747089357 346112000 376 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222628274 0 0 4096 2 0 0 0 -1 25 0 0 0
[startup+0.105961 s]
/proc/loadavg: 13.35 22.17 14.93 1/413 17937
/proc/meminfo: memFree=255138380/264257624 swapFree=67111528/67111528
[pid=17937] ppid=17935 vsize=1323184 CPUtime=2.19 cores=0-31
/proc/17937/stat : 17937 (strangenight2-m) S 17935 17937 17911 0 -1 4202496 9979 0 0 0 134 85 0 0 17 0 32 0 747089356 1354940416 9817 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17937/statm: 330796 9832 334 95 0 325778 0
[pid=17937/tid=17938] ppid=17935 vsize=1323184 CPUtime=0.07 cores=0-31
/proc/17937/task/17938/stat : 17938 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 288 0 0 0 4 3 0 0 17 0 32 0 747089356 1354940416 9838 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17937/tid=17939] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17939/stat : 17939 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 276 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9841 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744071566930144 0 0 -1 2 0 0 0
[pid=17937/tid=17940] ppid=17935 vsize=1323184 CPUtime=0.05 cores=0-31
/proc/17937/task/17940/stat : 17940 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 316 0 0 0 4 1 0 0 17 0 32 0 747089356 1354940416 9852 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17937/tid=17941] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17941/stat : 17941 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 285 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9854 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17937/tid=17942] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17942/stat : 17942 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 366 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9867 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604478273658336 0 0 -1 8 0 0 0
[pid=17937/tid=17943] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17943/stat : 17943 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 276 0 0 0 4 2 0 0 24 0 32 0 747089356 1354940416 9889 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744071566926984 0 0 -1 6 0 0 0
[pid=17937/tid=17944] ppid=17935 vsize=1323184 CPUtime=0.07 cores=0-31
/proc/17937/task/17944/stat : 17944 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 354 0 0 0 5 2 0 0 18 0 32 0 747089356 1354940416 9890 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744071566927864 0 0 -1 3 0 0 0
[pid=17937/tid=17945] ppid=17935 vsize=1323184 CPUtime=0.02 cores=0-31
/proc/17937/task/17945/stat : 17945 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 282 0 0 0 0 2 0 0 17 0 32 0 747089356 1354940416 9901 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604478273658336 0 0 -1 27 0 0 0
[pid=17937/tid=17946] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17946/stat : 17946 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 291 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9903 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604481068006880 0 0 -1 0 0 0 0
[pid=17937/tid=17947] ppid=17935 vsize=1323184 CPUtime=0.07 cores=0-31
/proc/17937/task/17947/stat : 17947 (strangenight2-m) D 17935 17937 17911 0 -1 4202560 277 0 0 0 4 3 0 0 17 0 32 0 747089356 1354940416 9914 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17937/tid=17948] ppid=17935 vsize=1323184 CPUtime=0.07 cores=0-31
/proc/17937/task/17948/stat : 17948 (strangenight2-m) D 17935 17937 17911 0 -1 4202560 322 0 0 0 4 3 0 0 17 0 32 0 747089356 1354940416 9917 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17937/tid=17949] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17949/stat : 17949 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 297 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9938 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 18446604475683102176 0 0 -1 7 0 0 0
[pid=17937/tid=17950] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17950/stat : 17950 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 322 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9941 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17937/tid=17951] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17951/stat : 17951 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 330 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9953 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17937/tid=17952] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17952/stat : 17952 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 275 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9954 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17937/tid=17953] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17953/stat : 17953 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 326 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9956 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604504018378208 0 0 -1 28 0 0 0
[pid=17937/tid=17954] ppid=17935 vsize=1323184 CPUtime=0.07 cores=0-31
/proc/17937/task/17954/stat : 17954 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 304 0 0 0 4 3 0 0 17 0 32 0 747089356 1354940416 9957 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17937/tid=17955] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17955/stat : 17955 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 329 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9973 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744071566924944 0 0 -1 18 0 0 0
[pid=17937/tid=17956] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17956/stat : 17956 (strangenight2-m) D 17935 17937 17911 0 -1 4202560 284 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 9989 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17937/tid=17957] ppid=17935 vsize=1323184 CPUtime=0.07 cores=0-31
/proc/17937/task/17957/stat : 17957 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 280 0 0 0 4 3 0 0 17 0 32 0 747089356 1354940416 10003 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604502585146848 0 0 -1 21 0 0 0
[pid=17937/tid=17958] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17958/stat : 17958 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 300 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 10008 268435456000 4194304 4580107 140736829405056 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17937/tid=17959] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17959/stat : 17959 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 299 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 10011 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17937/tid=17960] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17960/stat : 17960 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 316 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 10036 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17937/tid=17961] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17961/stat : 17961 (strangenight2-m) D 17935 17937 17911 0 -1 4202560 283 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 10036 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17937/tid=17962] ppid=17935 vsize=1323184 CPUtime=0.03 cores=0-31
/proc/17937/task/17962/stat : 17962 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 324 0 0 0 1 2 0 0 17 0 32 0 747089356 1354940416 10041 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17937/tid=17963] ppid=17935 vsize=1323184 CPUtime=0.03 cores=0-31
/proc/17937/task/17963/stat : 17963 (strangenight2-m) D 17935 17937 17911 0 -1 4202560 273 0 0 0 1 2 0 0 17 0 32 0 747089356 1354940416 10051 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17937/tid=17964] ppid=17935 vsize=1323184 CPUtime=0.05 cores=0-31
/proc/17937/task/17964/stat : 17964 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 308 0 0 0 3 2 0 0 17 0 32 0 747089356 1354940416 10054 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604499888831968 0 0 -1 29 0 0 0
[pid=17937/tid=17965] ppid=17935 vsize=1323184 CPUtime=0.04 cores=0-31
/proc/17937/task/17965/stat : 17965 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 300 0 0 0 2 2 0 0 17 0 32 0 747089356 1354940416 10065 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744071566926704 0 0 -1 31 0 0 0
[pid=17937/tid=17966] ppid=17935 vsize=1323184 CPUtime=0.05 cores=0-31
/proc/17937/task/17966/stat : 17966 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 278 0 0 0 3 2 0 0 17 0 32 0 747089356 1354940416 10069 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604479975079392 0 0 -1 23 0 0 0
[pid=17937/tid=17967] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17967/stat : 17967 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 314 0 0 0 4 2 0 0 17 0 32 0 747089356 1354940416 10072 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744071566927864 0 0 -1 12 0 0 0
[pid=17937/tid=17968] ppid=17935 vsize=1323184 CPUtime=0.06 cores=0-31
/proc/17937/task/17968/stat : 17968 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 305 0 0 0 4 2 0 0 17 0 32 0 747089357 1354940416 10080 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 1323184
[startup+0.204949 s]
/proc/loadavg: 13.35 22.17 14.93 1/413 17937
/proc/meminfo: memFree=255138380/264257624 swapFree=67111528/67111528
[pid=17937] ppid=17935 vsize=1335392 CPUtime=3.92 cores=0-31
/proc/17937/stat : 17937 (strangenight2-m) R 17935 17937 17911 0 -1 4202496 20466 0 0 0 188 204 0 0 17 0 32 0 747089356 1367441408 19869 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17937/statm: 333848 19916 334 95 0 328830 0
[pid=17937/tid=17938] ppid=17935 vsize=1335392 CPUtime=0.12 cores=0-31
/proc/17937/task/17938/stat : 17938 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 552 0 0 0 6 6 0 0 17 0 32 0 747089356 1367441408 19920 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17937/tid=17939] ppid=17935 vsize=1335392 CPUtime=0.13 cores=0-31
/proc/17937/task/17939/stat : 17939 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 562 0 0 0 6 7 0 0 17 0 32 0 747089356 1367441408 19949 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604480845798880 0 0 -1 2 0 0 0
[pid=17937/tid=17940] ppid=17935 vsize=1335392 CPUtime=0.11 cores=0-31
/proc/17937/task/17940/stat : 17940 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 619 0 0 0 6 5 0 0 17 0 32 0 747089356 1367441408 19987 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604480797548000 0 0 -1 4 0 0 0
[pid=17937/tid=17941] ppid=17935 vsize=1335392 CPUtime=0.12 cores=0-31
/proc/17937/task/17941/stat : 17941 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 630 0 0 0 6 6 0 0 17 0 32 0 747089356 1367441408 19991 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604478273658336 0 0 -1 5 0 0 0
[pid=17937/tid=17942] ppid=17935 vsize=1335392 CPUtime=0.13 cores=0-31
/proc/17937/task/17942/stat : 17942 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 762 0 0 0 7 6 0 0 17 0 32 0 747089356 1367441408 20016 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17937/tid=17943] ppid=17935 vsize=1335644 CPUtime=0.12 cores=0-31
/proc/17937/task/17943/stat : 17943 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 538 0 0 0 6 6 0 0 17 0 32 0 747089356 1367699456 20036 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17937/tid=17944] ppid=17935 vsize=1335644 CPUtime=0.13 cores=0-31
/proc/17937/task/17944/stat : 17944 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 1065 0 0 0 7 6 0 0 17 0 32 0 747089356 1367699456 20050 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17937/tid=17945] ppid=17935 vsize=1335644 CPUtime=0.08 cores=0-31
/proc/17937/task/17945/stat : 17945 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 538 0 0 0 2 6 0 0 17 0 32 0 747089356 1367699456 20057 268435456000 4194304 4580107 140736829405056 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17937/tid=17946] ppid=17935 vsize=1335644 CPUtime=0.11 cores=0-31
/proc/17937/task/17946/stat : 17946 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 533 0 0 0 6 5 0 0 17 0 32 0 747089356 1367699456 20064 268435456000 4194304 4580107 140736829405056 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17937/tid=17947] ppid=17935 vsize=1335644 CPUtime=0.12 cores=0-31
/proc/17937/task/17947/stat : 17947 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 582 0 0 0 6 6 0 0 17 0 32 0 747089356 1367699456 20074 268435456000 4194304 4580107 140736829405056 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17937/tid=17948] ppid=17935 vsize=1335644 CPUtime=0.13 cores=0-31
/proc/17937/task/17948/stat : 17948 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 666 0 0 0 6 7 0 0 17 0 32 0 747089356 1367699456 20081 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604505797598688 0 0 -1 10 0 0 0
[pid=17937/tid=17949] ppid=17935 vsize=1335644 CPUtime=0.12 cores=0-31
/proc/17937/task/17949/stat : 17949 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 599 0 0 0 7 5 0 0 17 0 32 0 747089356 1367699456 20110 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17937/tid=17950] ppid=17935 vsize=1335644 CPUtime=0.12 cores=0-31
/proc/17937/task/17950/stat : 17950 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 713 0 0 0 7 5 0 0 17 0 32 0 747089356 1367699456 20115 268435456000 4194304 4580107 140736829405056 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17937/tid=17951] ppid=17935 vsize=1335644 CPUtime=0.12 cores=0-31
/proc/17937/task/17951/stat : 17951 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 734 0 0 0 7 5 0 0 17 0 32 0 747089356 1367699456 20122 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651060958 0 0 4096 2 18446604502585146848 0 0 -1 14 0 0 0
[pid=17937/tid=17952] ppid=17935 vsize=1335644 CPUtime=0.11 cores=0-31
/proc/17937/task/17952/stat : 17952 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 531 0 0 0 5 6 0 0 17 0 32 0 747089356 1367699456 20143 268435456000 4194304 4580107 140736829405056 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17937/tid=17953] ppid=17935 vsize=1335644 CPUtime=0.1 cores=0-31
/proc/17937/task/17953/stat : 17953 (strangenight2-m) D 17935 17937 17911 0 -1 4202560 634 0 0 0 5 5 0 0 17 0 32 0 747089356 1367699456 20151 268435456000 4194304 4580107 140736829405056 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17937/tid=17954] ppid=17935 vsize=1335644 CPUtime=0.12 cores=0-31
################
# More data... #
################
[pid=17937/tid=17967] ppid=17935 vsize=4521540 CPUtime=19.91 cores=0-31
/proc/17937/task/17967/stat : 17967 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 25874 0 0 0 1896 95 0 0 25 0 32 0 747089356 4630056960 685943 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504984911328 0 0 -1 16 0 0 0
[pid=17937/tid=17968] ppid=17935 vsize=4521540 CPUtime=23.56 cores=0-31
/proc/17937/task/17968/stat : 17968 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 19375 0 0 0 2296 60 0 0 18 0 32 0 747089357 4630056960 685943 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504705842656 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 677.44
Current children cumulated vsize (KiB) 4521540
[startup+32.8022 s]
/proc/loadavg: 16.96 22.19 15.21 3/445 17971
/proc/meminfo: memFree=252386888/264257624 swapFree=67111528/67111528
[pid=17937] ppid=17935 vsize=4521540 CPUtime=678.99 cores=0-31
/proc/17937/stat : 17937 (strangenight2-m) S 17935 17937 17911 0 -1 4202496 817903 0 0 0 65124 2775 0 0 25 0 32 0 747089356 4630056960 686470 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17937/statm: 1130385 686470 378 95 0 1125367 0
[pid=17937/tid=17938] ppid=17935 vsize=4521540 CPUtime=22.81 cores=0-31
/proc/17937/task/17938/stat : 17938 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27832 0 0 0 2195 86 0 0 25 0 32 0 747089356 4630056960 686470 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604487842872800 0 0 -1 18 0 0 0
[pid=17937/tid=17939] ppid=17935 vsize=4521540 CPUtime=21.95 cores=0-31
/proc/17937/task/17939/stat : 17939 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26364 0 0 0 2106 89 0 0 20 0 32 0 747089356 4630056960 686470 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604479975079392 0 0 -1 30 0 0 0
[pid=17937/tid=17940] ppid=17935 vsize=4521540 CPUtime=23.02 cores=0-31
/proc/17937/task/17940/stat : 17940 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 29079 0 0 0 2223 79 0 0 25 0 32 0 747089356 4630056960 686470 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604507956379104 0 0 -1 13 0 0 0
[pid=17937/tid=17941] ppid=17935 vsize=4521540 CPUtime=22.5 cores=0-31
/proc/17937/task/17941/stat : 17941 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 29834 0 0 0 2153 97 0 0 25 0 32 0 747089356 4630056960 686470 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604502585146848 0 0 -1 5 0 0 0
[pid=17937/tid=17942] ppid=17935 vsize=4521540 CPUtime=26.18 cores=0-31
/proc/17937/task/17942/stat : 17942 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 31058 0 0 0 2538 80 0 0 25 0 32 0 747089356 4630056960 686475 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222603307 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17937/tid=17943] ppid=17935 vsize=4521540 CPUtime=21.06 cores=0-31
/proc/17937/task/17943/stat : 17943 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24520 0 0 0 2022 84 0 0 25 0 32 0 747089356 4630056960 686480 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505848348128 0 0 -1 14 0 0 0
[pid=17937/tid=17944] ppid=17935 vsize=4521540 CPUtime=22.03 cores=0-31
/proc/17937/task/17944/stat : 17944 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27302 0 0 0 2111 92 0 0 25 0 32 0 747089356 4630056960 686480 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604479052996064 0 0 -1 21 0 0 0
[pid=17937/tid=17945] ppid=17935 vsize=4521540 CPUtime=20.69 cores=0-31
/proc/17937/task/17945/stat : 17945 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26534 0 0 0 1967 102 0 0 25 0 32 0 747089356 4630056960 686480 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604475683102176 0 0 -1 25 0 0 0
[pid=17937/tid=17946] ppid=17935 vsize=4521540 CPUtime=18.55 cores=0-31
/proc/17937/task/17946/stat : 17946 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 23430 0 0 0 1783 72 0 0 25 0 32 0 747089356 4630056960 686480 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505797598688 0 0 -1 20 0 0 0
[pid=17937/tid=17947] ppid=17935 vsize=4521540 CPUtime=23.86 cores=0-31
/proc/17937/task/17947/stat : 17947 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27366 0 0 0 2292 94 0 0 25 0 32 0 747089356 4630056960 686480 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604475858861536 0 0 -1 7 0 0 0
[pid=17937/tid=17948] ppid=17935 vsize=4521540 CPUtime=19.8 cores=0-31
/proc/17937/task/17948/stat : 17948 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26580 0 0 0 1890 90 0 0 25 0 32 0 747089356 4630056960 686480 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604481701125600 0 0 -1 4 0 0 0
[pid=17937/tid=17949] ppid=17935 vsize=4521540 CPUtime=18.76 cores=0-31
/proc/17937/task/17949/stat : 17949 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 23909 0 0 0 1783 93 0 0 25 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604480797548000 0 0 -1 6 0 0 0
[pid=17937/tid=17950] ppid=17935 vsize=4521540 CPUtime=25.75 cores=0-31
/proc/17937/task/17950/stat : 17950 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 26367 0 0 0 2490 85 0 0 25 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 4401342 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17937/tid=17951] ppid=17935 vsize=4521540 CPUtime=20.46 cores=0-31
/proc/17937/task/17951/stat : 17951 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 22762 0 0 0 1962 84 0 0 25 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504018378208 0 0 -1 9 0 0 0
[pid=17937/tid=17952] ppid=17935 vsize=4521540 CPUtime=18.61 cores=0-31
/proc/17937/task/17952/stat : 17952 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24286 0 0 0 1780 81 0 0 20 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604497727847904 0 0 -1 22 0 0 0
[pid=17937/tid=17953] ppid=17935 vsize=4521540 CPUtime=22.42 cores=0-31
/proc/17937/task/17953/stat : 17953 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 21524 0 0 0 2165 77 0 0 25 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504179301856 0 0 -1 10 0 0 0
[pid=17937/tid=17954] ppid=17935 vsize=4521540 CPUtime=19.76 cores=0-31
/proc/17937/task/17954/stat : 17954 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26713 0 0 0 1896 80 0 0 20 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604499654434272 0 0 -1 7 0 0 0
[pid=17937/tid=17955] ppid=17935 vsize=4521540 CPUtime=21.42 cores=0-31
/proc/17937/task/17955/stat : 17955 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27259 0 0 0 2062 80 0 0 25 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604474427407840 0 0 -1 12 0 0 0
[pid=17937/tid=17956] ppid=17935 vsize=4521540 CPUtime=18.59 cores=0-31
/proc/17937/task/17956/stat : 17956 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24260 0 0 0 1764 95 0 0 22 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604487482121696 0 0 -1 19 0 0 0
[pid=17937/tid=17957] ppid=17935 vsize=4521540 CPUtime=20.19 cores=0-31
/proc/17937/task/17957/stat : 17957 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24753 0 0 0 1924 95 0 0 20 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505808494048 0 0 -1 29 0 0 0
[pid=17937/tid=17958] ppid=17935 vsize=4521540 CPUtime=20.29 cores=0-31
/proc/17937/task/17958/stat : 17958 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27505 0 0 0 1937 92 0 0 20 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604499888831968 0 0 -1 5 0 0 0
[pid=17937/tid=17959] ppid=17935 vsize=4521540 CPUtime=19.27 cores=0-31
/proc/17937/task/17959/stat : 17959 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 22947 0 0 0 1845 82 0 0 20 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604480845798880 0 0 -1 11 0 0 0
[pid=17937/tid=17960] ppid=17935 vsize=4521540 CPUtime=21.06 cores=0-31
/proc/17937/task/17960/stat : 17960 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26586 0 0 0 2031 75 0 0 20 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604487471742432 0 0 -1 1 0 0 0
[pid=17937/tid=17961] ppid=17935 vsize=4521540 CPUtime=18.92 cores=0-31
/proc/17937/task/17961/stat : 17961 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24292 0 0 0 1805 87 0 0 20 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505818783200 0 0 -1 26 0 0 0
[pid=17937/tid=17962] ppid=17935 vsize=4521540 CPUtime=20.79 cores=0-31
/proc/17937/task/17962/stat : 17962 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26883 0 0 0 1993 86 0 0 18 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604478273658336 0 0 -1 24 0 0 0
[pid=17937/tid=17963] ppid=17935 vsize=4521540 CPUtime=22.15 cores=0-31
/proc/17937/task/17963/stat : 17963 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 23751 0 0 0 2122 93 0 0 25 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504738938336 0 0 -1 15 0 0 0
[pid=17937/tid=17964] ppid=17935 vsize=4521540 CPUtime=18.54 cores=0-31
/proc/17937/task/17964/stat : 17964 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26253 0 0 0 1758 96 0 0 25 0 32 0 747089356 4630056960 686481 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446744071566932544 0 0 -1 3 0 0 0
[pid=17937/tid=17965] ppid=17935 vsize=4521540 CPUtime=22.04 cores=0-31
/proc/17937/task/17965/stat : 17965 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26805 0 0 0 2125 79 0 0 25 0 32 0 747089356 4630056960 686484 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604481068006880 0 0 -1 27 0 0 0
[pid=17937/tid=17966] ppid=17935 vsize=4521540 CPUtime=21.75 cores=0-31
/proc/17937/task/17966/stat : 17966 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 21346 0 0 0 2078 97 0 0 18 0 32 0 747089356 4630056960 686485 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604481446157792 0 0 -1 25 0 0 0
[pid=17937/tid=17967] ppid=17935 vsize=4521540 CPUtime=19.91 cores=0-31
/proc/17937/task/17967/stat : 17967 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 25874 0 0 0 1896 95 0 0 25 0 32 0 747089356 4630056960 686485 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504984911328 0 0 -1 16 0 0 0
[pid=17937/tid=17968] ppid=17935 vsize=4521540 CPUtime=23.56 cores=0-31
/proc/17937/task/17968/stat : 17968 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 19375 0 0 0 2296 60 0 0 18 0 32 0 747089357 4630056960 686485 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504705842656 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 678.99
Current children cumulated vsize (KiB) 4521540
[startup+33.2022 s]
/proc/loadavg: 16.96 22.19 15.21 3/445 17971
/proc/meminfo: memFree=252382532/264257624 swapFree=67111528/67111528
[pid=17937] ppid=17935 vsize=4521540 CPUtime=679.78 cores=0-31
/proc/17937/stat : 17937 (strangenight2-m) S 17935 17937 17911 0 -1 4202496 818433 0 0 0 65203 2775 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17937/statm: 1130385 686999 378 95 0 1125367 0
[pid=17937/tid=17938] ppid=17935 vsize=4521540 CPUtime=22.81 cores=0-31
/proc/17937/task/17938/stat : 17938 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27832 0 0 0 2195 86 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604487842872800 0 0 -1 18 0 0 0
[pid=17937/tid=17939] ppid=17935 vsize=4521540 CPUtime=21.95 cores=0-31
/proc/17937/task/17939/stat : 17939 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26364 0 0 0 2106 89 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604479975079392 0 0 -1 30 0 0 0
[pid=17937/tid=17940] ppid=17935 vsize=4521540 CPUtime=23.02 cores=0-31
/proc/17937/task/17940/stat : 17940 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 29079 0 0 0 2223 79 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604507956379104 0 0 -1 13 0 0 0
[pid=17937/tid=17941] ppid=17935 vsize=4521540 CPUtime=22.5 cores=0-31
/proc/17937/task/17941/stat : 17941 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 29834 0 0 0 2153 97 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604502585146848 0 0 -1 5 0 0 0
[pid=17937/tid=17942] ppid=17935 vsize=4521540 CPUtime=26.58 cores=0-31
/proc/17937/task/17942/stat : 17942 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 31058 0 0 0 2578 80 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222603460 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17937/tid=17943] ppid=17935 vsize=4521540 CPUtime=21.06 cores=0-31
/proc/17937/task/17943/stat : 17943 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24520 0 0 0 2022 84 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505848348128 0 0 -1 14 0 0 0
[pid=17937/tid=17944] ppid=17935 vsize=4521540 CPUtime=22.03 cores=0-31
/proc/17937/task/17944/stat : 17944 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27302 0 0 0 2111 92 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604479052996064 0 0 -1 21 0 0 0
[pid=17937/tid=17945] ppid=17935 vsize=4521540 CPUtime=20.69 cores=0-31
/proc/17937/task/17945/stat : 17945 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26534 0 0 0 1967 102 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604475683102176 0 0 -1 25 0 0 0
[pid=17937/tid=17946] ppid=17935 vsize=4521540 CPUtime=18.55 cores=0-31
/proc/17937/task/17946/stat : 17946 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 23430 0 0 0 1783 72 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505797598688 0 0 -1 20 0 0 0
[pid=17937/tid=17947] ppid=17935 vsize=4521540 CPUtime=23.86 cores=0-31
/proc/17937/task/17947/stat : 17947 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27366 0 0 0 2292 94 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604475858861536 0 0 -1 7 0 0 0
[pid=17937/tid=17948] ppid=17935 vsize=4521540 CPUtime=19.8 cores=0-31
/proc/17937/task/17948/stat : 17948 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26580 0 0 0 1890 90 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604481701125600 0 0 -1 4 0 0 0
[pid=17937/tid=17949] ppid=17935 vsize=4521540 CPUtime=18.76 cores=0-31
/proc/17937/task/17949/stat : 17949 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 23909 0 0 0 1783 93 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604480797548000 0 0 -1 6 0 0 0
[pid=17937/tid=17950] ppid=17935 vsize=4521540 CPUtime=26.15 cores=0-31
/proc/17937/task/17950/stat : 17950 (strangenight2-m) R 17935 17937 17911 0 -1 4202560 26886 0 0 0 2530 85 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 4293968 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17937/tid=17951] ppid=17935 vsize=4521540 CPUtime=20.46 cores=0-31
/proc/17937/task/17951/stat : 17951 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 22762 0 0 0 1962 84 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504018378208 0 0 -1 9 0 0 0
[pid=17937/tid=17952] ppid=17935 vsize=4521540 CPUtime=18.61 cores=0-31
/proc/17937/task/17952/stat : 17952 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24286 0 0 0 1780 81 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604497727847904 0 0 -1 22 0 0 0
[pid=17937/tid=17953] ppid=17935 vsize=4521540 CPUtime=22.42 cores=0-31
/proc/17937/task/17953/stat : 17953 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 21524 0 0 0 2165 77 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504179301856 0 0 -1 10 0 0 0
[pid=17937/tid=17954] ppid=17935 vsize=4521540 CPUtime=19.76 cores=0-31
/proc/17937/task/17954/stat : 17954 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26713 0 0 0 1896 80 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604499654434272 0 0 -1 7 0 0 0
[pid=17937/tid=17955] ppid=17935 vsize=4521540 CPUtime=21.42 cores=0-31
/proc/17937/task/17955/stat : 17955 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27259 0 0 0 2062 80 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604474427407840 0 0 -1 12 0 0 0
[pid=17937/tid=17956] ppid=17935 vsize=4521540 CPUtime=18.59 cores=0-31
/proc/17937/task/17956/stat : 17956 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24260 0 0 0 1764 95 0 0 22 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604487482121696 0 0 -1 19 0 0 0
[pid=17937/tid=17957] ppid=17935 vsize=4521540 CPUtime=20.19 cores=0-31
/proc/17937/task/17957/stat : 17957 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24753 0 0 0 1924 95 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505808494048 0 0 -1 29 0 0 0
[pid=17937/tid=17958] ppid=17935 vsize=4521540 CPUtime=20.29 cores=0-31
/proc/17937/task/17958/stat : 17958 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 27505 0 0 0 1937 92 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604499888831968 0 0 -1 5 0 0 0
[pid=17937/tid=17959] ppid=17935 vsize=4521540 CPUtime=19.27 cores=0-31
/proc/17937/task/17959/stat : 17959 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 22947 0 0 0 1845 82 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604480845798880 0 0 -1 11 0 0 0
[pid=17937/tid=17960] ppid=17935 vsize=4521540 CPUtime=21.06 cores=0-31
/proc/17937/task/17960/stat : 17960 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26586 0 0 0 2031 75 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604487471742432 0 0 -1 1 0 0 0
[pid=17937/tid=17961] ppid=17935 vsize=4521540 CPUtime=18.92 cores=0-31
/proc/17937/task/17961/stat : 17961 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 24292 0 0 0 1805 87 0 0 20 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604505818783200 0 0 -1 26 0 0 0
[pid=17937/tid=17962] ppid=17935 vsize=4521540 CPUtime=20.79 cores=0-31
/proc/17937/task/17962/stat : 17962 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26883 0 0 0 1993 86 0 0 18 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604478273658336 0 0 -1 24 0 0 0
[pid=17937/tid=17963] ppid=17935 vsize=4521540 CPUtime=22.15 cores=0-31
/proc/17937/task/17963/stat : 17963 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 23751 0 0 0 2122 93 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504738938336 0 0 -1 15 0 0 0
[pid=17937/tid=17964] ppid=17935 vsize=4521540 CPUtime=18.54 cores=0-31
/proc/17937/task/17964/stat : 17964 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26253 0 0 0 1758 96 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446744071566932544 0 0 -1 3 0 0 0
[pid=17937/tid=17965] ppid=17935 vsize=4521540 CPUtime=22.04 cores=0-31
/proc/17937/task/17965/stat : 17965 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 26805 0 0 0 2125 79 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604481068006880 0 0 -1 27 0 0 0
[pid=17937/tid=17966] ppid=17935 vsize=4521540 CPUtime=21.75 cores=0-31
/proc/17937/task/17966/stat : 17966 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 21346 0 0 0 2078 97 0 0 18 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604481446157792 0 0 -1 25 0 0 0
[pid=17937/tid=17967] ppid=17935 vsize=4521540 CPUtime=19.91 cores=0-31
/proc/17937/task/17967/stat : 17967 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 25874 0 0 0 1896 95 0 0 25 0 32 0 747089356 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504984911328 0 0 -1 16 0 0 0
[pid=17937/tid=17968] ppid=17935 vsize=4521540 CPUtime=23.56 cores=0-31
/proc/17937/task/17968/stat : 17968 (strangenight2-m) S 17935 17937 17911 0 -1 4202560 19375 0 0 0 2296 60 0 0 18 0 32 0 747089357 4630056960 686999 268435456000 4194304 4580107 140736829405056 18446744073709551615 46939222627892 0 0 4096 2 18446604504705842656 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 679.78
Current children cumulated vsize (KiB) 4521540
[startup+33.4012 s]
/proc/loadavg: 16.96 22.19 15.21 3/445 17971
/proc/meminfo: memFree=252382532/264257624 swapFree=67111528/67111528
[pid=17937] ppid=17935 vsize=0 CPUtime=680.06 cores=0-31
/proc/17937/stat : 17937 (strangenight2-m) Z 17935 17937 17911 0 -1 4203548 818437 0 0 0 65218 2788 0 0 18 0 2 0 747089356 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17937/statm: 0 0 0 0 0 0 0
[pid=17937/tid=17950] ppid=17935 vsize=0 CPUtime=26.35 cores=0-31
/proc/17937/task/17950/stat : 17950 (strangenight2-m) R 17935 17937 17911 0 -1 4203588 26886 0 0 0 2537 98 0 0 25 0 2 0 747089356 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 680.06
Current children cumulated vsize (KiB) 0
[startup+33.5012 s]
/proc/loadavg: 16.96 22.19 15.21 3/445 17971
/proc/meminfo: memFree=252382532/264257624 swapFree=67111528/67111528
[pid=17937] ppid=17935 vsize=0 CPUtime=680.16 cores=0-31
/proc/17937/stat : 17937 (strangenight2-m) Z 17935 17937 17911 0 -1 4203548 818437 0 0 0 65218 2798 0 0 18 0 2 0 747089356 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/17937/statm: 0 0 0 0 0 0 0
[pid=17937/tid=17950] ppid=17935 vsize=0 CPUtime=26.45 cores=0-31
/proc/17937/task/17950/stat : 17950 (strangenight2-m) R 17935 17937 17911 0 -1 4203588 26886 0 0 0 2537 108 0 0 25 0 2 0 747089356 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 680.16
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 33.5338
CPU time (s): 680.201
CPU user time (s): 652.185
CPU system time (s): 28.0157
CPU usage (%): 2028.4
Max. virtual memory (cumulated for all children) (KiB): 4551664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 652.185
system time used= 28.0157
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 818437
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= 1341758
involuntary context switches= 13638
runsolver used 0.312952 second user time and 0.98185 second system time
The end
Begin job on node200 at 2011-05-25 22:40:29
IDJOB=3400700
IDBENCH=71718
IDSOLVER=1886
FILE ID=node200/3400700-1306356029
RUNJOBID= node200-1306356029-17925
PBS_JOBID= 13411802
Free space on /tmp= 62040 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400700-1306356029/watcher-3400700-1306356029 -o /tmp/evaluation-result-3400700-1306356029/solver-3400700-1306356029 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400700-1306356029.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= d986f0b849e7c714ed5d3a26373567af
RANDOM SEED=1834283759
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.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.09
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.049
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.17
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.049
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.049
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.06
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.049
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.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.09
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.049
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.09
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.049
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.02
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.049
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.17
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.049
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.09
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.049
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 : 3989.98
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.049
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.06
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.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.049
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.09
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.049
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.08
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.049
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.09
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.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
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.049
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.09
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.049
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.049
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.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255138660 kB
Buffers: 469056 kB
Cached: 8241876 kB
SwapCached: 0 kB
Active: 7781412 kB
Inactive: 998688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255138660 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10936 kB
Writeback: 0 kB
AnonPages: 70196 kB
Mapped: 13484 kB
Slab: 256144 kB
PageTables: 3972 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 177432 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= 62036 MiB
End job on node200 at 2011-05-25 22:41:03