0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 32 threads
0.00/0.03 c This is CryptoMiniSat 3.0.0
0.00/0.03 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03 c Reading file 'HOME/instance-3400664-1306313430.cnf'
0.00/0.05 c -- header says num vars: 13240
0.00/0.05 c -- header says num clauses: 39143
4.83/0.37 c -- clauses added: 0 learnts, 39143 normals, 0 xors
4.83/0.37 c -- vars added 13240
4.83/0.37 c Parsing time: 0.06 s
4.83/0.37 c N st 0 0 13240 13047 26094 0 91329 0 no data no data
32.45/1.25 c asymm cl-useful: 0/13030/13030 lits-rem:0 time: 0.87
106.31/6.79 c Flit: 0 Blit: 65 bXBeca: 0 bXProp: 67 Bins: 0 BRemL: 0 BRemN: 0 P: 16.7M T: 2.09
106.31/6.80 c Replacing 67 vars Replaced 1244 lits Time: 0.01 s
109.46/6.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
109.46/6.81 c bin-w-bin subsume rem 0 bins time: 0.00 s
109.46/6.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s
109.46/6.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 13090 time: 0.06 s
112.63/6.96 c Removed useless bin: 66 fixed: 0 props: 7.71M time: 0.07 s
119.95/7.27 c lits-rem: 0 cl-subs: 116 v-elim: 4363 v-fix: 0 time: 0.11 s
122.16/7.31 c Finding binary XORs T: 0.04 s found: 0
122.16/7.34 c Finding non-binary XORs: 0.01 s (found: 525, avg size: 3.0)
122.16/7.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
122.16/7.35 c calculated reachability. Time: 0.01
122.16/7.35 c Calc default polars - time: 0.00 s pos: 230 undec: 5327 neg: 7683
122.16/7.35 c =========================================================================================
122.16/7.35 c types(t): F = full restart, N = normal restart
122.16/7.35 c types(t): S = simplification begin/end, E = solution found
122.16/7.35 c restart types(rt): st = static, dy = dynamic
122.16/7.35 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
122.16/7.35 c B st 0 0 8727 11656 15969 0 74988 0 no data no data
151.74/8.36 c N dy 10 6384 8727 11656 16065 3745 74988 58586 13.46 14.47
183.67/9.34 c N dy 23 11620 8724 11656 17370 4738 74988 98039 11.62 12.58
196.46/9.79 c Finding binary XORs T: 0.02 s found: 528
196.46/9.80 c Replacing 528 vars Replaced 14223 lits Time: 0.01 s
206.03/10.03 c N dy 40 15715 8189 10547 18346 8378 71600 233732 11.74 12.65
228.41/10.73 c N dy 58 19781 8188 10547 20324 7068 71600 119236 11.64 12.77
250.77/11.45 c N dy 79 23921 8180 10547 20336 11173 71600 263582 11.60 12.48
257.17/11.67 c F st 89 25001 8180 10547 21896 12247 71600 308930 11.77 no data
263.56/11.83 c Finding binary XORs T: 0.02 s found: 347
263.56/11.84 c Replacing 347 vars Replaced 15185 lits Time: 0.01 s
276.32/12.24 c N st 94 28295 7831 10191 20512 8665 70460 160973 11.77 no data
282.72/12.49 c S st 95 30001 7831 10191 20517 10358 70460 215167 11.77 no data
289.12/12.61 c S st 95 30503 7831 10191 20534 10840 70460 228447 11.77 no data
289.12/12.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
381.76/15.59 c Flit: 4 Blit: 0 bXBeca: 0 bXProp: 41 Bins: 22177 BRemL: 3482 BRemN: 0 P: 19.6M T: 2.97
384.95/15.60 c Replacing 41 vars Replaced 6734 lits Time: 0.01 s
384.95/15.61 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
384.95/15.61 c bin-w-bin subsume rem 1747 bins time: 0.01 s
384.95/15.62 c subs with bin: 106 lits-rem: 66 v-fix: 0 time: 0.01 s
384.95/15.67 c Subs w/ non-existent bins: 0 l-rem: 217 v-fix: 0 done: 7783 time: 0.04 s
384.95/15.68 c Removed useless bin: 4 fixed: 0 props: 0.61M time: 0.01 s
388.16/15.75 c lits-rem: 32 cl-subs: 128 v-elim: 3620 v-fix: 0 time: 0.07 s
388.16/15.77 c subs with bin: 59 lits-rem: 966 v-fix: 0 time: 0.01 s
388.16/15.78 c lits-rem: 55 cl-subs: 129 v-elim: 0 v-fix: 0 time: 0.01 s
407.34/16.40 c asymm cl-useful: 342/10744/10744 lits-rem:398 time: 0.62
407.34/16.41 c calculated reachability. Time: 0.01
407.34/16.41 c N dy 95 30503 4163 10744 20882 3176 60545 47197 11.77 no data
411.16/16.43 c Finding binary XORs T: 0.02 s found: 0
423.32/16.85 c N dy 100 34530 4157 10744 22192 7106 60541 129406 11.31 12.61
436.10/17.28 c N dy 110 38771 4150 10744 22204 7429 60541 137921 11.01 11.72
449.55/17.68 c N dy 121 42831 4150 10744 24844 11436 60541 233506 10.81 11.76
461.66/18.05 c Finding binary XORs T: 0.01 s found: 107
461.66/18.05 c Replacing 107 vars Replaced 4513 lits Time: 0.00 s
461.66/18.06 c S st 135 45754 4043 10387 24173 7362 59313 90813 10.76 no data
464.86/18.13 c S st 135 46257 4043 10387 24954 7851 59313 103720 10.76 no data
464.86/18.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
516.63/19.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bins: 7555 BRemL: 10982 BRemN: 2 P: 6.8M T: 1.68
519.85/19.82 c Replacing 7 vars Replaced 248 lits Time: 0.01 s
519.85/19.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
519.85/19.83 c bin-w-bin subsume rem 540 bins time: 0.00 s
519.85/19.84 c subs with bin: 130 lits-rem: 51 v-fix: 0 time: 0.01 s
519.85/19.85 c Subs w/ non-existent bins: 10 l-rem: 55 v-fix: 0 done: 4035 time: 0.01 s
519.85/19.85 c Removed useless bin: 15 fixed: 0 props: 0.10M time: 0.00 s
519.85/19.87 c lits-rem: 0 cl-subs: 5 v-elim: 84 v-fix: 0 time: 0.02 s
519.85/19.89 c subs with bin: 43 lits-rem: 509 v-fix: 0 time: 0.01 s
522.37/19.91 c lits-rem: 103 cl-subs: 237 v-elim: 0 v-fix: 0 time: 0.01 s
522.37/19.92 c vivif2 -- cl tried 10314 cl shrink 29 lits rem 29 time: 0.01
522.37/19.93 c vivif2 -- cl tried 6677 cl shrink 1055 lits rem 1585 time: 0.01
544.76/20.63 c asymm cl-useful: 19/10314/10314 lits-rem:23 time: 0.70
544.76/20.64 c calculated reachability. Time: 0.00
544.76/20.64 c N dy 135 46257 3951 10314 17618 6673 59877 68813 10.76 no data
544.76/20.65 c Finding binary XORs T: 0.01 s found: 0
557.55/21.08 c N dy 148 50258 3951 10314 17627 10611 59877 192791 10.62 12.20
576.70/21.64 c N dy 166 54712 3936 10314 19327 14983 59876 324062 10.55 11.20
590.12/22.10 c N dy 189 58714 3936 10314 20383 10608 59866 164925 10.55 11.19
602.27/22.41 c Finding binary XORs T: 0.01 s found: 29
608.66/22.61 c N dy 205 62824 3934 10258 20125 14299 59545 281361 10.49 11.33
625.30/23.15 c N dy 226 67049 3929 10258 20362 18418 59542 420362 10.51 11.25
634.22/23.47 c S st 242 69385 3928 10258 20369 10815 59537 121859 10.53 no data
637.42/23.54 c S st 242 69886 3928 10258 20372 11310 59537 139647 10.53 no data
637.42/23.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
704.53/25.60 c Flit: 3 Blit: 3 bXBeca: 0 bXProp: 95 Bins: 16541 BRemL: 3757 BRemN: 1 P: 15.1M T: 2.05
704.53/25.62 c Replacing 124 vars Replaced 16527 lits Time: 0.01 s
704.53/25.63 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
704.53/25.63 c bin-w-bin subsume rem 1154 bins time: 0.00 s
704.53/25.64 c subs with bin: 210 lits-rem: 609 v-fix: 0 time: 0.01 s
704.53/25.65 c Subs w/ non-existent bins: 6 l-rem: 209 v-fix: 0 done: 3798 time: 0.01 s
704.53/25.66 c Removed useless bin: 15 fixed: 0 props: 0.14M time: 0.00 s
704.53/25.68 c lits-rem: 21 cl-subs: 23 v-elim: 82 v-fix: 0 time: 0.02 s
707.73/25.73 c subs with bin: 910 lits-rem: 2496 v-fix: 0 time: 0.04 s
707.73/25.75 c lits-rem: 200 cl-subs: 381 v-elim: 0 v-fix: 0 time: 0.02 s
707.73/25.76 c vivif2 -- cl tried 9953 cl shrink 476 lits rem 687 time: 0.01
707.73/25.78 c vivif2 -- cl tried 7750 cl shrink 1859 lits rem 5413 time: 0.02
742.86/26.82 c asymm cl-useful: 169/9910/9910 lits-rem:275 time: 1.04
742.86/26.83 c calculated reachability. Time: 0.01
742.86/26.83 c N dy 242 69886 3716 9875 26001 7556 56283 102567 10.53 no data
742.86/26.85 c Finding binary XORs T: 0.02 s found: 25
762.67/27.42 c N dy 258 74751 3715 9875 57649 12306 56267 307446 10.45 11.03
771.63/27.75 c Finding binary XORs T: 0.02 s found: 67
771.63/27.77 c Replacing 92 vars Replaced 12658 lits Time: 0.01 s
784.42/28.15 c N dy 292 79558 3575 9684 66165 15250 54984 465104 10.49 18.71
809.98/28.92 c N dy 326 84719 3563 9684 67252 11168 54981 261340 10.52 11.21
822.77/29.31 c F st 348 87500 3563 9684 67268 13897 54976 378341 10.60 no data
838.74/29.84 c N st 353 90804 3560 9645 75773 16774 54730 544102 10.60 no data
851.52/30.25 c Finding binary XORs T: 0.02 s found: 60
851.52/30.27 c Replacing 60 vars Replaced 8970 lits Time: 0.02 s
877.05/31.08 c N dy 372 97603 3466 9491 77625 11562 53965 265374 10.58 11.15
903.25/31.86 c Finding binary XORs T: 0.02 s found: 87
903.25/31.88 c Replacing 87 vars Replaced 11592 lits Time: 0.01 s
909.00/32.06 c N dy 404 103864 3310 9156 87901 16143 52265 478629 10.57 11.24
915.40/32.22 c S st 412 104832 3309 9156 87913 17080 52265 509674 10.58 no data
918.60/32.32 c S st 412 105338 3309 9156 87915 17580 52263 535575 10.58 no data
918.60/32.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
943.58/34.45 c Flit: 16 Blit: 20 bXBeca: 0 bXProp: 182 Bins: 6185 BRemL: 48447 BRemN: 9 P: 22.1M T: 2.12
943.58/34.47 c Replacing 182 vars Replaced 23579 lits Time: 0.01 s
943.58/34.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
943.58/34.48 c bin-w-bin subsume rem 7911 bins time: 0.01 s
943.58/34.49 c subs with bin: 472 lits-rem: 756 v-fix: 0 time: 0.01 s
943.98/34.50 c Subs w/ non-existent bins: 28 l-rem: 517 v-fix: 0 done: 3009 time: 0.01 s
943.98/34.50 c Removed useless bin: 19 fixed: 0 props: 0.15M time: 0.00 s
943.98/34.52 c lits-rem: 174 cl-subs: 348 v-elim: 167 v-fix: 0 time: 0.01 s
943.98/34.57 c subs with bin: 2004 lits-rem: 5881 v-fix: 0 time: 0.05 s
944.39/34.60 c lits-rem: 1341 cl-subs: 911 v-elim: 0 v-fix: 0 time: 0.03 s
944.39/34.61 c vivif2 -- cl tried 7545 cl shrink 508 lits rem 968 time: 0.01
944.39/34.63 c vivif2 -- cl tried 6892 cl shrink 3975 lits rem 19746 time: 0.01
947.16/35.42 c asymm cl-useful: 193/7436/7436 lits-rem:397 time: 0.79
947.16/35.43 c calculated reachability. Time: 0.00
947.16/35.43 c N dy 412 105338 2842 7372 31289 6467 42202 126347 10.58 no data
948.71/36.17 c Following stats are for *FIRST FINISHED THREAD ONLY*
948.71/36.17 c num threads : 32
948.71/36.17 c restarts : 460
948.71/36.17 c dynamic restarts : 442
948.71/36.17 c static restarts : 18
948.71/36.17 c full restarts : 2
948.71/36.17 c total simplify time : 0.33
948.71/36.17 c learnts DL2 : 0
948.71/36.17 c learnts size 2 : 183146
948.71/36.17 c learnts size 1 : 1091 (8.24 % of vars)
948.71/36.17 c filedLit time : 6.01 (18.65 % time)
948.71/36.17 c v-elim SatELite : 7930 (59.89 % vars)
948.71/36.17 c SatELite time : 0.23 (0.73 % time)
948.71/36.17 c v-elim xor : 0 (0.00 % vars)
948.71/36.17 c xor elim time : 0.01 (0.04 % time)
948.71/36.17 c num binary xor trees : 400
948.71/36.17 c binxor trees' crown : 1575 (3.94 leafs/tree)
948.71/36.17 c bin xor find time : 0.25
948.71/36.17 c OTF clause improved : 1451 (0.01 clauses/conflict)
948.71/36.17 c OTF impr. size diff : 2018 (1.39 lits/clause)
948.71/36.17 c OTF cl watch-shrink : 66723 (0.57 clauses/conflict)
948.71/36.17 c OTF cl watch-sh-lit : 346814 (5.20 lits/clause)
948.71/36.17 c tried to recurMin cls : 56902 (48.68 % of conflicts)
948.71/36.17 c updated cache : 0 (0.00 lits/tried recurMin)
948.71/36.17 c unit cls recevied : 173 (15.86 % of units)
948.71/36.17 c unit cls sent : 106 (9.72 % of units)
948.71/36.17 c bin cls recevied : 129999
948.71/36.17 c bin cls sent : 11955
948.71/36.17 c clauses over max glue : 0 (0.00 % of all clauses)
948.71/36.17 c conflicts : 116881 (3629.95 / sec)
948.71/36.17 c decisions : 375633 (1.96 % random)
948.71/36.17 c bogo-props : 662793583 (20584224.42 / sec)
948.71/36.17 c conflict literals : 4517962 (32.34 % deleted)
948.71/36.17 c Memory used : 3601.99 MB
948.71/36.17 c single-thread CPU time : 32.20 s
948.71/36.17 c all-threads sum CPU time : 936.38 s
948.71/36.17 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-3400664-1306313430/watcher-3400664-1306313430 -o /tmp/evaluation-result-3400664-1306313430/solver-3400664-1306313430 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400664-1306313430.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: 25.24 29.77 30.96 1/413 14144
/proc/meminfo: memFree=255160588/264257624 swapFree=67111528/67111528
[pid=14144] ppid=14142 vsize=797968 CPUtime=0.58 cores=0-31
/proc/14144/stat : 14144 (strangenight2-m) R 14142 14144 14118 0 -1 4202496 2931 0 0 0 43 15 0 0 25 0 32 0 742829462 817119232 2783 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/14144/statm: 199492 2838 322 95 0 194474 0
[pid=14144/tid=14145] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14145/stat : 14145 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 87 0 0 0 1 0 0 0 25 0 32 0 742829462 817119232 3168 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14144/tid=14146] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14146/stat : 14146 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 121 0 0 0 1 0 0 0 18 0 32 0 742829462 817119232 3254 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14144/tid=14147] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14147/stat : 14147 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 113 0 0 0 1 0 0 0 18 0 32 0 742829462 817119232 3335 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14144/tid=14148] ppid=14142 vsize=797968 CPUtime=0 cores=0-31
/proc/14144/task/14148/stat : 14148 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 155 0 0 0 0 0 0 0 18 0 32 0 742829462 817119232 3411 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14144/tid=14149] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14149/stat : 14149 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 83 0 0 0 1 0 0 0 25 0 32 0 742829462 817119232 3479 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14144/tid=14150] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14150/stat : 14150 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 81 0 0 0 1 0 0 0 25 0 32 0 742829462 817119232 3556 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14144/tid=14151] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14151/stat : 14151 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 103 0 0 0 1 0 0 0 25 0 32 0 742829462 817119232 3613 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14144/tid=14152] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14152/stat : 14152 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 154 0 0 0 1 0 0 0 18 0 32 0 742829463 817119232 3676 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14144/tid=14153] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14153/stat : 14153 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 125 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 3740 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14144/tid=14154] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14154/stat : 14154 (strangenight2-m) D 14142 14144 14118 0 -1 4202560 94 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 3741 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14144/tid=14155] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14155/stat : 14155 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 11 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 3752 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14144/tid=14156] ppid=14142 vsize=797968 CPUtime=0 cores=0-31
/proc/14144/task/14156/stat : 14156 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 97 0 0 0 0 0 0 0 25 0 32 0 742829463 817119232 3770 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14144/tid=14157] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14157/stat : 14157 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 108 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 3810 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14144/tid=14158] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14158/stat : 14158 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 79 0 0 0 1 0 0 0 18 0 32 0 742829463 817119232 3810 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14144/tid=14159] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14159/stat : 14159 (strangenight2-m) D 14142 14144 14118 0 -1 4202560 103 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 3811 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14144/tid=14160] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14160/stat : 14160 (strangenight2-m) D 14142 14144 14118 0 -1 4202560 127 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 3832 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14144/tid=14161] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14161/stat : 14161 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 99 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 3866 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14144/tid=14162] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14162/stat : 14162 (strangenight2-m) D 14142 14144 14118 0 -1 4202560 105 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 3867 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14144/tid=14163] ppid=14142 vsize=797968 CPUtime=0.02 cores=0-31
/proc/14144/task/14163/stat : 14163 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 139 0 0 0 1 1 0 0 25 0 32 0 742829463 817119232 3873 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14144/tid=14164] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14164/stat : 14164 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 104 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 3900 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14144/tid=14165] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14165/stat : 14165 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 109 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 3944 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14144/tid=14166] ppid=14142 vsize=797968 CPUtime=0.02 cores=0-31
/proc/14144/task/14166/stat : 14166 (strangenight2-m) D 14142 14144 14118 0 -1 4202560 125 0 0 0 1 1 0 0 25 0 32 0 742829463 817119232 3945 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14144/tid=14167] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14167/stat : 14167 (strangenight2-m) D 14142 14144 14118 0 -1 4202560 102 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 3945 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14144/tid=14168] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14168/stat : 14168 (strangenight2-m) D 14142 14144 14118 0 -1 4202560 130 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 3966 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14144/tid=14169] ppid=14142 vsize=797968 CPUtime=0.02 cores=0-31
/proc/14144/task/14169/stat : 14169 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 130 0 0 0 1 1 0 0 25 0 32 0 742829463 817119232 3993 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14144/tid=14170] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14170/stat : 14170 (strangenight2-m) D 14142 14144 14118 0 -1 4202560 107 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 3993 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14144/tid=14171] ppid=14142 vsize=797968 CPUtime=0.02 cores=0-31
/proc/14144/task/14171/stat : 14171 (strangenight2-m) D 14142 14144 14118 0 -1 4202560 154 0 0 0 1 1 0 0 25 0 32 0 742829463 817119232 3997 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14144/tid=14172] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14172/stat : 14172 (strangenight2-m) D 14142 14144 14118 0 -1 4202560 92 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 4021 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14144/tid=14173] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14173/stat : 14173 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 112 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 4074 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14144/tid=14174] ppid=14142 vsize=797968 CPUtime=0.02 cores=0-31
/proc/14144/task/14174/stat : 14174 (strangenight2-m) D 14142 14144 14118 0 -1 4202560 140 0 0 0 1 1 0 0 25 0 32 0 742829463 817119232 4075 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14144/tid=14175] ppid=14142 vsize=797968 CPUtime=0.01 cores=0-31
/proc/14144/task/14175/stat : 14175 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 121 0 0 0 1 0 0 0 25 0 32 0 742829463 817119232 4084 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[startup+0.073874 s]
/proc/loadavg: 25.24 29.77 30.96 1/413 14144
/proc/meminfo: memFree=255160588/264257624 swapFree=67111528/67111528
[pid=14144] ppid=14142 vsize=1389008 CPUtime=1.06 cores=0-31
/proc/14144/stat : 14144 (strangenight2-m) R 14142 14144 14118 0 -1 4202496 7381 0 0 0 50 56 0 0 17 0 32 0 742829462 1422344192 7232 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/14144/statm: 347252 7236 334 95 0 342234 0
[pid=14144/tid=14145] ppid=14142 vsize=1389008 CPUtime=0.03 cores=0-31
/proc/14144/task/14145/stat : 14145 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 225 0 0 0 2 1 0 0 17 0 32 0 742829462 1422344192 7237 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14144/tid=14146] ppid=14142 vsize=1389008 CPUtime=0.03 cores=0-31
/proc/14144/task/14146/stat : 14146 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 219 0 0 0 2 1 0 0 17 0 32 0 742829462 1422344192 7243 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14144/tid=14147] ppid=14142 vsize=1389008 CPUtime=0.02 cores=0-31
/proc/14144/task/14147/stat : 14147 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 170 0 0 0 1 1 0 0 17 0 32 0 742829462 1422344192 7261 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14144/tid=14148] ppid=14142 vsize=1389008 CPUtime=0.01 cores=0-31
/proc/14144/task/14148/stat : 14148 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 239 0 0 0 0 1 0 0 17 0 32 0 742829462 1422344192 7265 268435456000 4194304 4580107 140735849917968 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14144/tid=14149] ppid=14142 vsize=1389008 CPUtime=0.02 cores=0-31
/proc/14144/task/14149/stat : 14149 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 229 0 0 0 1 1 0 0 17 0 32 0 742829462 1422344192 7273 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14144/tid=14150] ppid=14142 vsize=1389008 CPUtime=0.02 cores=0-31
/proc/14144/task/14150/stat : 14150 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 249 0 0 0 1 1 0 0 17 0 32 0 742829462 1422344192 7276 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14144/tid=14151] ppid=14142 vsize=1389008 CPUtime=0.02 cores=0-31
/proc/14144/task/14151/stat : 14151 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 199 0 0 0 1 1 0 0 17 0 32 0 742829462 1422344192 7277 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 18446604498738298336 0 0 -1 24 0 0 0
[pid=14144/tid=14152] ppid=14142 vsize=1389008 CPUtime=0.03 cores=0-31
/proc/14144/task/14152/stat : 14152 (strangenight2-m) D 14142 14144 14118 0 -1 4202560 244 0 0 0 1 2 0 0 17 0 32 0 742829463 1422344192 7283 268435456000 4194304 4580107 140735849917968 18446744073709551615 4311177 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14144/tid=14153] ppid=14142 vsize=1389148 CPUtime=0.02 cores=0-31
/proc/14144/task/14153/stat : 14153 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 197 0 0 0 1 1 0 0 17 0 32 0 742829463 1422487552 7294 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14144/tid=14154] ppid=14142 vsize=1389148 CPUtime=0.02 cores=0-31
/proc/14144/task/14154/stat : 14154 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 195 0 0 0 1 1 0 0 17 0 32 0 742829463 1422487552 7301 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 18446604572699598304 0 0 -1 3 0 0 0
[pid=14144/tid=14155] ppid=14142 vsize=1389148 CPUtime=0.01 cores=0-31
/proc/14144/task/14155/stat : 14155 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 182 0 0 0 1 0 0 0 17 0 32 0 742829463 1422487552 7307 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 18446604474203839968 0 0 -1 0 0 0 0
[pid=14144/tid=14156] ppid=14142 vsize=1389148 CPUtime=0.01 cores=0-31
/proc/14144/task/14156/stat : 14156 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 224 0 0 0 0 1 0 0 17 0 32 0 742829463 1422487552 7308 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14144/tid=14157] ppid=14142 vsize=1389148 CPUtime=0.02 cores=0-31
/proc/14144/task/14157/stat : 14157 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 176 0 0 0 1 1 0 0 17 0 32 0 742829463 1422487552 7313 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14144/tid=14158] ppid=14142 vsize=1389148 CPUtime=0.03 cores=0-31
/proc/14144/task/14158/stat : 14158 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 230 0 0 0 1 2 0 0 17 0 32 0 742829463 1422487552 7321 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14144/tid=14159] ppid=14142 vsize=1389148 CPUtime=0.02 cores=0-31
/proc/14144/task/14159/stat : 14159 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 256 0 0 0 1 1 0 0 17 0 32 0 742829463 1422487552 7324 268435456000 4194304 4580107 140735849917968 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14144/tid=14160] ppid=14142 vsize=1389148 CPUtime=0.02 cores=0-31
/proc/14144/task/14160/stat : 14160 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 222 0 0 0 1 1 0 0 17 0 32 0 742829463 1422487552 7329 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14144/tid=14161] ppid=14142 vsize=1389148 CPUtime=0.02 cores=0-31
/proc/14144/task/14161/stat : 14161 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 283 0 0 0 1 1 0 0 17 0 32 0 742829463 1422487552 7331 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 18446604487387094496 0 0 -1 7 0 0 0
[pid=14144/tid=14162] ppid=14142 vsize=1389148 CPUtime=0.02 cores=0-31
/proc/14144/task/14162/stat : 14162 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 204 0 0 0 1 1 0 0 17 0 32 0 742829463 1422487552 7334 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14144/tid=14163] ppid=14142 vsize=1389148 CPUtime=0.03 cores=0-31
/proc/14144/task/14163/stat : 14163 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 222 0 0 0 1 2 0 0 17 0 32 0 742829463 1422487552 7337 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14144/tid=14164] ppid=14142 vsize=1389148 CPUtime=0.02 cores=0-31
/proc/14144/task/14164/stat : 14164 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 208 0 0 0 1 1 0 0 17 0 32 0 742829463 1422487552 7355 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14144/tid=14165] ppid=14142 vsize=1389148 CPUtime=0.02 cores=0-31
/proc/14144/task/14165/stat : 14165 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 237 0 0 0 1 1 0 0 17 0 32 0 742829463 1422487552 7362 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14144/tid=14166] ppid=14142 vsize=1389148 CPUtime=0.03 cores=0-31
/proc/14144/task/14166/stat : 14166 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 233 0 0 0 1 2 0 0 17 0 32 0 742829463 1422487552 7362 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 18446744071566924824 0 0 -1 18 0 0 0
[pid=14144/tid=14167] ppid=14142 vsize=1389148 CPUtime=0.02 cores=0-31
/proc/14144/task/14167/stat : 14167 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 202 0 0 0 1 1 0 0 17 0 32 0 742829463 1422487552 7364 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 18446604478193499616 0 0 -1 15 0 0 0
[pid=14144/tid=14168] ppid=14142 vsize=1389148 CPUtime=0.02 cores=0-31
/proc/14144/task/14168/stat : 14168 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 262 0 0 0 1 1 0 0 17 0 32 0 742829463 1422487552 7378 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 18446604476989586912 0 0 -1 21 0 0 0
[pid=14144/tid=14169] ppid=14142 vsize=1389148 CPUtime=0.03 cores=0-31
/proc/14144/task/14169/stat : 14169 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 211 0 0 0 1 2 0 0 17 0 32 0 742829463 1422487552 7379 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14144/tid=14170] ppid=14142 vsize=1389148 CPUtime=0.02 cores=0-31
/proc/14144/task/14170/stat : 14170 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 233 0 0 0 1 1 0 0 17 0 32 0 742829463 1422487552 7386 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14144/tid=14171] ppid=14142 vsize=1389148 CPUtime=0.02 cores=0-31
/proc/14144/task/14171/stat : 14171 (strangenight2-m) D 14142 14144 14118 0 -1 4202560 234 0 0 0 1 1 0 0 17 0 32 0 742829463 1422487552 7397 268435456000 4194304 4580107 140735849917968 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14144/tid=14172] ppid=14142 vsize=1389148 CPUtime=0.02 cores=0-31
/proc/14144/task/14172/stat : 14172 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 208 0 0 0 1 1 0 0 17 0 32 0 742829463 1422487552 7404 268435456000 4194304 4580107 140735849917968 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14144/tid=14173] ppid=14142 vsize=1389148 CPUtime=0.03 cores=0-31
/proc/14144/task/14173/stat : 14173 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 200 0 0 0 1 2 0 0 17 0 32 0 742829463 1422487552 7404 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 18446604477281705440 0 0 -1 23 0 0 0
[pid=14144/tid=14174] ppid=14142 vsize=1389148 CPUtime=0.03 cores=0-31
/proc/14144/task/14174/stat : 14174 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 218 0 0 0 1 2 0 0 17 0 32 0 742829463 1422487552 7417 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14144/tid=14175] ppid=14142 vsize=1389148 CPUtime=0.03 cores=0-31
/proc/14144/task/14175/stat : 14175 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 230 0 0 0 1 2 0 0 17 0 32 0 742829463 1422487552 7421 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 1389008
[startup+0.102878 s]
/proc/loadavg: 25.24 29.77 30.96 1/413 14144
/proc/meminfo: memFree=255160588/264257624 swapFree=67111528/67111528
[pid=14144] ppid=14142 vsize=1394620 CPUtime=1.61 cores=0-31
/proc/14144/stat : 14144 (strangenight2-m) S 14142 14144 14118 0 -1 4202496 10882 0 0 0 65 96 0 0 17 0 32 0 742829462 1428090880 10666 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/14144/statm: 348655 10682 334 95 0 343637 0
[pid=14144/tid=14145] ppid=14142 vsize=1394620 CPUtime=0.04 cores=0-31
/proc/14144/task/14145/stat : 14145 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 362 0 0 0 2 2 0 0 17 0 32 0 742829462 1428090880 10694 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14144/tid=14146] ppid=14142 vsize=1394620 CPUtime=0.05 cores=0-31
/proc/14144/task/14146/stat : 14146 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 342 0 0 0 2 3 0 0 17 0 32 0 742829462 1428090880 10704 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14144/tid=14147] ppid=14142 vsize=1394620 CPUtime=0.03 cores=0-31
/proc/14144/task/14147/stat : 14147 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 241 0 0 0 1 2 0 0 17 0 32 0 742829462 1428090880 10713 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14144/tid=14148] ppid=14142 vsize=1394620 CPUtime=0.03 cores=0-31
/proc/14144/task/14148/stat : 14148 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 359 0 0 0 1 2 0 0 17 0 32 0 742829462 1428090880 10717 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14144/tid=14149] ppid=14142 vsize=1394620 CPUtime=0.04 cores=0-31
/proc/14144/task/14149/stat : 14149 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 320 0 0 0 2 2 0 0 17 0 32 0 742829462 1428090880 10719 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14144/tid=14150] ppid=14142 vsize=1394880 CPUtime=0.03 cores=0-31
/proc/14144/task/14150/stat : 14150 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 325 0 0 0 1 2 0 0 17 0 32 0 742829462 1428357120 10732 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14144/tid=14151] ppid=14142 vsize=1394880 CPUtime=0.04 cores=0-31
/proc/14144/task/14151/stat : 14151 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 317 0 0 0 2 2 0 0 17 0 32 0 742829462 1428357120 10749 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14144/tid=14152] ppid=14142 vsize=1395076 CPUtime=0.05 cores=0-31
/proc/14144/task/14152/stat : 14152 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 404 0 0 0 1 4 0 0 17 0 32 0 742829463 1428557824 10761 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14144/tid=14153] ppid=14142 vsize=1395076 CPUtime=0.04 cores=0-31
/proc/14144/task/14153/stat : 14153 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 307 0 0 0 1 3 0 0 17 0 32 0 742829463 1428557824 10780 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14144/tid=14154] ppid=14142 vsize=1395076 CPUtime=0.03 cores=0-31
/proc/14144/task/14154/stat : 14154 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 285 0 0 0 1 2 0 0 17 0 32 0 742829463 1428557824 10797 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14144/tid=14155] ppid=14142 vsize=1395076 CPUtime=0.02 cores=0-31
/proc/14144/task/14155/stat : 14155 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 268 0 0 0 1 1 0 0 17 0 32 0 742829463 1428557824 10799 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 18446604487593541088 0 0 -1 8 0 0 0
[pid=14144/tid=14156] ppid=14142 vsize=1395076 CPUtime=0.02 cores=0-31
/proc/14144/task/14156/stat : 14156 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 320 0 0 0 0 2 0 0 17 0 32 0 742829463 1428557824 10821 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14144/tid=14157] ppid=14142 vsize=1395076 CPUtime=0.04 cores=0-31
/proc/14144/task/14157/stat : 14157 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 276 0 0 0 2 2 0 0 17 0 32 0 742829463 1428557824 10829 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14144/tid=14158] ppid=14142 vsize=1395076 CPUtime=0.05 cores=0-31
/proc/14144/task/14158/stat : 14158 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 325 0 0 0 2 3 0 0 17 0 32 0 742829463 1428557824 10831 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14144/tid=14159] ppid=14142 vsize=1395076 CPUtime=0.05 cores=0-31
/proc/14144/task/14159/stat : 14159 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 367 0 0 0 2 3 0 0 17 0 32 0 742829463 1428557824 10833 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14144/tid=14160] ppid=14142 vsize=1395076 CPUtime=0.04 cores=0-31
/proc/14144/task/14160/stat : 14160 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 330 0 0 0 2 2 0 0 17 0 32 0 742829463 1428557824 10837 268435456000 4194304 4580107 140735849917968 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14144/tid=14161] ppid=14142 vsize=1395076 CPUtime=0.04 cores=0-31
################
# More data... #
################
/proc/14144/task/14168/stat : 14168 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 18341 0 0 0 2892 35 0 0 25 0 32 0 742829463 3776958464 436213 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604483640737248 0 0 -1 9 0 0 0
[pid=14144/tid=14169] ppid=14142 vsize=3688436 CPUtime=29.27 cores=0-31
/proc/14144/task/14169/stat : 14169 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16557 0 0 0 2887 40 0 0 22 0 32 0 742829463 3776958464 436213 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604474203839968 0 0 -1 6 0 0 0
[pid=14144/tid=14170] ppid=14142 vsize=3688436 CPUtime=29.17 cores=0-31
/proc/14144/task/14170/stat : 14170 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16311 0 0 0 2878 39 0 0 25 0 32 0 742829463 3776958464 436213 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446744071566928704 0 0 -1 27 0 0 0
[pid=14144/tid=14171] ppid=14142 vsize=3688436 CPUtime=29.33 cores=0-31
/proc/14144/task/14171/stat : 14171 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16438 0 0 0 2899 34 0 0 25 0 32 0 742829463 3776958464 436213 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604481004469728 0 0 -1 29 0 0 0
[pid=14144/tid=14172] ppid=14142 vsize=3688436 CPUtime=29.21 cores=0-31
/proc/14144/task/14172/stat : 14172 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17336 0 0 0 2883 38 0 0 25 0 32 0 742829463 3776958464 436213 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604495530941920 0 0 -1 12 0 0 0
[pid=14144/tid=14173] ppid=14142 vsize=3688436 CPUtime=29.16 cores=0-31
/proc/14144/task/14173/stat : 14173 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17024 0 0 0 2878 38 0 0 25 0 32 0 742829463 3776958464 436213 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604499486252512 0 0 -1 19 0 0 0
[pid=14144/tid=14174] ppid=14142 vsize=3688436 CPUtime=28.77 cores=0-31
/proc/14144/task/14174/stat : 14174 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17662 0 0 0 2838 39 0 0 25 0 32 0 742829463 3776958464 436213 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604505639427552 0 0 -1 3 0 0 0
[pid=14144/tid=14175] ppid=14142 vsize=3688436 CPUtime=30.05 cores=0-31
/proc/14144/task/14175/stat : 14175 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 10421 0 0 0 2981 24 0 0 25 0 32 0 742829463 3776958464 436213 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604482003099104 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 938.84
Current children cumulated vsize (KiB) 3688436
[startup+35.1022 s]
/proc/loadavg: 26.39 29.64 30.87 4/445 14178
/proc/meminfo: memFree=253404292/264257624 swapFree=67111528/67111528
[pid=14144] ppid=14142 vsize=3688436 CPUtime=946.32 cores=0-31
/proc/14144/stat : 14144 (strangenight2-m) R 14142 14144 14118 0 -1 4202496 563032 0 0 0 93383 1249 0 0 25 0 32 0 742829462 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/14144/statm: 922109 437313 379 95 0 917091 0
[pid=14144/tid=14145] ppid=14142 vsize=3688436 CPUtime=29.24 cores=0-31
/proc/14144/task/14145/stat : 14145 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 19152 0 0 0 2885 39 0 0 25 0 32 0 742829462 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604494580858336 0 0 -1 13 0 0 0
[pid=14144/tid=14146] ppid=14142 vsize=3688436 CPUtime=29.2 cores=0-31
/proc/14144/task/14146/stat : 14146 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 19638 0 0 0 2879 41 0 0 21 0 32 0 742829462 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604478193499616 0 0 -1 14 0 0 0
[pid=14144/tid=14147] ppid=14142 vsize=3688436 CPUtime=31.33 cores=0-31
/proc/14144/task/14147/stat : 14147 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16990 0 0 0 3100 33 0 0 25 0 32 0 742829462 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604483670736352 0 0 -1 15 0 0 0
[pid=14144/tid=14148] ppid=14142 vsize=3688436 CPUtime=29.12 cores=0-31
/proc/14144/task/14148/stat : 14148 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 18799 0 0 0 2871 41 0 0 25 0 32 0 742829462 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604504989138400 0 0 -1 10 0 0 0
[pid=14144/tid=14149] ppid=14142 vsize=3688436 CPUtime=29.17 cores=0-31
/proc/14144/task/14149/stat : 14149 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 18282 0 0 0 2883 34 0 0 22 0 32 0 742829462 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604476989586912 0 0 -1 24 0 0 0
[pid=14144/tid=14150] ppid=14142 vsize=3688436 CPUtime=29.15 cores=0-31
/proc/14144/task/14150/stat : 14150 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 18573 0 0 0 2879 36 0 0 25 0 32 0 742829462 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604483430620640 0 0 -1 8 0 0 0
[pid=14144/tid=14151] ppid=14142 vsize=3688436 CPUtime=31.47 cores=0-31
/proc/14144/task/14151/stat : 14151 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 18334 0 0 0 3113 34 0 0 25 0 32 0 742829462 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388554795 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14144/tid=14152] ppid=14142 vsize=3688436 CPUtime=29.22 cores=0-31
/proc/14144/task/14152/stat : 14152 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 19412 0 0 0 2879 43 0 0 22 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604485998468576 0 0 -1 5 0 0 0
[pid=14144/tid=14153] ppid=14142 vsize=3688436 CPUtime=29.2 cores=0-31
/proc/14144/task/14153/stat : 14153 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 19200 0 0 0 2875 45 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604477218905568 0 0 -1 26 0 0 0
[pid=14144/tid=14154] ppid=14142 vsize=3688436 CPUtime=30.02 cores=0-31
/proc/14144/task/14154/stat : 14154 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 19496 0 0 0 2958 44 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604487387094496 0 0 -1 7 0 0 0
[pid=14144/tid=14155] ppid=14142 vsize=3688436 CPUtime=30.62 cores=0-31
/proc/14144/task/14155/stat : 14155 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 20000 0 0 0 3022 40 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604498738298336 0 0 -1 21 0 0 0
[pid=14144/tid=14156] ppid=14142 vsize=3688436 CPUtime=31.46 cores=0-31
/proc/14144/task/14156/stat : 14156 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 19641 0 0 0 3105 41 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14144/tid=14157] ppid=14142 vsize=3688436 CPUtime=29.12 cores=0-31
/proc/14144/task/14157/stat : 14157 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 14135 0 0 0 2877 35 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604505232981472 0 0 -1 7 0 0 0
[pid=14144/tid=14158] ppid=14142 vsize=3688436 CPUtime=29.14 cores=0-31
/proc/14144/task/14158/stat : 14158 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17594 0 0 0 2879 35 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604504592080352 0 0 -1 28 0 0 0
[pid=14144/tid=14159] ppid=14142 vsize=3688436 CPUtime=29.3 cores=0-31
/proc/14144/task/14159/stat : 14159 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17454 0 0 0 2891 39 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604475563326944 0 0 -1 1 0 0 0
[pid=14144/tid=14160] ppid=14142 vsize=3688436 CPUtime=29.18 cores=0-31
/proc/14144/task/14160/stat : 14160 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 14750 0 0 0 2882 36 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604480252476896 0 0 -1 21 0 0 0
[pid=14144/tid=14161] ppid=14142 vsize=3688436 CPUtime=29.18 cores=0-31
/proc/14144/task/14161/stat : 14161 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17710 0 0 0 2877 41 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604487593541088 0 0 -1 22 0 0 0
[pid=14144/tid=14162] ppid=14142 vsize=3688436 CPUtime=29.16 cores=0-31
/proc/14144/task/14162/stat : 14162 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 18246 0 0 0 2874 42 0 0 21 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604483506560480 0 0 -1 25 0 0 0
[pid=14144/tid=14163] ppid=14142 vsize=3688436 CPUtime=29.19 cores=0-31
/proc/14144/task/14163/stat : 14163 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 18399 0 0 0 2880 39 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604480096697824 0 0 -1 2 0 0 0
[pid=14144/tid=14164] ppid=14142 vsize=3688436 CPUtime=29.26 cores=0-31
/proc/14144/task/14164/stat : 14164 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16247 0 0 0 2886 40 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604503741742560 0 0 -1 17 0 0 0
[pid=14144/tid=14165] ppid=14142 vsize=3688436 CPUtime=29.16 cores=0-31
/proc/14144/task/14165/stat : 14165 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17364 0 0 0 2875 41 0 0 21 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604504389836256 0 0 -1 11 0 0 0
[pid=14144/tid=14166] ppid=14142 vsize=3688436 CPUtime=29.22 cores=0-31
/proc/14144/task/14166/stat : 14166 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16371 0 0 0 2881 41 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604477414227424 0 0 -1 18 0 0 0
[pid=14144/tid=14167] ppid=14142 vsize=3688436 CPUtime=29.21 cores=0-31
/proc/14144/task/14167/stat : 14167 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17801 0 0 0 2881 40 0 0 21 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604494025694688 0 0 -1 23 0 0 0
[pid=14144/tid=14168] ppid=14142 vsize=3688436 CPUtime=29.27 cores=0-31
/proc/14144/task/14168/stat : 14168 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 18341 0 0 0 2892 35 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604483640737248 0 0 -1 9 0 0 0
[pid=14144/tid=14169] ppid=14142 vsize=3688436 CPUtime=29.27 cores=0-31
/proc/14144/task/14169/stat : 14169 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16557 0 0 0 2887 40 0 0 22 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604474203839968 0 0 -1 6 0 0 0
[pid=14144/tid=14170] ppid=14142 vsize=3688436 CPUtime=29.17 cores=0-31
/proc/14144/task/14170/stat : 14170 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16311 0 0 0 2878 39 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446744071566928704 0 0 -1 27 0 0 0
[pid=14144/tid=14171] ppid=14142 vsize=3688436 CPUtime=29.33 cores=0-31
/proc/14144/task/14171/stat : 14171 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16438 0 0 0 2899 34 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604481004469728 0 0 -1 29 0 0 0
[pid=14144/tid=14172] ppid=14142 vsize=3688436 CPUtime=29.21 cores=0-31
/proc/14144/task/14172/stat : 14172 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17336 0 0 0 2883 38 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604495530941920 0 0 -1 12 0 0 0
[pid=14144/tid=14173] ppid=14142 vsize=3688436 CPUtime=29.16 cores=0-31
/proc/14144/task/14173/stat : 14173 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17024 0 0 0 2878 38 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604499486252512 0 0 -1 19 0 0 0
[pid=14144/tid=14174] ppid=14142 vsize=3688436 CPUtime=28.77 cores=0-31
/proc/14144/task/14174/stat : 14174 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17662 0 0 0 2838 39 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604505639427552 0 0 -1 3 0 0 0
[pid=14144/tid=14175] ppid=14142 vsize=3688436 CPUtime=30.05 cores=0-31
/proc/14144/task/14175/stat : 14175 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 10421 0 0 0 2981 24 0 0 25 0 32 0 742829463 3776958464 437313 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604482003099104 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 946.32
Current children cumulated vsize (KiB) 3688436
[startup+35.9022 s]
/proc/loadavg: 26.39 29.64 30.87 4/445 14178
/proc/meminfo: memFree=253404292/264257624 swapFree=67111528/67111528
[pid=14144] ppid=14142 vsize=3688436 CPUtime=948.31 cores=0-31
/proc/14144/stat : 14144 (strangenight2-m) S 14142 14144 14118 0 -1 4202496 563873 0 0 0 93582 1249 0 0 25 0 32 0 742829462 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/14144/statm: 922109 437803 379 95 0 917091 0
[pid=14144/tid=14145] ppid=14142 vsize=3688436 CPUtime=29.24 cores=0-31
/proc/14144/task/14145/stat : 14145 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 19152 0 0 0 2885 39 0 0 25 0 32 0 742829462 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604494580858336 0 0 -1 13 0 0 0
[pid=14144/tid=14146] ppid=14142 vsize=3688436 CPUtime=29.2 cores=0-31
/proc/14144/task/14146/stat : 14146 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 19638 0 0 0 2879 41 0 0 21 0 32 0 742829462 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604478193499616 0 0 -1 14 0 0 0
[pid=14144/tid=14147] ppid=14142 vsize=3688436 CPUtime=31.33 cores=0-31
/proc/14144/task/14147/stat : 14147 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16990 0 0 0 3100 33 0 0 25 0 32 0 742829462 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604483670736352 0 0 -1 15 0 0 0
[pid=14144/tid=14148] ppid=14142 vsize=3688436 CPUtime=29.12 cores=0-31
/proc/14144/task/14148/stat : 14148 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 18799 0 0 0 2871 41 0 0 25 0 32 0 742829462 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604504989138400 0 0 -1 10 0 0 0
[pid=14144/tid=14149] ppid=14142 vsize=3688436 CPUtime=29.17 cores=0-31
/proc/14144/task/14149/stat : 14149 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 18282 0 0 0 2883 34 0 0 22 0 32 0 742829462 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604476989586912 0 0 -1 24 0 0 0
[pid=14144/tid=14150] ppid=14142 vsize=3688436 CPUtime=29.15 cores=0-31
/proc/14144/task/14150/stat : 14150 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 18573 0 0 0 2879 36 0 0 25 0 32 0 742829462 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604483430620640 0 0 -1 8 0 0 0
[pid=14144/tid=14151] ppid=14142 vsize=3688436 CPUtime=32.26 cores=0-31
/proc/14144/task/14151/stat : 14151 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 18334 0 0 0 3192 34 0 0 25 0 32 0 742829462 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388554948 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14144/tid=14152] ppid=14142 vsize=3688436 CPUtime=29.22 cores=0-31
/proc/14144/task/14152/stat : 14152 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 19412 0 0 0 2879 43 0 0 22 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604485998468576 0 0 -1 5 0 0 0
[pid=14144/tid=14153] ppid=14142 vsize=3688436 CPUtime=29.2 cores=0-31
/proc/14144/task/14153/stat : 14153 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 19200 0 0 0 2875 45 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604477218905568 0 0 -1 26 0 0 0
[pid=14144/tid=14154] ppid=14142 vsize=3688436 CPUtime=30.02 cores=0-31
/proc/14144/task/14154/stat : 14154 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 19496 0 0 0 2958 44 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604487387094496 0 0 -1 7 0 0 0
[pid=14144/tid=14155] ppid=14142 vsize=3688436 CPUtime=30.62 cores=0-31
/proc/14144/task/14155/stat : 14155 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 20000 0 0 0 3022 40 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604498738298336 0 0 -1 21 0 0 0
[pid=14144/tid=14156] ppid=14142 vsize=3688436 CPUtime=32.24 cores=0-31
/proc/14144/task/14156/stat : 14156 (strangenight2-m) R 14142 14144 14118 0 -1 4202560 20482 0 0 0 3183 41 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14144/tid=14157] ppid=14142 vsize=3688436 CPUtime=29.12 cores=0-31
/proc/14144/task/14157/stat : 14157 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 14135 0 0 0 2877 35 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604505232981472 0 0 -1 7 0 0 0
[pid=14144/tid=14158] ppid=14142 vsize=3688436 CPUtime=29.14 cores=0-31
/proc/14144/task/14158/stat : 14158 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17594 0 0 0 2879 35 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604504592080352 0 0 -1 28 0 0 0
[pid=14144/tid=14159] ppid=14142 vsize=3688436 CPUtime=29.3 cores=0-31
/proc/14144/task/14159/stat : 14159 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17454 0 0 0 2891 39 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604475563326944 0 0 -1 1 0 0 0
[pid=14144/tid=14160] ppid=14142 vsize=3688436 CPUtime=29.18 cores=0-31
/proc/14144/task/14160/stat : 14160 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 14750 0 0 0 2882 36 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604480252476896 0 0 -1 21 0 0 0
[pid=14144/tid=14161] ppid=14142 vsize=3688436 CPUtime=29.18 cores=0-31
/proc/14144/task/14161/stat : 14161 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17710 0 0 0 2877 41 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604487593541088 0 0 -1 22 0 0 0
[pid=14144/tid=14162] ppid=14142 vsize=3688436 CPUtime=29.16 cores=0-31
/proc/14144/task/14162/stat : 14162 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 18246 0 0 0 2874 42 0 0 21 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604483506560480 0 0 -1 25 0 0 0
[pid=14144/tid=14163] ppid=14142 vsize=3688436 CPUtime=29.19 cores=0-31
/proc/14144/task/14163/stat : 14163 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 18399 0 0 0 2880 39 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604480096697824 0 0 -1 2 0 0 0
[pid=14144/tid=14164] ppid=14142 vsize=3688436 CPUtime=29.26 cores=0-31
/proc/14144/task/14164/stat : 14164 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16247 0 0 0 2886 40 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604503741742560 0 0 -1 17 0 0 0
[pid=14144/tid=14165] ppid=14142 vsize=3688436 CPUtime=29.16 cores=0-31
/proc/14144/task/14165/stat : 14165 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17364 0 0 0 2875 41 0 0 21 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604504389836256 0 0 -1 11 0 0 0
[pid=14144/tid=14166] ppid=14142 vsize=3688436 CPUtime=29.22 cores=0-31
/proc/14144/task/14166/stat : 14166 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16371 0 0 0 2881 41 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604477414227424 0 0 -1 18 0 0 0
[pid=14144/tid=14167] ppid=14142 vsize=3688436 CPUtime=29.21 cores=0-31
/proc/14144/task/14167/stat : 14167 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17801 0 0 0 2881 40 0 0 21 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604494025694688 0 0 -1 23 0 0 0
[pid=14144/tid=14168] ppid=14142 vsize=3688436 CPUtime=29.27 cores=0-31
/proc/14144/task/14168/stat : 14168 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 18341 0 0 0 2892 35 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604483640737248 0 0 -1 9 0 0 0
[pid=14144/tid=14169] ppid=14142 vsize=3688436 CPUtime=29.27 cores=0-31
/proc/14144/task/14169/stat : 14169 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16557 0 0 0 2887 40 0 0 22 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604474203839968 0 0 -1 6 0 0 0
[pid=14144/tid=14170] ppid=14142 vsize=3688436 CPUtime=29.17 cores=0-31
/proc/14144/task/14170/stat : 14170 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16311 0 0 0 2878 39 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446744071566928704 0 0 -1 27 0 0 0
[pid=14144/tid=14171] ppid=14142 vsize=3688436 CPUtime=29.33 cores=0-31
/proc/14144/task/14171/stat : 14171 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 16438 0 0 0 2899 34 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604481004469728 0 0 -1 29 0 0 0
[pid=14144/tid=14172] ppid=14142 vsize=3688436 CPUtime=29.21 cores=0-31
/proc/14144/task/14172/stat : 14172 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17336 0 0 0 2883 38 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604495530941920 0 0 -1 12 0 0 0
[pid=14144/tid=14173] ppid=14142 vsize=3688436 CPUtime=29.16 cores=0-31
/proc/14144/task/14173/stat : 14173 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17024 0 0 0 2878 38 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604499486252512 0 0 -1 19 0 0 0
[pid=14144/tid=14174] ppid=14142 vsize=3688436 CPUtime=28.77 cores=0-31
/proc/14144/task/14174/stat : 14174 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 17662 0 0 0 2838 39 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604505639427552 0 0 -1 3 0 0 0
[pid=14144/tid=14175] ppid=14142 vsize=3688436 CPUtime=30.05 cores=0-31
/proc/14144/task/14175/stat : 14175 (strangenight2-m) S 14142 14144 14118 0 -1 4202560 10421 0 0 0 2981 24 0 0 25 0 32 0 742829463 3776958464 437803 268435456000 4194304 4580107 140735849917968 18446744073709551615 47463388579380 0 0 4096 2 18446604482003099104 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 948.31
Current children cumulated vsize (KiB) 3688436
[startup+36.3343 s]
/proc/loadavg: 26.39 29.64 30.87 2/415 14178
/proc/meminfo: memFree=253598408/264257624 swapFree=67111528/67111528
[pid=14144] ppid=14142 vsize=0 CPUtime=949.03 cores=0-31
/proc/14144/stat : 14144 (strangenight2-m) Z 14142 14144 14118 0 -1 4203548 563877 0 0 0 93638 1265 0 0 19 0 2 0 742829462 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/14144/statm: 0 0 0 0 0 0 0
[pid=14144/tid=14160] ppid=14142 vsize=0 CPUtime=29.33 cores=0-31
/proc/14144/task/14160/stat : 14160 (strangenight2-m) R 14142 14144 14118 0 -1 4203588 14750 0 0 0 2882 51 0 0 18 0 2 0 742829463 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 949.03
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 36.3534
CPU time (s): 949.053
CPU user time (s): 936.383
CPU system time (s): 12.6701
CPU usage (%): 2610.63
Max. virtual memory (cumulated for all children) (KiB): 3753972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 936.383
system time used= 12.6701
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 563877
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= 481937
involuntary context switches= 3482
runsolver used 0.280957 second user time and 0.961853 second system time
The end
Begin job on node200 at 2011-05-25 10:50:30
IDJOB=3400664
IDBENCH=70818
IDSOLVER=1886
FILE ID=node200/3400664-1306313430
RUNJOBID= node200-1306313430-14132
PBS_JOBID= 13411783
Free space on /tmp= 62044 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400664-1306313430/watcher-3400664-1306313430 -o /tmp/evaluation-result-3400664-1306313430/solver-3400664-1306313430 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400664-1306313430.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e1a6f3a7c69cc7fbec84aac478eb151a
RANDOM SEED=1569950860
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255161248 kB
Buffers: 466232 kB
Cached: 8220708 kB
SwapCached: 0 kB
Active: 7772240 kB
Inactive: 983904 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255161248 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5812 kB
Writeback: 0 kB
AnonPages: 69528 kB
Mapped: 14208 kB
Slab: 255616 kB
PageTables: 3996 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 185684 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= 62040 MiB
End job on node200 at 2011-05-25 10:51:07