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-3393916-1306072115.cnf'
0.00/0.03 c -- header says num vars: 96089
0.00/0.03 c -- header says num clauses: 283993
1.52/0.40 c -- clauses added: 0 learnts, 283993 normals, 0 xors
1.52/0.40 c -- vars added 96089
1.52/0.40 c Parsing time: 0.16 s
1.52/0.40 c N st 0 0 96089 94664 189328 0 662648 0 no data no data
2.11/0.89 c asymm cl-useful: 0/53604/94663 lits-rem:0 time: 0.49
18.79/2.55 c Flit: 84 Blit: 4222 bXBeca: 0 bXProp: 6441 Bins: 0 BRemL: 0 BRemN: 0 P: 29.3M T: 1.66
18.79/2.57 c Cleaning up after failed var search: 0.01 s
18.79/2.60 c Replacing 6441 vars Replaced 112191 lits Time: 0.03 s
19.64/2.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
19.64/2.65 c bin-w-bin subsume rem 196 bins time: 0.02 s
19.64/2.70 c subs with bin: 6 lits-rem: 3 v-fix: 0 time: 0.05 s
21.12/2.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 6 done: 84467 time: 0.18 s
22.72/3.06 c Removed useless bin: 83 fixed: 0 props: 20.00M time: 0.17 s
25.69/3.40 c lits-rem: 27 cl-subs: 78 v-elim: 28156 v-fix: 0 time: 0.28 s
25.69/3.42 c Finding binary XORs T: 0.02 s found: 27
25.69/3.44 c Replacing 27 vars Replaced 168 lits Time: 0.02 s
25.69/3.49 c Finding non-binary XORs: 0.03 s (found: 1959, avg size: 3.0)
25.69/3.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
26.46/3.50 c calculated reachability. Time: 0.00
26.46/3.51 c Calc default polars - time: 0.01 s pos: 20182 undec: 39953 neg: 35954
26.46/3.51 c =========================================================================================
26.46/3.51 c types(t): F = full restart, N = normal restart
26.46/3.51 c types(t): S = simplification begin/end, E = solution found
26.46/3.51 c restart types(rt): st = static, dy = dynamic
26.46/3.51 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
26.46/3.51 c B st 0 0 56281 68867 112964 0 472000 0 no data no data
34.43/4.54 c N dy 17 4023 56272 68867 113066 3495 472000 51480 7.36 7.75
44.01/5.73 c N dy 35 8117 56148 68867 113379 7047 472000 96507 7.23 7.72
53.60/6.95 c N dy 63 12208 56018 68867 113397 10630 472000 144173 7.35 7.74
62.38/8.01 c N dy 83 16302 55952 68867 113651 14236 472000 189292 7.27 7.79
72.02/9.23 c N dy 105 20719 55939 68867 113750 9452 472000 61437 7.30 7.69
79.94/10.29 c N dy 126 24830 55861 68867 114092 13213 472000 112409 7.30 7.80
80.79/10.38 c F st 128 25000 55851 68867 114093 13371 472000 114228 7.30 no data
80.79/10.41 c Replacing 24 vars Replaced 328 lits Time: 0.02 s
99.22/12.64 c N dy 134 30001 55813 67465 112630 17997 462687 187047 7.30 no data
99.22/12.64 c S st 134 30001 55813 67465 112630 17997 462687 187047 7.30 no data
100.67/12.86 c S st 134 30503 55813 67465 112647 18465 462687 192110 7.30 no data
100.67/12.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 57 locsubst: 0 time: 0.02
123.03/15.65 c Flit: 22 Blit: 528 bXBeca: 0 bXProp: 2136 Bins: 137829 BRemL: 40478 BRemN: 829 P: 26.4M T: 2.75
123.03/15.66 c Cleaning up after failed var search: 0.01 s
123.83/15.70 c Replacing 2136 vars Replaced 111889 lits Time: 0.03 s
123.83/15.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
123.83/15.76 c bin-w-bin subsume rem 25579 bins time: 0.04 s
123.83/15.80 c subs with bin: 137 lits-rem: 467 v-fix: 0 time: 0.04 s
124.68/15.91 c Subs w/ non-existent bins: 39 l-rem: 167 v-fix: 0 done: 52895 time: 0.11 s
125.56/15.99 c Removed useless bin: 86 fixed: 0 props: 4.81M time: 0.08 s
128.61/16.31 c lits-rem: 106 cl-subs: 556 v-elim: 35262 v-fix: 0 time: 0.30 s
128.61/16.34 c subs with bin: 236 lits-rem: 1162 v-fix: 0 time: 0.01 s
128.61/16.38 c lits-rem: 1031 cl-subs: 1105 v-elim: 0 v-fix: 0 time: 0.04 s
130.20/16.54 c asymm cl-useful: 3/22867/76471 lits-rem:9 time: 0.15
130.20/16.55 c calculated reachability. Time: 0.01
130.20/16.55 c N dy 134 30503 17633 76468 25685 8913 349064 85501 7.30 no data
131.00/16.61 c Finding binary XORs T: 0.02 s found: 30
135.77/17.28 c N dy 151 34752 17631 76468 25907 12430 349064 130474 7.21 7.60
141.37/17.91 c N dy 163 39318 17631 76468 41875 16154 349064 209086 7.10 7.82
142.22/18.11 c Finding binary XORs T: 0.02 s found: 9
146.94/18.66 c N dy 179 43536 17630 76422 41559 10303 348842 104587 7.02 7.55
149.34/18.93 c Finding binary XORs T: 0.02 s found: 11
150.14/19.02 c S st 188 45754 17630 76422 51010 12174 348842 147006 6.99 4.80
150.99/19.13 c S st 188 46257 17630 76422 51015 12630 348842 151981 6.99 no data
150.99/19.14 c x-sub: 2 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 38 time: 0.01
154.13/19.58 c Flit: 1 Blit: 1 bXBeca: 0 bXProp: 48 Bins: 10029 BRemL: 24560 BRemN: 49 P: 7.2M T: 0.43
154.92/19.60 c Replacing 111 vars Replaced 6097 lits Time: 0.02 s
154.92/19.62 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
154.92/19.63 c bin-w-bin subsume rem 11715 bins time: 0.01 s
154.92/19.65 c subs with bin: 417 lits-rem: 795 v-fix: 0 time: 0.02 s
154.92/19.68 c Subs w/ non-existent bins: 161 l-rem: 395 v-fix: 0 done: 17517 time: 0.02 s
154.92/19.69 c Removed useless bin: 38 fixed: 0 props: 0.45M time: 0.01 s
155.72/19.79 c lits-rem: 113 cl-subs: 245 v-elim: 1733 v-fix: 0 time: 0.09 s
156.52/19.81 c subs with bin: 99 lits-rem: 410 v-fix: 0 time: 0.01 s
156.52/19.85 c lits-rem: 335 cl-subs: 532 v-elim: 0 v-fix: 0 time: 0.03 s
156.52/19.87 c vivif2 -- cl tried 76142 cl shrink 600 lits rem 961 time: 0.02
156.52/19.87 c vivif2 -- cl tried 11264 cl shrink 661 lits rem 1193 time: 0.01
161.30/20.44 c asymm cl-useful: 379/76087/76087 lits-rem:652 time: 0.57
161.30/20.45 c calculated reachability. Time: 0.00
161.30/20.45 c N dy 188 46257 15784 76087 17440 11259 354442 78713 6.99 no data
161.30/20.47 c Finding binary XORs T: 0.02 s found: 0
167.70/21.23 c N dy 202 50376 15780 76087 19207 14739 354442 127124 6.96 7.44
173.28/21.92 c N dy 219 54428 15778 76087 19209 18174 354442 170408 6.93 7.32
178.87/22.63 c Finding binary XORs T: 0.01 s found: 31
178.87/22.65 c N dy 236 58512 15777 75981 25067 21764 353711 231654 6.92 7.35
185.26/23.46 c N dy 259 62716 15775 75981 27331 25352 353711 287775 6.92 7.68
191.64/24.20 c N dy 282 66894 15775 75981 27335 15289 353711 112378 6.92 7.31
194.89/24.62 c S st 293 69386 15775 75981 30122 17364 353711 144485 6.91 6.27
195.77/24.74 c Finding binary XORs T: 0.01 s found: 10
195.77/24.77 c S st 293 69891 15775 75934 30104 17828 353524 149463 6.91 no data
195.77/24.78 c x-sub: 13 x-cut: 0 vfix: 0 v-elim: 9 locsubst: 2 time: 0.01
198.02/25.07 c Flit: 1 Blit: 1 bXBeca: 0 bXProp: 7 Bins: 2652 BRemL: 11959 BRemN: 27 P: 5.2M T: 0.29
198.02/25.09 c Replacing 48 vars Replaced 2420 lits Time: 0.02 s
198.82/25.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
198.82/25.12 c bin-w-bin subsume rem 2827 bins time: 0.01 s
198.82/25.14 c subs with bin: 152 lits-rem: 125 v-fix: 0 time: 0.02 s
198.82/25.16 c Subs w/ non-existent bins: 17 l-rem: 11 v-fix: 0 done: 15713 time: 0.02 s
198.82/25.17 c Removed useless bin: 26 fixed: 0 props: 0.32M time: 0.01 s
199.61/25.24 c lits-rem: 108 cl-subs: 299 v-elim: 334 v-fix: 0 time: 0.07 s
199.61/25.26 c subs with bin: 112 lits-rem: 159 v-fix: 0 time: 0.01 s
200.42/25.31 c lits-rem: 482 cl-subs: 780 v-elim: 0 v-fix: 0 time: 0.03 s
200.42/25.33 c vivif2 -- cl tried 74693 cl shrink 364 lits rem 791 time: 0.02
200.42/25.33 c vivif2 -- cl tried 16730 cl shrink 536 lits rem 1260 time: 0.01
205.19/25.96 c asymm cl-useful: 482/74671/74671 lits-rem:1865 time: 0.63
205.19/25.97 c calculated reachability. Time: 0.00
205.19/25.97 c N dy 293 69891 15379 74586 16165 16729 345721 110456 6.91 no data
205.19/25.99 c Finding binary XORs T: 0.01 s found: 0
212.45/26.86 c N dy 317 74505 15379 74586 16169 20668 345721 162579 6.91 7.30
218.79/27.64 c N dy 347 79305 15379 74586 18900 24768 345721 224561 6.93 9.72
222.11/28.07 c Finding binary XORs T: 0.01 s found: 10
225.96/28.54 c N dy 368 84434 15378 74573 20977 29234 345568 287792 6.90 9.96
231.54/29.25 c F st 383 87500 15378 74573 21426 31890 345568 324430 6.90 6.26
231.54/29.26 c Replacing 10 vars Replaced 1167 lits Time: 0.01 s
236.35/29.83 c N st 388 90796 15368 74567 21397 18365 345544 131839 6.90 no data
243.53/30.76 c N dy 409 96611 15368 74567 21431 23541 345544 206102 6.90 7.74
253.90/32.08 c N dy 442 103189 15367 74567 21739 29317 345544 287897 6.91 7.34
256.37/32.41 c S st 453 104836 15367 74567 21739 30730 345544 309499 6.92 6.54
257.89/32.53 c S st 453 105337 15367 74567 21803 31214 345544 316893 6.92 no data
257.89/32.55 c x-sub: 3 x-cut: 0 vfix: 0 v-elim: 8 locsubst: 24 time: 0.01
260.28/32.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7 Bins: 1842 BRemL: 5922 BRemN: 38 P: 5.2M T: 0.28
260.28/32.85 c Replacing 15 vars Replaced 2054 lits Time: 0.02 s
260.28/32.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
260.28/32.88 c bin-w-bin subsume rem 1403 bins time: 0.01 s
260.28/32.89 c subs with bin: 84 lits-rem: 307 v-fix: 0 time: 0.01 s
261.08/32.91 c Subs w/ non-existent bins: 30 l-rem: 1 v-fix: 0 done: 15344 time: 0.02 s
261.08/32.92 c Removed useless bin: 7 fixed: 0 props: 0.32M time: 0.01 s
261.08/32.99 c lits-rem: 39 cl-subs: 109 v-elim: 88 v-fix: 0 time: 0.06 s
261.89/33.03 c subs with bin: 92 lits-rem: 399 v-fix: 0 time: 0.02 s
262.69/33.12 c lits-rem: 1691 cl-subs: 1632 v-elim: 0 v-fix: 0 time: 0.07 s
262.69/33.13 c vivif2 -- cl tried 74317 cl shrink 156 lits rem 308 time: 0.02
262.69/33.15 c vivif2 -- cl tried 29041 cl shrink 1707 lits rem 4932 time: 0.02
266.02/33.56 c asymm cl-useful: 378/36989/74315 lits-rem:1526 time: 0.41
266.02/33.57 c calculated reachability. Time: 0.00
266.02/33.57 c N dy 453 105337 15256 74285 15885 29041 342409 270418 6.92 no data
266.02/33.58 c Finding binary XORs T: 0.01 s found: 0
277.06/34.95 c N dy 489 112502 15255 74285 15917 35222 342407 357824 6.91 7.34
289.03/36.40 c N dy 527 119957 15254 74285 19424 23202 342407 161691 6.93 7.59
289.83/36.53 c Finding binary XORs T: 0.01 s found: 9
301.79/38.07 c N dy 571 127768 15254 74256 20700 29975 342300 258708 6.94 7.40
315.38/39.74 c N dy 624 135997 15253 74256 20821 37363 342298 370785 6.96 7.36
324.16/40.81 c Finding binary XORs T: 0.01 s found: 10
329.74/41.50 c N dy 676 144677 15253 74244 20881 26870 342251 184144 6.97 7.95
342.52/43.19 c N dy 733 153919 15253 74244 20929 35193 342247 320633 7.01 7.44
349.71/44.02 c S st 762 158006 15252 74244 20969 38906 342247 384144 7.03 no data
350.51/44.15 c S st 762 158509 15252 74244 20970 39390 342247 390742 7.03 no data
350.51/44.17 c x-sub: 8 x-cut: 0 vfix: 0 v-elim: 10 locsubst: 0 time: 0.01
352.97/44.49 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 10 Bins: 2990 BRemL: 5617 BRemN: 11 P: 6.2M T: 0.32
353.83/44.52 c Replacing 29 vars Replaced 2816 lits Time: 0.03 s
353.83/44.54 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
353.83/44.55 c bin-w-bin subsume rem 880 bins time: 0.01 s
353.83/44.56 c subs with bin: 107 lits-rem: 340 v-fix: 0 time: 0.02 s
353.83/44.58 c Subs w/ non-existent bins: 30 l-rem: 55 v-fix: 0 done: 15213 time: 0.02 s
353.83/44.59 c Removed useless bin: 15 fixed: 0 props: 0.31M time: 0.01 s
354.49/44.66 c lits-rem: 36 cl-subs: 186 v-elim: 139 v-fix: 0 time: 0.07 s
355.29/44.72 c subs with bin: 518 lits-rem: 4023 v-fix: 0 time: 0.03 s
356.09/44.83 c lits-rem: 1508 cl-subs: 1762 v-elim: 0 v-fix: 0 time: 0.09 s
356.09/44.85 c vivif2 -- cl tried 73711 cl shrink 178 lits rem 353 time: 0.02
356.09/44.87 c vivif2 -- cl tried 35568 cl shrink 3223 lits rem 9470 time: 0.02
359.28/45.23 c asymm cl-useful: 0/36722/73711 lits-rem:0 time: 0.36
359.28/45.24 c calculated reachability. Time: 0.00
359.28/45.24 c N dy 762 158509 15074 73711 16934 35565 342846 310669 7.03 no data
359.28/45.26 c Finding binary XORs T: 0.02 s found: 0
376.85/47.48 c N dy 820 168817 14993 73711 19290 26052 342845 144311 7.04 7.44
382.42/48.13 c Finding binary XORs T: 0.01 s found: 344
382.42/48.15 c Replacing 364 vars Replaced 25102 lits Time: 0.02 s
396.87/49.97 c N dy 888 179657 14626 72181 19934 33991 336109 279957 7.06 7.79
410.37/51.64 c Finding binary XORs T: 0.01 s found: 267
410.37/51.66 c Replacing 267 vars Replaced 18359 lits Time: 0.02 s
418.36/52.69 c N dy 960 191229 14355 72095 20764 43953 335693 447731 7.09 7.52
441.65/55.58 c N dy 1046 203508 14354 72095 21404 35406 335688 275996 7.13 7.52
464.65/58.46 c Finding binary XORs T: 0.02 s found: 230
464.65/58.49 c Replacing 230 vars Replaced 22250 lits Time: 0.03 s
465.45/58.57 c N dy 1138 216574 14111 71958 32864 47016 334676 532964 7.20 8.59
475.04/59.76 c Finding binary XORs T: 0.02 s found: 37
486.21/61.19 c Finding binary XORs T: 0.02 s found: 35
489.40/61.59 c N dy 1218 230406 14106 71908 43780 37755 334415 324650 7.22 7.62
502.24/63.19 c S st 1268 237764 14106 71908 44252 44404 334415 449338 7.24 no data
503.77/63.36 c S st 1268 238269 14106 71908 44256 44873 334415 454838 7.24 no data
503.77/63.38 c x-sub: 127 x-cut: 0 vfix: 0 v-elim: 5 locsubst: 0 time: 0.01
509.36/64.01 c Flit: 3 Blit: 2 bXBeca: 0 bXProp: 55 Bins: 8892 BRemL: 28123 BRemN: 49 P: 13.1M T: 0.64
509.36/64.05 c Replacing 127 vars Replaced 13648 lits Time: 0.03 s
509.36/64.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
509.36/64.08 c bin-w-bin subsume rem 4423 bins time: 0.01 s
510.16/64.10 c subs with bin: 1157 lits-rem: 1389 v-fix: 0 time: 0.02 s
510.16/64.12 c Subs w/ non-existent bins: 285 l-rem: 229 v-fix: 0 done: 13969 time: 0.02 s
510.16/64.13 c Removed useless bin: 66 fixed: 0 props: 0.34M time: 0.01 s
511.02/64.25 c lits-rem: 149 cl-subs: 2383 v-elim: 1308 v-fix: 0 time: 0.11 s
511.02/64.31 c subs with bin: 1167 lits-rem: 5128 v-fix: 0 time: 0.04 s
512.54/64.44 c lits-rem: 3081 cl-subs: 3398 v-elim: 0 v-fix: 0 time: 0.12 s
512.54/64.46 c vivif2 -- cl tried 62823 cl shrink 1205 lits rem 2454 time: 0.02
512.54/64.49 c vivif2 -- cl tried 37456 cl shrink 3230 lits rem 8766 time: 0.03
515.74/64.88 c asymm cl-useful: 1159/11343/62811 lits-rem:4864 time: 0.39
515.74/64.89 c calculated reachability. Time: 0.00
515.74/64.89 c N dy 1268 238269 12661 62407 16861 37426 291231 304645 7.24 no data
516.55/64.91 c Finding binary XORs T: 0.02 s found: 18
532.51/66.93 c Finding binary XORs T: 0.02 s found: 30
541.29/68.01 c N dy 1354 253518 12565 62406 23034 51300 291201 551917 7.24 8.61
548.47/68.90 c Finding binary XORs T: 0.02 s found: 1049
548.47/68.93 c Replacing 1097 vars Replaced 69619 lits Time: 0.03 s
554.08/69.63 c Finding binary XORs T: 0.01 s found: 245
554.08/69.65 c Replacing 245 vars Replaced 15883 lits Time: 0.02 s
558.86/70.26 c Following stats are for *FIRST FINISHED THREAD ONLY*
558.86/70.26 c num threads : 8
558.86/70.26 c restarts : 1285
558.86/70.26 c dynamic restarts : 1267
558.86/70.26 c static restarts : 18
558.86/70.26 c full restarts : 2
558.86/70.26 c total simplify time : 0.71
558.86/70.26 c learnts DL2 : 0
558.86/70.26 c learnts size 2 : 516000
558.86/70.26 c learnts size 1 : 7640 (7.95 % of vars)
558.86/70.26 c filedLit time : 4.56 (6.54 % time)
558.86/70.26 c v-elim SatELite : 65100 (67.75 % vars)
558.86/70.26 c SatELite time : 0.97 (1.39 % time)
558.86/70.26 c v-elim xor : 57 (0.06 % vars)
558.86/70.26 c xor elim time : 0.05 (0.07 % time)
558.86/70.26 c num binary xor trees : 4364
558.86/70.26 c binxor trees' crown : 11330 (2.60 leafs/tree)
558.86/70.26 c bin xor find time : 0.30
558.86/70.26 c OTF clause improved : 29630 (0.11 clauses/conflict)
558.86/70.26 c OTF impr. size diff : 31304 (1.06 lits/clause)
558.86/70.26 c OTF cl watch-shrink : 103311 (0.37 clauses/conflict)
558.86/70.26 c OTF cl watch-sh-lit : 275931 (2.67 lits/clause)
558.86/70.26 c tried to recurMin cls : 90497 (32.39 % of conflicts)
558.86/70.26 c updated cache : 0 (0.00 lits/tried recurMin)
558.86/70.26 c unit cls recevied : 153 (2.00 % of units)
558.86/70.26 c unit cls sent : 3563 (46.64 % of units)
558.86/70.26 c bin cls recevied : 253663
558.86/70.26 c bin cls sent : 91425
558.86/70.26 c clauses over max glue : 0 (0.00 % of all clauses)
558.86/70.26 c conflicts : 279379 (4005.41 / sec)
558.86/70.26 c decisions : 3263287 (1.94 % random)
558.86/70.26 c bogo-props : 2479122559 (35542773.97 / sec)
558.86/70.26 c conflict literals : 4090261 (23.85 % deleted)
558.86/70.26 c Memory used : 1515.57 MB
558.86/70.26 c single-thread CPU time : 69.75 s
558.86/70.26 c all-threads sum CPU time : 557.00 s
558.86/70.26 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3393916-1306072115/watcher-3393916-1306072115 -o /tmp/evaluation-result-3393916-1306072115/solver-3393916-1306072115 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393916-1306072115.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: 6.30 4.59 5.14 2/491 9630
/proc/meminfo: memFree=14117320/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=92144 CPUtime=0.01 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) R 9628 9630 9409 0 -1 4202496 413 0 0 0 1 0 0 0 21 0 8 0 797442172 94355456 353 33554432000 4194304 4580107 140733453095920 18446744073709551615 47064502187952 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 23036 353 299 95 0 18018 0
[pid=9630/tid=9631] ppid=9628 vsize=92144 CPUtime=0.01 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 4 0 0 0 1 0 0 0 22 0 8 0 797442172 94355456 360 33554432000 4194304 4580107 140733453095920 18446744073709551615 47064502187545 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=92144 CPUtime=0 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 797442172 94355456 360 33554432000 4194304 4580107 140733453095920 18446744073709551615 47064502187545 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=92144 CPUtime=0 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 797442172 94355456 360 33554432000 4194304 4580107 140733453095920 18446744073709551615 47064502187536 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=92144 CPUtime=0 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 797442172 94355456 360 33554432000 4194304 4580107 140733453095920 18446744073709551615 47064502187954 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=92144 CPUtime=0 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 797442172 94355456 360 33554432000 4194304 4580107 140733453095920 18446744073709551615 47064502187545 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=92144 CPUtime=0.01 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 797442172 94355456 360 33554432000 4194304 4580107 140733453095920 18446744073709551615 47064502187539 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=92144 CPUtime=0 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 797442172 94355456 360 33554432000 4194304 4580107 140733453095920 18446744073709551615 47064502187954 0 0 4096 2 0 0 0 -1 6 0 0 0
[startup+0.0534171 s]
/proc/loadavg: 6.30 4.59 5.14 2/491 9630
/proc/meminfo: memFree=14117320/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=558260 CPUtime=0.25 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) D 9628 9630 9409 0 -1 4202496 6806 0 0 0 21 4 0 0 17 0 8 0 797442172 571658240 6141 33554432000 4194304 4580107 140733453095920 18446744073709551615 4311330 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 139580 6168 336 95 0 134562 0
[pid=9630/tid=9631] ppid=9628 vsize=558320 CPUtime=0.03 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 706 0 0 0 3 0 0 0 17 0 8 0 797442172 571719680 6183 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367243872 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=558320 CPUtime=0.01 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) S 9628 9630 9409 0 -1 4202560 626 0 0 0 1 0 0 0 17 0 8 0 797442172 571719680 6187 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=558320 CPUtime=0.02 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) S 9628 9630 9409 0 -1 4202560 946 0 0 0 2 0 0 0 17 0 8 0 797442172 571719680 6214 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=558320 CPUtime=0.02 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) S 9628 9630 9409 0 -1 4202560 781 0 0 0 2 0 0 0 17 0 8 0 797442172 571719680 6222 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 7 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=558836 CPUtime=0.02 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 864 0 0 0 2 0 0 0 17 0 8 0 797442172 572248064 6327 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=558576 CPUtime=0.03 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 888 0 0 0 3 0 0 0 17 0 8 0 797442172 571981824 6274 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=558576 CPUtime=0 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 801 0 0 0 0 0 0 0 17 0 8 0 797442172 571981824 6295 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 558260
[startup+0.102511 s]
/proc/loadavg: 6.30 4.59 5.14 2/491 9630
/proc/meminfo: memFree=14117320/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=575528 CPUtime=0.51 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) S 9628 9630 9409 0 -1 4202496 16388 0 0 0 36 15 0 0 17 0 8 0 797442172 589340672 14376 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651822 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 143882 14389 337 95 0 138864 0
[pid=9630/tid=9631] ppid=9628 vsize=575528 CPUtime=0.05 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 2042 0 0 0 4 1 0 0 17 0 8 0 797442172 589340672 14410 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=575528 CPUtime=0.06 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) S 9628 9630 9409 0 -1 4202560 1922 0 0 0 4 2 0 0 17 0 8 0 797442172 589340672 14411 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=575528 CPUtime=0.06 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 2156 0 0 0 4 2 0 0 17 0 8 0 797442172 589340672 14428 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=577580 CPUtime=0.05 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) S 9628 9630 9409 0 -1 4202560 1912 0 0 0 4 1 0 0 17 0 8 0 797442172 591441920 14488 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 7 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=577580 CPUtime=0.05 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 1974 0 0 0 4 1 0 0 17 0 8 0 797442172 591441920 14496 33554432000 4194304 4580107 140733453095920 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=577580 CPUtime=0.05 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 2034 0 0 0 4 1 0 0 17 0 8 0 797442172 591441920 14615 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=577580 CPUtime=0.03 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 1877 0 0 0 2 1 0 0 17 0 8 0 797442172 591441920 14662 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 575528
[startup+0.30241 s]
/proc/loadavg: 6.30 4.59 5.14 2/491 9630
/proc/meminfo: memFree=14117320/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=709288 CPUtime=1.52 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) R 9628 9630 9409 0 -1 4202496 62167 0 0 0 99 53 0 0 17 0 8 0 797442172 726310912 52543 33554432000 4194304 4580107 140733453095920 18446744073709551615 4231546 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 177322 52604 337 95 0 172304 0
[pid=9630/tid=9631] ppid=9628 vsize=709288 CPUtime=0.18 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 7662 0 0 0 12 6 0 0 17 0 8 0 797442172 726310912 52634 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=709288 CPUtime=0.18 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 6920 0 0 0 12 6 0 0 17 0 8 0 797442172 726310912 52664 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=709288 CPUtime=0.19 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 7558 0 0 0 12 7 0 0 17 0 8 0 797442172 726310912 52722 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=709288 CPUtime=0.19 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) S 9628 9630 9409 0 -1 4202560 7763 0 0 0 13 6 0 0 17 0 8 0 797442172 726310912 52760 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 7 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=709288 CPUtime=0.18 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) S 9628 9630 9409 0 -1 4202560 7588 0 0 0 12 6 0 0 17 0 8 0 797442172 726310912 52906 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651822 0 0 4096 2 18446604446661123072 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=709288 CPUtime=0.17 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 8000 0 0 0 11 6 0 0 17 0 8 0 797442172 726310912 52923 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=709288 CPUtime=0.17 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 7284 0 0 0 11 6 0 0 17 0 8 0 797442172 726310912 52927 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367244215 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 709288
[startup+1.08894 s]
/proc/loadavg: 6.30 4.59 5.14 2/491 9630
/proc/meminfo: memFree=14117320/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=768620 CPUtime=7.51 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) R 9628 9630 9409 0 -1 4202496 100468 0 0 0 674 77 0 0 18 0 8 0 797442172 787066880 83144 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293248 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 192155 83144 360 95 0 187137 0
[pid=9630/tid=9631] ppid=9628 vsize=768620 CPUtime=0.92 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 12450 0 0 0 83 9 0 0 17 0 8 0 797442172 787066880 83144 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651871 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=768620 CPUtime=0.94 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 12498 0 0 0 85 9 0 0 17 0 8 0 797442172 787066880 83144 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=768620 CPUtime=0.94 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 12336 0 0 0 84 10 0 0 18 0 8 0 797442172 787066880 83144 33554432000 4194304 4580107 140733453095920 18446744073709551615 4292997 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=768620 CPUtime=0.93 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 12607 0 0 0 83 10 0 0 18 0 8 0 797442172 787066880 83144 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367651822 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=768620 CPUtime=0.92 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 12083 0 0 0 83 9 0 0 17 0 8 0 797442172 787066880 83144 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=768620 CPUtime=0.92 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 12946 0 0 0 83 9 0 0 18 0 8 0 797442172 787066880 83144 33554432000 4194304 4580107 140733453095920 18446744073709551615 4235787 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=768620 CPUtime=0.91 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 12459 0 0 0 82 9 0 0 18 0 8 0 797442172 787066880 83145 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 768620
[startup+1.50115 s]
/proc/loadavg: 6.44 4.64 5.16 9/499 9639
/proc/meminfo: memFree=13783580/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=768620 CPUtime=10.87 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) R 9628 9630 9409 0 -1 4202496 100914 0 0 0 1010 77 0 0 18 0 8 0 797442172 787066880 83590 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293108 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 192155 83590 360 95 0 187137 0
[pid=9630/tid=9631] ppid=9628 vsize=768620 CPUtime=1.35 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 12483 0 0 0 126 9 0 0 18 0 8 0 797442172 787066880 83592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=768620 CPUtime=1.37 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 12543 0 0 0 128 9 0 0 18 0 8 0 797442172 787066880 83592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=768620 CPUtime=1.37 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 12372 0 0 0 127 10 0 0 18 0 8 0 797442172 787066880 83592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=768620 CPUtime=1.34 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 12637 0 0 0 124 10 0 0 18 0 8 0 797442172 787066880 83592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293048 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=768620 CPUtime=1.35 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 12120 0 0 0 126 9 0 0 18 0 8 0 797442172 787066880 83592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=768620 CPUtime=1.35 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 12973 0 0 0 126 9 0 0 18 0 8 0 797442172 787066880 83592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=768620 CPUtime=1.34 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 12677 0 0 0 125 9 0 0 18 0 8 0 797442172 787066880 83592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.87
Current children cumulated vsize (KiB) 768620
[startup+3.10085 s]
/proc/loadavg: 6.44 4.64 5.16 9/499 9639
/proc/meminfo: memFree=13781596/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=795724 CPUtime=23.52 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) R 9628 9630 9409 0 -1 4202496 128153 0 0 0 2269 83 0 0 18 0 8 0 797442172 814821376 108987 33554432000 4194304 4580107 140733453095920 18446744073709551615 251367244153 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 198931 109016 375 95 0 193913 0
[pid=9630/tid=9631] ppid=9628 vsize=795724 CPUtime=2.93 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 16469 0 0 0 283 10 0 0 18 0 8 0 797442172 814821376 109029 33554432000 4194304 4580107 140733453095920 18446744073709551615 4421446 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=795724 CPUtime=2.93 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 16436 0 0 0 284 9 0 0 18 0 8 0 797442172 814821376 109043 33554432000 4194304 4580107 140733453095920 18446744073709551615 4490617 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=795724 CPUtime=2.95 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 15153 0 0 0 285 10 0 0 18 0 8 0 797442172 814821376 109060 33554432000 4194304 4580107 140733453095920 18446744073709551615 4292086 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=795724 CPUtime=2.89 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 16364 0 0 0 279 10 0 0 18 0 8 0 797442172 814821376 109064 33554432000 4194304 4580107 140733453095920 18446744073709551615 4292149 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=795724 CPUtime=2.93 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 15710 0 0 0 283 10 0 0 18 0 8 0 797442172 814821376 109066 33554432000 4194304 4580107 140733453095920 18446744073709551615 4291723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=795724 CPUtime=2.92 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 15585 0 0 0 283 9 0 0 18 0 8 0 797442172 814821376 109068 33554432000 4194304 4580107 140733453095920 18446744073709551615 4416453 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=795724 CPUtime=2.91 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 13881 0 0 0 282 9 0 0 18 0 8 0 797442172 814821376 109068 33554432000 4194304 4580107 140733453095920 18446744073709551615 4301509 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.52
Current children cumulated vsize (KiB) 795724
[startup+6.30126 s]
/proc/loadavg: 6.44 4.64 5.16 9/499 9639
/proc/meminfo: memFree=13563540/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=881828 CPUtime=48.8 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) R 9628 9630 9409 0 -1 4202496 167095 0 0 0 4771 109 0 0 23 0 8 0 797442172 902991872 138592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 220457 138592 379 95 0 215439 0
[pid=9630/tid=9631] ppid=9628 vsize=881828 CPUtime=6.09 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 22453 0 0 0 596 13 0 0 24 0 8 0 797442172 902991872 138592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=881828 CPUtime=6.09 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 24092 0 0 0 595 14 0 0 23 0 8 0 797442172 902991872 138592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=881828 CPUtime=6.12 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 20317 0 0 0 597 15 0 0 24 0 8 0 797442172 902991872 138592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=881828 CPUtime=6.01 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 20581 0 0 0 588 13 0 0 23 0 8 0 797442172 902991872 138592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=881828 CPUtime=6.09 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 22589 0 0 0 594 15 0 0 23 0 8 0 797442172 902991872 138592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=881828 CPUtime=6.09 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 19402 0 0 0 596 13 0 0 24 0 8 0 797442172 902991872 138592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=881828 CPUtime=6.1 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 14369 0 0 0 601 9 0 0 24 0 8 0 797442172 902991872 138592 33554432000 4194304 4580107 140733453095920 18446744073709551615 4306255 0 0 4096 2 0 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/loadavg: 7.41 5.14 5.30 9/499 9640
/proc/meminfo: memFree=13024432/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=1508520 CPUtime=410.37 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) R 9628 9630 9409 0 -1 4202496 871655 0 0 0 40806 231 0 0 25 0 8 0 797442172 1544724480 273211 33554432000 4194304 4580107 140733453095920 18446744073709551615 4489207 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 377130 273211 380 95 0 372112 0
[pid=9630/tid=9631] ppid=9628 vsize=1508520 CPUtime=51.37 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 111313 0 0 0 5105 32 0 0 25 0 8 0 797442172 1544724480 273211 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293728 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=1508520 CPUtime=51.39 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 97342 0 0 0 5108 31 0 0 25 0 8 0 797442172 1544724480 273211 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=1508520 CPUtime=51.39 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 110269 0 0 0 5109 30 0 0 25 0 8 0 797442172 1544724480 273211 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=1508520 CPUtime=50.58 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 127728 0 0 0 5029 29 0 0 25 0 8 0 797442172 1544724480 273211 33554432000 4194304 4580107 140733453095920 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=1508520 CPUtime=51.39 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 93032 0 0 0 5111 28 0 0 25 0 8 0 797442172 1544724480 273211 33554432000 4194304 4580107 140733453095920 18446744073709551615 4281665 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=1508520 CPUtime=51.39 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 125734 0 0 0 5110 29 0 0 25 0 8 0 797442172 1544724480 273211 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=1508520 CPUtime=51.4 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 45148 0 0 0 5124 16 0 0 25 0 8 0 797442172 1544724480 273211 33554432000 4194304 4580107 140733453095920 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 410.37
Current children cumulated vsize (KiB) 1508520
[startup+58.0007 s]
/proc/loadavg: 7.57 5.25 5.33 9/499 9640
/proc/meminfo: memFree=13012148/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=1509824 CPUtime=461.46 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) R 9628 9630 9409 0 -1 4202496 881002 0 0 0 45912 234 0 0 25 0 8 0 797442172 1546059776 276512 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 377456 276512 380 95 0 372438 0
[pid=9630/tid=9631] ppid=9628 vsize=1509824 CPUtime=57.76 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 112557 0 0 0 5744 32 0 0 25 0 8 0 797442172 1546059776 276512 33554432000 4194304 4580107 140733453095920 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=1509824 CPUtime=57.79 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 98602 0 0 0 5747 32 0 0 25 0 8 0 797442172 1546059776 276512 33554432000 4194304 4580107 140733453095920 18446744073709551615 4415763 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=1509824 CPUtime=57.79 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 111148 0 0 0 5749 30 0 0 25 0 8 0 797442172 1546059776 276512 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=1509824 CPUtime=56.87 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 127741 0 0 0 5658 29 0 0 25 0 8 0 797442172 1546059776 276512 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=1509824 CPUtime=57.78 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 96124 0 0 0 5750 28 0 0 25 0 8 0 797442172 1546059776 276512 33554432000 4194304 4580107 140733453095920 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=1509824 CPUtime=57.78 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 126882 0 0 0 5749 29 0 0 25 0 8 0 797442172 1546059776 276512 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=1509824 CPUtime=57.79 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 45524 0 0 0 5763 16 0 0 25 0 8 0 797442172 1546059776 276512 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 461.46
Current children cumulated vsize (KiB) 1509824
[startup+64.4005 s]
/proc/loadavg: 7.61 5.30 5.35 9/499 9640
/proc/meminfo: memFree=12986352/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=1521980 CPUtime=512.54 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) R 9628 9630 9409 0 -1 4202496 893094 0 0 0 51018 236 0 0 25 0 8 0 797442172 1558507520 282984 33554432000 4194304 4580107 140733453095920 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 380495 282984 380 95 0 375477 0
[pid=9630/tid=9631] ppid=9628 vsize=1521980 CPUtime=64.16 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 114910 0 0 0 6383 33 0 0 25 0 8 0 797442172 1558507520 282984 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=1521980 CPUtime=64.19 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 99842 0 0 0 6387 32 0 0 25 0 8 0 797442172 1558507520 282984 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=1521980 CPUtime=64.19 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 112553 0 0 0 6388 31 0 0 25 0 8 0 797442172 1558507520 282984 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294016 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=1521980 CPUtime=63.16 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 128803 0 0 0 6287 29 0 0 25 0 8 0 797442172 1558507520 282984 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=1521980 CPUtime=64.19 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 97383 0 0 0 6390 29 0 0 25 0 8 0 797442172 1558507520 282984 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=1521980 CPUtime=64.18 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 128163 0 0 0 6389 29 0 0 25 0 8 0 797442172 1558507520 282984 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=1521980 CPUtime=64.19 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 46416 0 0 0 6403 16 0 0 25 0 8 0 797442172 1558507520 282984 33554432000 4194304 4580107 140733453095920 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 512.54
Current children cumulated vsize (KiB) 1521980
[startup+67.6189 s]
/proc/loadavg: 7.64 5.34 5.36 9/499 9640
/proc/meminfo: memFree=12973456/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=1563720 CPUtime=538.24 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) R 9628 9630 9409 0 -1 4202496 899294 0 0 0 53586 238 0 0 25 0 8 0 797442172 1601249280 286222 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 390930 286222 382 95 0 385912 0
[pid=9630/tid=9631] ppid=9628 vsize=1563720 CPUtime=67.38 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 115970 0 0 0 6705 33 0 0 25 0 8 0 797442172 1601249280 286222 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=1563720 CPUtime=67.4 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 100777 0 0 0 6708 32 0 0 25 0 8 0 797442172 1601249280 286222 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=1563720 CPUtime=67.41 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 112854 0 0 0 6710 31 0 0 25 0 8 0 797442172 1601249280 286222 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=1563720 CPUtime=66.32 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 129101 0 0 0 6603 29 0 0 25 0 8 0 797442172 1601249280 286222 33554432000 4194304 4580107 140733453095920 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=1563720 CPUtime=67.4 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 97709 0 0 0 6711 29 0 0 25 0 8 0 797442172 1601249280 286222 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=1563720 CPUtime=67.41 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 130948 0 0 0 6711 30 0 0 25 0 8 0 797442172 1601249280 286222 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=1563720 CPUtime=67.41 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 46555 0 0 0 6725 16 0 0 25 0 8 0 797442172 1601249280 286222 33554432000 4194304 4580107 140733453095920 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 538.24
Current children cumulated vsize (KiB) 1563720
[startup+69.2006 s]
/proc/loadavg: 7.64 5.34 5.36 9/499 9640
/proc/meminfo: memFree=12971224/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=1551968 CPUtime=550.87 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) R 9628 9630 9409 0 -1 4202496 902109 0 0 0 54848 239 0 0 25 0 8 0 797442172 1589215232 286208 33554432000 4194304 4580107 140733453095920 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 387992 286208 381 95 0 382974 0
[pid=9630/tid=9631] ppid=9628 vsize=1551968 CPUtime=68.96 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 116119 0 0 0 6863 33 0 0 25 0 8 0 797442172 1589215232 286208 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=1551968 CPUtime=68.99 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 100924 0 0 0 6866 33 0 0 25 0 8 0 797442172 1589215232 286208 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=1551968 CPUtime=68.99 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 113030 0 0 0 6868 31 0 0 25 0 8 0 797442172 1589215232 286208 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=1551968 CPUtime=67.89 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 130086 0 0 0 6759 30 0 0 25 0 8 0 797442172 1589215232 286208 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=1551968 CPUtime=68.99 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 97907 0 0 0 6870 29 0 0 25 0 8 0 797442172 1589215232 286208 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=1551968 CPUtime=68.99 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 131222 0 0 0 6869 30 0 0 25 0 8 0 797442172 1589215232 286208 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=1551968 CPUtime=68.99 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 46633 0 0 0 6883 16 0 0 25 0 8 0 797442172 1589215232 286208 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 550.87
Current children cumulated vsize (KiB) 1551968
[startup+70.0004 s]
/proc/loadavg: 7.64 5.34 5.36 9/499 9640
/proc/meminfo: memFree=12968368/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=1551968 CPUtime=557.26 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) R 9628 9630 9409 0 -1 4202496 903541 0 0 0 55486 240 0 0 25 0 8 0 797442172 1589215232 287637 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 387992 287637 380 95 0 382974 0
[pid=9630/tid=9631] ppid=9628 vsize=1551968 CPUtime=69.76 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 116219 0 0 0 6943 33 0 0 25 0 8 0 797442172 1589215232 287637 33554432000 4194304 4580107 140733453095920 18446744073709551615 4321724 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=1551968 CPUtime=69.79 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 100993 0 0 0 6946 33 0 0 25 0 8 0 797442172 1589215232 287637 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=1551968 CPUtime=69.79 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 113121 0 0 0 6948 31 0 0 25 0 8 0 797442172 1589215232 287637 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=1551968 CPUtime=68.67 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 130191 0 0 0 6837 30 0 0 25 0 8 0 797442172 1589215232 287637 33554432000 4194304 4580107 140733453095920 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=1551968 CPUtime=69.79 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 98744 0 0 0 6950 29 0 0 25 0 8 0 797442172 1589215232 287637 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=1551968 CPUtime=69.79 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 131329 0 0 0 6949 30 0 0 25 0 8 0 797442172 1589215232 287637 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=1551968 CPUtime=69.79 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 46659 0 0 0 6963 16 0 0 25 0 8 0 797442172 1589215232 287637 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 557.26
Current children cumulated vsize (KiB) 1551968
[startup+70.2004 s]
/proc/loadavg: 7.64 5.34 5.36 9/499 9640
/proc/meminfo: memFree=12968368/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=1551944 CPUtime=558.86 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) R 9628 9630 9409 0 -1 4202496 904576 0 0 0 55646 240 0 0 25 0 8 0 797442172 1589190656 287337 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 387986 287337 380 95 0 382968 0
[pid=9630/tid=9631] ppid=9628 vsize=1551944 CPUtime=69.96 cores=0-7
/proc/9630/task/9631/stat : 9631 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 116239 0 0 0 6963 33 0 0 25 0 8 0 797442172 1589190656 287337 33554432000 4194304 4580107 140733453095920 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9630/tid=9632] ppid=9628 vsize=1551944 CPUtime=69.99 cores=0-7
/proc/9630/task/9632/stat : 9632 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 101014 0 0 0 6966 33 0 0 25 0 8 0 797442172 1589190656 287337 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=1551944 CPUtime=69.99 cores=0-7
/proc/9630/task/9633/stat : 9633 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 114000 0 0 0 6968 31 0 0 25 0 8 0 797442172 1589190656 287337 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=1551944 CPUtime=68.87 cores=0-7
/proc/9630/task/9634/stat : 9634 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 130214 0 0 0 6857 30 0 0 25 0 8 0 797442172 1589190656 287337 33554432000 4194304 4580107 140733453095920 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=1551944 CPUtime=69.99 cores=0-7
/proc/9630/task/9635/stat : 9635 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 98763 0 0 0 6970 29 0 0 25 0 8 0 797442172 1589190656 287337 33554432000 4194304 4580107 140733453095920 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=1551944 CPUtime=69.99 cores=0-7
/proc/9630/task/9636/stat : 9636 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 131363 0 0 0 6969 30 0 0 25 0 8 0 797442172 1589190656 287337 33554432000 4194304 4580107 140733453095920 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=1551944 CPUtime=69.99 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4202560 46667 0 0 0 6983 16 0 0 25 0 8 0 797442172 1589190656 287337 33554432000 4194304 4580107 140733453095920 18446744073709551615 4319090 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 558.86
Current children cumulated vsize (KiB) 1551944
[startup+70.3004 s]
/proc/loadavg: 7.64 5.34 5.36 9/499 9640
/proc/meminfo: memFree=12968368/32950928 swapFree=38710952/67111528
[pid=9630] ppid=9628 vsize=0 CPUtime=559.44 cores=0-7
/proc/9630/stat : 9630 (strangenight2-m) Z 9628 9630 9409 0 -1 4203548 904646 0 0 0 55701 243 0 0 25 0 2 0 797442172 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9630/statm: 0 0 0 0 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=0 CPUtime=70.09 cores=0-7
/proc/9630/task/9637/stat : 9637 (strangenight2-m) R 9628 9630 9409 0 -1 4203588 46668 0 0 0 6990 19 0 0 25 0 2 0 797442172 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 559.44
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 70.3182
CPU time (s): 559.465
CPU user time (s): 557.011
CPU system time (s): 2.45363
CPU usage (%): 795.619
Max. virtual memory (cumulated for all children) (KiB): 1563880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 557.011
system time used= 2.45363
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 904646
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= 112255
involuntary context switches= 2487
runsolver used 0.344947 second user time and 0.823874 second system time
The end
Begin job on node113 at 2011-05-22 15:48:35
IDJOB=3393916
IDBENCH=69599
IDSOLVER=1878
FILE ID=node113/3393916-1306072115
RUNJOBID= node113-1306069997-9423
PBS_JOBID= 13387890
Free space on /tmp= 73312 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c6bidw_i.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393916-1306072115/watcher-3393916-1306072115 -o /tmp/evaluation-result-3393916-1306072115/solver-3393916-1306072115 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393916-1306072115.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8aeb1eb6b7bf22d54183762fb5b6410c
RANDOM SEED=1707948093
node113.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.846
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.69
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.846
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.76
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.846
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.74
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.846
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.75
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.846
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.74
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.846
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.846
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.846
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 14117600 kB
Buffers: 330540 kB
Cached: 8765956 kB
SwapCached: 93732 kB
Active: 8061688 kB
Inactive: 10432412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 14117600 kB
SwapTotal: 67111528 kB
SwapFree: 38710952 kB
Dirty: 10128 kB
Writeback: 0 kB
AnonPages: 9315864 kB
Mapped: 25404 kB
Slab: 151932 kB
PageTables: 116424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 154763116 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= 73304 MiB
End job on node113 at 2011-05-22 15:49:45