0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400746-1306753598.cnf'
0.00/0.09 c -- header says num vars: 50277
0.00/0.09 c -- header says num clauses: 283903
45.15/2.56 c -- clauses added: 0 learnts, 283903 normals, 0 xors
45.15/2.56 c -- vars added 50277
45.15/2.56 c Parsing time: 0.36 s
45.15/2.56 c N st 0 0 50277 35114 248370 0 635918 0 no data no data
74.84/3.54 c asymm cl-useful: 0/939/34646 lits-rem:0 time: 0.95
730.78/38.70 c Flit: 146 Blit: 1027 bXBeca: 0 bXProp: 2620 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 15.75
730.78/38.70 c Cleaning up after failed var search: 0.02 s
730.78/38.74 c Replacing 2620 vars Replaced 51442 lits Time: 0.04 s
730.78/38.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
733.94/38.82 c bin-w-bin subsume rem 5808 bins time: 0.02 s
733.94/38.88 c subs with bin: 42 lits-rem: 0 v-fix: 0 time: 0.06 s
754.00/39.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 42135 time: 0.65 s
762.80/39.80 c Removed useless bin: 7035 fixed: 0 props: 20.01M time: 0.24 s
775.42/40.23 c lits-rem: 1046 cl-subs: 6608 v-elim: 8245 v-fix: 0 time: 0.38 s
803.84/41.11 c Finding binary XORs T: 0.88 s found: 1
803.84/41.14 c Replacing 1 vars Replaced 15 lits Time: 0.03 s
813.43/41.42 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan)
813.43/41.42 c calculated reachability. Time: 0.26
813.43/41.44 c Calc default polars - time: 0.01 s pos: 4082 undec: 18707 neg: 27488
813.43/41.44 c =========================================================================================
813.43/41.44 c types(t): F = full restart, N = normal restart
813.43/41.44 c types(t): S = simplification begin/end, E = solution found
813.43/41.44 c restart types(rt): st = static, dy = dynamic
813.43/41.44 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
813.43/41.44 c B st 0 0 33889 22967 181534 0 481771 0 no data no data
835.80/42.11 c N dy 18 4077 33877 22967 181699 3800 481771 123651 8.80 11.60
858.18/42.89 c N dy 37 8231 32745 22569 171403 4955 452899 116380 8.05 8.49
890.14/43.82 c N dy 67 12315 31707 22398 161085 8912 426281 264279 8.53 13.51
915.70/44.66 c N dy 87 16994 31707 22398 161116 8846 426281 211738 8.48 8.96
947.66/45.68 c N dy 116 21037 31685 22398 162156 6642 426281 103144 8.65 11.80
976.43/46.59 c F st 136 25001 31682 22398 163531 10522 426281 305637 8.75 no data
982.82/46.72 c N st 137 25252 31682 22342 161290 10741 421378 305613 8.75 no data
1021.19/48.00 c Finding binary XORs T: 0.76 s found: 57
1046.76/48.77 c N dy 142 30000 31506 22342 161300 8006 421378 133267 8.75 no data
1046.76/48.77 c S st 142 30000 31506 22342 161300 8006 421378 133267 8.75 no data
1053.15/48.93 c S st 142 30507 31503 22342 162141 8490 421378 147216 8.75 no data
1053.15/48.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
1369.59/58.89 c Flit: 322 Blit: 355 bXBeca: 0 bXProp: 19 Bins: 88944 BRemL: 881 BRemN: 9 P: 146.2M T: 9.93
1372.78/58.91 c Cleaning up after failed var search: 0.02 s
1372.78/58.95 c Replacing 76 vars Replaced 6200 lits Time: 0.04 s
1375.98/59.00 c blocked clauses removed: 0 vars: 1143 tried: 30795 T: 0.02 s
1375.98/59.03 c bin-w-bin subsume rem 1093 bins time: 0.03 s
1375.98/59.09 c subs with bin: 1305 lits-rem: 6650 v-fix: 0 time: 0.06 s
1389.37/59.50 c Subs w/ non-existent bins: 206 l-rem: 338 v-fix: 0 done: 29314 time: 0.41 s
1395.15/59.63 c Removed useless bin: 579 fixed: 0 props: 9.71M time: 0.13 s
1398.34/59.78 c lits-rem: 113 cl-subs: 441 v-elim: 693 v-fix: 0 time: 0.15 s
1401.55/59.83 c subs with bin: 126 lits-rem: 1124 v-fix: 0 time: 0.03 s
1401.55/59.88 c lits-rem: 189 cl-subs: 216 v-elim: 0 v-fix: 0 time: 0.04 s
1417.53/60.33 c asymm cl-useful: 720/14717/20313 lits-rem:779 time: 0.44
1420.73/60.50 c calculated reachability. Time: 0.16
1420.73/60.50 c N dy 142 30507 28621 20301 232359 4799 382196 215756 8.75 no data
1443.10/61.16 c Finding binary XORs T: 0.66 s found: 0
1475.05/62.18 c N dy 156 34992 28619 20301 232403 9163 382196 410872 8.57 9.09
1522.52/63.60 c N dy 181 40482 28076 20204 225056 7551 368749 249439 8.49 8.94
1543.32/64.32 c N dy 193 44632 28076 20204 225064 11568 368749 353355 8.43 8.89
1552.51/64.65 c S st 199 45761 28066 20204 228761 12674 368749 394616 8.43 8.33
1558.90/64.82 c S st 199 46265 28066 20204 228776 13153 368749 402145 8.43 no data
1558.90/64.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
1798.63/72.38 c Flit: 193 Blit: 8 bXBeca: 0 bXProp: 35 Bins: 26379 BRemL: 1960 BRemN: 2 P: 118.0M T: 7.52
1801.83/72.40 c Cleaning up after failed var search: 0.02 s
1801.83/72.44 c Replacing 35 vars Replaced 8589 lits Time: 0.04 s
1801.83/72.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1801.83/72.49 c bin-w-bin subsume rem 2895 bins time: 0.03 s
1805.02/72.55 c subs with bin: 307 lits-rem: 436 v-fix: 0 time: 0.06 s
1817.80/72.91 c Subs w/ non-existent bins: 54 l-rem: 57 v-fix: 0 done: 27659 time: 0.35 s
1820.99/73.02 c Removed useless bin: 88 fixed: 0 props: 9.04M time: 0.11 s
1824.19/73.15 c lits-rem: 19 cl-subs: 173 v-elim: 166 v-fix: 0 time: 0.12 s
1827.38/73.23 c subs with bin: 119 lits-rem: 2277 v-fix: 0 time: 0.06 s
1830.59/73.32 c lits-rem: 789 cl-subs: 360 v-elim: 0 v-fix: 0 time: 0.08 s
1830.59/73.35 c vivif2 -- cl tried 19599 cl shrink 299 lits rem 505 time: 0.03
1833.78/73.41 c vivif2 -- cl tried 10450 cl shrink 3069 lits rem 31030 time: 0.06
1836.98/73.51 c asymm cl-useful: 0/3762/19418 lits-rem:0 time: 0.10
1840.17/73.65 c calculated reachability. Time: 0.13
1840.17/73.65 c N dy 199 46265 27493 19418 238407 10432 355940 322595 8.43 no data
1859.35/74.27 c Finding binary XORs T: 0.62 s found: 0
1900.91/75.51 c N dy 213 51192 27266 19418 250421 7747 355940 300955 8.27 8.79
1932.86/76.54 c N dy 219 56186 27263 19418 250434 12569 355940 434877 8.13 8.65
1964.83/77.53 c N dy 247 60276 27247 19418 250506 16605 355940 589157 8.19 8.74
1999.96/78.65 c N dy 270 64530 27247 19418 264686 11258 355940 387799 8.20 8.69
2041.55/79.94 c Finding binary XORs T: 0.61 s found: 14
2051.11/80.29 c N dy 290 68665 27245 19329 256675 15042 349854 488788 8.18 9.05
2058.12/80.47 c S st 295 69397 27245 19329 256677 15750 349854 507483 8.19 no data
2063.88/80.65 c S st 295 69898 27245 19329 268585 16233 349854 538105 8.19 no data
2063.88/80.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
2274.84/87.22 c Flit: 4 Blit: 0 bXBeca: 0 bXProp: 7 Bins: 15933 BRemL: 32950 BRemN: 0 P: 101.3M T: 6.53
2274.84/87.27 c Replacing 21 vars Replaced 1438 lits Time: 0.04 s
2274.84/87.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2278.04/87.32 c bin-w-bin subsume rem 683 bins time: 0.03 s
2278.04/87.38 c subs with bin: 34 lits-rem: 53 v-fix: 0 time: 0.06 s
2287.64/87.70 c Subs w/ non-existent bins: 2 l-rem: 1 v-fix: 0 done: 26880 time: 0.31 s
2294.03/87.80 c Removed useless bin: 77 fixed: 0 props: 7.94M time: 0.10 s
2297.22/87.92 c lits-rem: 12 cl-subs: 147 v-elim: 151 v-fix: 0 time: 0.12 s
2301.01/88.02 c subs with bin: 78 lits-rem: 896 v-fix: 0 time: 0.08 s
2304.24/88.12 c lits-rem: 880 cl-subs: 305 v-elim: 0 v-fix: 0 time: 0.09 s
2304.24/88.15 c vivif2 -- cl tried 19129 cl shrink 146 lits rem 199 time: 0.03
2306.80/88.22 c vivif2 -- cl tried 11849 cl shrink 2903 lits rem 41979 time: 0.07
2322.79/88.70 c asymm cl-useful: 147/11576/19031 lits-rem:286 time: 0.48
2325.99/88.82 c calculated reachability. Time: 0.11
2325.99/88.82 c N dy 295 69898 26729 18992 230476 11839 338874 340541 8.19 no data
2357.95/89.81 c N dy 308 74568 26719 18992 230484 16379 338874 449831 8.16 8.60
2393.12/90.99 c Finding binary XORs T: 0.60 s found: 10
2406.50/91.41 c N dy 318 79679 26458 18906 220849 12305 331432 361425 8.10 8.56
2447.46/92.61 c N dy 347 84985 26449 18906 235794 17508 331432 566638 8.12 8.61
2460.24/93.08 c F st 357 87501 26295 18906 235803 19972 331432 641596 8.12 6.71
2463.43/93.14 c Replacing 10 vars Replaced 1057 lits Time: 0.04 s
2492.20/94.09 c N st 362 90797 26238 18883 232974 12050 327240 325410 8.12 no data
2524.16/95.09 c Finding binary XORs T: 0.59 s found: 6
2550.34/95.86 c N dy 384 96590 26231 18882 235760 17678 326004 502501 8.13 8.56
2591.30/97.13 c N dy 416 103043 26169 18882 235762 23933 326004 676152 8.14 8.60
2604.08/97.52 c S st 425 104847 26105 18882 236038 12927 326004 326351 8.15 no data
2607.28/97.65 c S st 425 105350 26105 18882 236042 13421 326004 334450 8.15 no data
2607.28/97.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
2786.28/103.20 c Flit: 3 Blit: 2 bXBeca: 0 bXProp: 16 Bins: 13793 BRemL: 30292 BRemN: 0 P: 79.8M T: 5.52
2786.28/103.25 c Replacing 22 vars Replaced 1091 lits Time: 0.03 s
2786.28/103.28 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2789.47/103.30 c bin-w-bin subsume rem 502 bins time: 0.02 s
2789.47/103.35 c subs with bin: 25 lits-rem: 4 v-fix: 0 time: 0.05 s
2796.46/103.58 c Subs w/ non-existent bins: 3 l-rem: 4 v-fix: 0 done: 25923 time: 0.23 s
2799.05/103.68 c Removed useless bin: 43 fixed: 0 props: 6.87M time: 0.09 s
2805.41/103.80 c lits-rem: 55 cl-subs: 252 v-elim: 201 v-fix: 0 time: 0.12 s
2805.41/103.86 c subs with bin: 89 lits-rem: 231 v-fix: 0 time: 0.04 s
2808.64/103.91 c lits-rem: 138 cl-subs: 183 v-elim: 0 v-fix: 0 time: 0.04 s
2808.64/103.94 c vivif2 -- cl tried 18607 cl shrink 186 lits rem 1727 time: 0.03
2808.64/103.97 c vivif2 -- cl tried 9385 cl shrink 496 lits rem 1803 time: 0.03
2815.02/104.14 c asymm cl-useful: 39/6912/18488 lits-rem:117 time: 0.17
2818.21/104.24 c calculated reachability. Time: 0.09
2818.21/104.24 c N dy 425 105350 25722 18449 209368 9383 315973 252239 8.15 no data
2837.41/104.82 c Finding binary XORs T: 0.58 s found: 0
2875.73/106.02 c N dy 430 112935 25531 18449 235008 16736 315973 452178 8.04 8.59
2907.70/107.05 c Finding binary XORs T: 0.57 s found: 20
2939.65/108.09 c N dy 457 120408 25396 18307 232744 23502 311975 584006 8.01 8.62
2984.40/109.41 c N dy 481 128105 25162 18252 221599 18290 302039 423118 7.97 8.57
3035.56/111.10 c N dy 514 136515 25147 18252 222212 26396 302039 584358 7.96 8.49
3096.29/112.93 c N dy 558 145322 25129 18252 222741 21161 302039 474543 7.96 8.43
3148.06/114.52 c Finding binary XORs T: 0.57 s found: 21
3188.98/115.80 c N dy 613 154654 25117 18204 242195 29999 301113 686549 7.99 9.02
3224.12/116.99 c Finding binary XORs T: 0.57 s found: 6
3227.32/117.08 c S st 624 158026 24751 18159 287418 17776 291510 508837 7.99 no data
3233.72/117.21 c S st 624 158527 24751 18159 287419 18263 291510 515707 7.99 no data
3233.72/117.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
3394.15/122.22 c Flit: 50 Blit: 7 bXBeca: 0 bXProp: 5 Bins: 7006 BRemL: 92908 BRemN: 20 P: 67.3M T: 4.98
3394.15/122.28 c Replacing 52 vars Replaced 3341 lits Time: 0.05 s
3396.74/122.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3396.74/122.32 c bin-w-bin subsume rem 2197 bins time: 0.02 s
3396.74/122.38 c subs with bin: 154 lits-rem: 3 v-fix: 0 time: 0.05 s
3403.13/122.56 c Subs w/ non-existent bins: 0 l-rem: 1 v-fix: 0 done: 24649 time: 0.17 s
3404.33/122.61 c Removed useless bin: 46 fixed: 0 props: 4.12M time: 0.04 s
3404.33/122.69 c lits-rem: 14 cl-subs: 73 v-elim: 163 v-fix: 0 time: 0.08 s
3404.63/122.75 c subs with bin: 527 lits-rem: 1958 v-fix: 0 time: 0.04 s
3404.93/122.83 c lits-rem: 903 cl-subs: 705 v-elim: 0 v-fix: 0 time: 0.07 s
3404.93/122.86 c vivif2 -- cl tried 17988 cl shrink 180 lits rem 230 time: 0.03
3405.23/122.93 c vivif2 -- cl tried 15533 cl shrink 3033 lits rem 9330 time: 0.07
3406.50/123.37 c asymm cl-useful: 55/11458/17865 lits-rem:98 time: 0.44
3406.73/123.45 c calculated reachability. Time: 0.08
3406.73/123.45 c N dy 624 158527 24486 17860 194187 15512 288722 289732 7.99 no data
3408.50/124.26 c Following stats are for *FIRST FINISHED THREAD ONLY*
3408.50/124.26 c num threads : 32
3408.50/124.26 c restarts : 996
3408.50/124.26 c dynamic restarts : 978
3408.50/124.26 c static restarts : 18
3408.50/124.26 c full restarts : 2
3408.50/124.26 c total simplify time : 9.10
3408.50/124.26 c learnts DL2 : 0
3408.50/124.26 c learnts size 2 : 611545
3408.50/124.26 c learnts size 1 : 14372 (28.59 % of vars)
3408.50/124.26 c filedLit time : 24.85 (24.28 % time)
3408.50/124.26 c v-elim SatELite : 10536 (20.96 % vars)
3408.50/124.26 c SatELite time : 1.52 (1.48 % time)
3408.50/124.26 c v-elim xor : 0 (0.00 % vars)
3408.50/124.26 c xor elim time : 0.02 (0.02 % time)
3408.50/124.26 c num binary xor trees : 2298
3408.50/124.26 c binxor trees' crown : 2858 (1.24 leafs/tree)
3408.50/124.26 c bin xor find time : 9.50
3408.50/124.26 c OTF clause improved : 9517 (0.04 clauses/conflict)
3408.50/124.26 c OTF impr. size diff : 13005 (1.37 lits/clause)
3408.50/124.26 c OTF cl watch-shrink : 153565 (0.61 clauses/conflict)
3408.50/124.26 c OTF cl watch-sh-lit : 521046 (3.39 lits/clause)
3408.50/124.26 c tried to recurMin cls : 96182 (38.24 % of conflicts)
3408.50/124.26 c updated cache : 0 (0.00 lits/tried recurMin)
3408.50/124.26 c unit cls recevied : 919 (6.39 % of units)
3408.50/124.26 c unit cls sent : 175 (1.22 % of units)
3408.50/124.26 c bin cls recevied : 268475
3408.50/124.26 c bin cls sent : 2387
3408.50/124.26 c clauses over max glue : 0 (0.00 % of all clauses)
3408.50/124.26 c conflicts : 251545 (2457.71 / sec)
3408.50/124.26 c decisions : 418329 (3.71 % random)
3408.50/124.26 c bogo-props : 2791917528 (27278288.26 / sec)
3408.50/124.26 c conflict literals : 6785348 (39.33 % deleted)
3408.50/124.26 c Memory used : 19085.09 MB
3408.50/124.26 c single-thread CPU time : 102.35 s
3408.50/124.26 c all-threads sum CPU time : 3249.40 s
3408.50/124.26 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-3400746-1306753598/watcher-3400746-1306753598 -o /tmp/evaluation-result-3400746-1306753598/solver-3400746-1306753598 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400746-1306753598.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: 22.83 14.63 8.92 1/413 15697
/proc/meminfo: memFree=263891136/264257624 swapFree=67044364/67111528
[pid=15697] ppid=15695 vsize=338000 CPUtime=0.72 cores=0-31
/proc/15697/stat : 15697 (strangenight2-m) R 15695 15697 15432 0 -1 4202496 467 0 0 0 72 0 0 0 25 0 32 0 1325857 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 258650955947 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15697/statm: 84500 407 300 95 0 79482 0
[pid=15697/tid=15698] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15698/stat : 15698 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411442 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15697/tid=15699] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15699/stat : 15699 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 258646002838 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15697/tid=15700] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15700/stat : 15700 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 258646002838 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15697/tid=15701] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15701/stat : 15701 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411027 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15697/tid=15702] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15702/stat : 15702 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411024 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15697/tid=15703] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15703/stat : 15703 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15697/tid=15704] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15704/stat : 15704 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411031 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15697/tid=15705] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15705/stat : 15705 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411037 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15697/tid=15706] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15706/stat : 15706 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15697/tid=15707] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15707/stat : 15707 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411024 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15697/tid=15708] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15708/stat : 15708 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15697/tid=15709] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15709/stat : 15709 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15697/tid=15710] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15710/stat : 15710 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411037 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15697/tid=15711] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15711/stat : 15711 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15697/tid=15712] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15712/stat : 15712 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15697/tid=15713] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15713/stat : 15713 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15697/tid=15714] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15714/stat : 15714 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411024 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15697/tid=15715] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15715/stat : 15715 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411037 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15697/tid=15716] ppid=15695 vsize=338000 CPUtime=0 cores=0-31
/proc/15697/task/15716/stat : 15716 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411446 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15697/tid=15717] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15717/stat : 15717 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15697/tid=15718] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15718/stat : 15718 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411442 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15697/tid=15719] ppid=15695 vsize=338000 CPUtime=0 cores=0-31
/proc/15697/task/15719/stat : 15719 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15697/tid=15720] ppid=15695 vsize=338000 CPUtime=0 cores=0-31
/proc/15697/task/15720/stat : 15720 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15697/tid=15721] ppid=15695 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15697/task/15721/stat : 15721 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15697/tid=15722] ppid=15695 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15697/task/15722/stat : 15722 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15697/tid=15723] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15723/stat : 15723 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15697/tid=15724] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15724/stat : 15724 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15697/tid=15725] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15725/stat : 15725 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411027 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15697/tid=15726] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15726/stat : 15726 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15697/tid=15727] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15727/stat : 15727 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411031 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15697/tid=15728] ppid=15695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15697/task/15728/stat : 15728 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1325858 346112000 407 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411033 0 0 4096 2 0 0 0 -1 26 0 0 0
[startup+0.134195 s]
/proc/loadavg: 22.83 14.63 8.92 1/413 15697
/proc/meminfo: memFree=263891136/264257624 swapFree=67044364/67111528
[pid=15697] ppid=15695 vsize=1266272 CPUtime=2.23 cores=0-31
/proc/15697/stat : 15697 (strangenight2-m) D 15695 15697 15432 0 -1 4202496 15078 0 0 0 113 110 0 0 17 0 32 0 1325857 1296662528 14481 268435456000 4194304 4580107 140736811818592 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15697/statm: 316633 14554 331 95 0 311615 0
[pid=15697/tid=15698] ppid=15695 vsize=1266532 CPUtime=0.07 cores=0-31
/proc/15697/task/15698/stat : 15698 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 492 0 0 0 4 3 0 0 17 0 32 0 1325858 1296928768 14598 268435456000 4194304 4580107 140736811818592 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15697/tid=15699] ppid=15695 vsize=1266532 CPUtime=0.08 cores=0-31
/proc/15697/task/15699/stat : 15699 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 551 0 0 0 4 4 0 0 18 0 32 0 1325858 1296928768 14606 268435456000 4194304 4580107 140736811818592 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15697/tid=15700] ppid=15695 vsize=1266792 CPUtime=0.07 cores=0-31
/proc/15697/task/15700/stat : 15700 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 443 0 0 0 4 3 0 0 17 0 32 0 1325858 1297195008 14606 268435456000 4194304 4580107 140736811818592 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15697/tid=15701] ppid=15695 vsize=1266792 CPUtime=0.06 cores=0-31
/proc/15697/task/15701/stat : 15701 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 383 0 0 0 3 3 0 0 17 0 32 0 1325858 1297195008 14622 268435456000 4194304 4580107 140736811818592 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15697/tid=15702] ppid=15695 vsize=1266792 CPUtime=0.07 cores=0-31
/proc/15697/task/15702/stat : 15702 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 440 0 0 0 3 4 0 0 17 0 32 0 1325858 1297195008 14626 268435456000 4194304 4580107 140736811818592 18446744073709551615 258650618162 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15697/tid=15703] ppid=15695 vsize=1266792 CPUtime=0.05 cores=0-31
/proc/15697/task/15703/stat : 15703 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 458 0 0 0 3 2 0 0 17 0 32 0 1325858 1297195008 14626 268435456000 4194304 4580107 140736811818592 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15697/tid=15704] ppid=15695 vsize=1266792 CPUtime=0.07 cores=0-31
/proc/15697/task/15704/stat : 15704 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 492 0 0 0 3 4 0 0 17 0 32 0 1325858 1297195008 14639 268435456000 4194304 4580107 140736811818592 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15697/tid=15705] ppid=15695 vsize=1266792 CPUtime=0.06 cores=0-31
/proc/15697/task/15705/stat : 15705 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 568 0 0 0 3 3 0 0 17 0 32 0 1325858 1297195008 14670 268435456000 4194304 4580107 140736811818592 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15697/tid=15706] ppid=15695 vsize=1266792 CPUtime=0.06 cores=0-31
/proc/15697/task/15706/stat : 15706 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 444 0 0 0 3 3 0 0 17 0 32 0 1325858 1297195008 14697 268435456000 4194304 4580107 140736811818592 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15697/tid=15707] ppid=15695 vsize=1266792 CPUtime=0.05 cores=0-31
/proc/15697/task/15707/stat : 15707 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 297 0 0 0 3 2 0 0 24 0 32 0 1325858 1297195008 14697 268435456000 4194304 4580107 140736811818592 18446744073709551615 258651060958 0 0 4096 2 18446744071566931704 0 0 -1 9 0 0 0
[pid=15697/tid=15708] ppid=15695 vsize=1266792 CPUtime=0.06 cores=0-31
/proc/15697/task/15708/stat : 15708 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 519 0 0 0 3 3 0 0 17 0 32 0 1325858 1297195008 14697 268435456000 4194304 4580107 140736811818592 18446744073709551615 258651060958 0 0 4096 2 18446604481553554912 0 0 -1 10 0 0 0
[pid=15697/tid=15709] ppid=15695 vsize=1266792 CPUtime=0.06 cores=0-31
/proc/15697/task/15709/stat : 15709 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 451 0 0 0 3 3 0 0 17 0 32 0 1325858 1297195008 14711 268435456000 4194304 4580107 140736811818592 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15697/tid=15710] ppid=15695 vsize=1266792 CPUtime=0.06 cores=0-31
/proc/15697/task/15710/stat : 15710 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 465 0 0 0 3 3 0 0 17 0 32 0 1325858 1297195008 14735 268435456000 4194304 4580107 140736811818592 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15697/tid=15711] ppid=15695 vsize=1266792 CPUtime=0.07 cores=0-31
/proc/15697/task/15711/stat : 15711 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 579 0 0 0 4 3 0 0 17 0 32 0 1325858 1297195008 14737 268435456000 4194304 4580107 140736811818592 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15697/tid=15712] ppid=15695 vsize=1267052 CPUtime=0.08 cores=0-31
/proc/15697/task/15712/stat : 15712 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 565 0 0 0 4 4 0 0 18 0 32 0 1325858 1297461248 14789 268435456000 4194304 4580107 140736811818592 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15697/tid=15713] ppid=15695 vsize=1267052 CPUtime=0.06 cores=0-31
/proc/15697/task/15713/stat : 15713 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 433 0 0 0 3 3 0 0 17 0 32 0 1325858 1297461248 14756 268435456000 4194304 4580107 140736811818592 18446744073709551615 258651060958 0 0 4096 2 18446744071566926264 0 0 -1 17 0 0 0
[pid=15697/tid=15714] ppid=15695 vsize=1266920 CPUtime=0.07 cores=0-31
/proc/15697/task/15714/stat : 15714 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 481 0 0 0 4 3 0 0 17 0 32 0 1325858 1297326080 14770 268435456000 4194304 4580107 140736811818592 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15697/tid=15715] ppid=15695 vsize=1267180 CPUtime=0.06 cores=0-31
/proc/15697/task/15715/stat : 15715 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 477 0 0 0 3 3 0 0 17 0 32 0 1325858 1297592320 14779 268435456000 4194304 4580107 140736811818592 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15697/tid=15716] ppid=15695 vsize=1267180 CPUtime=0.05 cores=0-31
/proc/15697/task/15716/stat : 15716 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 571 0 0 0 1 4 0 0 17 0 32 0 1325858 1297592320 14842 268435456000 4194304 4580107 140736811818592 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15697/tid=15717] ppid=15695 vsize=1267180 CPUtime=0.06 cores=0-31
/proc/15697/task/15717/stat : 15717 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 417 0 0 0 3 3 0 0 17 0 32 0 1325858 1297592320 14844 268435456000 4194304 4580107 140736811818592 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15697/tid=15718] ppid=15695 vsize=1267048 CPUtime=0.05 cores=0-31
/proc/15697/task/15718/stat : 15718 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 413 0 0 0 2 3 0 0 17 0 32 0 1325858 1297457152 14812 268435456000 4194304 4580107 140736811818592 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15697/tid=15719] ppid=15695 vsize=1267308 CPUtime=0.03 cores=0-31
/proc/15697/task/15719/stat : 15719 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 441 0 0 0 1 2 0 0 17 0 32 0 1325858 1297723392 14824 268435456000 4194304 4580107 140736811818592 18446744073709551615 258651060958 0 0 4096 2 18446744071566925504 0 0 -1 24 0 0 0
[pid=15697/tid=15720] ppid=15695 vsize=1267308 CPUtime=0.03 cores=0-31
/proc/15697/task/15720/stat : 15720 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 348 0 0 0 1 2 0 0 17 0 32 0 1325858 1297723392 14842 268435456000 4194304 4580107 140736811818592 18446744073709551615 258651060958 0 0 4096 2 18446604489466985952 0 0 -1 30 0 0 0
[pid=15697/tid=15721] ppid=15695 vsize=1267308 CPUtime=0.05 cores=0-31
/proc/15697/task/15721/stat : 15721 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 437 0 0 0 2 3 0 0 17 0 32 0 1325858 1297723392 14809 268435456000 4194304 4580107 140736811818592 18446744073709551615 258650618162 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15697/tid=15722] ppid=15695 vsize=1267176 CPUtime=0.05 cores=0-31
/proc/15697/task/15722/stat : 15722 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 527 0 0 0 2 3 0 0 17 0 32 0 1325858 1297588224 14834 268435456000 4194304 4580107 140736811818592 18446744073709551615 4311463 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15697/tid=15723] ppid=15695 vsize=1267176 CPUtime=0.06 cores=0-31
/proc/15697/task/15723/stat : 15723 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 432 0 0 0 3 3 0 0 17 0 32 0 1325858 1297588224 14834 268435456000 4194304 4580107 140736811818592 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15697/tid=15724] ppid=15695 vsize=1267176 CPUtime=0.07 cores=0-31
/proc/15697/task/15724/stat : 15724 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 566 0 0 0 3 4 0 0 18 0 32 0 1325858 1297588224 14853 268435456000 4194304 4580107 140736811818592 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15697/tid=15725] ppid=15695 vsize=1267176 CPUtime=0.06 cores=0-31
/proc/15697/task/15725/stat : 15725 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 553 0 0 0 3 3 0 0 17 0 32 0 1325858 1297588224 14853 268435456000 4194304 4580107 140736811818592 18446744073709551615 258651060958 0 0 4096 2 18446744071566932264 0 0 -1 22 0 0 0
[pid=15697/tid=15726] ppid=15695 vsize=1267044 CPUtime=0.05 cores=0-31
/proc/15697/task/15726/stat : 15726 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 1325858 1297453056 14833 268435456000 4194304 4580107 140736811818592 18446744073709551615 258651060958 0 0 4096 2 18446604500167032288 0 0 -1 19 0 0 0
[pid=15697/tid=15727] ppid=15695 vsize=1266912 CPUtime=0.06 cores=0-31
/proc/15697/task/15727/stat : 15727 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 449 0 0 0 3 3 0 0 17 0 32 0 1325858 1297317888 14809 268435456000 4194304 4580107 140736811818592 18446744073709551615 258651060958 0 0 4096 2 18446744071566933384 0 0 -1 25 0 0 0
[pid=15697/tid=15728] ppid=15695 vsize=1266912 CPUtime=0.05 cores=0-31
/proc/15697/task/15728/stat : 15728 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 489 0 0 0 3 2 0 0 17 0 32 0 1325858 1297317888 14819 268435456000 4194304 4580107 140736811818592 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 1266272
[startup+0.205084 s]
/proc/loadavg: 22.83 14.63 8.92 1/413 15697
/proc/meminfo: memFree=263891136/264257624 swapFree=67044364/67111528
[pid=15697] ppid=15695 vsize=1287084 CPUtime=3.12 cores=0-31
/proc/15697/stat : 15697 (strangenight2-m) S 15695 15697 15432 0 -1 4202496 27934 0 0 0 131 181 0 0 17 0 32 0 1325857 1317974016 24721 268435456000 4194304 4580107 140736811818592 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15697/statm: 321806 24731 332 95 0 316788 0
[pid=15697/tid=15698] ppid=15695 vsize=1287224 CPUtime=0.1 cores=0-31
/proc/15697/task/15698/stat : 15698 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 889 0 0 0 4 6 0 0 17 0 32 0 1325858 1318117376 24738 268435456000 4194304 4580107 140736811818592 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15697/tid=15699] ppid=15695 vsize=1287224 CPUtime=0.11 cores=0-31
/proc/15697/task/15699/stat : 15699 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 1137 0 0 0 5 6 0 0 18 0 32 0 1325858 1318117376 24738 268435456000 4194304 4580107 140736811818592 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15697/tid=15700] ppid=15695 vsize=1287224 CPUtime=0.09 cores=0-31
/proc/15697/task/15700/stat : 15700 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 778 0 0 0 4 5 0 0 17 0 32 0 1325858 1318117376 24738 268435456000 4194304 4580107 140736811818592 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15697/tid=15701] ppid=15695 vsize=1287224 CPUtime=0.08 cores=0-31
/proc/15697/task/15701/stat : 15701 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 699 0 0 0 4 4 0 0 17 0 32 0 1325858 1318117376 24738 268435456000 4194304 4580107 140736811818592 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15697/tid=15702] ppid=15695 vsize=1287224 CPUtime=0.1 cores=0-31
/proc/15697/task/15702/stat : 15702 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 925 0 0 0 3 7 0 0 17 0 32 0 1325858 1318117376 24738 268435456000 4194304 4580107 140736811818592 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15697/tid=15703] ppid=15695 vsize=1287364 CPUtime=0.08 cores=0-31
/proc/15697/task/15703/stat : 15703 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 963 0 0 0 4 4 0 0 17 0 32 0 1325858 1318260736 24748 268435456000 4194304 4580107 140736811818592 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15697/tid=15704] ppid=15695 vsize=1287364 CPUtime=0.1 cores=0-31
/proc/15697/task/15704/stat : 15704 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 874 0 0 0 4 6 0 0 17 0 32 0 1325858 1318260736 24755 268435456000 4194304 4580107 140736811818592 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15697/tid=15705] ppid=15695 vsize=1287364 CPUtime=0.09 cores=0-31
/proc/15697/task/15705/stat : 15705 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 1025 0 0 0 4 5 0 0 17 0 32 0 1325858 1318260736 24795 268435456000 4194304 4580107 140736811818592 18446744073709551615 258651060958 0 0 4096 2 18446744071566930064 0 0 -1 6 0 0 0
[pid=15697/tid=15706] ppid=15695 vsize=1287364 CPUtime=0.09 cores=0-31
/proc/15697/task/15706/stat : 15706 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 890 0 0 0 4 5 0 0 17 0 32 0 1325858 1318260736 24802 268435456000 4194304 4580107 140736811818592 18446744073709551615 258651060958 0 0 4096 2 18446744071566925904 0 0 -1 3 0 0 0
[pid=15697/tid=15707] ppid=15695 vsize=1287364 CPUtime=0.08 cores=0-31
/proc/15697/task/15707/stat : 15707 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 546 0 0 0 4 4 0 0 17 0 32 0 1325858 1318260736 24910 268435456000 4194304 4580107 140736811818592 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15697/tid=15708] ppid=15695 vsize=1287364 CPUtime=0.09 cores=0-31
/proc/15697/task/15708/stat : 15708 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 868 0 0 0 4 5 0 0 17 0 32 0 1325858 1318260736 24920 268435456000 4194304 4580107 140736811818592 18446744073709551615 258651060958 0 0 4096 2 18446744071566931904 0 0 -1 10 0 0 0
[pid=15697/tid=15709] ppid=15695 vsize=1286848 CPUtime=0.09 cores=0-31
/proc/15697/task/15709/stat : 15709 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 800 0 0 0 4 5 0 0 17 0 32 0 1325858 1317732352 24791 268435456000 4194304 4580107 140736811818592 18446744073709551615 258650981722 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15697/tid=15710] ppid=15695 vsize=1287132 CPUtime=0.1 cores=0-31
/proc/15697/task/15710/stat : 15710 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 964 0 0 0 4 6 0 0 17 0 32 0 1325858 1318023168 24813 268435456000 4194304 4580107 140736811818592 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15697/tid=15711] ppid=15695 vsize=1287132 CPUtime=0.09 cores=0-31
/proc/15697/task/15711/stat : 15711 (strangenight2-m) D 15695 15697 15432 0 -1 4202560 1116 0 0 0 4 5 0 0 17 0 32 0 1325858 1318023168 24816 268435456000 4194304 4580107 140736811818592 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15697/tid=15712] ppid=15695 vsize=1287132 CPUtime=0.11 cores=0-31
/proc/15697/task/15712/stat : 15712 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 1221 0 0 0 4 7 0 0 18 0 32 0 1325858 1318023168 24880 268435456000 4194304 4580107 140736811818592 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15697/tid=15713] ppid=15695 vsize=1287132 CPUtime=0.09 cores=0-31
/proc/15697/task/15713/stat : 15713 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 773 0 0 0 4 5 0 0 17 0 32 0 1325858 1318023168 24988 268435456000 4194304 4580107 140736811818592 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15697/tid=15714] ppid=15695 vsize=1287132 CPUtime=0.1 cores=0-31
################
# More data... #
################
/proc/15697/task/15702/stat : 15702 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 127360 0 0 0 10095 491 0 0 25 0 32 0 1325858 20012163072 3663257 268435456000 4194304 4580107 140736811818592 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15697/tid=15703] ppid=15695 vsize=19543128 CPUtime=106.38 cores=0-31
/proc/15697/task/15703/stat : 15703 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 129191 0 0 0 10167 471 0 0 25 0 32 0 1325858 20012163072 3663257 268435456000 4194304 4580107 140736811818592 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15697/tid=15704] ppid=15695 vsize=19543128 CPUtime=105 cores=0-31
/proc/15697/task/15704/stat : 15704 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 119643 0 0 0 9969 531 0 0 25 0 32 0 1325858 20012163072 3663257 268435456000 4194304 4580107 140736811818592 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15697/tid=15705] ppid=15695 vsize=19543128 CPUtime=105.97 cores=0-31
/proc/15697/task/15705/stat : 15705 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 126383 0 0 0 10112 485 0 0 25 0 32 0 1325858 20012163072 3663257 268435456000 4194304 4580107 140736811818592 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15697/tid=15706] ppid=15695 vsize=19543128 CPUtime=104.98 cores=0-31
/proc/15697/task/15706/stat : 15706 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 119951 0 0 0 9982 516 0 0 25 0 32 0 1325858 20012163072 3663258 268435456000 4194304 4580107 140736811818592 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15697/tid=15707] ppid=15695 vsize=19543128 CPUtime=104.66 cores=0-31
/proc/15697/task/15707/stat : 15707 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 120596 0 0 0 9951 515 0 0 25 0 32 0 1325858 20012163072 3663258 268435456000 4194304 4580107 140736811818592 18446744073709551615 4497349 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15697/tid=15708] ppid=15695 vsize=19543128 CPUtime=105.19 cores=0-31
/proc/15697/task/15708/stat : 15708 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 121704 0 0 0 10027 492 0 0 25 0 32 0 1325858 20012163072 3663258 268435456000 4194304 4580107 140736811818592 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15697/tid=15709] ppid=15695 vsize=19543128 CPUtime=104.72 cores=0-31
/proc/15697/task/15709/stat : 15709 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 120639 0 0 0 9957 515 0 0 25 0 32 0 1325858 20012163072 3663258 268435456000 4194304 4580107 140736811818592 18446744073709551615 4305960 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15697/tid=15710] ppid=15695 vsize=19543128 CPUtime=105.21 cores=0-31
/proc/15697/task/15710/stat : 15710 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 126429 0 0 0 10004 517 0 0 25 0 32 0 1325858 20012163072 3663258 268435456000 4194304 4580107 140736811818592 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15697/tid=15711] ppid=15695 vsize=19543128 CPUtime=105.44 cores=0-31
/proc/15697/task/15711/stat : 15711 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 121216 0 0 0 10049 495 0 0 25 0 32 0 1325858 20012163072 3663258 268435456000 4194304 4580107 140736811818592 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15697/tid=15712] ppid=15695 vsize=19543128 CPUtime=106.54 cores=0-31
/proc/15697/task/15712/stat : 15712 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 129368 0 0 0 10183 471 0 0 25 0 32 0 1325858 20012163072 3663258 268435456000 4194304 4580107 140736811818592 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15697/tid=15713] ppid=15695 vsize=19543128 CPUtime=104.67 cores=0-31
/proc/15697/task/15713/stat : 15713 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 121789 0 0 0 9966 501 0 0 25 0 32 0 1325858 20012163072 3663258 268435456000 4194304 4580107 140736811818592 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15697/tid=15714] ppid=15695 vsize=19543128 CPUtime=105.32 cores=0-31
/proc/15697/task/15714/stat : 15714 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 122984 0 0 0 10028 504 0 0 25 0 32 0 1325858 20012163072 3663258 268435456000 4194304 4580107 140736811818592 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15697/tid=15715] ppid=15695 vsize=19543128 CPUtime=104.87 cores=0-31
/proc/15697/task/15715/stat : 15715 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 124345 0 0 0 9968 519 0 0 25 0 32 0 1325858 20012163072 3663258 268435456000 4194304 4580107 140736811818592 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15697/tid=15716] ppid=15695 vsize=19543128 CPUtime=105.14 cores=0-31
/proc/15697/task/15716/stat : 15716 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 122407 0 0 0 9977 537 0 0 25 0 32 0 1325858 20012163072 3663258 268435456000 4194304 4580107 140736811818592 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15697/tid=15717] ppid=15695 vsize=19543128 CPUtime=104.66 cores=0-31
/proc/15697/task/15717/stat : 15717 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 121795 0 0 0 9945 521 0 0 25 0 32 0 1325858 20012163072 3663258 268435456000 4194304 4580107 140736811818592 18446744073709551615 4292959 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15697/tid=15718] ppid=15695 vsize=19543128 CPUtime=103.63 cores=0-31
/proc/15697/task/15718/stat : 15718 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 121056 0 0 0 9837 526 0 0 25 0 32 0 1325858 20012163072 3663259 268435456000 4194304 4580107 140736811818592 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15697/tid=15719] ppid=15695 vsize=19543128 CPUtime=105.56 cores=0-31
/proc/15697/task/15719/stat : 15719 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 122942 0 0 0 10048 508 0 0 25 0 32 0 1325858 20012163072 3663259 268435456000 4194304 4580107 140736811818592 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15697/tid=15720] ppid=15695 vsize=19543128 CPUtime=104.62 cores=0-31
/proc/15697/task/15720/stat : 15720 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 118210 0 0 0 9958 504 0 0 25 0 32 0 1325858 20012163072 3663259 268435456000 4194304 4580107 140736811818592 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15697/tid=15721] ppid=15695 vsize=19543128 CPUtime=104.47 cores=0-31
/proc/15697/task/15721/stat : 15721 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 122530 0 0 0 9931 516 0 0 25 0 32 0 1325858 20012163072 3663259 268435456000 4194304 4580107 140736811818592 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15697/tid=15722] ppid=15695 vsize=19543128 CPUtime=104.86 cores=0-31
/proc/15697/task/15722/stat : 15722 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 123090 0 0 0 9975 511 0 0 25 0 32 0 1325858 20012163072 3663259 268435456000 4194304 4580107 140736811818592 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15697/tid=15723] ppid=15695 vsize=19543128 CPUtime=104.83 cores=0-31
/proc/15697/task/15723/stat : 15723 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 122420 0 0 0 9979 504 0 0 25 0 32 0 1325858 20012163072 3663259 268435456000 4194304 4580107 140736811818592 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15697/tid=15724] ppid=15695 vsize=19543128 CPUtime=105.64 cores=0-31
/proc/15697/task/15724/stat : 15724 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 126677 0 0 0 10053 511 0 0 25 0 32 0 1325858 20012163072 3663259 268435456000 4194304 4580107 140736811818592 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15697/tid=15725] ppid=15695 vsize=19543128 CPUtime=104.97 cores=0-31
/proc/15697/task/15725/stat : 15725 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 125756 0 0 0 9989 508 0 0 25 0 32 0 1325858 20012163072 3663259 268435456000 4194304 4580107 140736811818592 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15697/tid=15726] ppid=15695 vsize=19543128 CPUtime=104.17 cores=0-31
/proc/15697/task/15726/stat : 15726 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 121006 0 0 0 9916 501 0 0 25 0 32 0 1325858 20012163072 3663259 268435456000 4194304 4580107 140736811818592 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15697/tid=15727] ppid=15695 vsize=19543128 CPUtime=105.19 cores=0-31
/proc/15697/task/15727/stat : 15727 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 124653 0 0 0 9991 528 0 0 25 0 32 0 1325858 20012163072 3663259 268435456000 4194304 4580107 140736811818592 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15697/tid=15728] ppid=15695 vsize=19543128 CPUtime=116.18 cores=0-31
/proc/15697/task/15728/stat : 15728 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 52551 0 0 0 11478 140 0 0 25 0 32 0 1325858 20012163072 3663259 268435456000 4194304 4580107 140736811818592 18446744073709551615 4238460 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 3374.37
Current children cumulated vsize (KiB) 19543128
[startup+123.202 s]
/proc/loadavg: 30.79 20.34 11.72 4/445 15732
/proc/meminfo: memFree=249198496/264257624 swapFree=67044364/67111528
[pid=15697] ppid=15695 vsize=19543128 CPUtime=3406.2 cores=0-31
/proc/15697/stat : 15697 (strangenight2-m) R 15695 15697 15432 0 -1 4202496 3875505 0 0 0 324699 15921 0 0 25 0 32 0 1325857 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 4294410 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15697/statm: 4885782 3666488 378 95 0 4880764 0
[pid=15697/tid=15698] ppid=15695 vsize=19543128 CPUtime=105.76 cores=0-31
/proc/15697/task/15698/stat : 15698 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 123188 0 0 0 10044 532 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604479279447520 0 0 -1 20 0 0 0
[pid=15697/tid=15699] ppid=15695 vsize=19543128 CPUtime=106.02 cores=0-31
/proc/15697/task/15699/stat : 15699 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 129747 0 0 0 10103 499 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604506555760096 0 0 -1 16 0 0 0
[pid=15697/tid=15700] ppid=15695 vsize=19543128 CPUtime=106.1 cores=0-31
/proc/15697/task/15700/stat : 15700 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 120116 0 0 0 10102 508 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604489466985952 0 0 -1 6 0 0 0
[pid=15697/tid=15701] ppid=15695 vsize=19543128 CPUtime=106.23 cores=0-31
/proc/15697/task/15701/stat : 15701 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 119845 0 0 0 10106 517 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604480505036256 0 0 -1 8 0 0 0
[pid=15697/tid=15702] ppid=15695 vsize=19543128 CPUtime=106.79 cores=0-31
/proc/15697/task/15702/stat : 15702 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 127362 0 0 0 10188 491 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604488607989216 0 0 -1 21 0 0 0
[pid=15697/tid=15703] ppid=15695 vsize=19543128 CPUtime=107.31 cores=0-31
/proc/15697/task/15703/stat : 15703 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 129254 0 0 0 10260 471 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604472433434080 0 0 -1 14 0 0 0
[pid=15697/tid=15704] ppid=15695 vsize=19543128 CPUtime=106.62 cores=0-31
/proc/15697/task/15704/stat : 15704 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 119677 0 0 0 10131 531 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202386475 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15697/tid=15705] ppid=15695 vsize=19543128 CPUtime=106.9 cores=0-31
/proc/15697/task/15705/stat : 15705 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 126391 0 0 0 10205 485 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604482369297888 0 0 -1 29 0 0 0
[pid=15697/tid=15706] ppid=15695 vsize=19543128 CPUtime=105.91 cores=0-31
/proc/15697/task/15706/stat : 15706 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 119955 0 0 0 10075 516 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604472249998816 0 0 -1 19 0 0 0
[pid=15697/tid=15707] ppid=15695 vsize=19543128 CPUtime=105.59 cores=0-31
/proc/15697/task/15707/stat : 15707 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 120596 0 0 0 10044 515 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604477789330912 0 0 -1 12 0 0 0
[pid=15697/tid=15708] ppid=15695 vsize=19543128 CPUtime=106.12 cores=0-31
/proc/15697/task/15708/stat : 15708 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 122116 0 0 0 10120 492 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604451826032096 0 0 -1 2 0 0 0
[pid=15697/tid=15709] ppid=15695 vsize=19543128 CPUtime=105.65 cores=0-31
/proc/15697/task/15709/stat : 15709 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 120700 0 0 0 10050 515 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604506525154784 0 0 -1 28 0 0 0
[pid=15697/tid=15710] ppid=15695 vsize=19543128 CPUtime=106.14 cores=0-31
/proc/15697/task/15710/stat : 15710 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 126488 0 0 0 10097 517 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604506216570336 0 0 -1 24 0 0 0
[pid=15697/tid=15711] ppid=15695 vsize=19543128 CPUtime=106.37 cores=0-31
/proc/15697/task/15711/stat : 15711 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 121237 0 0 0 10142 495 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604477131341280 0 0 -1 10 0 0 0
[pid=15697/tid=15712] ppid=15695 vsize=19543128 CPUtime=107.47 cores=0-31
/proc/15697/task/15712/stat : 15712 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 129435 0 0 0 10276 471 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604489519300064 0 0 -1 22 0 0 0
[pid=15697/tid=15713] ppid=15695 vsize=19543128 CPUtime=105.6 cores=0-31
/proc/15697/task/15713/stat : 15713 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 121857 0 0 0 10059 501 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604500167032288 0 0 -1 5 0 0 0
[pid=15697/tid=15714] ppid=15695 vsize=19543128 CPUtime=106.25 cores=0-31
/proc/15697/task/15714/stat : 15714 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 123038 0 0 0 10121 504 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604474177469920 0 0 -1 3 0 0 0
[pid=15697/tid=15715] ppid=15695 vsize=19543128 CPUtime=105.8 cores=0-31
/proc/15697/task/15715/stat : 15715 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 124350 0 0 0 10061 519 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604493451460064 0 0 -1 11 0 0 0
[pid=15697/tid=15716] ppid=15695 vsize=19543128 CPUtime=106.07 cores=0-31
/proc/15697/task/15716/stat : 15716 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 122462 0 0 0 10070 537 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604484265131488 0 0 -1 13 0 0 0
[pid=15697/tid=15717] ppid=15695 vsize=19543128 CPUtime=105.59 cores=0-31
/proc/15697/task/15717/stat : 15717 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 121863 0 0 0 10038 521 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604442904460768 0 0 -1 17 0 0 0
[pid=15697/tid=15718] ppid=15695 vsize=19543128 CPUtime=104.56 cores=0-31
/proc/15697/task/15718/stat : 15718 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 121060 0 0 0 9930 526 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604493451468256 0 0 -1 27 0 0 0
[pid=15697/tid=15719] ppid=15695 vsize=19543128 CPUtime=106.49 cores=0-31
/proc/15697/task/15719/stat : 15719 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 122999 0 0 0 10141 508 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604490265951712 0 0 -1 18 0 0 0
[pid=15697/tid=15720] ppid=15695 vsize=19543128 CPUtime=105.55 cores=0-31
/proc/15697/task/15720/stat : 15720 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 118285 0 0 0 10051 504 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446744071566926424 0 0 -1 4 0 0 0
[pid=15697/tid=15721] ppid=15695 vsize=19543128 CPUtime=105.4 cores=0-31
/proc/15697/task/15721/stat : 15721 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 122572 0 0 0 10024 516 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604490848517600 0 0 -1 0 0 0 0
[pid=15697/tid=15722] ppid=15695 vsize=19543128 CPUtime=105.79 cores=0-31
/proc/15697/task/15722/stat : 15722 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 123090 0 0 0 10068 511 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604506476133856 0 0 -1 1 0 0 0
[pid=15697/tid=15723] ppid=15695 vsize=19543128 CPUtime=105.76 cores=0-31
/proc/15697/task/15723/stat : 15723 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 122477 0 0 0 10072 504 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604506552983008 0 0 -1 30 0 0 0
[pid=15697/tid=15724] ppid=15695 vsize=19543128 CPUtime=106.57 cores=0-31
/proc/15697/task/15724/stat : 15724 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 126752 0 0 0 10146 511 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604481553554912 0 0 -1 9 0 0 0
[pid=15697/tid=15725] ppid=15695 vsize=19543128 CPUtime=105.9 cores=0-31
/proc/15697/task/15725/stat : 15725 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 125819 0 0 0 10082 508 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604454105275872 0 0 -1 26 0 0 0
[pid=15697/tid=15726] ppid=15695 vsize=19543128 CPUtime=105.08 cores=0-31
/proc/15697/task/15726/stat : 15726 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 121088 0 0 0 10007 501 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604481490107872 0 0 -1 31 0 0 0
[pid=15697/tid=15727] ppid=15695 vsize=19543128 CPUtime=106.12 cores=0-31
/proc/15697/task/15727/stat : 15727 (strangenight2-m) S 15695 15697 15432 0 -1 4202560 124656 0 0 0 10084 528 0 0 25 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 47313202411060 0 0 4096 2 18446604484265295328 0 0 -1 7 0 0 0
[pid=15697/tid=15728] ppid=15695 vsize=19543128 CPUtime=117.81 cores=0-31
/proc/15697/task/15728/stat : 15728 (strangenight2-m) R 15695 15697 15432 0 -1 4202560 54027 0 0 0 11640 141 0 0 18 0 32 0 1325858 20012163072 3666488 268435456000 4194304 4580107 140736811818592 18446744073709551615 4428031 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 3406.2
Current children cumulated vsize (KiB) 19543128
[startup+124.801 s]
/proc/loadavg: 30.79 20.34 11.72 2/415 15732
/proc/meminfo: memFree=249505516/264257624 swapFree=67044364/67111528
[pid=15697] ppid=15695 vsize=0 CPUtime=3409.18 cores=0-31
/proc/15697/stat : 15697 (strangenight2-m) Z 15695 15697 15432 0 -1 4203548 3879461 0 0 0 324940 15978 0 0 19 0 2 0 1325857 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/15697/statm: 0 0 0 0 0 0 0
[pid=15697/tid=15721] ppid=15695 vsize=0 CPUtime=105.94 cores=0-31
/proc/15697/task/15721/stat : 15721 (strangenight2-m) R 15695 15697 15432 0 -1 4203588 122572 0 0 0 10024 570 0 0 18 0 2 0 1325858 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) 3409.18
Current children cumulated vsize (KiB) 0
[startup+125.201 s]
/proc/loadavg: 30.79 20.34 11.72 2/415 15732
/proc/meminfo: memFree=249505516/264257624 swapFree=67044364/67111528
[pid=15697] ppid=15695 vsize=0 CPUtime=3409.58 cores=0-31
/proc/15697/stat : 15697 (strangenight2-m) Z 15695 15697 15432 0 -1 4203548 3879461 0 0 0 324940 16018 0 0 19 0 2 0 1325857 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/15697/statm: 0 0 0 0 0 0 0
[pid=15697/tid=15721] ppid=15695 vsize=0 CPUtime=106.34 cores=0-31
/proc/15697/task/15721/stat : 15721 (strangenight2-m) R 15695 15697 15432 0 -1 4203588 122572 0 0 0 10024 610 0 0 19 0 2 0 1325858 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) 3409.58
Current children cumulated vsize (KiB) 0
[startup+125.401 s]
/proc/loadavg: 30.79 20.34 11.72 2/415 15732
/proc/meminfo: memFree=261031416/264257624 swapFree=67044364/67111528
[pid=15697] ppid=15695 vsize=0 CPUtime=3409.81 cores=0-31
/proc/15697/stat : 15697 (strangenight2-m) Z 15695 15697 15432 0 -1 4203548 3879461 0 0 0 324940 16041 0 0 19 0 2 0 1325857 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/15697/statm: 0 0 0 0 0 0 0
[pid=15697/tid=15721] ppid=15695 vsize=0 CPUtime=106.58 cores=0-31
/proc/15697/task/15721/stat : 15721 (strangenight2-m) R 15695 15697 15432 0 -1 4203588 122572 0 0 0 10024 634 0 0 19 0 2 0 1325858 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) 3409.81
Current children cumulated vsize (KiB) 0
[startup+125.533 s]
/proc/loadavg: 30.79 20.34 11.72 2/415 15732
/proc/meminfo: memFree=261031416/264257624 swapFree=67044364/67111528
[pid=15697] ppid=15695 vsize=0 CPUtime=3409.91 cores=0-31
/proc/15697/stat : 15697 (strangenight2-m) Z 15695 15697 15432 0 -1 4203548 3879461 0 0 0 324940 16051 0 0 19 0 2 0 1325857 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/15697/statm: 0 0 0 0 0 0 0
[pid=15697/tid=15721] ppid=15695 vsize=0 CPUtime=106.68 cores=0-31
/proc/15697/task/15721/stat : 15721 (strangenight2-m) R 15695 15697 15432 0 -1 4203588 122572 0 0 0 10024 644 0 0 19 0 2 0 1325858 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) 3409.91
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 125.573
CPU time (s): 3409.96
CPU user time (s): 3249.4
CPU system time (s): 160.556
CPU usage (%): 2715.51
Max. virtual memory (cumulated for all children) (KiB): 19543128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3249.4
system time used= 160.556
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3879461
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= 3165454
involuntary context switches= 21480
runsolver used 1.00185 second user time and 3.37949 second system time
The end
Begin job on node200 at 2011-05-30 13:06:39
IDJOB=3400746
IDBENCH=82422
IDSOLVER=1886
FILE ID=node200/3400746-1306753598
RUNJOBID= node200-1306753305-15446
PBS_JOBID= 13471600
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step20.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400746-1306753598/watcher-3400746-1306753598 -o /tmp/evaluation-result-3400746-1306753598/solver-3400746-1306753598 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400746-1306753598.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 8f0e3738453893efc8a2d1abcf0d190d
RANDOM SEED=1437528433
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: 263891424 kB
Buffers: 11660 kB
Cached: 173752 kB
SwapCached: 16168 kB
Active: 97348 kB
Inactive: 111200 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263891424 kB
SwapTotal: 67111528 kB
SwapFree: 67044364 kB
Dirty: 10852 kB
Writeback: 0 kB
AnonPages: 20676 kB
Mapped: 8520 kB
Slab: 56288 kB
PageTables: 4356 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 182328 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= 61568 MiB
End job on node200 at 2011-05-30 13:08:45