0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 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-3394318-1306094235.cnf'
0.00/0.03 c -- header says num vars: 115266
0.00/0.03 c -- header says num clauses: 345359
2.30/0.46 c -- clauses added: 0 learnts, 345359 normals, 0 xors
2.30/0.46 c -- vars added 115266
2.30/0.46 c Parsing time: 0.20 s
2.30/0.46 c N st 0 0 115266 115119 230238 0 805833 0 no data no data
5.49/0.82 c asymm cl-useful: 0/29036/115118 lits-rem:0 time: 0.36
34.93/4.53 c Flit: 1262 Blit: 5781 bXBeca: 0 bXProp: 13306 Bins: 0 BRemL: 0 BRemN: 0 P: 87.9M T: 3.70
34.93/4.55 c Cleaning up after failed var search: 0.02 s
35.73/4.61 c Replacing 13306 vars Replaced 339601 lits Time: 0.06 s
35.73/4.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
35.73/4.69 c bin-w-bin subsume rem 650 bins time: 0.02 s
36.60/4.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.05 s
38.83/5.00 c Subs w/ non-existent bins: 31 l-rem: 31 v-fix: 0 done: 94570 time: 0.25 s
39.63/5.10 c Removed useless bin: 2949 fixed: 0 props: 20.00M time: 0.11 s
42.62/5.56 c lits-rem: 2866 cl-subs: 4185 v-elim: 31523 v-fix: 0 time: 0.38 s
42.62/5.58 c Finding binary XORs T: 0.02 s found: 120
43.31/5.60 c Replacing 120 vars Replaced 1165 lits Time: 0.02 s
43.31/5.64 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
43.31/5.64 c calculated reachability. Time: 0.00
43.31/5.65 c Calc default polars - time: 0.01 s pos: 3393 undec: 52392 neg: 59481
43.31/5.65 c =========================================================================================
43.31/5.65 c types(t): F = full restart, N = normal restart
43.31/5.65 c types(t): S = simplification begin/end, E = solution found
43.31/5.65 c restart types(rt): st = static, dy = dynamic
43.31/5.65 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
43.31/5.65 c B st 0 0 62927 90091 130244 0 582096 0 no data no data
51.29/6.69 c N dy 18 4132 62907 90091 130573 3743 582083 47962 5.38 6.18
58.47/7.52 c N dy 41 8135 62885 90091 134849 7474 582036 103248 5.47 5.90
63.40/8.17 c N dy 56 12204 62722 90091 136207 11287 582012 146537 5.28 5.84
70.45/9.10 c N dy 76 16231 62595 90091 136436 15039 582007 193650 5.29 6.26
79.23/10.14 c N dy 103 20335 62550 90091 137689 9657 582005 77771 5.39 5.76
80.15/10.28 c Finding binary XORs T: 0.02 s found: 1039
80.15/10.31 c Replacing 1039 vars Replaced 23453 lits Time: 0.03 s
87.21/11.13 c N dy 128 24342 61303 86038 134675 13298 559715 128398 5.46 5.76
88.02/11.30 c F st 132 25002 61302 86038 136239 13926 559715 139764 5.46 5.72
100.78/12.83 c N dy 138 30000 61192 85253 136017 18764 555801 220233 5.46 no data
100.78/12.83 c S st 138 30000 61192 85253 136017 18764 555801 220233 5.46 no data
103.18/13.16 c S st 138 30501 61190 85253 137181 19179 555801 226156 5.46 no data
103.18/13.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
143.89/18.22 c Flit: 105 Blit: 227 bXBeca: 0 bXProp: 2409 Bins: 281956 BRemL: 107371 BRemN: 2915 P: 55.8M T: 5.03
143.89/18.22 c Cleaning up after failed var search: 0.00 s
143.89/18.29 c Replacing 2409 vars Replaced 208527 lits Time: 0.06 s
144.68/18.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
145.48/18.40 c bin-w-bin subsume rem 57006 bins time: 0.08 s
145.48/18.45 c subs with bin: 7000 lits-rem: 11383 v-fix: 0 time: 0.05 s
147.88/18.70 c Subs w/ non-existent bins: 703 l-rem: 5677 v-fix: 0 done: 58226 time: 0.25 s
148.68/18.88 c Removed useless bin: 3296 fixed: 0 props: 18.46M time: 0.17 s
153.45/19.46 c lits-rem: 7478 cl-subs: 9969 v-elim: 38816 v-fix: 0 time: 0.54 s
153.45/19.48 c subs with bin: 484 lits-rem: 1156 v-fix: 0 time: 0.02 s
154.25/19.52 c lits-rem: 258 cl-subs: 507 v-elim: 0 v-fix: 0 time: 0.03 s
158.26/20.06 c asymm cl-useful: 1891/47854/76890 lits-rem:2590 time: 0.53
158.26/20.07 c calculated reachability. Time: 0.00
158.26/20.07 c N dy 138 30501 19410 76631 65122 5373 390740 106530 5.46 no data
158.26/20.08 c Finding binary XORs T: 0.01 s found: 93
162.23/20.56 c N dy 165 34647 19410 76631 65167 9420 390730 156350 5.51 5.89
167.03/21.20 c N dy 194 38901 19386 76631 66357 13589 390718 213669 5.59 5.90
172.60/21.85 c N dy 217 42909 19385 76631 128934 9212 390702 250934 5.60 5.98
175.79/22.24 c S st 237 45751 19385 76631 128959 11991 390691 285666 5.64 no data
176.72/22.40 c S st 237 46251 19385 76631 128991 12457 390691 289501 5.64 no data
177.52/22.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
189.26/23.99 c Flit: 19 Blit: 15 bXBeca: 0 bXProp: 169 Bins: 62956 BRemL: 67509 BRemN: 846 P: 16.8M T: 1.54
190.01/24.03 c Replacing 262 vars Replaced 26459 lits Time: 0.03 s
190.01/24.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
190.01/24.08 c bin-w-bin subsume rem 34535 bins time: 0.03 s
190.77/24.12 c subs with bin: 10590 lits-rem: 20828 v-fix: 0 time: 0.04 s
191.57/24.22 c Subs w/ non-existent bins: 1548 l-rem: 14026 v-fix: 0 done: 19085 time: 0.09 s
191.57/24.25 c Removed useless bin: 1864 fixed: 0 props: 2.11M time: 0.03 s
193.15/24.42 c lits-rem: 1987 cl-subs: 3760 v-elim: 4680 v-fix: 0 time: 0.17 s
193.15/24.45 c subs with bin: 205 lits-rem: 592 v-fix: 0 time: 0.01 s
193.15/24.49 c lits-rem: 156 cl-subs: 490 v-elim: 0 v-fix: 0 time: 0.03 s
194.08/24.52 c vivif2 -- cl tried 64230 cl shrink 10862 lits rem 27385 time: 0.03
194.08/24.53 c vivif2 -- cl tried 9136 cl shrink 1478 lits rem 3700 time: 0.01
200.34/25.34 c asymm cl-useful: 2612/63116/63116 lits-rem:7108 time: 0.80
200.34/25.35 c calculated reachability. Time: 0.01
200.34/25.35 c N dy 237 46251 14405 62825 51917 9114 272115 105015 5.64 no data
200.34/25.38 c Finding binary XORs T: 0.03 s found: 33
205.13/25.91 c N dy 243 50618 14404 62825 103657 13415 272107 261602 5.54 5.96
207.53/26.26 c Finding binary XORs T: 0.02 s found: 67
209.92/26.53 c N dy 252 54858 14400 62719 102867 17561 271677 311090 5.48 5.79
214.71/27.12 c Finding binary XORs T: 0.02 s found: 0
214.71/27.17 c N dy 262 58940 14400 62719 131347 21576 271675 417447 5.43 5.80
220.43/27.86 c N dy 280 63213 14400 62719 132135 25738 271669 468584 5.41 5.71
225.88/28.54 c N dy 296 67253 14400 62719 132197 16594 271665 317063 5.39 5.68
228.27/28.88 c S st 304 69378 14399 62719 132321 18676 271665 340547 5.37 no data
230.00/29.02 c S st 304 69879 14399 62719 132350 19148 271665 344658 5.37 no data
230.00/29.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
237.04/29.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 24 Bins: 13426 BRemL: 54846 BRemN: 1646 P: 8.0M T: 0.87
237.04/29.93 c Replacing 124 vars Replaced 6159 lits Time: 0.03 s
237.04/29.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
237.04/29.98 c bin-w-bin subsume rem 34539 bins time: 0.02 s
237.04/30.00 c subs with bin: 3943 lits-rem: 697 v-fix: 0 time: 0.02 s
237.96/30.04 c Subs w/ non-existent bins: 524 l-rem: 25 v-fix: 0 done: 14275 time: 0.04 s
237.96/30.06 c Removed useless bin: 431 fixed: 0 props: 0.72M time: 0.02 s
238.77/30.16 c lits-rem: 251 cl-subs: 1779 v-elim: 2833 v-fix: 0 time: 0.09 s
238.77/30.18 c subs with bin: 318 lits-rem: 511 v-fix: 0 time: 0.02 s
239.41/30.22 c lits-rem: 438 cl-subs: 653 v-elim: 0 v-fix: 0 time: 0.03 s
239.41/30.25 c vivif2 -- cl tried 56622 cl shrink 1012 lits rem 1540 time: 0.02
239.41/30.26 c vivif2 -- cl tried 14264 cl shrink 553 lits rem 1192 time: 0.01
245.01/30.96 c asymm cl-useful: 2960/56470/56470 lits-rem:8262 time: 0.70
245.01/30.97 c calculated reachability. Time: 0.00
245.01/30.97 c N dy 304 69879 11442 54374 40848 14255 228907 128487 5.37 no data
245.01/30.99 c Finding binary XORs T: 0.02 s found: 194
245.81/31.01 c Replacing 194 vars Replaced 5929 lits Time: 0.02 s
249.80/31.57 c N dy 325 74434 11248 54197 59666 18722 227503 220383 5.36 5.71
252.19/31.81 c Finding binary XORs T: 0.02 s found: 36
255.52/32.22 c N dy 350 79323 11248 54197 59699 23545 227500 282082 5.35 5.68
260.97/32.92 c N dy 374 84416 11248 54197 64686 28544 227499 353633 5.35 7.24
264.30/33.35 c F st 391 87505 11246 54197 64964 31584 227499 390732 5.34 5.21
264.30/33.37 c Replacing 36 vars Replaced 4941 lits Time: 0.02 s
268.16/33.83 c N st 396 90801 11210 54150 64559 20778 227219 230895 5.34 no data
270.56/34.10 c Finding binary XORs T: 0.02 s found: 10
274.54/34.68 c N dy 424 96703 11203 54150 64754 26548 227212 320249 5.35 5.76
276.94/34.90 c E dy 435 98450 11154 54150 64785 28227 227212 343416 5.36 no data
299.08/45.15 c Following stats are for *FIRST FINISHED THREAD ONLY*
299.08/45.15 c num threads : 8
299.08/45.15 c restarts : 435
299.08/45.15 c dynamic restarts : 417
299.08/45.15 c static restarts : 18
299.08/45.15 c full restarts : 2
299.08/45.15 c total simplify time : 0.24
299.08/45.15 c learnts DL2 : 0
299.08/45.15 c learnts size 2 : 815025
299.08/45.15 c learnts size 1 : 8866 (7.69 % of vars)
299.08/45.15 c filedLit time : 11.17 (25.02 % time)
299.08/45.15 c v-elim SatELite : 77852 (67.54 % vars)
299.08/45.15 c SatELite time : 1.75 (3.92 % time)
299.08/45.15 c v-elim xor : 0 (0.00 % vars)
299.08/45.15 c xor elim time : 0.05 (0.11 % time)
299.08/45.15 c num binary xor trees : 7370
299.08/45.15 c binxor trees' crown : 17500 (2.37 leafs/tree)
299.08/45.15 c bin xor find time : 0.18
299.08/45.15 c OTF clause improved : 1006 (0.01 clauses/conflict)
299.08/45.15 c OTF impr. size diff : 1124 (1.12 lits/clause)
299.08/45.15 c OTF cl watch-shrink : 34171 (0.35 clauses/conflict)
299.08/45.15 c OTF cl watch-sh-lit : 72914 (2.13 lits/clause)
299.08/45.15 c tried to recurMin cls : 22595 (22.95 % of conflicts)
299.08/45.15 c updated cache : 0 (0.00 lits/tried recurMin)
299.08/45.15 c unit cls recevied : 117 (1.32 % of units)
299.08/45.15 c unit cls sent : 478 (5.39 % of units)
299.08/45.15 c bin cls recevied : 218802
299.08/45.15 c bin cls sent : 364488
299.08/45.15 c clauses over max glue : 0 (0.00 % of all clauses)
299.08/45.15 c conflicts : 98450 (2204.37 / sec)
299.08/45.15 c decisions : 376129 (4.77 % random)
299.08/45.15 c bogo-props : 616158093 (13796269.58 / sec)
299.08/45.15 c conflict literals : 1247119 (28.98 % deleted)
299.08/45.15 c Memory used : 1976.42 MB
299.08/45.15 c single-thread CPU time : 44.66 s
299.08/45.15 c all-threads sum CPU time : 296.36 s
299.08/45.15 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-3394318-1306094235/watcher-3394318-1306094235 -o /tmp/evaluation-result-3394318-1306094235/solver-3394318-1306094235 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394318-1306094235.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.86 7.90 7.94 1/498 29962
/proc/meminfo: memFree=20586192/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=92144 CPUtime=0.07 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) R 29960 29962 29692 0 -1 4202496 419 0 0 0 7 0 0 0 22 0 8 0 721026164 94355456 360 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218391 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 23036 360 302 95 0 18018 0
[pid=29962/tid=29963] ppid=29960 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 4 0 0 0 1 0 0 0 22 0 8 0 721026164 94355456 360 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218397 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=92144 CPUtime=0 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 721026164 94355456 360 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218802 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 721026164 94355456 360 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218387 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 721026165 94355456 360 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218384 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=92144 CPUtime=0 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 721026165 94355456 360 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218393 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 721026165 94355456 360 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218393 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 721026165 94355456 360 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218393 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.110779 s]
/proc/loadavg: 7.86 7.90 7.94 1/498 29962
/proc/meminfo: memFree=20586192/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=654644 CPUtime=0.64 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) S 29960 29962 29692 0 -1 4202496 21917 0 0 0 48 16 0 0 17 0 8 0 721026164 670355456 17826 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620398 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 163661 17904 337 95 0 158643 0
[pid=29962/tid=29963] ppid=29960 vsize=654644 CPUtime=0.08 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 2786 0 0 0 6 2 0 0 17 0 8 0 721026164 670355456 17921 33554432000 4194304 4580107 140735288769536 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=654644 CPUtime=0.05 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 2803 0 0 0 3 2 0 0 17 0 8 0 721026164 670355456 17930 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620398 0 0 4096 2 18446604441221665984 0 0 -1 7 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=654644 CPUtime=0.07 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 2462 0 0 0 6 1 0 0 17 0 8 0 721026164 670355456 17931 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620398 0 0 4096 2 18446604441221665984 0 0 -1 1 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=654644 CPUtime=0.08 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 2663 0 0 0 6 2 0 0 17 0 8 0 721026165 670355456 17936 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=654644 CPUtime=0.06 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 2797 0 0 0 5 1 0 0 17 0 8 0 721026165 670355456 17936 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620398 0 0 4096 2 18446604441221665984 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=654644 CPUtime=0.07 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 2656 0 0 0 6 1 0 0 17 0 8 0 721026165 670355456 17948 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=654644 CPUtime=0.08 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 2642 0 0 0 7 1 0 0 17 0 8 0 721026165 670355456 17962 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620398 0 0 4096 2 18446604441221665984 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 654644
[startup+0.201775 s]
/proc/loadavg: 7.86 7.90 7.94 1/498 29962
/proc/meminfo: memFree=20586192/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=692936 CPUtime=1.15 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) S 29960 29962 29692 0 -1 4202496 45483 0 0 0 78 37 0 0 17 0 8 0 721026164 709566464 37026 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620398 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 173234 37030 337 95 0 168216 0
[pid=29962/tid=29963] ppid=29960 vsize=692936 CPUtime=0.15 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 5473 0 0 0 10 5 0 0 17 0 8 0 721026164 709566464 37033 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=692936 CPUtime=0.11 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 5824 0 0 0 6 5 0 0 17 0 8 0 721026164 709566464 37034 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620398 0 0 4096 2 18446604441221665984 0 0 -1 7 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=692936 CPUtime=0.14 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 5675 0 0 0 10 4 0 0 17 0 8 0 721026164 709566464 37064 33554432000 4194304 4580107 140735288769536 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=692936 CPUtime=0.13 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 5789 0 0 0 9 4 0 0 17 0 8 0 721026165 709566464 37117 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620398 0 0 4096 2 18446604441221665984 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=692936 CPUtime=0.14 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 5779 0 0 0 10 4 0 0 17 0 8 0 721026165 709566464 37269 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=692936 CPUtime=0.14 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 5457 0 0 0 10 4 0 0 17 0 8 0 721026165 709566464 37269 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620398 0 0 4096 2 18446604441221665984 0 0 -1 0 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=692936 CPUtime=0.14 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) D 29960 29962 29692 0 -1 4202560 5617 0 0 0 10 4 0 0 17 0 8 0 721026165 709566464 37287 33554432000 4194304 4580107 140735288769536 18446744073709551615 4307191 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 692936
[startup+0.303758 s]
/proc/loadavg: 7.86 7.90 7.94 1/498 29962
/proc/meminfo: memFree=20586192/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=752140 CPUtime=1.71 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) S 29960 29962 29692 0 -1 4202496 75287 0 0 0 113 58 0 0 17 0 8 0 721026164 770191360 58363 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620398 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 188035 58421 337 95 0 183017 0
[pid=29962/tid=29963] ppid=29960 vsize=752140 CPUtime=0.23 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 9414 0 0 0 15 8 0 0 17 0 8 0 721026164 770191360 58511 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=752140 CPUtime=0.19 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 9537 0 0 0 11 8 0 0 17 0 8 0 721026164 770191360 58568 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620398 0 0 4096 2 18446604441221665984 0 0 -1 7 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=753220 CPUtime=0.21 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 9682 0 0 0 14 7 0 0 17 0 8 0 721026164 771297280 58655 33554432000 4194304 4580107 140735288769536 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=754300 CPUtime=0.21 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 9631 0 0 0 15 6 0 0 17 0 8 0 721026165 772403200 58777 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=754300 CPUtime=0.2 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 9864 0 0 0 13 7 0 0 17 0 8 0 721026165 772403200 58874 33554432000 4194304 4580107 140735288769536 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=754300 CPUtime=0.21 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 8953 0 0 0 15 6 0 0 17 0 8 0 721026165 772403200 58945 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620398 0 0 4096 2 18446604441221665984 0 0 -1 0 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=754300 CPUtime=0.22 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 9203 0 0 0 14 8 0 0 17 0 8 0 721026165 772403200 59069 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 752140
[startup+0.814182 s]
/proc/loadavg: 7.86 7.90 7.94 1/498 29962
/proc/meminfo: memFree=20586192/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=806156 CPUtime=5.49 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) R 29960 29962 29692 0 -1 4202496 109027 0 0 0 457 92 0 0 17 0 8 0 721026164 825503744 91421 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293067 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 201539 91421 360 95 0 196521 0
[pid=29962/tid=29963] ppid=29960 vsize=806156 CPUtime=0.7 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) D 29960 29962 29692 0 -1 4202560 13919 0 0 0 58 12 0 0 17 0 8 0 721026164 825503744 91421 33554432000 4194304 4580107 140735288769536 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=806156 CPUtime=0.66 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 13778 0 0 0 53 13 0 0 17 0 8 0 721026164 825503744 91421 33554432000 4194304 4580107 140735288769536 18446744073709551615 4230831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=806156 CPUtime=0.67 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 14026 0 0 0 56 11 0 0 17 0 8 0 721026164 825503744 91421 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=806156 CPUtime=0.68 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 13940 0 0 0 58 10 0 0 17 0 8 0 721026165 825503744 91421 33554432000 4194304 4580107 140735288769536 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=806156 CPUtime=0.67 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 13775 0 0 0 57 10 0 0 17 0 8 0 721026165 825503744 91421 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=806156 CPUtime=0.67 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 13221 0 0 0 58 9 0 0 17 0 8 0 721026165 825503744 91421 33554432000 4194304 4580107 140735288769536 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=806156 CPUtime=0.68 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 12987 0 0 0 56 12 0 0 17 0 8 0 721026165 825503744 91421 33554432000 4194304 4580107 140735288769536 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 806156
[startup+1.51853 s]
/proc/loadavg: 7.87 7.90 7.94 10/506 29970
/proc/meminfo: memFree=20210408/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=806156 CPUtime=11.11 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) R 29960 29962 29692 0 -1 4202496 112200 0 0 0 1019 92 0 0 18 0 8 0 721026164 825503744 94401 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 201539 94401 360 95 0 196521 0
[pid=29962/tid=29963] ppid=29960 vsize=806156 CPUtime=1.4 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 14006 0 0 0 128 12 0 0 18 0 8 0 721026164 825503744 94401 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=806156 CPUtime=1.35 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 13924 0 0 0 122 13 0 0 18 0 8 0 721026164 825503744 94401 33554432000 4194304 4580107 140735288769536 18446744073709551615 4234794 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=806156 CPUtime=1.38 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 14615 0 0 0 127 11 0 0 18 0 8 0 721026164 825503744 94401 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=806156 CPUtime=1.38 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 14561 0 0 0 128 10 0 0 18 0 8 0 721026165 825503744 94401 33554432000 4194304 4580107 140735288769536 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=806156 CPUtime=1.38 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 13843 0 0 0 127 11 0 0 18 0 8 0 721026165 825503744 94401 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=806156 CPUtime=1.38 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 13844 0 0 0 128 10 0 0 18 0 8 0 721026165 825503744 94401 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=806156 CPUtime=1.38 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 13385 0 0 0 126 12 0 0 18 0 8 0 721026165 825503744 94401 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.11
Current children cumulated vsize (KiB) 806156
[startup+3.10125 s]
/proc/loadavg: 7.87 7.90 7.94 9/506 29970
/proc/meminfo: memFree=20198808/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=812424 CPUtime=23.75 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) R 29960 29962 29692 0 -1 4202496 115249 0 0 0 2282 93 0 0 21 0 8 0 721026164 831922176 97450 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 203106 97450 361 95 0 198088 0
[pid=29962/tid=29963] ppid=29960 vsize=812424 CPUtime=2.98 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 14201 0 0 0 286 12 0 0 21 0 8 0 721026164 831922176 97450 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=812424 CPUtime=2.92 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 14132 0 0 0 279 13 0 0 21 0 8 0 721026164 831922176 97450 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293273 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=812424 CPUtime=2.96 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 14838 0 0 0 285 11 0 0 21 0 8 0 721026164 831922176 97450 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=812424 CPUtime=2.97 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 14766 0 0 0 287 10 0 0 21 0 8 0 721026165 831922176 97450 33554432000 4194304 4580107 140735288769536 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=812424 CPUtime=2.96 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 14050 0 0 0 285 11 0 0 21 0 8 0 721026165 831922176 97450 33554432000 4194304 4580107 140735288769536 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=812424 CPUtime=2.96 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 14059 0 0 0 286 10 0 0 21 0 8 0 721026165 831922176 97450 33554432000 4194304 4580107 140735288769536 18446744073709551615 4235849 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=812424 CPUtime=2.96 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 14982 0 0 0 284 12 0 0 21 0 8 0 721026165 831922176 97450 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.75
Current children cumulated vsize (KiB) 812424
[startup+6.30069 s]
/proc/loadavg: 7.88 7.90 7.94 9/506 29970
/proc/meminfo: memFree=19880380/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=1095992 CPUtime=48.88 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) R 29960 29962 29692 0 -1 4202496 212783 0 0 0 4755 133 0 0 18 0 8 0 721026164 1122295808 176036 33554432000 4194304 4580107 140735288769536 18446744073709551615 4292928 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 273998 176036 382 95 0 268980 0
[pid=29962/tid=29963] ppid=29960 vsize=1095992 CPUtime=6.11 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 26522 0 0 0 593 18 0 0 18 0 8 0 721026164 1122295808 176036 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=1095992 CPUtime=6.01 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 29605 0 0 0 583 18 0 0 18 0 8 0 721026164 1122295808 176036 33554432000 4194304 4580107 140735288769536 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=1095992 CPUtime=6.1 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 25740 0 0 0 595 15 0 0 19 0 8 0 721026164 1122295808 176036 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=1095992 CPUtime=6.09 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 29853 0 0 0 593 16 0 0 18 0 8 0 721026165 1122295808 176036 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=1095992 CPUtime=6.11 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 28471 0 0 0 595 16 0 0 18 0 8 0 721026165 1122295808 176036 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=1095992 CPUtime=6.11 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 28946 0 0 0 596 15 0 0 18 0 8 0 721026165 1122295808 176036 33554432000 4194304 4580107 140735288769536 18446744073709551615 4317260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=1095992 CPUtime=6.14 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 15344 0 0 0 601 13 0 0 18 0 8 0 721026165 1122295808 176036 33554432000 4194304 4580107 140735288769536 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/loadavg: 7.91 7.91 7.94 9/506 29971
/proc/meminfo: memFree=19527432/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=1586016 CPUtime=205.13 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) R 29960 29962 29692 0 -1 4202496 630944 0 0 0 20300 213 0 0 20 0 8 0 721026164 1624080384 268111 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 396504 268111 380 95 0 391486 0
[pid=29962/tid=29963] ppid=29960 vsize=1586016 CPUtime=25.71 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 81400 0 0 0 2543 28 0 0 25 0 8 0 721026164 1624080384 268111 33554432000 4194304 4580107 140735288769536 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=1586016 CPUtime=25.24 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 86835 0 0 0 2495 29 0 0 18 0 8 0 721026164 1624080384 268111 33554432000 4194304 4580107 140735288769536 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=1586016 CPUtime=25.66 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 86468 0 0 0 2539 27 0 0 20 0 8 0 721026164 1624080384 268111 33554432000 4194304 4580107 140735288769536 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=1586016 CPUtime=25.64 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 89907 0 0 0 2535 29 0 0 20 0 8 0 721026165 1624080384 268111 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=1586016 CPUtime=25.7 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 79843 0 0 0 2540 30 0 0 21 0 8 0 721026165 1624080384 268111 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=1586016 CPUtime=25.69 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 77916 0 0 0 2547 22 0 0 21 0 8 0 721026165 1624080384 268111 33554432000 4194304 4580107 140735288769536 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=1586016 CPUtime=25.72 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 31296 0 0 0 2556 16 0 0 21 0 8 0 721026165 1624080384 268111 33554432000 4194304 4580107 140735288769536 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 205.13
Current children cumulated vsize (KiB) 1586016
[startup+38.701 s]
/proc/loadavg: 7.52 7.83 7.91 3/506 29971
/proc/meminfo: memFree=19162104/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=1957624 CPUtime=286.29 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) R 29960 29962 29692 0 -1 4202496 740936 0 0 0 28352 277 0 0 25 0 8 0 721026164 2004606976 361989 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148193835 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 489406 361989 380 95 0 484388 0
[pid=29962/tid=29963] ppid=29960 vsize=1957624 CPUtime=34.81 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 87461 0 0 0 3452 29 0 0 25 0 8 0 721026164 2004606976 361989 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=1957624 CPUtime=34.21 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 89781 0 0 0 3390 31 0 0 25 0 8 0 721026164 2004606976 361989 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 7 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=1957624 CPUtime=34.75 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 102252 0 0 0 3444 31 0 0 25 0 8 0 721026164 2004606976 361989 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 0 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=1957624 CPUtime=34.74 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 106159 0 0 0 3442 32 0 0 25 0 8 0 721026165 2004606976 361989 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=1957624 CPUtime=34.79 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 93333 0 0 0 3446 33 0 0 25 0 8 0 721026165 2004606976 361989 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=1957624 CPUtime=35.91 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 101838 0 0 0 3561 30 0 0 18 0 8 0 721026165 2004606976 361989 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 1 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=1957624 CPUtime=38.51 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 57924 0 0 0 3794 57 0 0 25 0 8 0 721026165 2004606976 361989 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 286.29
Current children cumulated vsize (KiB) 1957624
[startup+41.9005 s]
/proc/loadavg: 7.08 7.73 7.88 3/506 29971
/proc/meminfo: memFree=19137428/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=1958020 CPUtime=292.68 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) R 29960 29962 29692 0 -1 4202496 741191 0 0 0 28991 277 0 0 25 0 8 0 721026164 2005012480 362244 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148193988 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 489505 362244 380 95 0 484487 0
[pid=29962/tid=29963] ppid=29960 vsize=1958020 CPUtime=34.81 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 87461 0 0 0 3452 29 0 0 25 0 8 0 721026164 2005012480 362244 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=1958020 CPUtime=34.21 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 89781 0 0 0 3390 31 0 0 25 0 8 0 721026164 2005012480 362244 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 7 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=1958020 CPUtime=34.75 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 102252 0 0 0 3444 31 0 0 25 0 8 0 721026164 2005012480 362244 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 0 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=1958020 CPUtime=34.74 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 106159 0 0 0 3442 32 0 0 25 0 8 0 721026165 2005012480 362244 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=1958020 CPUtime=34.79 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 93333 0 0 0 3446 33 0 0 25 0 8 0 721026165 2005012480 362244 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=1958020 CPUtime=35.91 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 101838 0 0 0 3561 30 0 0 18 0 8 0 721026165 2005012480 362244 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 1 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=1958020 CPUtime=41.7 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 58179 0 0 0 4113 57 0 0 25 0 8 0 721026165 2005012480 362244 33554432000 4194304 4580107 140735288769536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 292.68
Current children cumulated vsize (KiB) 1958020
[startup+43.5012 s]
/proc/loadavg: 7.08 7.73 7.88 3/506 29971
/proc/meminfo: memFree=19136932/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=2023848 CPUtime=295.89 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) R 29960 29962 29692 0 -1 4202496 744135 0 0 0 29310 279 0 0 25 0 8 0 721026164 2072420352 365188 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148193988 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 505962 365188 380 95 0 500944 0
[pid=29962/tid=29963] ppid=29960 vsize=2023848 CPUtime=34.81 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 87461 0 0 0 3452 29 0 0 25 0 8 0 721026164 2072420352 365188 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=2023848 CPUtime=34.21 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 89781 0 0 0 3390 31 0 0 25 0 8 0 721026164 2072420352 365188 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 7 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=2023848 CPUtime=34.75 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 102252 0 0 0 3444 31 0 0 25 0 8 0 721026164 2072420352 365188 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 0 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=2023848 CPUtime=34.74 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 106159 0 0 0 3442 32 0 0 25 0 8 0 721026165 2072420352 365188 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=2023848 CPUtime=34.79 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 93333 0 0 0 3446 33 0 0 25 0 8 0 721026165 2072420352 365188 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=2023848 CPUtime=35.91 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 101838 0 0 0 3561 30 0 0 18 0 8 0 721026165 2072420352 365188 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 1 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=2023848 CPUtime=43.31 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 61123 0 0 0 4272 59 0 0 25 0 8 0 721026165 2072420352 365188 33554432000 4194304 4580107 140735288769536 18446744073709551615 4395390 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 295.89
Current children cumulated vsize (KiB) 2023848
[startup+44.301 s]
/proc/loadavg: 7.08 7.73 7.88 3/506 29971
/proc/meminfo: memFree=19119076/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=2023848 CPUtime=297.52 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) R 29960 29962 29692 0 -1 4202496 746016 0 0 0 29471 281 0 0 25 0 8 0 721026164 2072420352 366780 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148193835 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 505962 366780 380 95 0 500944 0
[pid=29962/tid=29963] ppid=29960 vsize=2023848 CPUtime=34.81 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 87461 0 0 0 3452 29 0 0 25 0 8 0 721026164 2072420352 366780 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=2023848 CPUtime=34.21 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 89781 0 0 0 3390 31 0 0 25 0 8 0 721026164 2072420352 366780 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 7 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=2023848 CPUtime=34.75 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 102252 0 0 0 3444 31 0 0 25 0 8 0 721026164 2072420352 366780 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 0 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=2023848 CPUtime=34.74 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 106159 0 0 0 3442 32 0 0 25 0 8 0 721026165 2072420352 366781 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=2023848 CPUtime=34.79 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 93333 0 0 0 3446 33 0 0 25 0 8 0 721026165 2072420352 366781 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=2023848 CPUtime=35.91 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 101838 0 0 0 3561 30 0 0 18 0 8 0 721026165 2072420352 366781 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 1 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=2023848 CPUtime=44.13 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 63005 0 0 0 4352 61 0 0 25 0 8 0 721026165 2072420352 366781 33554432000 4194304 4580107 140735288769536 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 297.52
Current children cumulated vsize (KiB) 2023848
[startup+44.701 s]
/proc/loadavg: 7.08 7.73 7.88 3/506 29971
/proc/meminfo: memFree=19119076/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=2023848 CPUtime=298.28 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) R 29960 29962 29692 0 -1 4202496 752164 0 0 0 29545 283 0 0 25 0 8 0 721026164 2072420352 371371 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148193988 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 505962 371371 380 95 0 500944 0
[pid=29962/tid=29963] ppid=29960 vsize=2023848 CPUtime=34.81 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 87461 0 0 0 3452 29 0 0 25 0 8 0 721026164 2072420352 371371 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=2023848 CPUtime=34.21 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 89781 0 0 0 3390 31 0 0 25 0 8 0 721026164 2072420352 371371 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 7 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=2023848 CPUtime=34.75 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 102252 0 0 0 3444 31 0 0 25 0 8 0 721026164 2072420352 371371 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 0 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=2023848 CPUtime=34.74 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 106159 0 0 0 3442 32 0 0 25 0 8 0 721026165 2072420352 371371 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=2023848 CPUtime=34.79 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 93333 0 0 0 3446 33 0 0 25 0 8 0 721026165 2072420352 371371 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=2023848 CPUtime=35.91 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 101838 0 0 0 3561 30 0 0 18 0 8 0 721026165 2072420352 371371 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 1 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=2023848 CPUtime=44.51 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 69152 0 0 0 4387 64 0 0 25 0 8 0 721026165 2072420352 371371 33554432000 4194304 4580107 140735288769536 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 298.28
Current children cumulated vsize (KiB) 2023848
[startup+45.1009 s]
/proc/loadavg: 7.08 7.73 7.88 3/506 29971
/proc/meminfo: memFree=19119076/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=2023848 CPUtime=299.08 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) R 29960 29962 29692 0 -1 4202496 752218 0 0 0 29625 283 0 0 25 0 8 0 721026164 2072420352 371425 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148193988 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 505962 371425 380 95 0 500944 0
[pid=29962/tid=29963] ppid=29960 vsize=2023848 CPUtime=34.81 cores=0-7
/proc/29962/task/29963/stat : 29963 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 87461 0 0 0 3452 29 0 0 25 0 8 0 721026164 2072420352 371425 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 6 0 0 0
[pid=29962/tid=29964] ppid=29960 vsize=2023848 CPUtime=34.21 cores=0-7
/proc/29962/task/29964/stat : 29964 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 89781 0 0 0 3390 31 0 0 25 0 8 0 721026164 2072420352 371425 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 7 0 0 0
[pid=29962/tid=29965] ppid=29960 vsize=2023848 CPUtime=34.75 cores=0-7
/proc/29962/task/29965/stat : 29965 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 102252 0 0 0 3444 31 0 0 25 0 8 0 721026164 2072420352 371425 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 0 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=2023848 CPUtime=34.74 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 106159 0 0 0 3442 32 0 0 25 0 8 0 721026165 2072420352 371425 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 4 0 0 0
[pid=29962/tid=29967] ppid=29960 vsize=2023848 CPUtime=34.79 cores=0-7
/proc/29962/task/29967/stat : 29967 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 93333 0 0 0 3446 33 0 0 25 0 8 0 721026165 2072420352 371425 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 5 0 0 0
[pid=29962/tid=29968] ppid=29960 vsize=2023848 CPUtime=35.91 cores=0-7
/proc/29962/task/29968/stat : 29968 (strangenight2-m) S 29960 29962 29692 0 -1 4202560 101838 0 0 0 3561 30 0 0 18 0 8 0 721026165 2072420352 371425 33554432000 4194304 4580107 140735288769536 18446744073709551615 47418148218420 0 0 4096 2 18446604441221665984 0 0 -1 1 0 0 0
[pid=29962/tid=29969] ppid=29960 vsize=2023848 CPUtime=44.91 cores=0-7
/proc/29962/task/29969/stat : 29969 (strangenight2-m) R 29960 29962 29692 0 -1 4202560 69206 0 0 0 4427 64 0 0 25 0 8 0 721026165 2072420352 371425 33554432000 4194304 4580107 140735288769536 18446744073709551615 4473265 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 299.08
Current children cumulated vsize (KiB) 2023848
[startup+45.2009 s]
/proc/loadavg: 7.08 7.73 7.88 3/506 29971
/proc/meminfo: memFree=19119076/32951124 swapFree=53501332/67111528
[pid=29962] ppid=29960 vsize=0 CPUtime=299.24 cores=0-7
/proc/29962/stat : 29962 (strangenight2-m) Z 29960 29962 29692 0 -1 4202524 752222 0 0 0 29636 288 0 0 18 0 2 0 721026164 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29962/statm: 0 0 0 0 0 0 0
[pid=29962/tid=29966] ppid=29960 vsize=0 CPUtime=34.78 cores=0-7
/proc/29962/task/29966/stat : 29966 (strangenight2-m) R 29960 29962 29692 0 -1 4203588 106159 0 0 0 3442 36 0 0 18 0 2 0 721026165 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 299.24
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 45.2239
CPU time (s): 299.272
CPU user time (s): 296.365
CPU system time (s): 2.90656
CPU usage (%): 661.756
Max. virtual memory (cumulated for all children) (KiB): 2023848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 296.365
system time used= 2.90656
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 752222
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= 142757
involuntary context switches= 1268
runsolver used 0.237963 second user time and 0.488925 second system time
The end
Begin job on node103 at 2011-05-22 21:57:15
IDJOB=3394318
IDBENCH=82492
IDSOLVER=1878
FILE ID=node103/3394318-1306094235
RUNJOBID= node103-1306094043-29706
PBS_JOBID= 13387954
Free space on /tmp= 73124 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394318-1306094235/watcher-3394318-1306094235 -o /tmp/evaluation-result-3394318-1306094235/solver-3394318-1306094235 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394318-1306094235.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 7eb9713591c46f87c512df513290fd7f
RANDOM SEED=1052032840
node103.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5333.71
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 20586472 kB
Buffers: 368448 kB
Cached: 8042172 kB
SwapCached: 340096 kB
Active: 4589428 kB
Inactive: 7455496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 20586472 kB
SwapTotal: 67111528 kB
SwapFree: 53501332 kB
Dirty: 11484 kB
Writeback: 0 kB
AnonPages: 3304632 kB
Mapped: 23512 kB
Slab: 175432 kB
PageTables: 72768 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 162033612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73120 MiB
End job on node103 at 2011-05-22 21:58:01