0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.08 c This is CryptoMiniSat 3.0.0
0.00/0.08 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.08 c Reading file 'HOME/instance-3400769-1306770456.cnf'
0.00/0.12 c -- header says num vars: 70167
0.00/0.12 c -- header says num clauses: 209513
28.32/2.03 c -- clauses added: 0 learnts, 209513 normals, 0 xors
28.32/2.03 c -- vars added 70167
28.32/2.04 c Parsing time: 0.31 s
28.32/2.04 c N st 0 0 70167 69837 139674 0 488859 0 no data no data
57.57/3.08 c asymm cl-useful: 0/69836/69836 lits-rem:0 time: 1.04
102.76/4.44 c Flit: 6 Blit: 6 bXBeca: 0 bXProp: 242 Bins: 0 BRemL: 0 BRemN: 0 P: 19.6M T: 1.36
102.76/4.50 c Replacing 242 vars Replaced 2951 lits Time: 0.05 s
110.36/4.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
110.36/4.86 c bin-w-bin subsume rem 7 bins time: 0.03 s
112.64/4.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.07 s
118.29/5.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 69911 time: 0.24 s
123.83/5.37 c Removed useless bin: 224 fixed: 0 props: 16.81M time: 0.18 s
162.91/7.14 c lits-rem: 1786 cl-subs: 1963 v-elim: 23303 v-fix: 0 time: 0.76 s
162.91/7.17 c Finding binary XORs T: 0.03 s found: 4
165.13/7.21 c Replacing 4 vars Replaced 86 lits Time: 0.03 s
165.13/7.30 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan)
165.13/7.30 c calculated reachability. Time: 0.00
167.60/7.32 c Calc default polars - time: 0.02 s pos: 828 undec: 23733 neg: 45606
167.60/7.32 c =========================================================================================
167.60/7.32 c types(t): F = full restart, N = normal restart
167.60/7.32 c types(t): S = simplification begin/end, E = solution found
167.60/7.32 c restart types(rt): st = static, dy = dynamic
167.60/7.32 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
167.60/7.32 c B st 0 0 46604 66655 95195 0 432943 0 no data no data
220.53/9.01 c N dy 18 4280 46601 66655 95401 4001 432930 29800 4.43 4.77
271.66/10.67 c N dy 42 8288 46598 66655 97887 7824 432920 64731 4.59 4.85
326.01/12.32 c N dy 68 12353 46586 66655 101369 11753 432915 106514 4.75 5.02
351.56/13.15 c Finding binary XORs T: 0.03 s found: 42
383.52/14.13 c N dy 98 16430 46567 66436 101378 15735 431808 142349 4.85 5.13
447.43/16.18 c N dy 124 20468 46561 66436 104209 10071 431802 68179 4.92 5.27
508.15/18.03 c N dy 151 24519 46561 66436 106192 14019 431799 109496 4.97 5.74
514.53/18.29 c F st 154 25001 46561 66436 106195 14489 431799 113567 4.97 4.26
517.72/18.34 c Replacing 42 vars Replaced 2026 lits Time: 0.04 s
604.55/21.03 c N dy 160 30001 46515 66350 106145 19389 431263 176403 4.97 no data
604.55/21.03 c S st 160 30001 46515 66350 106145 19389 431263 176403 4.97 no data
616.73/21.47 c S st 160 30503 46514 66350 107857 19841 431263 183156 4.97 no data
616.73/21.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
770.11/26.25 c Flit: 11 Blit: 15 bXBeca: 0 bXProp: 310 Bins: 231559 BRemL: 71451 BRemN: 16 P: 30.1M T: 4.69
773.30/26.34 c Replacing 310 vars Replaced 26240 lits Time: 0.08 s
773.30/26.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
777.09/26.43 c bin-w-bin subsume rem 4102 bins time: 0.04 s
777.09/26.50 c subs with bin: 1385 lits-rem: 3966 v-fix: 0 time: 0.07 s
782.88/26.68 c Subs w/ non-existent bins: 244 l-rem: 901 v-fix: 0 done: 46172 time: 0.17 s
786.07/26.78 c Removed useless bin: 91 fixed: 0 props: 4.06M time: 0.10 s
812.23/27.54 c lits-rem: 3848 cl-subs: 4595 v-elim: 30031 v-fix: 0 time: 0.66 s
812.23/27.57 c subs with bin: 221 lits-rem: 554 v-fix: 0 time: 0.02 s
815.43/27.65 c lits-rem: 282 cl-subs: 540 v-elim: 0 v-fix: 0 time: 0.04 s
818.02/27.71 c asymm cl-useful: 0/3592/73428 lits-rem:0 time: 0.06
818.02/27.73 c calculated reachability. Time: 0.02
818.02/27.74 c N dy 160 30503 16141 73428 54089 4522 374937 85249 4.97 no data
818.02/27.78 c Finding binary XORs T: 0.04 s found: 7
850.62/28.78 c N dy 167 34934 16141 73428 54163 8802 374897 118479 4.87 5.18
878.35/29.71 c N dy 177 39099 16141 73428 54844 12855 374881 153110 4.82 5.13
906.12/30.82 c N dy 188 43255 16138 73428 69554 9238 374860 139413 4.78 5.04
911.65/30.99 c Finding binary XORs T: 0.03 s found: 4
921.02/31.32 c S st 198 45756 16138 73414 69578 11683 374797 161064 4.77 no data
925.92/31.52 c S st 198 46261 16138 73414 69609 12148 374794 164278 4.77 no data
925.92/31.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
950.84/32.62 c Flit: 1 Blit: 1 bXBeca: 0 bXProp: 23 Bins: 20334 BRemL: 34234 BRemN: 125 P: 13.6M T: 1.06
950.84/32.66 c Replacing 34 vars Replaced 1955 lits Time: 0.04 s
953.31/32.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
953.31/32.73 c bin-w-bin subsume rem 1814 bins time: 0.01 s
953.31/32.77 c subs with bin: 2248 lits-rem: 7011 v-fix: 0 time: 0.05 s
955.90/32.84 c Subs w/ non-existent bins: 209 l-rem: 1485 v-fix: 0 done: 16102 time: 0.06 s
955.90/32.87 c Removed useless bin: 23 fixed: 0 props: 0.63M time: 0.02 s
961.84/33.04 c lits-rem: 509 cl-subs: 1545 v-elim: 757 v-fix: 0 time: 0.16 s
961.84/33.08 c subs with bin: 72 lits-rem: 242 v-fix: 0 time: 0.02 s
964.53/33.18 c lits-rem: 287 cl-subs: 632 v-elim: 0 v-fix: 0 time: 0.06 s
966.71/33.24 c vivif2 -- cl tried 70413 cl shrink 1468 lits rem 1696 time: 0.06
966.71/33.26 c vivif2 -- cl tried 10627 cl shrink 951 lits rem 1174 time: 0.01
1008.67/34.66 c asymm cl-useful: 1976/13014/70378 lits-rem:2402 time: 1.40
1008.67/34.68 c calculated reachability. Time: 0.01
1008.67/34.68 c N dy 198 46261 15345 70378 48018 10609 350513 111301 4.77 no data
1011.87/34.71 c Finding binary XORs T: 0.03 s found: 1
1043.79/35.71 c N dy 214 50374 15345 70378 54825 14644 350500 159396 4.76 5.16
1075.63/36.75 c N dy 235 54406 15343 70378 54839 18603 350478 195502 4.76 5.03
1082.02/36.92 c Finding binary XORs T: 0.03 s found: 5
1110.74/37.88 c N dy 258 58602 15343 70370 63410 22701 350435 250983 4.76 5.05
1145.87/38.97 c N dy 287 62645 15343 70370 63687 26683 350427 293026 4.78 5.11
1181.01/40.02 c N dy 313 66683 15343 70370 63718 16490 350421 174770 4.79 5.17
1200.11/40.70 c S st 328 69392 15343 70370 68206 19143 350418 209462 4.80 no data
1209.67/40.96 c S st 328 69894 15343 70370 68226 19622 350417 213040 4.80 no data
1209.67/40.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
1244.82/42.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 24 Bins: 4928 BRemL: 20236 BRemN: 99 P: 13.5M T: 1.04
1244.82/42.06 c Replacing 31 vars Replaced 2522 lits Time: 0.03 s
1248.01/42.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1248.01/42.12 c bin-w-bin subsume rem 1039 bins time: 0.01 s
1248.01/42.16 c subs with bin: 696 lits-rem: 306 v-fix: 0 time: 0.04 s
1251.21/42.22 c Subs w/ non-existent bins: 135 l-rem: 29 v-fix: 0 done: 15312 time: 0.06 s
1251.21/42.24 c Removed useless bin: 28 fixed: 0 props: 0.57M time: 0.03 s
1254.41/42.38 c lits-rem: 173 cl-subs: 636 v-elim: 273 v-fix: 0 time: 0.13 s
1257.60/42.43 c subs with bin: 128 lits-rem: 257 v-fix: 0 time: 0.03 s
1260.79/42.54 c lits-rem: 506 cl-subs: 755 v-elim: 0 v-fix: 0 time: 0.07 s
1264.00/42.60 c vivif2 -- cl tried 69262 cl shrink 431 lits rem 523 time: 0.06
1264.00/42.63 c vivif2 -- cl tried 17979 cl shrink 1112 lits rem 1531 time: 0.02
1286.35/43.31 c asymm cl-useful: 1997/6682/69245 lits-rem:2157 time: 0.68
1286.35/43.33 c calculated reachability. Time: 0.01
1286.35/43.33 c N dy 328 69894 15039 69211 49612 17975 342714 163450 4.80 no data
1286.35/43.36 c Finding binary XORs T: 0.03 s found: 0
1318.31/44.35 c Finding binary XORs T: 0.03 s found: 12
1321.50/44.47 c N dy 356 74363 15034 69171 57017 22264 342555 221933 4.81 5.20
1359.84/45.63 c N dy 390 79197 15034 69171 57036 27031 342548 272907 4.83 7.08
1404.58/47.01 c N dy 433 84328 15031 69171 59055 32092 342545 333986 4.87 5.33
1430.10/47.85 c F st 460 87502 15027 69171 59143 35234 342544 371043 4.89 no data
1430.10/47.90 c Replacing 12 vars Replaced 1720 lits Time: 0.03 s
1455.66/48.63 c N st 465 90800 15015 69119 58985 22695 342324 214452 4.89 no data
1494.02/49.86 c Finding binary XORs T: 0.03 s found: 8
1500.41/50.06 c N dy 490 96791 15011 69103 59043 27883 342213 271515 4.90 5.17
1506.81/50.20 c E dy 492 97411 15005 69103 59073 28446 342212 276967 4.90 3.14
1514.01/51.75 c Following stats are for *FIRST FINISHED THREAD ONLY*
1514.01/51.75 c num threads : 32
1514.01/51.75 c restarts : 492
1514.01/51.75 c dynamic restarts : 474
1514.01/51.75 c static restarts : 18
1514.01/51.75 c full restarts : 2
1514.01/51.75 c total simplify time : 0.37
1514.01/51.75 c learnts DL2 : 0
1514.01/51.75 c learnts size 2 : 475744
1514.01/51.75 c learnts size 1 : 258 (0.37 % of vars)
1514.01/51.75 c filedLit time : 8.16 (16.90 % time)
1514.01/51.75 c v-elim SatELite : 54364 (77.48 % vars)
1514.01/51.75 c SatELite time : 2.05 (4.24 % time)
1514.01/51.75 c v-elim xor : 0 (0.00 % vars)
1514.01/51.75 c xor elim time : 0.07 (0.15 % time)
1514.01/51.75 c num binary xor trees : 531
1514.01/51.75 c binxor trees' crown : 683 (1.29 leafs/tree)
1514.01/51.75 c bin xor find time : 0.30
1514.01/51.75 c OTF clause improved : 1225 (0.01 clauses/conflict)
1514.01/51.75 c OTF impr. size diff : 1354 (1.11 lits/clause)
1514.01/51.75 c OTF cl watch-shrink : 37889 (0.39 clauses/conflict)
1514.01/51.75 c OTF cl watch-sh-lit : 62469 (1.65 lits/clause)
1514.01/51.75 c tried to recurMin cls : 15669 (16.09 % of conflicts)
1514.01/51.75 c updated cache : 0 (0.00 lits/tried recurMin)
1514.01/51.75 c unit cls recevied : 32 (12.40 % of units)
1514.01/51.75 c unit cls sent : 26 (10.08 % of units)
1514.01/51.75 c bin cls recevied : 58137
1514.01/51.75 c bin cls sent : 258339
1514.01/51.75 c clauses over max glue : 0 (0.00 % of all clauses)
1514.01/51.75 c conflicts : 97411 (2017.31 / sec)
1514.01/51.75 c decisions : 403752 (4.57 % random)
1514.01/51.75 c bogo-props : 781555860 (16185416.24 / sec)
1514.01/51.75 c conflict literals : 931055 (28.10 % deleted)
1514.01/51.75 c Memory used : 3995.63 MB
1514.01/51.75 c single-thread CPU time : 48.29 s
1514.01/51.75 c all-threads sum CPU time : 1475.87 s
1514.01/51.75 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400769-1306770456/watcher-3400769-1306770456 -o /tmp/evaluation-result-3400769-1306770456/solver-3400769-1306770456 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400769-1306770456.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.03 31.21 31.77 2/413 17735
/proc/meminfo: memFree=263761800/264257624 swapFree=67044744/67111528
[pid=17735] ppid=17733 vsize=338000 CPUtime=0.8 cores=0-31
/proc/17735/stat : 17735 (strangenight2-m) R 17733 17735 17649 0 -1 4202496 436 0 0 0 80 0 0 0 25 0 32 0 3011586 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/17735/statm: 84500 377 297 95 0 79482 0
[pid=17735/tid=17736] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17736/stat : 17736 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17735/tid=17737] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17737/stat : 17737 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17735/tid=17738] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17738/stat : 17738 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949424 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17735/tid=17739] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17739/stat : 17739 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17735/tid=17740] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17740/stat : 17740 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17735/tid=17741] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17741/stat : 17741 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17735/tid=17742] ppid=17733 vsize=338000 CPUtime=0 cores=0-31
/proc/17735/task/17742/stat : 17742 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17735/tid=17743] ppid=17733 vsize=338000 CPUtime=0 cores=0-31
/proc/17735/task/17743/stat : 17743 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17735/tid=17744] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17744/stat : 17744 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17735/tid=17745] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17745/stat : 17745 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17735/tid=17746] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17746/stat : 17746 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17735/tid=17747] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17747/stat : 17747 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17735/tid=17748] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17748/stat : 17748 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17735/tid=17749] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17749/stat : 17749 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949430 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17735/tid=17750] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17750/stat : 17750 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17735/tid=17751] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17751/stat : 17751 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949424 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17735/tid=17752] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17752/stat : 17752 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17735/tid=17753] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17753/stat : 17753 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17735/tid=17754] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17754/stat : 17754 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17735/tid=17755] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17755/stat : 17755 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17735/tid=17756] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17756/stat : 17756 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17735/tid=17757] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17757/stat : 17757 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17735/tid=17758] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17758/stat : 17758 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17735/tid=17759] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17759/stat : 17759 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17735/tid=17760] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17760/stat : 17760 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17735/tid=17761] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17761/stat : 17761 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17735/tid=17762] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17762/stat : 17762 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17735/tid=17763] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17763/stat : 17763 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17735/tid=17764] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17764/stat : 17764 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17735/tid=17765] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17765/stat : 17765 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949420 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17735/tid=17766] ppid=17733 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17735/task/17766/stat : 17766 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3011587 346112000 377 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949426 0 0 4096 2 0 0 0 -1 30 0 0 0
[startup+0.127207 s]
/proc/loadavg: 29.03 31.21 31.77 2/413 17735
/proc/meminfo: memFree=263761800/264257624 swapFree=67044744/67111528
[pid=17735] ppid=17733 vsize=1323112 CPUtime=2.8 cores=0-31
/proc/17735/stat : 17735 (strangenight2-m) S 17733 17735 17649 0 -1 4202496 10048 0 0 0 205 75 0 0 17 0 32 0 3011586 1354866688 9916 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/17735/statm: 330778 9945 334 95 0 325760 0
[pid=17735/tid=17736] ppid=17733 vsize=1323112 CPUtime=0.08 cores=0-31
/proc/17735/task/17736/stat : 17736 (strangenight2-m) D 17733 17735 17649 0 -1 4202560 299 0 0 0 6 2 0 0 17 0 32 0 3011587 1354866688 9948 268435456000 4194304 4580107 140734493303856 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17735/tid=17737] ppid=17733 vsize=1323112 CPUtime=0.07 cores=0-31
/proc/17735/task/17737/stat : 17737 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 300 0 0 0 6 1 0 0 17 0 32 0 3011587 1354866688 9960 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604453129223648 0 0 -1 2 0 0 0
[pid=17735/tid=17738] ppid=17733 vsize=1323112 CPUtime=0.08 cores=0-31
/proc/17735/task/17738/stat : 17738 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 301 0 0 0 6 2 0 0 17 0 32 0 3011587 1354866688 9967 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17735/tid=17739] ppid=17733 vsize=1323112 CPUtime=0.08 cores=0-31
/proc/17735/task/17739/stat : 17739 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 274 0 0 0 6 2 0 0 17 0 32 0 3011587 1354866688 9967 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604506186849760 0 0 -1 8 0 0 0
[pid=17735/tid=17740] ppid=17733 vsize=1323112 CPUtime=0.08 cores=0-31
/proc/17735/task/17740/stat : 17740 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 326 0 0 0 6 2 0 0 17 0 32 0 3011587 1354866688 9986 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604453706194400 0 0 -1 4 0 0 0
[pid=17735/tid=17741] ppid=17733 vsize=1331316 CPUtime=0.07 cores=0-31
/proc/17735/task/17741/stat : 17741 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 302 0 0 0 5 2 0 0 17 0 32 0 3011587 1363267584 9987 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604470525017568 0 0 -1 31 0 0 0
[pid=17735/tid=17742] ppid=17733 vsize=1331316 CPUtime=0.03 cores=0-31
/proc/17735/task/17742/stat : 17742 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 311 0 0 0 1 2 0 0 17 0 32 0 3011587 1363267584 9998 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604454598090208 0 0 -1 28 0 0 0
[pid=17735/tid=17743] ppid=17733 vsize=1339520 CPUtime=0.05 cores=0-31
/proc/17735/task/17743/stat : 17743 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 267 0 0 0 3 2 0 0 24 0 32 0 3011587 1371668480 10000 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604479192686048 0 0 -1 27 0 0 0
[pid=17735/tid=17744] ppid=17733 vsize=1339520 CPUtime=0.08 cores=0-31
/proc/17735/task/17744/stat : 17744 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 296 0 0 0 6 2 0 0 17 0 32 0 3011587 1371668480 10009 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604456969543136 0 0 -1 24 0 0 0
[pid=17735/tid=17745] ppid=17733 vsize=1339520 CPUtime=0.08 cores=0-31
/proc/17735/task/17745/stat : 17745 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 308 0 0 0 6 2 0 0 17 0 32 0 3011587 1371668480 10014 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744071566932784 0 0 -1 16 0 0 0
[pid=17735/tid=17746] ppid=17733 vsize=1339520 CPUtime=0.09 cores=0-31
/proc/17735/task/17746/stat : 17746 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 290 0 0 0 6 3 0 0 17 0 32 0 3011587 1371668480 10019 268435456000 4194304 4580107 140734493303856 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17735/tid=17747] ppid=17733 vsize=1339520 CPUtime=0.08 cores=0-31
/proc/17735/task/17747/stat : 17747 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 309 0 0 0 6 2 0 0 17 0 32 0 3011587 1371668480 10030 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744071566931024 0 0 -1 17 0 0 0
[pid=17735/tid=17748] ppid=17733 vsize=1339684 CPUtime=0.07 cores=0-31
/proc/17735/task/17748/stat : 17748 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 334 0 0 0 6 1 0 0 17 0 32 0 3011587 1371836416 10033 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604575252422112 0 0 -1 6 0 0 0
[pid=17735/tid=17749] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17749/stat : 17749 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 286 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10034 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604453706194400 0 0 -1 3 0 0 0
[pid=17735/tid=17750] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17750/stat : 17750 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 289 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10043 268435456000 4194304 4580107 140734493303856 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17735/tid=17751] ppid=17733 vsize=1339684 CPUtime=0.07 cores=0-31
/proc/17735/task/17751/stat : 17751 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 335 0 0 0 6 1 0 0 17 0 32 0 3011587 1371836416 10047 268435456000 4194304 4580107 140734493303856 18446744073709551615 258650614596 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17735/tid=17752] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17752/stat : 17752 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 306 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10062 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604499424337376 0 0 -1 7 0 0 0
[pid=17735/tid=17753] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17753/stat : 17753 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 308 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10064 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744071566925224 0 0 -1 9 0 0 0
[pid=17735/tid=17754] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17754/stat : 17754 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 342 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10067 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604456547933664 0 0 -1 14 0 0 0
[pid=17735/tid=17755] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17755/stat : 17755 (strangenight2-m) D 17733 17735 17649 0 -1 4202560 307 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10102 268435456000 4194304 4580107 140734493303856 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17735/tid=17756] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17756/stat : 17756 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 271 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10102 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744071566931024 0 0 -1 13 0 0 0
[pid=17735/tid=17757] ppid=17733 vsize=1339684 CPUtime=0.07 cores=0-31
/proc/17735/task/17757/stat : 17757 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 333 0 0 0 6 1 0 0 17 0 32 0 3011587 1371836416 10110 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17735/tid=17758] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17758/stat : 17758 (strangenight2-m) D 17733 17735 17649 0 -1 4202560 272 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10127 268435456000 4194304 4580107 140734493303856 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17735/tid=17759] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17759/stat : 17759 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 315 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10128 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744071566931224 0 0 -1 21 0 0 0
[pid=17735/tid=17760] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17760/stat : 17760 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 377 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10132 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744071566931024 0 0 -1 22 0 0 0
[pid=17735/tid=17761] ppid=17733 vsize=1339684 CPUtime=0.08 cores=0-31
/proc/17735/task/17761/stat : 17761 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 300 0 0 0 6 2 0 0 17 0 32 0 3011587 1371836416 10136 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604506186849760 0 0 -1 19 0 0 0
[pid=17735/tid=17762] ppid=17733 vsize=1347888 CPUtime=0.08 cores=0-31
/proc/17735/task/17762/stat : 17762 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 265 0 0 0 6 2 0 0 17 0 32 0 3011587 1380237312 10144 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604506293640672 0 0 -1 25 0 0 0
[pid=17735/tid=17763] ppid=17733 vsize=1347888 CPUtime=0.07 cores=0-31
/proc/17735/task/17763/stat : 17763 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 327 0 0 0 6 1 0 0 17 0 32 0 3011587 1380237312 10145 268435456000 4194304 4580107 140734493303856 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17735/tid=17764] ppid=17733 vsize=1347888 CPUtime=0.08 cores=0-31
/proc/17735/task/17764/stat : 17764 (strangenight2-m) D 17733 17735 17649 0 -1 4202560 310 0 0 0 6 2 0 0 17 0 32 0 3011587 1380237312 10159 268435456000 4194304 4580107 140734493303856 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17735/tid=17765] ppid=17733 vsize=1347888 CPUtime=0.08 cores=0-31
/proc/17735/task/17765/stat : 17765 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 268 0 0 0 6 2 0 0 17 0 32 0 3011587 1380237312 10171 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604504091991520 0 0 -1 29 0 0 0
[pid=17735/tid=17766] ppid=17733 vsize=1347888 CPUtime=0.07 cores=0-31
/proc/17735/task/17766/stat : 17766 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 324 0 0 0 6 1 0 0 17 0 32 0 3011587 1380237312 10185 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604500691189216 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 1323112
[startup+0.204098 s]
/proc/loadavg: 29.03 31.21 31.77 2/413 17735
/proc/meminfo: memFree=263761800/264257624 swapFree=67044744/67111528
[pid=17735] ppid=17733 vsize=1402564 CPUtime=3.91 cores=0-31
/proc/17735/stat : 17735 (strangenight2-m) S 17733 17735 17649 0 -1 4202496 21745 0 0 0 243 148 0 0 17 0 32 0 3011586 1436225536 20478 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/17735/statm: 350641 20491 334 95 0 345623 0
[pid=17735/tid=17736] ppid=17733 vsize=1402564 CPUtime=0.12 cores=0-31
/proc/17735/task/17736/stat : 17736 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 698 0 0 0 7 5 0 0 17 0 32 0 3011587 1436225536 20498 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604506195254752 0 0 -1 1 0 0 0
[pid=17735/tid=17737] ppid=17733 vsize=1402564 CPUtime=0.12 cores=0-31
/proc/17735/task/17737/stat : 17737 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 709 0 0 0 8 4 0 0 17 0 32 0 3011587 1436225536 20515 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604471664401888 0 0 -1 2 0 0 0
[pid=17735/tid=17738] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17738/stat : 17738 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 683 0 0 0 7 4 0 0 17 0 32 0 3011587 1436225536 20526 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17735/tid=17739] ppid=17733 vsize=1402564 CPUtime=0.12 cores=0-31
/proc/17735/task/17739/stat : 17739 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 701 0 0 0 7 5 0 0 17 0 32 0 3011587 1436225536 20536 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17735/tid=17740] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17740/stat : 17740 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 662 0 0 0 7 4 0 0 17 0 32 0 3011587 1436225536 20556 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17735/tid=17741] ppid=17733 vsize=1402564 CPUtime=0.1 cores=0-31
/proc/17735/task/17741/stat : 17741 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 608 0 0 0 6 4 0 0 17 0 32 0 3011587 1436225536 20572 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604486696246752 0 0 -1 31 0 0 0
[pid=17735/tid=17742] ppid=17733 vsize=1402564 CPUtime=0.07 cores=0-31
/proc/17735/task/17742/stat : 17742 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 747 0 0 0 2 5 0 0 17 0 32 0 3011587 1436225536 20574 268435456000 4194304 4580107 140734493303856 18446744073709551615 4206232 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17735/tid=17743] ppid=17733 vsize=1402564 CPUtime=0.08 cores=0-31
/proc/17735/task/17743/stat : 17743 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 537 0 0 0 4 4 0 0 17 0 32 0 3011587 1436225536 20586 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604451826032096 0 0 -1 27 0 0 0
[pid=17735/tid=17744] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17744/stat : 17744 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 659 0 0 0 6 5 0 0 17 0 32 0 3011587 1436225536 20604 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604450048646624 0 0 -1 24 0 0 0
[pid=17735/tid=17745] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17745/stat : 17745 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 587 0 0 0 7 4 0 0 17 0 32 0 3011587 1436225536 20607 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604506186849760 0 0 -1 16 0 0 0
[pid=17735/tid=17746] ppid=17733 vsize=1402564 CPUtime=0.12 cores=0-31
/proc/17735/task/17746/stat : 17746 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 661 0 0 0 8 4 0 0 17 0 32 0 3011587 1436225536 20629 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604453129223648 0 0 -1 0 0 0 0
[pid=17735/tid=17747] ppid=17733 vsize=1402564 CPUtime=0.12 cores=0-31
/proc/17735/task/17747/stat : 17747 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 605 0 0 0 7 5 0 0 17 0 32 0 3011587 1436225536 20641 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604496341540320 0 0 -1 17 0 0 0
[pid=17735/tid=17748] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17748/stat : 17748 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 786 0 0 0 7 4 0 0 17 0 32 0 3011587 1436225536 20662 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17735/tid=17749] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17749/stat : 17749 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 606 0 0 0 7 4 0 0 17 0 32 0 3011587 1436225536 20667 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17735/tid=17750] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17750/stat : 17750 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 634 0 0 0 7 4 0 0 17 0 32 0 3011587 1436225536 20679 268435456000 4194304 4580107 140734493303856 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17735/tid=17751] ppid=17733 vsize=1402564 CPUtime=0.11 cores=0-31
/proc/17735/task/17751/stat : 17751 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 895 0 0 0 8 3 0 0 17 0 32 0 3011587 1436225536 20704 268435456000 4194304 4580107 140734493303856 18446744073709551615 258651060958 0 0 4096 2 18446604449721982432 0 0 -1 10 0 0 0
[pid=17735/tid=17752] ppid=17733 vsize=1402564 CPUtime=0.12 cores=0-31
################
# More data... #
################
/proc/17735/task/17760/stat : 17760 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 68652 0 0 0 4664 95 0 0 25 0 32 0 3011587 4189720576 640580 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604496341540320 0 0 -1 22 0 0 0
[pid=17735/tid=17761] ppid=17733 vsize=4091524 CPUtime=46.17 cores=0-31
/proc/17735/task/17761/stat : 17761 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 59468 0 0 0 4505 112 0 0 20 0 32 0 3011587 4189720576 640580 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604449721982432 0 0 -1 5 0 0 0
[pid=17735/tid=17762] ppid=17733 vsize=4091524 CPUtime=47.17 cores=0-31
/proc/17735/task/17762/stat : 17762 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 62981 0 0 0 4591 126 0 0 25 0 32 0 3011587 4189720576 640581 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506293640672 0 0 -1 11 0 0 0
[pid=17735/tid=17763] ppid=17733 vsize=4091524 CPUtime=44.83 cores=0-31
/proc/17735/task/17763/stat : 17763 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 52179 0 0 0 4369 114 0 0 21 0 32 0 3011587 4189720576 640581 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604504091991520 0 0 -1 26 0 0 0
[pid=17735/tid=17764] ppid=17733 vsize=4091524 CPUtime=46.78 cores=0-31
/proc/17735/task/17764/stat : 17764 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 96632 0 0 0 4548 130 0 0 25 0 32 0 3011587 4189720576 640581 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506195254752 0 0 -1 8 0 0 0
[pid=17735/tid=17765] ppid=17733 vsize=4091524 CPUtime=48.14 cores=0-31
/proc/17735/task/17765/stat : 17765 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 51738 0 0 0 4698 116 0 0 21 0 32 0 3011587 4189720576 640581 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499096796640 0 0 -1 21 0 0 0
[pid=17735/tid=17766] ppid=17733 vsize=4091524 CPUtime=48.53 cores=0-31
/proc/17735/task/17766/stat : 17766 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 18906 0 0 0 4784 69 0 0 25 0 32 0 3011587 4189720576 640581 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499257794016 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 1512.78
Current children cumulated vsize (KiB) 4091524
Solver just ended. Dumping a history of the last processes samples
[startup+51.2031 s]
/proc/loadavg: 30.43 31.25 31.76 3/445 17769
/proc/meminfo: memFree=261182424/264257624 swapFree=67044744/67111528
[pid=17735] ppid=17733 vsize=4091524 CPUtime=1512.98 cores=0-31
/proc/17735/stat : 17735 (strangenight2-m) R 17733 17735 17649 0 -1 4202496 2016162 0 0 0 147478 3820 0 0 25 0 32 0 3011586 4189720576 642389 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108924612 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17735/statm: 1022881 642390 378 95 0 1017863 0
[pid=17735/tid=17736] ppid=17733 vsize=4091524 CPUtime=46.87 cores=0-31
/proc/17735/task/17736/stat : 17736 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 56317 0 0 0 4545 142 0 0 25 0 32 0 3011587 4189720576 642390 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604471664401888 0 0 -1 0 0 0 0
[pid=17735/tid=17737] ppid=17733 vsize=4091524 CPUtime=47.07 cores=0-31
/proc/17735/task/17737/stat : 17737 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 113975 0 0 0 4537 170 0 0 21 0 32 0 3011587 4189720576 642391 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604479192686048 0 0 -1 25 0 0 0
[pid=17735/tid=17738] ppid=17733 vsize=4091524 CPUtime=46.98 cores=0-31
/proc/17735/task/17738/stat : 17738 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 63153 0 0 0 4552 146 0 0 21 0 32 0 3011587 4189720576 642391 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506186849760 0 0 -1 31 0 0 0
[pid=17735/tid=17739] ppid=17733 vsize=4091524 CPUtime=48.53 cores=0-31
/proc/17735/task/17739/stat : 17739 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 112899 0 0 0 4725 128 0 0 21 0 32 0 3011587 4189720576 642392 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506324966880 0 0 -1 20 0 0 0
[pid=17735/tid=17740] ppid=17733 vsize=4091524 CPUtime=46.8 cores=0-31
/proc/17735/task/17740/stat : 17740 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 63282 0 0 0 4538 142 0 0 21 0 32 0 3011587 4189720576 642392 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604500691189216 0 0 -1 28 0 0 0
[pid=17735/tid=17741] ppid=17733 vsize=4091524 CPUtime=49.08 cores=0-31
/proc/17735/task/17741/stat : 17741 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 67891 0 0 0 4793 115 0 0 25 0 32 0 3011587 4189720576 642394 268435456000 4194304 4580107 140734493303856 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17735/tid=17742] ppid=17733 vsize=4091524 CPUtime=48.03 cores=0-31
/proc/17735/task/17742/stat : 17742 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 51762 0 0 0 4683 120 0 0 25 0 32 0 3011587 4189720576 642394 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446744071566925864 0 0 -1 6 0 0 0
[pid=17735/tid=17743] ppid=17733 vsize=4091524 CPUtime=46.03 cores=0-31
/proc/17735/task/17743/stat : 17743 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 46818 0 0 0 4487 116 0 0 21 0 32 0 3011587 4189720576 642395 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604450167987680 0 0 -1 27 0 0 0
[pid=17735/tid=17744] ppid=17733 vsize=4091524 CPUtime=46.95 cores=0-31
/proc/17735/task/17744/stat : 17744 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 56004 0 0 0 4570 125 0 0 25 0 32 0 3011587 4189720576 642395 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604449397415392 0 0 -1 16 0 0 0
[pid=17735/tid=17745] ppid=17733 vsize=4091524 CPUtime=48.47 cores=0-31
/proc/17735/task/17745/stat : 17745 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 63131 0 0 0 4734 113 0 0 25 0 32 0 3011587 4189720576 642395 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604470525017568 0 0 -1 24 0 0 0
[pid=17735/tid=17746] ppid=17733 vsize=4091524 CPUtime=46.13 cores=0-31
/proc/17735/task/17746/stat : 17746 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 56955 0 0 0 4509 104 0 0 21 0 32 0 3011587 4189720576 642396 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604453129223648 0 0 -1 7 0 0 0
[pid=17735/tid=17747] ppid=17733 vsize=4091524 CPUtime=46.97 cores=0-31
/proc/17735/task/17747/stat : 17747 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 51538 0 0 0 4572 125 0 0 25 0 32 0 3011587 4189720576 642396 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506220551648 0 0 -1 9 0 0 0
[pid=17735/tid=17748] ppid=17733 vsize=4091524 CPUtime=46.48 cores=0-31
/proc/17735/task/17748/stat : 17748 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 57515 0 0 0 4553 95 0 0 25 0 32 0 3011587 4189720576 642397 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499660217824 0 0 -1 23 0 0 0
[pid=17735/tid=17749] ppid=17733 vsize=4091524 CPUtime=46.73 cores=0-31
/proc/17735/task/17749/stat : 17749 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 53971 0 0 0 4546 127 0 0 21 0 32 0 3011587 4189720576 642397 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604450048646624 0 0 -1 15 0 0 0
[pid=17735/tid=17750] ppid=17733 vsize=4091524 CPUtime=46.94 cores=0-31
/proc/17735/task/17750/stat : 17750 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 75281 0 0 0 4572 122 0 0 24 0 32 0 3011587 4189720576 642398 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604488382922208 0 0 -1 4 0 0 0
[pid=17735/tid=17751] ppid=17733 vsize=4091524 CPUtime=48.78 cores=0-31
/proc/17735/task/17751/stat : 17751 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 62466 0 0 0 4791 87 0 0 25 0 32 0 3011587 4189720576 642399 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604453706194400 0 0 -1 19 0 0 0
[pid=17735/tid=17752] ppid=17733 vsize=4091524 CPUtime=46.46 cores=0-31
/proc/17735/task/17752/stat : 17752 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 75459 0 0 0 4536 110 0 0 20 0 32 0 3011587 4189720576 642399 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604456547933664 0 0 -1 12 0 0 0
[pid=17735/tid=17753] ppid=17733 vsize=4091524 CPUtime=46.82 cores=0-31
/proc/17735/task/17753/stat : 17753 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 49276 0 0 0 4571 111 0 0 21 0 32 0 3011587 4189720576 642400 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604454598090208 0 0 -1 2 0 0 0
[pid=17735/tid=17754] ppid=17733 vsize=4091524 CPUtime=48.57 cores=0-31
/proc/17735/task/17754/stat : 17754 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 78221 0 0 0 4752 105 0 0 20 0 32 0 3011587 4189720576 642400 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604453604875744 0 0 -1 14 0 0 0
[pid=17735/tid=17755] ppid=17733 vsize=4091524 CPUtime=47.88 cores=0-31
/proc/17735/task/17755/stat : 17755 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 43866 0 0 0 4673 115 0 0 25 0 32 0 3011587 4189720576 642401 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604488608177632 0 0 -1 30 0 0 0
[pid=17735/tid=17756] ppid=17733 vsize=4091524 CPUtime=46 cores=0-31
/proc/17735/task/17756/stat : 17756 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 50372 0 0 0 4485 115 0 0 20 0 32 0 3011587 4189720576 642401 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604456969543136 0 0 -1 29 0 0 0
[pid=17735/tid=17757] ppid=17733 vsize=4091524 CPUtime=48.39 cores=0-31
/proc/17735/task/17757/stat : 17757 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 57881 0 0 0 4720 119 0 0 25 0 32 0 3011587 4189720576 642402 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604451826032096 0 0 -1 18 0 0 0
[pid=17735/tid=17758] ppid=17733 vsize=4091524 CPUtime=45.41 cores=0-31
/proc/17735/task/17758/stat : 17758 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 45436 0 0 0 4418 123 0 0 21 0 32 0 3011587 4189720576 642402 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604486696246752 0 0 -1 1 0 0 0
[pid=17735/tid=17759] ppid=17733 vsize=4091524 CPUtime=48.05 cores=0-31
/proc/17735/task/17759/stat : 17759 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 77763 0 0 0 4671 134 0 0 25 0 32 0 3011587 4189720576 642402 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604469053283808 0 0 -1 17 0 0 0
[pid=17735/tid=17760] ppid=17733 vsize=4091524 CPUtime=47.59 cores=0-31
/proc/17735/task/17760/stat : 17760 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 68652 0 0 0 4664 95 0 0 25 0 32 0 3011587 4189720576 642402 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604496341540320 0 0 -1 22 0 0 0
[pid=17735/tid=17761] ppid=17733 vsize=4091524 CPUtime=46.17 cores=0-31
/proc/17735/task/17761/stat : 17761 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 59468 0 0 0 4505 112 0 0 20 0 32 0 3011587 4189720576 642403 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604449721982432 0 0 -1 5 0 0 0
[pid=17735/tid=17762] ppid=17733 vsize=4091524 CPUtime=47.17 cores=0-31
/proc/17735/task/17762/stat : 17762 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 62981 0 0 0 4591 126 0 0 25 0 32 0 3011587 4189720576 642403 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506293640672 0 0 -1 11 0 0 0
[pid=17735/tid=17763] ppid=17733 vsize=4091524 CPUtime=44.83 cores=0-31
/proc/17735/task/17763/stat : 17763 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 52179 0 0 0 4369 114 0 0 21 0 32 0 3011587 4189720576 642404 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604504091991520 0 0 -1 26 0 0 0
[pid=17735/tid=17764] ppid=17733 vsize=4091524 CPUtime=46.78 cores=0-31
/proc/17735/task/17764/stat : 17764 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 96632 0 0 0 4548 130 0 0 25 0 32 0 3011587 4189720576 642405 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506195254752 0 0 -1 8 0 0 0
[pid=17735/tid=17765] ppid=17733 vsize=4091524 CPUtime=48.14 cores=0-31
/proc/17735/task/17765/stat : 17765 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 51738 0 0 0 4698 116 0 0 21 0 32 0 3011587 4189720576 642405 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499096796640 0 0 -1 21 0 0 0
[pid=17735/tid=17766] ppid=17733 vsize=4091524 CPUtime=48.53 cores=0-31
/proc/17735/task/17766/stat : 17766 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 18906 0 0 0 4784 69 0 0 25 0 32 0 3011587 4189720576 642406 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499257794016 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 1512.98
Current children cumulated vsize (KiB) 4091524
[startup+51.6021 s]
/proc/loadavg: 30.43 31.25 31.76 3/445 17769
/proc/meminfo: memFree=261182424/264257624 swapFree=67044744/67111528
[pid=17735] ppid=17733 vsize=4091524 CPUtime=1513.77 cores=0-31
/proc/17735/stat : 17735 (strangenight2-m) R 17733 17735 17649 0 -1 4202496 2021905 0 0 0 147556 3821 0 0 25 0 32 0 3011586 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108924612 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17735/statm: 1022881 645963 378 95 0 1017863 0
[pid=17735/tid=17736] ppid=17733 vsize=4091524 CPUtime=46.87 cores=0-31
/proc/17735/task/17736/stat : 17736 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 56317 0 0 0 4545 142 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604471664401888 0 0 -1 0 0 0 0
[pid=17735/tid=17737] ppid=17733 vsize=4091524 CPUtime=47.07 cores=0-31
/proc/17735/task/17737/stat : 17737 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 113975 0 0 0 4537 170 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604479192686048 0 0 -1 25 0 0 0
[pid=17735/tid=17738] ppid=17733 vsize=4091524 CPUtime=46.98 cores=0-31
/proc/17735/task/17738/stat : 17738 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 63153 0 0 0 4552 146 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506186849760 0 0 -1 31 0 0 0
[pid=17735/tid=17739] ppid=17733 vsize=4091524 CPUtime=48.53 cores=0-31
/proc/17735/task/17739/stat : 17739 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 112899 0 0 0 4725 128 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506324966880 0 0 -1 20 0 0 0
[pid=17735/tid=17740] ppid=17733 vsize=4091524 CPUtime=46.8 cores=0-31
/proc/17735/task/17740/stat : 17740 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 63282 0 0 0 4538 142 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604500691189216 0 0 -1 28 0 0 0
[pid=17735/tid=17741] ppid=17733 vsize=4091524 CPUtime=49.47 cores=0-31
/proc/17735/task/17741/stat : 17741 (strangenight2-m) R 17733 17735 17649 0 -1 4202560 73629 0 0 0 4831 116 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 4507434 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17735/tid=17742] ppid=17733 vsize=4091524 CPUtime=48.03 cores=0-31
/proc/17735/task/17742/stat : 17742 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 51762 0 0 0 4683 120 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446744071566925864 0 0 -1 6 0 0 0
[pid=17735/tid=17743] ppid=17733 vsize=4091524 CPUtime=46.03 cores=0-31
/proc/17735/task/17743/stat : 17743 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 46818 0 0 0 4487 116 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604450167987680 0 0 -1 27 0 0 0
[pid=17735/tid=17744] ppid=17733 vsize=4091524 CPUtime=46.95 cores=0-31
/proc/17735/task/17744/stat : 17744 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 56004 0 0 0 4570 125 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604449397415392 0 0 -1 16 0 0 0
[pid=17735/tid=17745] ppid=17733 vsize=4091524 CPUtime=48.47 cores=0-31
/proc/17735/task/17745/stat : 17745 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 63131 0 0 0 4734 113 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604470525017568 0 0 -1 24 0 0 0
[pid=17735/tid=17746] ppid=17733 vsize=4091524 CPUtime=46.13 cores=0-31
/proc/17735/task/17746/stat : 17746 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 56955 0 0 0 4509 104 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604453129223648 0 0 -1 7 0 0 0
[pid=17735/tid=17747] ppid=17733 vsize=4091524 CPUtime=46.97 cores=0-31
/proc/17735/task/17747/stat : 17747 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 51538 0 0 0 4572 125 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506220551648 0 0 -1 9 0 0 0
[pid=17735/tid=17748] ppid=17733 vsize=4091524 CPUtime=46.48 cores=0-31
/proc/17735/task/17748/stat : 17748 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 57515 0 0 0 4553 95 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499660217824 0 0 -1 23 0 0 0
[pid=17735/tid=17749] ppid=17733 vsize=4091524 CPUtime=46.73 cores=0-31
/proc/17735/task/17749/stat : 17749 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 53971 0 0 0 4546 127 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604450048646624 0 0 -1 15 0 0 0
[pid=17735/tid=17750] ppid=17733 vsize=4091524 CPUtime=46.94 cores=0-31
/proc/17735/task/17750/stat : 17750 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 75281 0 0 0 4572 122 0 0 24 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604488382922208 0 0 -1 4 0 0 0
[pid=17735/tid=17751] ppid=17733 vsize=4091524 CPUtime=48.78 cores=0-31
/proc/17735/task/17751/stat : 17751 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 62466 0 0 0 4791 87 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604453706194400 0 0 -1 19 0 0 0
[pid=17735/tid=17752] ppid=17733 vsize=4091524 CPUtime=46.46 cores=0-31
/proc/17735/task/17752/stat : 17752 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 75459 0 0 0 4536 110 0 0 20 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604456547933664 0 0 -1 12 0 0 0
[pid=17735/tid=17753] ppid=17733 vsize=4091524 CPUtime=46.82 cores=0-31
/proc/17735/task/17753/stat : 17753 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 49276 0 0 0 4571 111 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604454598090208 0 0 -1 2 0 0 0
[pid=17735/tid=17754] ppid=17733 vsize=4091524 CPUtime=48.57 cores=0-31
/proc/17735/task/17754/stat : 17754 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 78221 0 0 0 4752 105 0 0 20 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604453604875744 0 0 -1 14 0 0 0
[pid=17735/tid=17755] ppid=17733 vsize=4091524 CPUtime=47.88 cores=0-31
/proc/17735/task/17755/stat : 17755 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 43866 0 0 0 4673 115 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604488608177632 0 0 -1 30 0 0 0
[pid=17735/tid=17756] ppid=17733 vsize=4091524 CPUtime=46 cores=0-31
/proc/17735/task/17756/stat : 17756 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 50372 0 0 0 4485 115 0 0 20 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604456969543136 0 0 -1 29 0 0 0
[pid=17735/tid=17757] ppid=17733 vsize=4091524 CPUtime=48.39 cores=0-31
/proc/17735/task/17757/stat : 17757 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 57881 0 0 0 4720 119 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604451826032096 0 0 -1 18 0 0 0
[pid=17735/tid=17758] ppid=17733 vsize=4091524 CPUtime=45.41 cores=0-31
/proc/17735/task/17758/stat : 17758 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 45436 0 0 0 4418 123 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604486696246752 0 0 -1 1 0 0 0
[pid=17735/tid=17759] ppid=17733 vsize=4091524 CPUtime=48.05 cores=0-31
/proc/17735/task/17759/stat : 17759 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 77763 0 0 0 4671 134 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604469053283808 0 0 -1 17 0 0 0
[pid=17735/tid=17760] ppid=17733 vsize=4091524 CPUtime=47.59 cores=0-31
/proc/17735/task/17760/stat : 17760 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 68652 0 0 0 4664 95 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604496341540320 0 0 -1 22 0 0 0
[pid=17735/tid=17761] ppid=17733 vsize=4091524 CPUtime=46.17 cores=0-31
/proc/17735/task/17761/stat : 17761 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 59468 0 0 0 4505 112 0 0 20 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604449721982432 0 0 -1 5 0 0 0
[pid=17735/tid=17762] ppid=17733 vsize=4091524 CPUtime=47.17 cores=0-31
/proc/17735/task/17762/stat : 17762 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 62981 0 0 0 4591 126 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506293640672 0 0 -1 11 0 0 0
[pid=17735/tid=17763] ppid=17733 vsize=4091524 CPUtime=44.83 cores=0-31
/proc/17735/task/17763/stat : 17763 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 52179 0 0 0 4369 114 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604504091991520 0 0 -1 26 0 0 0
[pid=17735/tid=17764] ppid=17733 vsize=4091524 CPUtime=46.78 cores=0-31
/proc/17735/task/17764/stat : 17764 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 96632 0 0 0 4548 130 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604506195254752 0 0 -1 8 0 0 0
[pid=17735/tid=17765] ppid=17733 vsize=4091524 CPUtime=48.14 cores=0-31
/proc/17735/task/17765/stat : 17765 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 51738 0 0 0 4698 116 0 0 21 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499096796640 0 0 -1 21 0 0 0
[pid=17735/tid=17766] ppid=17733 vsize=4091524 CPUtime=48.53 cores=0-31
/proc/17735/task/17766/stat : 17766 (strangenight2-m) S 17733 17735 17649 0 -1 4202560 18906 0 0 0 4784 69 0 0 25 0 32 0 3011587 4189720576 645963 268435456000 4194304 4580107 140734493303856 18446744073709551615 47500108949044 0 0 4096 2 18446604499257794016 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 1513.77
Current children cumulated vsize (KiB) 4091524
[startup+52.0011 s]
/proc/loadavg: 30.43 31.25 31.76 3/445 17769
/proc/meminfo: memFree=261155640/264257624 swapFree=67044744/67111528
[pid=17735] ppid=17733 vsize=0 CPUtime=1514.34 cores=0-31
/proc/17735/stat : 17735 (strangenight2-m) Z 17733 17735 17649 0 -1 4202524 2022328 0 0 0 147586 3848 0 0 18 0 2 0 3011586 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17735/statm: 0 0 0 0 0 0 0
[pid=17735/tid=17736] ppid=17733 vsize=0 CPUtime=47.12 cores=0-31
/proc/17735/task/17736/stat : 17736 (strangenight2-m) R 17733 17735 17649 0 -1 4203588 56317 0 0 0 4545 167 0 0 18 0 2 0 3011587 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1514.34
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 52.0761
CPU time (s): 1514.43
CPU user time (s): 1475.87
CPU system time (s): 38.5631
CPU usage (%): 2908.11
Max. virtual memory (cumulated for all children) (KiB): 4099324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1475.87
system time used= 38.5631
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2022328
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= 1079517
involuntary context switches= 10893
runsolver used 0.340948 second user time and 1.27081 second system time
The end
Begin job on node200 at 2011-05-30 17:47:36
IDJOB=3400769
IDBENCH=82465
IDSOLVER=1886
FILE ID=node200/3400769-1306770456
RUNJOBID= node200-1306770376-17663
PBS_JOBID= 13471829
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400769-1306770456/watcher-3400769-1306770456 -o /tmp/evaluation-result-3400769-1306770456/solver-3400769-1306770456 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400769-1306770456.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 7599aafec7bebba20ceab50260cd7197
RANDOM SEED=1827450357
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.13
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.95
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3996.76
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263761964 kB
Buffers: 36524 kB
Cached: 275852 kB
SwapCached: 29688 kB
Active: 118024 kB
Inactive: 226656 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263761964 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 8732 kB
Writeback: 0 kB
AnonPages: 29060 kB
Mapped: 8380 kB
Slab: 58612 kB
PageTables: 4424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 193372 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61572 MiB
End job on node200 at 2011-05-30 17:48:28