0.00/0.00 c Outputting solution to console
0.00/0.06 c Using 32 threads
0.00/0.07 c This is CryptoMiniSat 3.0.0
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c Reading file 'HOME/instance-3400868-1307086418.cnf'
2.43/0.10 c -- header says num vars: 21317
2.43/0.10 c -- header says num clauses: 63664
12.41/0.71 c -- clauses added: 0 learnts, 63664 normals, 0 xors
12.41/0.71 c -- vars added 21317
12.41/0.71 c Parsing time: 0.13 s
12.41/0.71 c N st 0 0 21317 21204 42410 0 148432 0 no data no data
25.76/1.19 c asymm cl-useful: 0/21072/21072 lits-rem:0 time: 0.48
72.61/4.72 c Flit: 15 Blit: 33 bXBeca: 0 bXProp: 129 Bins: 0 BRemL: 0 BRemN: 0 P: 8.3M T: 1.31
72.61/4.74 c Replacing 129 vars Replaced 4164 lits Time: 0.01 s
76.32/4.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
76.32/4.96 c bin-w-bin subsume rem 4 bins time: 0.01 s
76.32/4.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s
81.92/5.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 20962 time: 0.13 s
84.51/5.26 c Removed useless bin: 15 fixed: 0 props: 6.60M time: 0.13 s
99.53/5.91 c lits-rem: 95 cl-subs: 151 v-elim: 6987 v-fix: 0 time: 0.30 s
99.53/5.96 c Finding binary XORs T: 0.05 s found: 448
99.53/5.97 c Replacing 448 vars Replaced 4597 lits Time: 0.01 s
99.53/5.98 c Finding non-binary XORs: 0.01 s (found: 43, avg size: 3.0)
99.53/5.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 9 locsubst: 2 time: 0.01
99.53/6.00 c calculated reachability. Time: 0.01
102.73/6.00 c Calc default polars - time: 0.00 s pos: 185 undec: 7924 neg: 13208
102.73/6.00 c =========================================================================================
102.73/6.00 c types(t): F = full restart, N = normal restart
102.73/6.00 c types(t): S = simplification begin/end, E = solution found
102.73/6.00 c restart types(rt): st = static, dy = dynamic
102.73/6.00 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
102.73/6.00 c B st 0 0 13518 14476 30786 0 114950 0 no data no data
134.63/7.07 c N dy 15 4039 13517 14476 30989 3802 114949 76248 6.21 6.55
160.18/7.85 c N dy 37 8068 13321 14116 32520 5242 112554 67700 6.42 6.81
185.75/8.64 c N dy 59 12135 13317 14116 33227 5191 112554 49944 6.44 8.41
208.11/9.31 c Finding binary XORs T: 0.02 s found: 273
208.11/9.33 c Replacing 274 vars Replaced 15209 lits Time: 0.01 s
217.70/9.60 c N dy 89 16171 12926 13661 31611 9101 108520 114996 6.64 10.32
249.65/10.62 c N dy 116 20254 12924 13661 32470 7706 108520 80572 6.78 8.68
284.81/11.70 c N dy 144 24292 12876 13661 33070 11686 108520 158225 6.92 9.79
291.20/11.90 c F st 151 25000 12876 13661 33070 12393 108520 175618 7.00 no data
319.97/12.81 c N st 156 28297 12834 13577 32665 8971 107452 97670 7.00 no data
333.37/13.26 c S st 157 30000 12834 13577 32668 10659 107452 137723 7.00 no data
339.14/13.46 c S st 157 30500 12777 13577 33105 11124 107452 144814 7.00 no data
339.14/13.47 c x-sub: 1 x-cut: 0 vfix: 0 v-elim: 8 locsubst: 0 time: 0.01
409.47/15.60 c Flit: 14 Blit: 379 bXBeca: 0 bXProp: 560 Bins: 71481 BRemL: 47007 BRemN: 182 P: 23.5M T: 2.13
409.47/15.61 c Cleaning up after failed var search: 0.01 s
409.47/15.63 c Replacing 560 vars Replaced 29391 lits Time: 0.02 s
409.47/15.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
409.47/15.65 c bin-w-bin subsume rem 2589 bins time: 0.01 s
409.47/15.67 c subs with bin: 39 lits-rem: 400 v-fix: 0 time: 0.02 s
412.66/15.71 c Subs w/ non-existent bins: 4 l-rem: 51 v-fix: 0 done: 11738 time: 0.04 s
412.66/15.73 c Removed useless bin: 344 fixed: 0 props: 0.79M time: 0.02 s
415.85/15.89 c lits-rem: 1717 cl-subs: 2725 v-elim: 6332 v-fix: 0 time: 0.15 s
415.85/15.89 c subs with bin: 100 lits-rem: 158 v-fix: 0 time: 0.00 s
419.05/15.91 c lits-rem: 59 cl-subs: 146 v-elim: 0 v-fix: 0 time: 0.01 s
419.05/15.91 c Added XOR as norm:16
425.45/16.12 c asymm cl-useful: 1103/12932/12932 lits-rem:1323 time: 0.21
425.45/16.13 c calculated reachability. Time: 0.01
425.45/16.13 c N dy 157 30500 5406 12931 15956 1467 83697 20710 7.00 no data
425.45/16.15 c Finding binary XORs T: 0.02 s found: 0
441.42/16.67 c N dy 172 34640 5406 12931 15994 5537 83697 100626 6.91 7.33
457.41/17.16 c N dy 183 38835 5394 12931 16464 6594 83696 94847 6.83 7.21
479.76/17.83 c N dy 210 42905 5390 12931 36508 10587 83696 207693 6.85 7.21
486.16/18.03 c Finding binary XORs T: 0.01 s found: 70
486.16/18.05 c Replacing 70 vars Replaced 20912 lits Time: 0.02 s
495.76/18.40 c S st 223 45751 5306 12683 35734 6882 82511 106667 6.83 6.96
498.95/18.49 c S st 223 46257 5306 12683 35742 7369 82511 111946 6.83 no data
498.95/18.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
514.92/18.90 c Flit: 5 Blit: 12 bXBeca: 0 bXProp: 257 Bins: 9446 BRemL: 19961 BRemN: 146 P: 5.4M T: 0.41
514.92/18.91 c Replacing 257 vars Replaced 7446 lits Time: 0.01 s
514.92/18.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
514.92/18.92 c bin-w-bin subsume rem 6568 bins time: 0.00 s
514.92/18.94 c subs with bin: 512 lits-rem: 734 v-fix: 0 time: 0.01 s
514.92/18.95 c Subs w/ non-existent bins: 111 l-rem: 164 v-fix: 0 done: 5026 time: 0.01 s
514.92/18.96 c Removed useless bin: 40 fixed: 0 props: 0.28M time: 0.01 s
518.11/19.02 c lits-rem: 58 cl-subs: 594 v-elim: 401 v-fix: 0 time: 0.05 s
518.11/19.03 c subs with bin: 173 lits-rem: 553 v-fix: 0 time: 0.01 s
518.11/19.05 c lits-rem: 184 cl-subs: 278 v-elim: 0 v-fix: 0 time: 0.01 s
518.11/19.05 c Added XOR as norm:0
518.11/19.06 c vivif2 -- cl tried 12057 cl shrink 460 lits rem 676 time: 0.01
518.11/19.07 c vivif2 -- cl tried 5784 cl shrink 594 lits rem 1302 time: 0.01
527.71/19.31 c asymm cl-useful: 192/12054/12054 lits-rem:217 time: 0.24
527.71/19.32 c calculated reachability. Time: 0.00
527.71/19.32 c N dy 223 46257 4625 12053 13395 5780 78900 53746 6.83 no data
527.71/19.33 c Finding binary XORs T: 0.01 s found: 6
546.87/19.94 c N dy 236 50411 4623 12053 15757 9882 78900 132273 6.79 7.18
553.27/20.15 c Finding binary XORs T: 0.01 s found: 35
566.06/20.59 c N dy 252 54573 4597 11986 15006 13845 78370 202412 6.75 7.23
579.44/20.93 c Finding binary XORs T: 0.01 s found: 45
579.44/20.95 c Replacing 86 vars Replaced 14480 lits Time: 0.02 s
591.63/21.33 c N dy 263 58856 4489 11843 20290 9801 77482 121630 6.70 7.15
611.40/21.95 c N dy 285 62869 4469 11843 21611 13722 77481 188535 6.72 9.19
633.18/22.63 c N dy 316 66973 4469 11843 21615 17766 77480 257507 6.79 7.65
646.56/23.08 c S st 333 69387 4451 11843 22007 10458 77480 106926 6.81 5.60
649.79/23.17 c S st 333 69889 4451 11843 22014 10946 77480 113322 6.81 no data
649.79/23.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
661.94/23.54 c Flit: 14 Blit: 52 bXBeca: 0 bXProp: 238 Bins: 8370 BRemL: 10551 BRemN: 64 P: 5.5M T: 0.36
661.94/23.55 c Replacing 238 vars Replaced 10610 lits Time: 0.01 s
661.94/23.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
661.94/23.56 c bin-w-bin subsume rem 2591 bins time: 0.00 s
661.94/23.58 c subs with bin: 190 lits-rem: 509 v-fix: 0 time: 0.01 s
661.94/23.59 c Subs w/ non-existent bins: 59 l-rem: 18 v-fix: 0 done: 4123 time: 0.01 s
661.94/23.59 c Removed useless bin: 52 fixed: 0 props: 0.23M time: 0.01 s
665.14/23.63 c lits-rem: 82 cl-subs: 540 v-elim: 126 v-fix: 0 time: 0.04 s
665.14/23.65 c subs with bin: 188 lits-rem: 633 v-fix: 0 time: 0.01 s
665.14/23.67 c lits-rem: 304 cl-subs: 462 v-elim: 0 v-fix: 0 time: 0.02 s
665.14/23.67 c Added XOR as norm:0
665.14/23.68 c vivif2 -- cl tried 10804 cl shrink 240 lits rem 351 time: 0.01
665.14/23.68 c vivif2 -- cl tried 8480 cl shrink 599 lits rem 1075 time: 0.01
674.74/23.93 c asymm cl-useful: 370/10804/10804 lits-rem:896 time: 0.25
674.74/23.94 c calculated reachability. Time: 0.00
674.74/23.94 c N dy 333 69889 3997 10734 11187 8478 68162 70378 6.81 no data
674.74/24.00 c Finding binary XORs T: 0.01 s found: 17
697.10/24.69 c N dy 349 74812 3993 10730 17471 13311 68145 165960 6.77 7.28
700.30/24.72 c Finding binary XORs T: 0.01 s found: 16
725.86/25.57 c N dy 373 79595 3975 10709 21923 17573 67916 240327 6.77 7.77
752.01/26.34 c Finding binary XORs T: 0.01 s found: 20
752.01/26.35 c Replacing 53 vars Replaced 5291 lits Time: 0.01 s
757.79/26.52 c N dy 388 84791 3908 10553 20150 12204 66866 124710 6.76 7.29
773.82/27.07 c F st 401 87500 3907 10553 24040 14852 66866 173283 6.75 5.37
773.82/27.09 c Finding binary XORs T: 0.01 s found: 20
789.16/29.20 c Following stats are for *FIRST FINISHED THREAD ONLY*
789.16/29.20 c num threads : 32
789.16/29.20 c restarts : 427
789.16/29.20 c dynamic restarts : 409
789.16/29.20 c static restarts : 18
789.16/29.20 c full restarts : 2
789.16/29.20 c total simplify time : 0.25
789.16/29.20 c learnts DL2 : 0
789.16/29.20 c learnts size 2 : 254763
789.16/29.20 c learnts size 1 : 3229 (15.15 % of vars)
789.16/29.20 c filedLit time : 3.69 (14.13 % time)
789.16/29.20 c v-elim SatELite : 13792 (64.70 % vars)
789.16/29.20 c SatELite time : 0.61 (2.35 % time)
789.16/29.20 c v-elim xor : 17 (0.08 % vars)
789.16/29.20 c xor elim time : 0.02 (0.08 % time)
789.16/29.20 c num binary xor trees : 680
789.16/29.20 c binxor trees' crown : 2116 (3.11 leafs/tree)
789.16/29.20 c bin xor find time : 0.20
789.16/29.20 c OTF clause improved : 1020 (0.01 clauses/conflict)
789.16/29.20 c OTF impr. size diff : 1222 (1.20 lits/clause)
789.16/29.20 c OTF cl watch-shrink : 50009 (0.55 clauses/conflict)
789.16/29.20 c OTF cl watch-sh-lit : 131468 (2.63 lits/clause)
789.16/29.20 c tried to recurMin cls : 36779 (40.13 % of conflicts)
789.16/29.20 c updated cache : 0 (0.00 lits/tried recurMin)
789.16/29.20 c unit cls recevied : 200 (6.19 % of units)
789.16/29.20 c unit cls sent : 127 (3.93 % of units)
789.16/29.20 c bin cls recevied : 68095
789.16/29.20 c bin cls sent : 24847
789.16/29.20 c clauses over max glue : 0 (0.00 % of all clauses)
789.16/29.20 c conflicts : 91655 (3510.34 / sec)
789.16/29.20 c decisions : 177946 (3.47 % random)
789.16/29.20 c bogo-props : 570901882 (21865232.71 / sec)
789.16/29.20 c conflict literals : 1611576 (37.16 % deleted)
789.16/29.20 c Memory used : 3267.76 MB
789.16/29.20 c single-thread CPU time : 26.11 s
789.16/29.20 c all-threads sum CPU time : 774.38 s
789.16/29.20 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3400868-1307086418/watcher-3400868-1307086418 -o /tmp/evaluation-result-3400868-1307086418/solver-3400868-1307086418 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400868-1307086418.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): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.79 31.57 31.84 1/413 13151
/proc/meminfo: memFree=263039652/264257624 swapFree=67054988/67111528
[pid=13151] ppid=13149 vsize=338000 CPUtime=0.77 cores=0-31
/proc/13151/stat : 13151 (strangenight2-m) R 13149 13151 13067 0 -1 4202496 437 0 0 0 77 0 0 0 25 0 32 0 14554177 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13151/statm: 84500 377 297 95 0 79482 0
[pid=13151/tid=13152] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13152/stat : 13152 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 14554177 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13151/tid=13153] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13153/stat : 13153 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 14554177 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852460 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13151/tid=13154] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13154/stat : 13154 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 14554177 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13151/tid=13155] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13155/stat : 13155 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 14554177 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852470 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13151/tid=13156] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13156/stat : 13156 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 14554177 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13151/tid=13157] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13157/stat : 13157 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 14554177 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13151/tid=13158] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13158/stat : 13158 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 14554177 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13151/tid=13159] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13159/stat : 13159 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 14554177 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13151/tid=13160] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13160/stat : 13160 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852460 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13151/tid=13161] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13161/stat : 13161 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852464 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13151/tid=13162] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13162/stat : 13162 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852456 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13151/tid=13163] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13163/stat : 13163 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852460 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13151/tid=13164] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13164/stat : 13164 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13151/tid=13165] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13165/stat : 13165 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13151/tid=13166] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13166/stat : 13166 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852464 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13151/tid=13167] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13167/stat : 13167 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13151/tid=13168] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13168/stat : 13168 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852460 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13151/tid=13169] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13169/stat : 13169 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13151/tid=13170] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13170/stat : 13170 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13151/tid=13171] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13171/stat : 13171 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13151/tid=13172] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13172/stat : 13172 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13151/tid=13173] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13173/stat : 13173 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852470 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13151/tid=13174] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13174/stat : 13174 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13151/tid=13175] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13175/stat : 13175 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13151/tid=13176] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13176/stat : 13176 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852460 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13151/tid=13177] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13177/stat : 13177 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13151/tid=13178] ppid=13149 vsize=338000 CPUtime=0 cores=0-31
/proc/13151/task/13178/stat : 13178 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13151/tid=13179] ppid=13149 vsize=338000 CPUtime=0.01 cores=0-31
/proc/13151/task/13179/stat : 13179 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13151/tid=13180] ppid=13149 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13151/task/13180/stat : 13180 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852456 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13151/tid=13181] ppid=13149 vsize=338000 CPUtime=0 cores=0-31
/proc/13151/task/13181/stat : 13181 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852460 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13151/tid=13182] ppid=13149 vsize=338000 CPUtime=0.01 cores=0-31
/proc/13151/task/13182/stat : 13182 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 14554178 346112000 377 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852466 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.0964619 s]
/proc/loadavg: 29.79 31.57 31.84 1/413 13151
/proc/meminfo: memFree=263039652/264257624 swapFree=67054988/67111528
[pid=13151] ppid=13149 vsize=797972 CPUtime=2.36 cores=0-31
/proc/13151/stat : 13151 (strangenight2-m) D 13149 13151 13067 0 -1 4202496 7502 0 0 0 176 60 0 0 25 0 32 0 14554177 817123328 7355 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13151/statm: 199493 7382 330 95 0 194475 0
[pid=13151/tid=13152] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13152/stat : 13152 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 238 0 0 0 5 1 0 0 23 0 32 0 14554177 817123328 7382 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13151/tid=13153] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13153/stat : 13153 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 202 0 0 0 5 1 0 0 24 0 32 0 14554177 817123328 7382 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13151/tid=13154] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13154/stat : 13154 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 212 0 0 0 5 1 0 0 25 0 32 0 14554177 817123328 7382 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13151/tid=13155] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13155/stat : 13155 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 239 0 0 0 5 1 0 0 18 0 32 0 14554177 817123328 7382 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13151/tid=13156] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13156/stat : 13156 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 186 0 0 0 5 1 0 0 25 0 32 0 14554177 817123328 7382 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13151/tid=13157] ppid=13149 vsize=797972 CPUtime=0.07 cores=0-31
/proc/13151/task/13157/stat : 13157 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 202 0 0 0 5 2 0 0 25 0 32 0 14554177 817123328 7382 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13151/tid=13158] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13158/stat : 13158 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 221 0 0 0 5 1 0 0 25 0 32 0 14554177 817123328 7382 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13151/tid=13159] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13159/stat : 13159 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 255 0 0 0 5 1 0 0 18 0 32 0 14554177 817123328 7382 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13151/tid=13160] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13160/stat : 13160 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 227 0 0 0 5 1 0 0 18 0 32 0 14554178 817123328 7382 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13151/tid=13161] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13161/stat : 13161 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 208 0 0 0 5 1 0 0 25 0 32 0 14554178 817123328 7382 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13151/tid=13162] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13162/stat : 13162 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 222 0 0 0 5 1 0 0 25 0 32 0 14554178 817123328 7383 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13151/tid=13163] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13163/stat : 13163 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 187 0 0 0 5 1 0 0 25 0 32 0 14554178 817123328 7395 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13151/tid=13164] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13164/stat : 13164 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 190 0 0 0 5 1 0 0 25 0 32 0 14554178 817123328 7412 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13151/tid=13165] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13165/stat : 13165 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 227 0 0 0 5 1 0 0 25 0 32 0 14554178 817123328 7419 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13151/tid=13166] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13166/stat : 13166 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 237 0 0 0 5 1 0 0 18 0 32 0 14554178 817123328 7420 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13151/tid=13167] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13167/stat : 13167 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 226 0 0 0 5 1 0 0 18 0 32 0 14554178 817123328 7420 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13151/tid=13168] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13168/stat : 13168 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 228 0 0 0 5 1 0 0 25 0 32 0 14554178 817123328 7428 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13151/tid=13169] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13169/stat : 13169 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 199 0 0 0 5 1 0 0 25 0 32 0 14554178 817123328 7446 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13151/tid=13170] ppid=13149 vsize=797972 CPUtime=0.07 cores=0-31
/proc/13151/task/13170/stat : 13170 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 263 0 0 0 5 2 0 0 18 0 32 0 14554178 817123328 7465 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13151/tid=13171] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13171/stat : 13171 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 221 0 0 0 5 1 0 0 25 0 32 0 14554178 817123328 7483 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13151/tid=13172] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13172/stat : 13172 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 203 0 0 0 5 1 0 0 25 0 32 0 14554178 817123328 7483 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13151/tid=13173] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13173/stat : 13173 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 238 0 0 0 5 1 0 0 25 0 32 0 14554178 817123328 7484 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13151/tid=13174] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13174/stat : 13174 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 217 0 0 0 5 1 0 0 25 0 32 0 14554178 817123328 7487 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13151/tid=13175] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13175/stat : 13175 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 248 0 0 0 5 1 0 0 25 0 32 0 14554178 817123328 7497 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13151/tid=13176] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13176/stat : 13176 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 205 0 0 0 5 1 0 0 25 0 32 0 14554178 817123328 7518 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13151/tid=13177] ppid=13149 vsize=797972 CPUtime=0.07 cores=0-31
/proc/13151/task/13177/stat : 13177 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 227 0 0 0 5 2 0 0 25 0 32 0 14554178 817123328 7542 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13151/tid=13178] ppid=13149 vsize=797972 CPUtime=0.01 cores=0-31
/proc/13151/task/13178/stat : 13178 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 207 0 0 0 0 1 0 0 25 0 32 0 14554178 817123328 7557 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13151/tid=13179] ppid=13149 vsize=797972 CPUtime=0.05 cores=0-31
/proc/13151/task/13179/stat : 13179 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 225 0 0 0 4 1 0 0 18 0 32 0 14554178 817123328 7557 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13151/tid=13180] ppid=13149 vsize=797972 CPUtime=0.06 cores=0-31
/proc/13151/task/13180/stat : 13180 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 246 0 0 0 5 1 0 0 18 0 32 0 14554178 817123328 7558 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13151/tid=13181] ppid=13149 vsize=797972 CPUtime=0.04 cores=0-31
/proc/13151/task/13181/stat : 13181 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 247 0 0 0 3 1 0 0 18 0 32 0 14554178 817123328 7565 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13151/tid=13182] ppid=13149 vsize=797972 CPUtime=0.05 cores=0-31
/proc/13151/task/13182/stat : 13182 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 291 0 0 0 4 1 0 0 18 0 32 0 14554178 817123328 7582 268435456000 4194304 4580107 140734931272624 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 797972
[startup+0.1044 s]
/proc/loadavg: 29.79 31.57 31.84 1/413 13151
/proc/meminfo: memFree=263039652/264257624 swapFree=67054988/67111528
[pid=13151] ppid=13149 vsize=798104 CPUtime=2.43 cores=0-31
/proc/13151/stat : 13151 (strangenight2-m) R 13149 13151 13067 0 -1 4202496 8436 0 0 0 176 67 0 0 25 0 32 0 14554177 817258496 8289 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13151/statm: 199526 8292 330 95 0 194508 0
[pid=13151/tid=13152] ppid=13149 vsize=798104 CPUtime=0.07 cores=0-31
/proc/13151/task/13152/stat : 13152 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 270 0 0 0 5 2 0 0 23 0 32 0 14554177 817258496 8305 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13151/tid=13153] ppid=13149 vsize=798104 CPUtime=0.07 cores=0-31
/proc/13151/task/13153/stat : 13153 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 230 0 0 0 5 2 0 0 24 0 32 0 14554177 817258496 8315 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13151/tid=13154] ppid=13149 vsize=798104 CPUtime=0.07 cores=0-31
/proc/13151/task/13154/stat : 13154 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 242 0 0 0 5 2 0 0 25 0 32 0 14554177 817258496 8316 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13151/tid=13155] ppid=13149 vsize=929176 CPUtime=0.07 cores=0-31
/proc/13151/task/13155/stat : 13155 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 264 0 0 0 5 2 0 0 18 0 32 0 14554177 951476224 8320 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13151/tid=13156] ppid=13149 vsize=929176 CPUtime=0.06 cores=0-31
/proc/13151/task/13156/stat : 13156 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 220 0 0 0 5 1 0 0 25 0 32 0 14554177 951476224 8340 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13151/tid=13157] ppid=13149 vsize=929176 CPUtime=0.07 cores=0-31
/proc/13151/task/13157/stat : 13157 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 232 0 0 0 5 2 0 0 18 0 32 0 14554177 951476224 8340 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13151/tid=13158] ppid=13149 vsize=929176 CPUtime=0.07 cores=0-31
/proc/13151/task/13158/stat : 13158 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 253 0 0 0 5 2 0 0 25 0 32 0 14554177 951476224 8342 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13151/tid=13159] ppid=13149 vsize=863672 CPUtime=0.07 cores=0-31
/proc/13151/task/13159/stat : 13159 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 284 0 0 0 5 2 0 0 18 0 32 0 14554177 884400128 8344 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13151/tid=13160] ppid=13149 vsize=863672 CPUtime=0.07 cores=0-31
/proc/13151/task/13160/stat : 13160 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 261 0 0 0 5 2 0 0 18 0 32 0 14554178 884400128 8355 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13151/tid=13161] ppid=13149 vsize=863672 CPUtime=0.06 cores=0-31
/proc/13151/task/13161/stat : 13161 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 237 0 0 0 5 1 0 0 25 0 32 0 14554178 884400128 8364 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13151/tid=13162] ppid=13149 vsize=863672 CPUtime=0.06 cores=0-31
/proc/13151/task/13162/stat : 13162 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 260 0 0 0 5 1 0 0 25 0 32 0 14554178 884400128 8369 268435456000 4194304 4580107 140734931272624 18446744073709551615 258651060958 0 0 4096 2 18446604465193672160 0 0 -1 9 0 0 0
[pid=13151/tid=13163] ppid=13149 vsize=863640 CPUtime=0.06 cores=0-31
/proc/13151/task/13163/stat : 13163 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 219 0 0 0 5 1 0 0 25 0 32 0 14554178 884367360 8383 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13151/tid=13164] ppid=13149 vsize=863640 CPUtime=0.07 cores=0-31
/proc/13151/task/13164/stat : 13164 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 230 0 0 0 5 2 0 0 25 0 32 0 14554178 884367360 8387 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13151/tid=13165] ppid=13149 vsize=863640 CPUtime=0.07 cores=0-31
/proc/13151/task/13165/stat : 13165 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 261 0 0 0 5 2 0 0 25 0 32 0 14554178 884367360 8388 268435456000 4194304 4580107 140734931272624 18446744073709551615 258651060958 0 0 4096 2 18446744071566927904 0 0 -1 13 0 0 0
[pid=13151/tid=13166] ppid=13149 vsize=863640 CPUtime=0.06 cores=0-31
/proc/13151/task/13166/stat : 13166 (strangenight2-m) D 13149 13151 13067 0 -1 4202560 264 0 0 0 5 1 0 0 18 0 32 0 14554178 884367360 8402 268435456000 4194304 4580107 140734931272624 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13151/tid=13167] ppid=13149 vsize=863640 CPUtime=0.06 cores=0-31
/proc/13151/task/13167/stat : 13167 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 259 0 0 0 5 1 0 0 18 0 32 0 14554178 884367360 8419 268435456000 4194304 4580107 140734931272624 18446744073709551615 258651060958 0 0 4096 2 18446744071566930784 0 0 -1 11 0 0 0
[pid=13151/tid=13168] ppid=13149 vsize=863640 CPUtime=0.07 cores=0-31
################
# More data... #
################
/proc/13151/task/13175/stat : 13175 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 12679 0 0 0 2386 45 0 0 25 0 32 0 14554178 3426492416 326888 268435456000 4194304 4580107 140734931272624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13151/tid=13176] ppid=13149 vsize=3346184 CPUtime=24.13 cores=0-31
/proc/13151/task/13176/stat : 13176 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 12753 0 0 0 2364 49 0 0 25 0 32 0 14554178 3426492416 326888 268435456000 4194304 4580107 140734931272624 18446744073709551615 4294656 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13151/tid=13177] ppid=13149 vsize=3346184 CPUtime=24.66 cores=0-31
/proc/13151/task/13177/stat : 13177 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 12893 0 0 0 2426 40 0 0 25 0 32 0 14554178 3426492416 326888 268435456000 4194304 4580107 140734931272624 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13151/tid=13178] ppid=13149 vsize=3346184 CPUtime=24.07 cores=0-31
/proc/13151/task/13178/stat : 13178 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 11253 0 0 0 2365 42 0 0 25 0 32 0 14554178 3426492416 326889 268435456000 4194304 4580107 140734931272624 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13151/tid=13179] ppid=13149 vsize=3346184 CPUtime=24.14 cores=0-31
/proc/13151/task/13179/stat : 13179 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 12535 0 0 0 2362 52 0 0 25 0 32 0 14554178 3426492416 326889 268435456000 4194304 4580107 140734931272624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13151/tid=13180] ppid=13149 vsize=3346184 CPUtime=24.36 cores=0-31
/proc/13151/task/13180/stat : 13180 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 13052 0 0 0 2385 51 0 0 25 0 32 0 14554178 3426492416 326889 268435456000 4194304 4580107 140734931272624 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13151/tid=13181] ppid=13149 vsize=3346184 CPUtime=24.39 cores=0-31
/proc/13151/task/13181/stat : 13181 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 13714 0 0 0 2394 45 0 0 20 0 32 0 14554178 3426492416 326890 268435456000 4194304 4580107 140734931272624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13151/tid=13182] ppid=13149 vsize=3346184 CPUtime=25.22 cores=0-31
/proc/13151/task/13182/stat : 13182 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 7380 0 0 0 2492 30 0 0 25 0 32 0 14554178 3426492416 326898 268435456000 4194304 4580107 140734931272624 18446744073709551615 4473011 0 0 4096 2 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 777.02
Current children cumulated vsize (KiB) 3346184
[startup+28.7025 s]
/proc/loadavg: 30.16 31.50 31.81 3/445 13183
/proc/meminfo: memFree=261716768/264257624 swapFree=67054988/67111528
[pid=13151] ppid=13149 vsize=3346184 CPUtime=788.16 cores=0-31
/proc/13151/stat : 13151 (strangenight2-m) S 13149 13151 13067 0 -1 4202496 415434 0 0 0 77337 1479 0 0 25 0 32 0 14554177 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/13151/statm: 836546 328379 378 95 0 831528 0
[pid=13151/tid=13152] ppid=13149 vsize=3346184 CPUtime=26.02 cores=0-31
/proc/13151/task/13152/stat : 13152 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 16561 0 0 0 2560 42 0 0 25 0 32 0 14554177 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679827499 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13151/tid=13153] ppid=13149 vsize=3346184 CPUtime=24.5 cores=0-31
/proc/13151/task/13153/stat : 13153 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 16086 0 0 0 2394 56 0 0 25 0 32 0 14554177 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604495267880416 0 0 -1 26 0 0 0
[pid=13151/tid=13154] ppid=13149 vsize=3346184 CPUtime=24.49 cores=0-31
/proc/13151/task/13154/stat : 13154 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 15430 0 0 0 2401 48 0 0 25 0 32 0 14554177 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604497869118944 0 0 -1 16 0 0 0
[pid=13151/tid=13155] ppid=13149 vsize=3346184 CPUtime=24.43 cores=0-31
/proc/13151/task/13155/stat : 13155 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 14275 0 0 0 2392 51 0 0 25 0 32 0 14554177 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446744071566925384 0 0 -1 8 0 0 0
[pid=13151/tid=13156] ppid=13149 vsize=3346184 CPUtime=24.36 cores=0-31
/proc/13151/task/13156/stat : 13156 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 15994 0 0 0 2399 37 0 0 25 0 32 0 14554177 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604506262461920 0 0 -1 31 0 0 0
[pid=13151/tid=13157] ppid=13149 vsize=3346184 CPUtime=25.76 cores=0-31
/proc/13151/task/13157/stat : 13157 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 12122 0 0 0 2534 42 0 0 25 0 32 0 14554177 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13151/tid=13158] ppid=13149 vsize=3346184 CPUtime=24.48 cores=0-31
/proc/13151/task/13158/stat : 13158 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 13237 0 0 0 2396 52 0 0 25 0 32 0 14554177 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604446897774048 0 0 -1 1 0 0 0
[pid=13151/tid=13159] ppid=13149 vsize=3346184 CPUtime=24.46 cores=0-31
/proc/13151/task/13159/stat : 13159 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12592 0 0 0 2397 49 0 0 25 0 32 0 14554177 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604506254990816 0 0 -1 7 0 0 0
[pid=13151/tid=13160] ppid=13149 vsize=3346184 CPUtime=24.42 cores=0-31
/proc/13151/task/13160/stat : 13160 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 13067 0 0 0 2397 45 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604465118748128 0 0 -1 5 0 0 0
[pid=13151/tid=13161] ppid=13149 vsize=3346184 CPUtime=24.62 cores=0-31
/proc/13151/task/13161/stat : 13161 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12751 0 0 0 2413 49 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604505224248800 0 0 -1 24 0 0 0
[pid=13151/tid=13162] ppid=13149 vsize=3346184 CPUtime=24.65 cores=0-31
/proc/13151/task/13162/stat : 13162 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 11901 0 0 0 2420 45 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604450811977184 0 0 -1 11 0 0 0
[pid=13151/tid=13163] ppid=13149 vsize=3346184 CPUtime=24.42 cores=0-31
/proc/13151/task/13163/stat : 13163 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 11961 0 0 0 2400 42 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604564260912608 0 0 -1 10 0 0 0
[pid=13151/tid=13164] ppid=13149 vsize=3346184 CPUtime=24.47 cores=0-31
/proc/13151/task/13164/stat : 13164 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12083 0 0 0 2397 50 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604460873022944 0 0 -1 6 0 0 0
[pid=13151/tid=13165] ppid=13149 vsize=3346184 CPUtime=24.5 cores=0-31
/proc/13151/task/13165/stat : 13165 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 11591 0 0 0 2406 44 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604483952721376 0 0 -1 13 0 0 0
[pid=13151/tid=13166] ppid=13149 vsize=3346184 CPUtime=24.41 cores=0-31
/proc/13151/task/13166/stat : 13166 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12287 0 0 0 2392 49 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604506333847008 0 0 -1 22 0 0 0
[pid=13151/tid=13167] ppid=13149 vsize=3346184 CPUtime=24.58 cores=0-31
/proc/13151/task/13167/stat : 13167 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12552 0 0 0 2411 47 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604447320481248 0 0 -1 23 0 0 0
[pid=13151/tid=13168] ppid=13149 vsize=3346184 CPUtime=24.58 cores=0-31
/proc/13151/task/13168/stat : 13168 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 13515 0 0 0 2416 42 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604499987955168 0 0 -1 9 0 0 0
[pid=13151/tid=13169] ppid=13149 vsize=3346184 CPUtime=24.43 cores=0-31
/proc/13151/task/13169/stat : 13169 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12770 0 0 0 2396 47 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604500828274144 0 0 -1 30 0 0 0
[pid=13151/tid=13170] ppid=13149 vsize=3346184 CPUtime=24.41 cores=0-31
/proc/13151/task/13170/stat : 13170 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12922 0 0 0 2394 47 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604502619274720 0 0 -1 28 0 0 0
[pid=13151/tid=13171] ppid=13149 vsize=3346184 CPUtime=24.31 cores=0-31
/proc/13151/task/13171/stat : 13171 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12144 0 0 0 2388 43 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604483999563232 0 0 -1 21 0 0 0
[pid=13151/tid=13172] ppid=13149 vsize=3346184 CPUtime=24.53 cores=0-31
/proc/13151/task/13172/stat : 13172 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12692 0 0 0 2400 53 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604466149678560 0 0 -1 15 0 0 0
[pid=13151/tid=13173] ppid=13149 vsize=3346184 CPUtime=24.74 cores=0-31
/proc/13151/task/13173/stat : 13173 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12884 0 0 0 2431 43 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604445230423520 0 0 -1 4 0 0 0
[pid=13151/tid=13174] ppid=13149 vsize=3346184 CPUtime=24.49 cores=0-31
/proc/13151/task/13174/stat : 13174 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12334 0 0 0 2402 47 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604487166254560 0 0 -1 27 0 0 0
[pid=13151/tid=13175] ppid=13149 vsize=3346184 CPUtime=24.58 cores=0-31
/proc/13151/task/13175/stat : 13175 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12714 0 0 0 2413 45 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604450960686560 0 0 -1 12 0 0 0
[pid=13151/tid=13176] ppid=13149 vsize=3346184 CPUtime=24.4 cores=0-31
/proc/13151/task/13176/stat : 13176 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12755 0 0 0 2391 49 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604498992012768 0 0 -1 14 0 0 0
[pid=13151/tid=13177] ppid=13149 vsize=3346184 CPUtime=24.93 cores=0-31
/proc/13151/task/13177/stat : 13177 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12900 0 0 0 2453 40 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604494552522208 0 0 -1 18 0 0 0
[pid=13151/tid=13178] ppid=13149 vsize=3346184 CPUtime=24.33 cores=0-31
/proc/13151/task/13178/stat : 13178 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 11259 0 0 0 2391 42 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604505434742240 0 0 -1 29 0 0 0
[pid=13151/tid=13179] ppid=13149 vsize=3346184 CPUtime=24.4 cores=0-31
/proc/13151/task/13179/stat : 13179 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12544 0 0 0 2388 52 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604484312653280 0 0 -1 19 0 0 0
[pid=13151/tid=13180] ppid=13149 vsize=3346184 CPUtime=24.62 cores=0-31
/proc/13151/task/13180/stat : 13180 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 13060 0 0 0 2411 51 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604465193672160 0 0 -1 3 0 0 0
[pid=13151/tid=13181] ppid=13149 vsize=3346184 CPUtime=24.65 cores=0-31
/proc/13151/task/13181/stat : 13181 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 13722 0 0 0 2420 45 0 0 20 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604473398377952 0 0 -1 2 0 0 0
[pid=13151/tid=13182] ppid=13149 vsize=3346184 CPUtime=25.49 cores=0-31
/proc/13151/task/13182/stat : 13182 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 7423 0 0 0 2519 30 0 0 25 0 32 0 14554178 3426492416 328379 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604487969873376 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 788.16
Current children cumulated vsize (KiB) 3346184
[startup+29.1025 s]
/proc/loadavg: 30.16 31.50 31.81 3/445 13183
/proc/meminfo: memFree=261716768/264257624 swapFree=67054988/67111528
[pid=13151] ppid=13149 vsize=3346184 CPUtime=788.96 cores=0-31
/proc/13151/stat : 13151 (strangenight2-m) S 13149 13151 13067 0 -1 4202496 416826 0 0 0 77417 1479 0 0 25 0 32 0 14554177 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/13151/statm: 836546 329771 378 95 0 831528 0
[pid=13151/tid=13152] ppid=13149 vsize=3346184 CPUtime=26.42 cores=0-31
/proc/13151/task/13152/stat : 13152 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 16561 0 0 0 2600 42 0 0 25 0 32 0 14554177 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679827652 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13151/tid=13153] ppid=13149 vsize=3346184 CPUtime=24.5 cores=0-31
/proc/13151/task/13153/stat : 13153 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 16086 0 0 0 2394 56 0 0 25 0 32 0 14554177 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604495267880416 0 0 -1 26 0 0 0
[pid=13151/tid=13154] ppid=13149 vsize=3346184 CPUtime=24.49 cores=0-31
/proc/13151/task/13154/stat : 13154 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 15430 0 0 0 2401 48 0 0 25 0 32 0 14554177 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604497869118944 0 0 -1 16 0 0 0
[pid=13151/tid=13155] ppid=13149 vsize=3346184 CPUtime=24.43 cores=0-31
/proc/13151/task/13155/stat : 13155 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 14275 0 0 0 2392 51 0 0 25 0 32 0 14554177 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446744071566925384 0 0 -1 8 0 0 0
[pid=13151/tid=13156] ppid=13149 vsize=3346184 CPUtime=24.36 cores=0-31
/proc/13151/task/13156/stat : 13156 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 15994 0 0 0 2399 37 0 0 25 0 32 0 14554177 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604506262461920 0 0 -1 31 0 0 0
[pid=13151/tid=13157] ppid=13149 vsize=3346184 CPUtime=26.15 cores=0-31
/proc/13151/task/13157/stat : 13157 (strangenight2-m) R 13149 13151 13067 0 -1 4202560 13514 0 0 0 2573 42 0 0 25 0 32 0 14554177 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13151/tid=13158] ppid=13149 vsize=3346184 CPUtime=24.48 cores=0-31
/proc/13151/task/13158/stat : 13158 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 13237 0 0 0 2396 52 0 0 25 0 32 0 14554177 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604446897774048 0 0 -1 1 0 0 0
[pid=13151/tid=13159] ppid=13149 vsize=3346184 CPUtime=24.46 cores=0-31
/proc/13151/task/13159/stat : 13159 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12592 0 0 0 2397 49 0 0 25 0 32 0 14554177 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604506254990816 0 0 -1 7 0 0 0
[pid=13151/tid=13160] ppid=13149 vsize=3346184 CPUtime=24.42 cores=0-31
/proc/13151/task/13160/stat : 13160 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 13067 0 0 0 2397 45 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604465118748128 0 0 -1 5 0 0 0
[pid=13151/tid=13161] ppid=13149 vsize=3346184 CPUtime=24.62 cores=0-31
/proc/13151/task/13161/stat : 13161 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12751 0 0 0 2413 49 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604505224248800 0 0 -1 24 0 0 0
[pid=13151/tid=13162] ppid=13149 vsize=3346184 CPUtime=24.65 cores=0-31
/proc/13151/task/13162/stat : 13162 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 11901 0 0 0 2420 45 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604450811977184 0 0 -1 11 0 0 0
[pid=13151/tid=13163] ppid=13149 vsize=3346184 CPUtime=24.42 cores=0-31
/proc/13151/task/13163/stat : 13163 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 11961 0 0 0 2400 42 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604564260912608 0 0 -1 10 0 0 0
[pid=13151/tid=13164] ppid=13149 vsize=3346184 CPUtime=24.47 cores=0-31
/proc/13151/task/13164/stat : 13164 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12083 0 0 0 2397 50 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604460873022944 0 0 -1 6 0 0 0
[pid=13151/tid=13165] ppid=13149 vsize=3346184 CPUtime=24.5 cores=0-31
/proc/13151/task/13165/stat : 13165 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 11591 0 0 0 2406 44 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604483952721376 0 0 -1 13 0 0 0
[pid=13151/tid=13166] ppid=13149 vsize=3346184 CPUtime=24.41 cores=0-31
/proc/13151/task/13166/stat : 13166 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12287 0 0 0 2392 49 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604506333847008 0 0 -1 22 0 0 0
[pid=13151/tid=13167] ppid=13149 vsize=3346184 CPUtime=24.58 cores=0-31
/proc/13151/task/13167/stat : 13167 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12552 0 0 0 2411 47 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604447320481248 0 0 -1 23 0 0 0
[pid=13151/tid=13168] ppid=13149 vsize=3346184 CPUtime=24.58 cores=0-31
/proc/13151/task/13168/stat : 13168 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 13515 0 0 0 2416 42 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604499987955168 0 0 -1 9 0 0 0
[pid=13151/tid=13169] ppid=13149 vsize=3346184 CPUtime=24.43 cores=0-31
/proc/13151/task/13169/stat : 13169 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12770 0 0 0 2396 47 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604500828274144 0 0 -1 30 0 0 0
[pid=13151/tid=13170] ppid=13149 vsize=3346184 CPUtime=24.41 cores=0-31
/proc/13151/task/13170/stat : 13170 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12922 0 0 0 2394 47 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604502619274720 0 0 -1 28 0 0 0
[pid=13151/tid=13171] ppid=13149 vsize=3346184 CPUtime=24.31 cores=0-31
/proc/13151/task/13171/stat : 13171 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12144 0 0 0 2388 43 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604483999563232 0 0 -1 21 0 0 0
[pid=13151/tid=13172] ppid=13149 vsize=3346184 CPUtime=24.53 cores=0-31
/proc/13151/task/13172/stat : 13172 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12692 0 0 0 2400 53 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604466149678560 0 0 -1 15 0 0 0
[pid=13151/tid=13173] ppid=13149 vsize=3346184 CPUtime=24.74 cores=0-31
/proc/13151/task/13173/stat : 13173 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12884 0 0 0 2431 43 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604445230423520 0 0 -1 4 0 0 0
[pid=13151/tid=13174] ppid=13149 vsize=3346184 CPUtime=24.49 cores=0-31
/proc/13151/task/13174/stat : 13174 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12334 0 0 0 2402 47 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604487166254560 0 0 -1 27 0 0 0
[pid=13151/tid=13175] ppid=13149 vsize=3346184 CPUtime=24.58 cores=0-31
/proc/13151/task/13175/stat : 13175 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12714 0 0 0 2413 45 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604450960686560 0 0 -1 12 0 0 0
[pid=13151/tid=13176] ppid=13149 vsize=3346184 CPUtime=24.4 cores=0-31
/proc/13151/task/13176/stat : 13176 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12755 0 0 0 2391 49 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604498992012768 0 0 -1 14 0 0 0
[pid=13151/tid=13177] ppid=13149 vsize=3346184 CPUtime=24.93 cores=0-31
/proc/13151/task/13177/stat : 13177 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12900 0 0 0 2453 40 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604494552522208 0 0 -1 18 0 0 0
[pid=13151/tid=13178] ppid=13149 vsize=3346184 CPUtime=24.33 cores=0-31
/proc/13151/task/13178/stat : 13178 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 11259 0 0 0 2391 42 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604505434742240 0 0 -1 29 0 0 0
[pid=13151/tid=13179] ppid=13149 vsize=3346184 CPUtime=24.4 cores=0-31
/proc/13151/task/13179/stat : 13179 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 12544 0 0 0 2388 52 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604484312653280 0 0 -1 19 0 0 0
[pid=13151/tid=13180] ppid=13149 vsize=3346184 CPUtime=24.62 cores=0-31
/proc/13151/task/13180/stat : 13180 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 13060 0 0 0 2411 51 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604465193672160 0 0 -1 3 0 0 0
[pid=13151/tid=13181] ppid=13149 vsize=3346184 CPUtime=24.65 cores=0-31
/proc/13151/task/13181/stat : 13181 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 13722 0 0 0 2420 45 0 0 20 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604473398377952 0 0 -1 2 0 0 0
[pid=13151/tid=13182] ppid=13149 vsize=3346184 CPUtime=25.49 cores=0-31
/proc/13151/task/13182/stat : 13182 (strangenight2-m) S 13149 13151 13067 0 -1 4202560 7423 0 0 0 2519 30 0 0 25 0 32 0 14554178 3426492416 329771 268435456000 4194304 4580107 140734931272624 18446744073709551615 47331679852084 0 0 4096 2 18446604487969873376 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 788.96
Current children cumulated vsize (KiB) 3346184
[startup+29.3026 s]
/proc/loadavg: 30.16 31.50 31.81 3/445 13183
/proc/meminfo: memFree=261716768/264257624 swapFree=67054988/67111528
[pid=13151] ppid=13149 vsize=0 CPUtime=789.31 cores=0-31
/proc/13151/stat : 13151 (strangenight2-m) Z 13149 13151 13067 0 -1 4203548 416832 0 0 0 77438 1493 0 0 18 0 2 0 14554177 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/13151/statm: 0 0 0 0 0 0 0
[pid=13151/tid=13171] ppid=13149 vsize=0 CPUtime=24.41 cores=0-31
/proc/13151/task/13171/stat : 13171 (strangenight2-m) R 13149 13151 13067 0 -1 4203588 12144 0 0 0 2388 53 0 0 18 0 2 0 14554178 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 789.31
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 29.3106
CPU time (s): 789.321
CPU user time (s): 774.383
CPU system time (s): 14.9377
CPU usage (%): 2692.96
Max. virtual memory (cumulated for all children) (KiB): 3442824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 774.383
system time used= 14.9377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416832
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= 503871
involuntary context switches= 5901
runsolver used 0.250961 second user time and 0.78288 second system time
The end
Begin job on node200 at 2011-06-03 09:33:38
IDJOB=3400868
IDBENCH=84958
IDSOLVER=1886
FILE ID=node200/3400868-1307086418
RUNJOBID= node200-1307086402-13081
PBS_JOBID= 13497889
Free space on /tmp= 61744 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/industrial/hoonsang/vis-bmc/all.used-as.sat04-986.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400868-1307086418/watcher-3400868-1307086418 -o /tmp/evaluation-result-3400868-1307086418/solver-3400868-1307086418 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400868-1307086418.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 51fef6c1c8ac21be9eb125cde1cdd08e
RANDOM SEED=48231034
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.043
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.043
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.05
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.043
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.043
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.043
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.05
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.043
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.11
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.043
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.05
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.043
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.07
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.043
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.043
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.06
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.043
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 : 3989.96
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.043
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.09
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.043
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.05
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.043
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.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.08
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.043
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.03
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.043
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.07
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.043
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.11
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.043
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.043
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.02
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.043
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.11
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.043
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.06
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.043
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.07
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.043
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 : 3989.99
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.043
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.07
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.043
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.07
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.043
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.10
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.043
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.043
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.043
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.35
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.043
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: 263039940 kB
Buffers: 97280 kB
Cached: 931392 kB
SwapCached: 8336 kB
Active: 104392 kB
Inactive: 943024 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263039940 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 6760 kB
Writeback: 0 kB
AnonPages: 14100 kB
Mapped: 8712 kB
Slab: 87360 kB
PageTables: 4836 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191288 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= 61736 MiB
End job on node200 at 2011-06-03 09:34:07