0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.09 c This is CryptoMiniSat 3.0.0
0.00/0.09 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.09 c Reading file 'HOME/instance-3400907-1307135408.cnf'
2.45/0.11 c -- header says num vars: 89315
2.45/0.11 c -- header says num clauses: 5584003
185.81/14.51 c -- clauses added: 0 learnts, 5584003 normals, 0 xors
185.81/14.51 c -- vars added 89315
185.81/14.51 c Parsing time: 3.70 s
185.81/14.51 c N st 0 0 89315 110215 5473787 0 16593704 0 no data no data
245.49/16.55 c asymm cl-useful: 13/13/110213 lits-rem:157 time: 1.89
602.67/27.76 c Flit: 1550 Blit: 0 bXBeca: 0 bXProp: 10 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 11.18
609.00/27.92 c Cleaning up after failed var search: 0.15 s
615.68/28.24 c Replacing 12 vars Replaced 1726 lits Time: 0.31 s
700.11/32.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
716.08/33.29 c bin-w-bin subsume rem 695 bins time: 0.57 s
997.39/42.07 c subs with bin: 0 lits-rem: 156 v-fix: 0 time: 8.78 s
1048.54/43.67 c Subs w/ non-existent bins: 0 l-rem: 88 v-fix: 0 done: 85537 time: 1.59 s
1065.16/44.15 c Removed useless bin: 0 fixed: 0 props: 20.00M time: 0.48 s
9006.92/292.77 c lits-rem: 0 cl-subs: 14284 v-elim: 10139 v-fix: 0 time: 248.41 s
9009.47/292.89 c Finding binary XORs T: 0.12 s found: 0
9041.98/293.83 c Finding non-binary XORs: 0.78 s (found: 0, avg size: nan)
9041.98/293.83 c calculated reachability. Time: 0.00
9044.53/293.95 c Calc default polars - time: 0.12 s pos: 5002 undec: 11771 neg: 72542
9044.53/293.95 c =========================================================================================
9044.53/293.95 c types(t): F = full restart, N = normal restart
9044.53/293.95 c types(t): S = simplification begin/end, E = solution found
9044.53/293.95 c restart types(rt): st = static, dy = dynamic
9044.53/293.95 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
9044.53/293.95 c B st 0 0 77601 173064 5166852 0 15584549 0 no data no data
9149.89/297.24 c N dy 12 4310 77601 173064 5167035 4079 15584545 507344 56.62 59.92
9239.39/300.02 c N dy 25 9134 77516 173064 5186872 8661 15584542 1062886 48.73 51.39
9335.24/303.01 c N dy 39 13949 77512 173064 5186962 13303 15584540 1404729 44.65 47.10
9421.45/305.72 c N dy 55 18019 77497 173064 5189084 17257 15584536 1795206 42.93 45.43
9526.72/309.07 c N dy 80 22214 77485 173064 5190951 11746 15584527 709780 43.11 45.75
9574.54/310.58 c F st 86 25002 77485 173064 5191010 14414 15584527 878378 41.63 no data
9644.82/312.74 c N st 90 27037 77478 173055 5178938 16373 15551475 1029677 41.63 no data
9692.71/314.27 c S st 92 30001 77478 173055 5178965 19280 15551475 1281858 41.63 no data
9747.08/315.95 c S st 92 30501 77459 173055 5179112 19610 15551472 1294304 41.63 no data
9753.44/316.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.22
10264.79/332.17 c Flit: 3449 Blit: 72 bXBeca: 0 bXProp: 21 Bins:1554268 BRemL: 2057 BRemN: 0 P: 200.1M T: 15.94
10271.77/332.37 c Cleaning up after failed var search: 0.21 s
10287.15/332.84 c Replacing 21 vars Replaced 73822 lits Time: 0.46 s
10303.73/333.41 c blocked clauses removed: 0 vars: 220 tried: 75749 T: 0.12 s
10331.87/334.28 c bin-w-bin subsume rem 1467 bins time: 0.88 s
10568.28/341.60 c subs with bin: 2540 lits-rem: 228203 v-fix: 0 time: 7.32 s
10616.21/343.11 c Subs w/ non-existent bins: 686 l-rem: 16622 v-fix: 1 done: 59315 time: 1.38 s
10638.57/343.85 c Removed useless bin: 6365 fixed: 0 props: 20.00M time: 0.55 s
10715.25/346.23 c lits-rem: 1016 cl-subs: 194 v-elim: 50 v-fix: 0 time: 2.38 s
10788.77/348.57 c subs with bin: 7 lits-rem: 391 v-fix: 0 time: 2.06 s
10869.26/351.03 c lits-rem: 3508 cl-subs: 914 v-elim: 0 v-fix: 0 time: 2.13 s
10897.39/351.94 c asymm cl-useful: 136/137/169557 lits-rem:1598 time: 0.91
10904.37/352.14 c calculated reachability. Time: 0.00
10904.37/352.14 c N dy 92 30501 73645 169557 6068416 18628 14321630 3865242 41.63 no data
10906.96/352.28 c Finding binary XORs T: 0.14 s found: 31
11228.66/396.30 c N dy 117 34839 72151 169557 6112992 22836 14321626 4322086 41.87 44.78
11764.99/743.23 c N dy 143 39319 66443 165521 5737173 25819 13827700 4326657 43.55 46.09
11771.05/745.19 c N dy 158 43419 66202 164501 4597140 15657 12129074 2400098 42.75 45.74
11777.03/746.53 c S st 168 45751 65124 164501 4597305 17905 12129071 2547121 42.49 29.77
11784.06/747.84 c S st 168 46251 64977 161076 4419023 18207 11838428 2401101 42.49 no data
11785.02/748.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.21
11835.81/756.62 c Flit: 532 Blit: 1 bXBeca: 0 bXProp: 37 Bins: 444228 BRemL: 4238 BRemN: 0 P: 200.0M T: 8.58
11835.81/756.63 c Cleaning up after failed var search: 0.00 s
11839.13/757.26 c Replacing 68 vars Replaced 155510 lits Time: 0.63 s
11841.85/757.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
11844.80/758.30 c bin-w-bin subsume rem 13689 bins time: 0.57 s
11928.97/765.69 c subs with bin: 2544 lits-rem: 42485 v-fix: 0 time: 7.39 s
11976.29/767.16 c Subs w/ non-existent bins: 1167 l-rem: 13477 v-fix: 4 done: 55407 time: 1.44 s
11999.25/767.87 c Removed useless bin: 16197 fixed: 0 props: 20.00M time: 0.69 s
12398.13/780.31 c lits-rem: 33302 cl-subs: 2267 v-elim: 8788 v-fix: 0 time: 12.42 s
12474.84/782.71 c subs with bin: 2 lits-rem: 688 v-fix: 0 time: 2.20 s
12596.85/786.54 c lits-rem: 13478 cl-subs: 766 v-elim: 0 v-fix: 0 time: 3.53 s
12625.03/787.44 c asymm cl-useful: 366/370/150240 lits-rem:7321 time: 0.90
12628.24/787.58 c calculated reachability. Time: 0.01
12628.24/787.58 c N dy 168 46251 55588 150240 4254154 17019 10283686 3033298 42.49 no data
12632.02/787.70 c Finding binary XORs T: 0.12 s found: 87
12702.34/789.85 c N dy 179 50285 55588 150240 4254182 20937 10283681 3307983 41.18 44.83
12809.19/793.82 c N dy 185 54851 54929 135874 3883585 24355 9260588 3347725 40.11 42.30
12919.97/799.83 c N dy 186 67836 54929 135874 3883609 20091 9260588 2838285 36.47 38.95
13157.33/818.37 c S st 197 69376 54857 135874 3888885 21576 9260588 2950880 36.54 26.59
13179.52/819.75 c S st 197 69876 54854 135874 3888941 22012 9260583 2968633 36.54 no data
13182.72/819.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.18
13542.00/836.51 c Flit: 638 Blit: 76 bXBeca: 0 bXProp: 20 Bins: 343782 BRemL: 9041 BRemN: 2 P: 200.0M T: 16.22
13544.70/836.67 c Cleaning up after failed var search: 0.15 s
13555.49/837.07 c Replacing 108 vars Replaced 152256 lits Time: 0.40 s
13566.44/837.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
13580.58/837.93 c bin-w-bin subsume rem 19254 bins time: 0.48 s
13858.79/847.19 c subs with bin: 2414 lits-rem: 148039 v-fix: 0 time: 9.25 s
13906.13/848.62 c Subs w/ non-existent bins: 2734 l-rem: 3709 v-fix: 0 done: 44002 time: 1.40 s
13922.06/849.12 c Removed useless bin: 6211 fixed: 0 props: 20.00M time: 0.50 s
14034.53/852.67 c lits-rem: 1992 cl-subs: 5324 v-elim: 1583 v-fix: 0 time: 3.54 s
14104.85/854.84 c subs with bin: 45 lits-rem: 27704 v-fix: 0 time: 2.01 s
14145.70/856.16 c lits-rem: 12454 cl-subs: 1669 v-elim: 0 v-fix: 0 time: 1.07 s
14184.01/857.34 c vivif2 -- cl tried 122913 cl shrink 12806 lits rem 96953 time: 1.17
14193.61/857.61 c vivif2 -- cl tried 19681 cl shrink 4713 lits rem 25491 time: 0.27
14215.97/858.36 c asymm cl-useful: 584/664/122489 lits-rem:4229 time: 0.75
14228.77/858.75 c calculated reachability. Time: 0.26
14228.77/858.75 c N dy 197 69876 52412 122489 3933310 19637 8569573 3230903 36.54 no data
14257.53/859.60 c Finding binary XORs T: 0.85 s found: 11
14421.15/864.74 c N dy 204 77687 52412 122489 3933390 27228 8569568 3540609 34.25 37.08
14544.59/869.13 c N dy 232 82661 48727 97330 2839294 15505 7341055 2081132 34.07 38.90
14667.63/873.09 c F st 268 87501 46638 82195 2395334 19098 6495789 1952978 34.40 no data
14674.01/873.29 c Replacing 11 vars Replaced 1018 lits Time: 0.20 s
14699.55/874.03 c N st 270 88127 46633 82194 2395325 19704 6495746 2013560 34.40 no data
14725.08/874.86 c Finding binary XORs T: 0.83 s found: 32
14830.45/878.15 c N dy 281 93917 46607 82194 2396078 14971 6495738 1534427 34.37 36.87
14961.83/882.29 c N dy 312 100817 46606 82194 2396307 21521 6495723 2079129 34.09 35.89
15025.11/884.26 c S st 314 104816 46606 82194 2396317 25341 6495722 2295181 33.64 22.27
15067.24/885.54 c S st 314 105316 43245 62990 1903448 24044 5567442 1579794 33.64 no data
15070.44/885.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12
15351.35/900.39 c Flit: 386 Blit: 677 bXBeca: 0 bXProp: 15 Bins: 76995 BRemL: 13864 BRemN: 13669 P: 200.0M T: 13.93
15352.14/900.48 c Cleaning up after failed var search: 0.09 s
15354.54/900.77 c Replacing 48 vars Replaced 56974 lits Time: 0.28 s
15356.29/901.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
15357.74/901.20 c bin-w-bin subsume rem 4008 bins time: 0.20 s
15393.16/905.64 c subs with bin: 4975 lits-rem: 107299 v-fix: 0 time: 4.44 s
15398.88/906.44 c Subs w/ non-existent bins: 437 l-rem: 1284 v-fix: 10 done: 41970 time: 0.80 s
15401.55/906.81 c Removed useless bin: 12761 fixed: 36 props: 20.00M time: 0.33 s
15428.83/910.77 c lits-rem: 14031 cl-subs: 5127 v-elim: 13710 v-fix: 0 time: 3.93 s
15438.73/912.38 c subs with bin: 255 lits-rem: 5655 v-fix: 0 time: 1.47 s
15450.24/914.27 c lits-rem: 40454 cl-subs: 2943 v-elim: 0 v-fix: 0 time: 1.78 s
15451.33/914.47 c vivif2 -- cl tried 45663 cl shrink 1235 lits rem 50614 time: 0.20
15452.53/914.67 c vivif2 -- cl tried 15920 cl shrink 2486 lits rem 8275 time: 0.20
15455.23/915.12 c asymm cl-useful: 56/1773/45505 lits-rem:864 time: 0.45
15456.15/915.40 c calculated reachability. Time: 0.24
15456.47/915.40 c N dy 314 105316 28226 45497 1177926 15816 3384457 1051623 33.64 no data
15461.45/917.59 c Following stats are for *FIRST FINISHED THREAD ONLY*
15461.45/917.59 c num threads : 32
15461.45/917.59 c restarts : 658
15461.45/917.59 c dynamic restarts : 640
15461.45/917.59 c static restarts : 18
15461.45/917.59 c full restarts : 2
15461.45/917.59 c total simplify time : 2.95
15461.45/917.59 c learnts DL2 : 0
15461.45/917.59 c learnts size 2 : 7174352
15461.45/917.59 c learnts size 1 : 28275 (31.66 % of vars)
15461.45/917.59 c filedLit time : 23.54 (4.62 % time)
15461.45/917.59 c v-elim SatELite : 22696 (25.41 % vars)
15461.45/917.59 c SatELite time : 247.24 (48.53 % time)
15461.45/917.59 c v-elim xor : 0 (0.00 % vars)
15461.45/917.59 c xor elim time : 0.20 (0.04 % time)
15461.45/917.59 c num binary xor trees : 214
15461.45/917.59 c binxor trees' crown : 252 (1.18 leafs/tree)
15461.45/917.59 c bin xor find time : 0.58
15461.45/917.59 c OTF clause improved : 6746 (0.03 clauses/conflict)
15461.45/917.59 c OTF impr. size diff : 9337 (1.38 lits/clause)
15461.45/917.59 c OTF cl watch-shrink : 116251 (0.54 clauses/conflict)
15461.45/917.59 c OTF cl watch-sh-lit : 1731473 (14.89 lits/clause)
15461.45/917.59 c tried to recurMin cls : 0 (0.00 % of conflicts)
15461.45/917.59 c updated cache : 0 (nan lits/tried recurMin)
15461.45/917.59 c unit cls recevied : 13013 (46.02 % of units)
15461.45/917.59 c unit cls sent : 1103 (3.90 % of units)
15461.45/917.59 c bin cls recevied : 1691921
15461.45/917.59 c bin cls sent : 2951
15461.45/917.59 c clauses over max glue : 0 (0.00 % of all clauses)
15461.45/917.59 c conflicts : 215593 (423.15 / sec)
15461.45/917.59 c decisions : 8221420 (0.52 % random)
15461.45/917.59 c bogo-props : 2694055357 (5287681.32 / sec)
15461.45/917.59 c conflict literals : 14686064 (52.62 % deleted)
15461.45/917.59 c Memory used : 18064.34 MB
15461.45/917.59 c single-thread CPU time : 509.50 s
15461.45/917.59 c all-threads sum CPU time : 15357.94 s
15461.45/917.59 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-3400907-1307135408/watcher-3400907-1307135408 -o /tmp/evaluation-result-3400907-1307135408/solver-3400907-1307135408 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400907-1307135408.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: 26.61 27.86 26.57 1/413 17731
/proc/meminfo: memFree=262677220/264257624 swapFree=67054988/67111528
[pid=17731] ppid=17729 vsize=338000 CPUtime=0.73 cores=0-31
/proc/17731/stat : 17731 (strangenight2-m) R 17729 17731 17705 0 -1 4202496 437 0 0 0 73 0 0 0 25 0 32 0 19453667 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 18446744073709551615 0 0 17 14 0 0 0
/proc/17731/statm: 84500 376 297 95 0 79482 0
[pid=17731/tid=17732] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17732/stat : 17732 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17731/tid=17733] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17733/stat : 17733 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17731/tid=17734] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17734/stat : 17734 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17731/tid=17735] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17735/stat : 17735 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17731/tid=17736] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17736/stat : 17736 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17731/tid=17737] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17737/stat : 17737 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627440 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17731/tid=17738] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17738/stat : 17738 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627436 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17731/tid=17739] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17739/stat : 17739 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17731/tid=17740] ppid=17729 vsize=338000 CPUtime=0 cores=0-31
/proc/17731/task/17740/stat : 17740 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17731/tid=17741] ppid=17729 vsize=338000 CPUtime=0 cores=0-31
/proc/17731/task/17741/stat : 17741 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17731/tid=17742] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17742/stat : 17742 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627436 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17731/tid=17743] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17743/stat : 17743 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17731/tid=17744] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17744/stat : 17744 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17731/tid=17745] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17745/stat : 17745 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17731/tid=17746] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17746/stat : 17746 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17731/tid=17747] ppid=17729 vsize=338000 CPUtime=0 cores=0-31
/proc/17731/task/17747/stat : 17747 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17731/tid=17748] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17748/stat : 17748 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17731/tid=17749] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17749/stat : 17749 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17731/tid=17750] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17750/stat : 17750 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627440 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17731/tid=17751] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17751/stat : 17751 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17731/tid=17752] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17752/stat : 17752 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17731/tid=17753] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17753/stat : 17753 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627436 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17731/tid=17754] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17754/stat : 17754 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17731/tid=17755] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17755/stat : 17755 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627436 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17731/tid=17756] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17756/stat : 17756 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17731/tid=17757] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17757/stat : 17757 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17731/tid=17758] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17758/stat : 17758 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17731/tid=17759] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17759/stat : 17759 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17731/tid=17760] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17760/stat : 17760 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17731/tid=17761] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17761/stat : 17761 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627442 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17731/tid=17762] ppid=17729 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17731/task/17762/stat : 17762 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 19453668 346112000 376 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627436 0 0 4096 2 0 0 0 -1 25 0 0 0
[startup+0.100486 s]
/proc/loadavg: 26.61 27.86 26.57 1/413 17731
/proc/meminfo: memFree=262677220/264257624 swapFree=67054988/67111528
[pid=17731] ppid=17729 vsize=797968 CPUtime=2.45 cores=0-31
/proc/17731/stat : 17731 (strangenight2-m) R 17729 17731 17705 0 -1 4202496 2904 0 0 0 223 22 0 0 25 0 32 0 19453667 817119232 2763 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 14 0 0 0
/proc/17731/statm: 199492 2807 322 95 0 194474 0
[pid=17731/tid=17732] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17732/stat : 17732 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 79 0 0 0 7 0 0 0 24 0 32 0 19453668 817119232 2849 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17731/tid=17733] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17733/stat : 17733 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 96 0 0 0 7 0 0 0 18 0 32 0 19453668 817119232 2892 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17731/tid=17734] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17734/stat : 17734 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 83 0 0 0 7 0 0 0 18 0 32 0 19453668 817119232 2949 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17731/tid=17735] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17735/stat : 17735 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 85 0 0 0 7 0 0 0 18 0 32 0 19453668 817119232 2981 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17731/tid=17736] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17736/stat : 17736 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 79 0 0 0 7 0 0 0 24 0 32 0 19453668 817119232 3017 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17731/tid=17737] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17737/stat : 17737 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 68 0 0 0 7 0 0 0 24 0 32 0 19453668 817119232 3059 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17731/tid=17738] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17738/stat : 17738 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 101 0 0 0 7 0 0 0 18 0 32 0 19453668 817119232 3100 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17731/tid=17739] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17739/stat : 17739 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 122 0 0 0 7 0 0 0 18 0 32 0 19453668 817119232 3133 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17731/tid=17740] ppid=17729 vsize=797968 CPUtime=0.02 cores=0-31
/proc/17731/task/17740/stat : 17740 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 81 0 0 0 2 0 0 0 25 0 32 0 19453668 817119232 3178 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17731/tid=17741] ppid=17729 vsize=797968 CPUtime=0.04 cores=0-31
/proc/17731/task/17741/stat : 17741 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 58 0 0 0 4 0 0 0 25 0 32 0 19453668 817119232 3226 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=17731/tid=17742] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17742/stat : 17742 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 90 0 0 0 7 0 0 0 25 0 32 0 19453668 817119232 3271 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17731/tid=17743] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17743/stat : 17743 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 118 0 0 0 7 0 0 0 25 0 32 0 19453668 817119232 3313 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17731/tid=17744] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17744/stat : 17744 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 92 0 0 0 7 0 0 0 25 0 32 0 19453668 817119232 3375 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17731/tid=17745] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17745/stat : 17745 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 80 0 0 0 7 0 0 0 25 0 32 0 19453668 817119232 3404 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17731/tid=17746] ppid=17729 vsize=797968 CPUtime=0.04 cores=0-31
/proc/17731/task/17746/stat : 17746 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 8 0 0 0 4 0 0 0 25 0 32 0 19453668 817119232 3444 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17731/tid=17747] ppid=17729 vsize=797968 CPUtime=0.02 cores=0-31
/proc/17731/task/17747/stat : 17747 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 156 0 0 0 2 0 0 0 18 0 32 0 19453668 817119232 3482 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17731/tid=17748] ppid=17729 vsize=797968 CPUtime=0.08 cores=0-31
/proc/17731/task/17748/stat : 17748 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 107 0 0 0 7 1 0 0 25 0 32 0 19453668 817119232 3547 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17731/tid=17749] ppid=17729 vsize=797968 CPUtime=0.08 cores=0-31
/proc/17731/task/17749/stat : 17749 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 116 0 0 0 7 1 0 0 18 0 32 0 19453668 817119232 3590 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17731/tid=17750] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17750/stat : 17750 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 90 0 0 0 7 0 0 0 25 0 32 0 19453668 817119232 3635 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17731/tid=17751] ppid=17729 vsize=797968 CPUtime=0.08 cores=0-31
/proc/17731/task/17751/stat : 17751 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 166 0 0 0 7 1 0 0 18 0 32 0 19453668 817119232 3669 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17731/tid=17752] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17752/stat : 17752 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 91 0 0 0 7 0 0 0 25 0 32 0 19453668 817119232 3709 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17731/tid=17753] ppid=17729 vsize=797968 CPUtime=0.08 cores=0-31
/proc/17731/task/17753/stat : 17753 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 141 0 0 0 7 1 0 0 25 0 32 0 19453668 817119232 3760 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17731/tid=17754] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17754/stat : 17754 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 80 0 0 0 7 0 0 0 25 0 32 0 19453668 817119232 3803 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17731/tid=17755] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17755/stat : 17755 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 99 0 0 0 7 0 0 0 25 0 32 0 19453668 817119232 3837 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17731/tid=17756] ppid=17729 vsize=797968 CPUtime=0.08 cores=0-31
/proc/17731/task/17756/stat : 17756 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 133 0 0 0 7 1 0 0 18 0 32 0 19453668 817119232 3888 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17731/tid=17757] ppid=17729 vsize=797968 CPUtime=0.08 cores=0-31
/proc/17731/task/17757/stat : 17757 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 102 0 0 0 7 1 0 0 25 0 32 0 19453668 817119232 3927 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17731/tid=17758] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17758/stat : 17758 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 95 0 0 0 7 0 0 0 25 0 32 0 19453668 817119232 3979 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17731/tid=17759] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17759/stat : 17759 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 86 0 0 0 7 0 0 0 25 0 32 0 19453668 817119232 4000 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17731/tid=17760] ppid=17729 vsize=797968 CPUtime=0.08 cores=0-31
/proc/17731/task/17760/stat : 17760 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 115 0 0 0 7 1 0 0 25 0 32 0 19453668 817119232 4036 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17731/tid=17761] ppid=17729 vsize=797968 CPUtime=0.08 cores=0-31
/proc/17731/task/17761/stat : 17761 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 166 0 0 0 7 1 0 0 18 0 32 0 19453668 817119232 4073 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17731/tid=17762] ppid=17729 vsize=797968 CPUtime=0.07 cores=0-31
/proc/17731/task/17762/stat : 17762 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 97 0 0 0 7 0 0 0 25 0 32 0 19453668 817119232 4128 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 797968
[startup+0.205501 s]
/proc/loadavg: 26.61 27.86 26.57 1/413 17731
/proc/meminfo: memFree=262677220/264257624 swapFree=67054988/67111528
[pid=17731] ppid=17729 vsize=1325916 CPUtime=3.97 cores=0-31
/proc/17731/stat : 17731 (strangenight2-m) D 17729 17731 17705 0 -1 4202496 14014 0 0 0 257 140 0 0 17 0 32 0 19453667 1357737984 13861 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650999207 0 0 4096 2 18446744073709551615 0 0 17 14 0 0 0
/proc/17731/statm: 315095 13863 334 95 0 310077 0
[pid=17731/tid=17732] ppid=17729 vsize=1391452 CPUtime=0.12 cores=0-31
/proc/17731/task/17732/stat : 17732 (strangenight2-m) D 17729 17731 17705 0 -1 4202560 394 0 0 0 8 4 0 0 17 0 32 0 19453668 1424846848 13865 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17731/tid=17733] ppid=17729 vsize=1334120 CPUtime=0.12 cores=0-31
/proc/17731/task/17733/stat : 17733 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 535 0 0 0 8 4 0 0 17 0 32 0 19453668 1366138880 13875 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17731/tid=17734] ppid=17729 vsize=1334120 CPUtime=0.12 cores=0-31
/proc/17731/task/17734/stat : 17734 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 408 0 0 0 8 4 0 0 17 0 32 0 19453668 1366138880 13876 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651060958 0 0 4096 2 18446604643205488096 0 0 -1 4 0 0 0
[pid=17731/tid=17735] ppid=17729 vsize=1325916 CPUtime=0.11 cores=0-31
/proc/17731/task/17735/stat : 17735 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 416 0 0 0 8 3 0 0 17 0 32 0 19453668 1357737984 13880 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651060958 0 0 4096 2 18446604641774394848 0 0 -1 28 0 0 0
[pid=17731/tid=17736] ppid=17729 vsize=1325916 CPUtime=0.13 cores=0-31
/proc/17731/task/17736/stat : 17736 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 419 0 0 0 8 5 0 0 17 0 32 0 19453668 1357737984 13881 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651060958 0 0 4096 2 18446744071566931184 0 0 -1 24 0 0 0
[pid=17731/tid=17737] ppid=17729 vsize=1325916 CPUtime=0.12 cores=0-31
/proc/17731/task/17737/stat : 17737 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 367 0 0 0 8 4 0 0 17 0 32 0 19453668 1357737984 13890 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651060958 0 0 4096 2 18446604500828454368 0 0 -1 29 0 0 0
[pid=17731/tid=17738] ppid=17729 vsize=1325916 CPUtime=0.11 cores=0-31
/proc/17731/task/17738/stat : 17738 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 424 0 0 0 8 3 0 0 17 0 32 0 19453668 1357737984 13891 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651060958 0 0 4096 2 18446744071566929704 0 0 -1 0 0 0 0
[pid=17731/tid=17739] ppid=17729 vsize=1325916 CPUtime=0.12 cores=0-31
/proc/17731/task/17739/stat : 17739 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 457 0 0 0 8 4 0 0 17 0 32 0 19453668 1357737984 13894 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651060958 0 0 4096 2 18446604464327179744 0 0 -1 19 0 0 0
[pid=17731/tid=17740] ppid=17729 vsize=1325916 CPUtime=0.06 cores=0-31
/proc/17731/task/17740/stat : 17740 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 389 0 0 0 3 3 0 0 17 0 32 0 19453668 1357737984 13895 268435456000 4194304 4580107 140737009768880 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17731/tid=17741] ppid=17729 vsize=1325916 CPUtime=0.08 cores=0-31
/proc/17731/task/17741/stat : 17741 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 384 0 0 0 5 3 0 0 17 0 32 0 19453668 1357737984 13897 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651060958 0 0 4096 2 18446604629675310560 0 0 -1 31 0 0 0
[pid=17731/tid=17742] ppid=17729 vsize=1325916 CPUtime=0.12 cores=0-31
/proc/17731/task/17742/stat : 17742 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 391 0 0 0 8 4 0 0 17 0 32 0 19453668 1357737984 13905 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651060958 0 0 4096 2 18446604691281640928 0 0 -1 7 0 0 0
[pid=17731/tid=17743] ppid=17729 vsize=1325916 CPUtime=0.11 cores=0-31
/proc/17731/task/17743/stat : 17743 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 405 0 0 0 8 3 0 0 17 0 32 0 19453668 1357737984 13906 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651060958 0 0 4096 2 18446604500828454368 0 0 -1 15 0 0 0
[pid=17731/tid=17744] ppid=17729 vsize=1325916 CPUtime=0.12 cores=0-31
/proc/17731/task/17744/stat : 17744 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 411 0 0 0 8 4 0 0 17 0 32 0 19453668 1357737984 13907 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651060958 0 0 4096 2 18446604629017804256 0 0 -1 11 0 0 0
[pid=17731/tid=17745] ppid=17729 vsize=1325916 CPUtime=0.12 cores=0-31
/proc/17731/task/17745/stat : 17745 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 399 0 0 0 8 4 0 0 17 0 32 0 19453668 1357737984 13915 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651060958 0 0 4096 2 18446604603279982048 0 0 -1 23 0 0 0
[pid=17731/tid=17746] ppid=17729 vsize=1325916 CPUtime=0.08 cores=0-31
/proc/17731/task/17746/stat : 17746 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 426 0 0 0 6 2 0 0 17 0 32 0 19453668 1357737984 13919 268435456000 4194304 4580107 140737009768880 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17731/tid=17747] ppid=17729 vsize=1325916 CPUtime=0.06 cores=0-31
/proc/17731/task/17747/stat : 17747 (strangenight2-m) D 17729 17731 17705 0 -1 4202560 456 0 0 0 3 3 0 0 17 0 32 0 19453668 1357737984 13920 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17731/tid=17748] ppid=17729 vsize=1325916 CPUtime=0.11 cores=0-31
################
# More data... #
################
/proc/17731/task/17736/stat : 17736 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 237057 0 0 0 48090 390 0 0 25 0 32 0 19453668 18941829120 3964988 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604640776977888 0 0 -1 26 0 0 0
[pid=17731/tid=17737] ppid=17729 vsize=18497880 CPUtime=466.21 cores=0-31
/proc/17731/task/17737/stat : 17737 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 155386 0 0 0 46322 299 0 0 20 0 32 0 19453668 18941829120 3964988 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604605714816480 0 0 -1 4 0 0 0
[pid=17731/tid=17738] ppid=17729 vsize=18497880 CPUtime=472.17 cores=0-31
/proc/17731/task/17738/stat : 17738 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 165247 0 0 0 46887 330 0 0 25 0 32 0 19453668 18941829120 3964988 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604640548593120 0 0 -1 0 0 0 0
[pid=17731/tid=17739] ppid=17729 vsize=18497880 CPUtime=478.43 cores=0-31
/proc/17731/task/17739/stat : 17739 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 156638 0 0 0 47539 304 0 0 20 0 32 0 19453668 18941829120 3964988 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604710969130464 0 0 -1 3 0 0 0
[pid=17731/tid=17740] ppid=17729 vsize=18497880 CPUtime=481.7 cores=0-31
/proc/17731/task/17740/stat : 17740 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 166167 0 0 0 47853 317 0 0 18 0 32 0 19453668 18941829120 3964988 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604636340649440 0 0 -1 6 0 0 0
[pid=17731/tid=17741] ppid=17729 vsize=18497880 CPUtime=478.54 cores=0-31
/proc/17731/task/17741/stat : 17741 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 149723 0 0 0 47542 312 0 0 18 0 32 0 19453668 18941829120 3964988 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604643205488096 0 0 -1 19 0 0 0
[pid=17731/tid=17742] ppid=17729 vsize=18497880 CPUtime=498.33 cores=0-31
/proc/17731/task/17742/stat : 17742 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 163766 0 0 0 49507 326 0 0 19 0 32 0 19453668 18941829120 3964988 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604464327187936 0 0 -1 2 0 0 0
[pid=17731/tid=17743] ppid=17729 vsize=18497880 CPUtime=510.03 cores=0-31
/proc/17731/task/17743/stat : 17743 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 150571 0 0 0 50711 292 0 0 25 0 32 0 19453668 18941829120 3964988 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275602628 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17731/tid=17744] ppid=17729 vsize=18497880 CPUtime=494.49 cores=0-31
/proc/17731/task/17744/stat : 17744 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 162947 0 0 0 49141 308 0 0 20 0 32 0 19453668 18941829120 3964988 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604500828454368 0 0 -1 20 0 0 0
[pid=17731/tid=17745] ppid=17729 vsize=18497880 CPUtime=508.42 cores=0-31
/proc/17731/task/17745/stat : 17745 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 151849 0 0 0 50566 276 0 0 19 0 32 0 19453668 18941829120 3964988 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604701573561824 0 0 -1 16 0 0 0
[pid=17731/tid=17746] ppid=17729 vsize=18497880 CPUtime=470.98 cores=0-31
/proc/17731/task/17746/stat : 17746 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 136105 0 0 0 46803 295 0 0 20 0 32 0 19453668 18941829120 3964988 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604603279982048 0 0 -1 5 0 0 0
[pid=17731/tid=17747] ppid=17729 vsize=18497880 CPUtime=485.17 cores=0-31
/proc/17731/task/17747/stat : 17747 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 149854 0 0 0 48219 298 0 0 18 0 32 0 19453668 18941829120 3964988 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604710968876512 0 0 -1 31 0 0 0
[pid=17731/tid=17748] ppid=17729 vsize=18497880 CPUtime=470.78 cores=0-31
/proc/17731/task/17748/stat : 17748 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 145567 0 0 0 46748 330 0 0 21 0 32 0 19453668 18941829120 3964997 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446744071566930984 0 0 -1 27 0 0 0
[pid=17731/tid=17749] ppid=17729 vsize=18497880 CPUtime=476.95 cores=0-31
/proc/17731/task/17749/stat : 17749 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 148424 0 0 0 47375 320 0 0 19 0 32 0 19453668 18941829120 3965010 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604500828437984 0 0 -1 12 0 0 0
[pid=17731/tid=17750] ppid=17729 vsize=18497880 CPUtime=488.62 cores=0-31
/proc/17731/task/17750/stat : 17750 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 162489 0 0 0 48545 317 0 0 20 0 32 0 19453668 18941829120 3965018 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604590980480480 0 0 -1 24 0 0 0
[pid=17731/tid=17751] ppid=17729 vsize=18497880 CPUtime=475.03 cores=0-31
/proc/17731/task/17751/stat : 17751 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 142642 0 0 0 47182 321 0 0 25 0 32 0 19453668 18941829120 3965026 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604464327196128 0 0 -1 25 0 0 0
[pid=17731/tid=17752] ppid=17729 vsize=18497880 CPUtime=472.43 cores=0-31
/proc/17731/task/17752/stat : 17752 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 151842 0 0 0 46956 287 0 0 20 0 32 0 19453668 18941829120 3965035 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604708831124960 0 0 -1 30 0 0 0
[pid=17731/tid=17753] ppid=17729 vsize=18497880 CPUtime=483.86 cores=0-31
/proc/17731/task/17753/stat : 17753 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 218136 0 0 0 48037 349 0 0 25 0 32 0 19453668 18941829120 3965037 268435456000 4194304 4580107 140737009768880 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17731/tid=17754] ppid=17729 vsize=18497880 CPUtime=470.74 cores=0-31
/proc/17731/task/17754/stat : 17754 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 164059 0 0 0 46776 298 0 0 18 0 32 0 19453668 18941829120 3965037 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604629017804256 0 0 -1 15 0 0 0
[pid=17731/tid=17755] ppid=17729 vsize=18497880 CPUtime=477.47 cores=0-31
/proc/17731/task/17755/stat : 17755 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 153110 0 0 0 47415 332 0 0 21 0 32 0 19453668 18941829120 3965037 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604641774394848 0 0 -1 28 0 0 0
[pid=17731/tid=17756] ppid=17729 vsize=18497880 CPUtime=477.69 cores=0-31
/proc/17731/task/17756/stat : 17756 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 158276 0 0 0 47439 330 0 0 25 0 32 0 19453668 18941829120 3965037 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604629024447968 0 0 -1 29 0 0 0
[pid=17731/tid=17757] ppid=17729 vsize=18497880 CPUtime=455.55 cores=0-31
/proc/17731/task/17757/stat : 17757 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 145913 0 0 0 45249 306 0 0 21 0 32 0 19453668 18941829120 3965037 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604587800665568 0 0 -1 22 0 0 0
[pid=17731/tid=17758] ppid=17729 vsize=18497880 CPUtime=480.48 cores=0-31
/proc/17731/task/17758/stat : 17758 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 222180 0 0 0 47691 357 0 0 25 0 32 0 19453668 18941829120 3965037 268435456000 4194304 4580107 140737009768880 18446744073709551615 4507850 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17731/tid=17759] ppid=17729 vsize=18497880 CPUtime=496.94 cores=0-31
/proc/17731/task/17759/stat : 17759 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 203403 0 0 0 49348 346 0 0 25 0 32 0 19453668 18941829120 3965037 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604464327179744 0 0 -1 27 0 0 0
[pid=17731/tid=17760] ppid=17729 vsize=18497880 CPUtime=460.71 cores=0-31
/proc/17731/task/17760/stat : 17760 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 153305 0 0 0 45759 312 0 0 20 0 32 0 19453668 18941829120 3965037 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604597939043808 0 0 -1 23 0 0 0
[pid=17731/tid=17761] ppid=17729 vsize=18497880 CPUtime=467.31 cores=0-31
/proc/17731/task/17761/stat : 17761 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 157146 0 0 0 46446 285 0 0 25 0 32 0 19453668 18941829120 3965037 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604500828446176 0 0 -1 1 0 0 0
[pid=17731/tid=17762] ppid=17729 vsize=18497880 CPUtime=487.46 cores=0-31
/proc/17731/task/17762/stat : 17762 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 286702 0 0 0 48367 379 0 0 25 0 32 0 19453668 18941829120 3965037 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604464327171552 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 15455.7
Current children cumulated vsize (KiB) 18497880
[startup+916.803 s]
/proc/loadavg: 19.18 14.76 19.57 3/445 17790
/proc/meminfo: memFree=246789248/264257624 swapFree=67054988/67111528
[pid=17731] ppid=17729 vsize=18497880 CPUtime=15460 cores=0-31
/proc/17731/stat : 17731 (strangenight2-m) S 17729 17731 17705 0 -1 4202496 5583014 0 0 0 1535635 10364 0 0 25 0 32 0 19453667 18941829120 3965120 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17731/statm: 4624470 3965120 378 95 0 4619452 0
[pid=17731/tid=17732] ppid=17729 vsize=18497880 CPUtime=503.96 cores=0-31
/proc/17731/task/17732/stat : 17732 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 227288 0 0 0 50018 378 0 0 19 0 32 0 19453668 18941829120 3965120 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604629675310560 0 0 -1 11 0 0 0
[pid=17731/tid=17733] ppid=17729 vsize=18497880 CPUtime=503.75 cores=0-31
/proc/17731/task/17733/stat : 17733 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 147258 0 0 0 50069 306 0 0 18 0 32 0 19453668 18941829120 3965120 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604658602032608 0 0 -1 21 0 0 0
[pid=17731/tid=17734] ppid=17729 vsize=18497880 CPUtime=485.31 cores=0-31
/proc/17731/task/17734/stat : 17734 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 154571 0 0 0 48249 282 0 0 20 0 32 0 19453668 18941829120 3965120 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604708024540640 0 0 -1 7 0 0 0
[pid=17731/tid=17735] ppid=17729 vsize=18497880 CPUtime=475.64 cores=0-31
/proc/17731/task/17735/stat : 17735 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 225719 0 0 0 47193 371 0 0 20 0 32 0 19453668 18941829120 3965120 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604643550748128 0 0 -1 25 0 0 0
[pid=17731/tid=17736] ppid=17729 vsize=18497880 CPUtime=484.8 cores=0-31
/proc/17731/task/17736/stat : 17736 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 237057 0 0 0 48090 390 0 0 25 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604640776977888 0 0 -1 26 0 0 0
[pid=17731/tid=17737] ppid=17729 vsize=18497880 CPUtime=466.21 cores=0-31
/proc/17731/task/17737/stat : 17737 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 155386 0 0 0 46322 299 0 0 20 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604605714816480 0 0 -1 4 0 0 0
[pid=17731/tid=17738] ppid=17729 vsize=18497880 CPUtime=472.17 cores=0-31
/proc/17731/task/17738/stat : 17738 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 165247 0 0 0 46887 330 0 0 25 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604640548593120 0 0 -1 0 0 0 0
[pid=17731/tid=17739] ppid=17729 vsize=18497880 CPUtime=478.43 cores=0-31
/proc/17731/task/17739/stat : 17739 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 156638 0 0 0 47539 304 0 0 20 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604710969130464 0 0 -1 3 0 0 0
[pid=17731/tid=17740] ppid=17729 vsize=18497880 CPUtime=481.7 cores=0-31
/proc/17731/task/17740/stat : 17740 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 166167 0 0 0 47853 317 0 0 18 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604636340649440 0 0 -1 6 0 0 0
[pid=17731/tid=17741] ppid=17729 vsize=18497880 CPUtime=478.54 cores=0-31
/proc/17731/task/17741/stat : 17741 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 149723 0 0 0 47542 312 0 0 18 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604643205488096 0 0 -1 19 0 0 0
[pid=17731/tid=17742] ppid=17729 vsize=18497880 CPUtime=498.33 cores=0-31
/proc/17731/task/17742/stat : 17742 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 163766 0 0 0 49507 326 0 0 19 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604464327187936 0 0 -1 2 0 0 0
[pid=17731/tid=17743] ppid=17729 vsize=18497880 CPUtime=511.62 cores=0-31
/proc/17731/task/17743/stat : 17743 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 150571 0 0 0 50870 292 0 0 25 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 4219864 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17731/tid=17744] ppid=17729 vsize=18497880 CPUtime=494.49 cores=0-31
/proc/17731/task/17744/stat : 17744 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 162947 0 0 0 49141 308 0 0 20 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604500828454368 0 0 -1 20 0 0 0
[pid=17731/tid=17745] ppid=17729 vsize=18497880 CPUtime=508.42 cores=0-31
/proc/17731/task/17745/stat : 17745 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 151849 0 0 0 50566 276 0 0 19 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604701573561824 0 0 -1 16 0 0 0
[pid=17731/tid=17746] ppid=17729 vsize=18497880 CPUtime=470.98 cores=0-31
/proc/17731/task/17746/stat : 17746 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 136105 0 0 0 46803 295 0 0 20 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604603279982048 0 0 -1 5 0 0 0
[pid=17731/tid=17747] ppid=17729 vsize=18497880 CPUtime=485.17 cores=0-31
/proc/17731/task/17747/stat : 17747 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 149854 0 0 0 48219 298 0 0 18 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604710968876512 0 0 -1 31 0 0 0
[pid=17731/tid=17748] ppid=17729 vsize=18497880 CPUtime=470.78 cores=0-31
/proc/17731/task/17748/stat : 17748 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 145567 0 0 0 46748 330 0 0 21 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446744071566930984 0 0 -1 27 0 0 0
[pid=17731/tid=17749] ppid=17729 vsize=18497880 CPUtime=476.95 cores=0-31
/proc/17731/task/17749/stat : 17749 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 148424 0 0 0 47375 320 0 0 19 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604500828437984 0 0 -1 12 0 0 0
[pid=17731/tid=17750] ppid=17729 vsize=18497880 CPUtime=488.62 cores=0-31
/proc/17731/task/17750/stat : 17750 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 162489 0 0 0 48545 317 0 0 20 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604590980480480 0 0 -1 24 0 0 0
[pid=17731/tid=17751] ppid=17729 vsize=18497880 CPUtime=475.03 cores=0-31
/proc/17731/task/17751/stat : 17751 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 142642 0 0 0 47182 321 0 0 25 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604464327196128 0 0 -1 25 0 0 0
[pid=17731/tid=17752] ppid=17729 vsize=18497880 CPUtime=472.43 cores=0-31
/proc/17731/task/17752/stat : 17752 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 151842 0 0 0 46956 287 0 0 20 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604708831124960 0 0 -1 30 0 0 0
[pid=17731/tid=17753] ppid=17729 vsize=18497880 CPUtime=485.44 cores=0-31
/proc/17731/task/17753/stat : 17753 (strangenight2-m) R 17729 17731 17705 0 -1 4202560 218797 0 0 0 48195 349 0 0 25 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 4439862 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17731/tid=17754] ppid=17729 vsize=18497880 CPUtime=470.74 cores=0-31
/proc/17731/task/17754/stat : 17754 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 164059 0 0 0 46776 298 0 0 18 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604629017804256 0 0 -1 15 0 0 0
[pid=17731/tid=17755] ppid=17729 vsize=18497880 CPUtime=477.47 cores=0-31
/proc/17731/task/17755/stat : 17755 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 153110 0 0 0 47415 332 0 0 21 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604641774394848 0 0 -1 28 0 0 0
[pid=17731/tid=17756] ppid=17729 vsize=18497880 CPUtime=477.69 cores=0-31
/proc/17731/task/17756/stat : 17756 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 158276 0 0 0 47439 330 0 0 25 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604629024447968 0 0 -1 29 0 0 0
[pid=17731/tid=17757] ppid=17729 vsize=18497880 CPUtime=455.55 cores=0-31
/proc/17731/task/17757/stat : 17757 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 145913 0 0 0 45249 306 0 0 21 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604587800665568 0 0 -1 22 0 0 0
[pid=17731/tid=17758] ppid=17729 vsize=18497880 CPUtime=481.26 cores=0-31
/proc/17731/task/17758/stat : 17758 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 222190 0 0 0 47769 357 0 0 25 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604567404289504 0 0 -1 30 0 0 0
[pid=17731/tid=17759] ppid=17729 vsize=18497880 CPUtime=496.94 cores=0-31
/proc/17731/task/17759/stat : 17759 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 203403 0 0 0 49348 346 0 0 25 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604464327179744 0 0 -1 27 0 0 0
[pid=17731/tid=17760] ppid=17729 vsize=18497880 CPUtime=460.71 cores=0-31
/proc/17731/task/17760/stat : 17760 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 153305 0 0 0 45759 312 0 0 20 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604597939043808 0 0 -1 23 0 0 0
[pid=17731/tid=17761] ppid=17729 vsize=18497880 CPUtime=467.31 cores=0-31
/proc/17731/task/17761/stat : 17761 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 157146 0 0 0 46446 285 0 0 25 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604500828446176 0 0 -1 1 0 0 0
[pid=17731/tid=17762] ppid=17729 vsize=18497880 CPUtime=487.46 cores=0-31
/proc/17731/task/17762/stat : 17762 (strangenight2-m) S 17729 17731 17705 0 -1 4202560 286702 0 0 0 48367 379 0 0 25 0 32 0 19453668 18941829120 3965121 268435456000 4194304 4580107 140737009768880 18446744073709551615 47041275627060 0 0 4096 2 18446604464327171552 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 15460
Current children cumulated vsize (KiB) 18497880
[startup+917.603 s]
/proc/loadavg: 17.81 14.55 19.48 3/445 17790
/proc/meminfo: memFree=246790860/264257624 swapFree=67054988/67111528
[pid=17731] ppid=17729 vsize=0 CPUtime=15461.6 cores=0-31
/proc/17731/stat : 17731 (strangenight2-m) Z 17729 17731 17705 0 -1 4203548 5583079 0 0 0 1535794 10366 0 0 18 0 2 0 19453667 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17731/statm: 0 0 0 0 0 0 0
[pid=17731/tid=17735] ppid=17729 vsize=0 CPUtime=475.65 cores=0-31
/proc/17731/task/17735/stat : 17735 (strangenight2-m) R 17729 17731 17705 0 -1 4203588 225719 0 0 0 47193 372 0 0 18 0 2 0 19453668 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 15461.6
Current children cumulated vsize (KiB) 0
[startup+918.401 s]
/proc/loadavg: 17.81 14.55 19.48 3/445 17790
/proc/meminfo: memFree=246790860/264257624 swapFree=67054988/67111528
[pid=17731] ppid=17729 vsize=0 CPUtime=15462.4 cores=0-31
/proc/17731/stat : 17731 (strangenight2-m) Z 17729 17731 17705 0 -1 4203548 5583079 0 0 0 1535794 10445 0 0 18 0 2 0 19453667 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17731/statm: 0 0 0 0 0 0 0
[pid=17731/tid=17735] ppid=17729 vsize=0 CPUtime=476.45 cores=0-31
/proc/17731/task/17735/stat : 17735 (strangenight2-m) R 17729 17731 17705 0 -1 4203588 225719 0 0 0 47193 452 0 0 18 0 2 0 19453668 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 15462.4
Current children cumulated vsize (KiB) 0
[startup+918.801 s]
/proc/loadavg: 17.81 14.55 19.48 2/415 17790
/proc/meminfo: memFree=256867704/264257624 swapFree=67054988/67111528
[pid=17731] ppid=17729 vsize=0 CPUtime=15462.8 cores=0-31
/proc/17731/stat : 17731 (strangenight2-m) Z 17729 17731 17705 0 -1 4203548 5583079 0 0 0 1535794 10485 0 0 18 0 2 0 19453667 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17731/statm: 0 0 0 0 0 0 0
[pid=17731/tid=17735] ppid=17729 vsize=0 CPUtime=476.85 cores=0-31
/proc/17731/task/17735/stat : 17735 (strangenight2-m) R 17729 17731 17705 0 -1 4203588 225719 0 0 0 47193 492 0 0 19 0 2 0 19453668 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 15462.8
Current children cumulated vsize (KiB) 0
[startup+918.901 s]
/proc/loadavg: 17.81 14.55 19.48 2/415 17790
/proc/meminfo: memFree=256867704/264257624 swapFree=67054988/67111528
[pid=17731] ppid=17729 vsize=0 CPUtime=15462.9 cores=0-31
/proc/17731/stat : 17731 (strangenight2-m) Z 17729 17731 17705 0 -1 4203548 5583079 0 0 0 1535794 10495 0 0 18 0 2 0 19453667 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/17731/statm: 0 0 0 0 0 0 0
[pid=17731/tid=17735] ppid=17729 vsize=0 CPUtime=476.95 cores=0-31
/proc/17731/task/17735/stat : 17735 (strangenight2-m) R 17729 17731 17705 0 -1 4203588 225719 0 0 0 47193 502 0 0 19 0 2 0 19453668 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 15462.9
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 918.921
CPU time (s): 15462.9
CPU user time (s): 15357.9
CPU system time (s): 104.978
CPU usage (%): 1682.73
Max. virtual memory (cumulated for all children) (KiB): 18497880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15357.9
system time used= 104.978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5583079
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= 4059382
involuntary context switches= 84478
runsolver used 6.77797 second user time and 23.0815 second system time
The end
Begin job on node200 at 2011-06-03 23:10:13
IDJOB=3400907
IDBENCH=88167
IDSOLVER=1886
FILE ID=node200/3400907-1307135408
RUNJOBID= node200-1307135408-17719
PBS_JOBID= 13498419
Free space on /tmp= 61644 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/11pipe_k.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400907-1307135408/watcher-3400907-1307135408 -o /tmp/evaluation-result-3400907-1307135408/solver-3400907-1307135408 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400907-1307135408.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 932387240a0c17f4c88af52c4ca151c6
RANDOM SEED=1017582338
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: 262677500 kB
Buffers: 139356 kB
Cached: 1246040 kB
SwapCached: 8472 kB
Active: 221360 kB
Inactive: 1182320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262677500 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 109420 kB
Writeback: 0 kB
AnonPages: 15448 kB
Mapped: 8472 kB
Slab: 95732 kB
PageTables: 4440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 184748 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= 61636 MiB
End job on node200 at 2011-06-03 23:25:32