0.00/0.00 c Outputting solution to console
0.00/0.00 c Using 8 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3394304-1306094119.cnf'
0.00/0.02 c -- header says num vars: 82007
0.00/0.02 c -- header says num clauses: 241364
8.53/0.34 c -- clauses added: 0 learnts, 241364 normals, 0 xors
8.53/0.34 c -- vars added 82007
11.05/1.57 c Parsing time: 0.10 s
11.05/1.57 c N st 0 0 82007 80454 160908 0 563178 0 no data no data
11.05/1.57 c asymm cl-useful: 0/32711/80453 lits-rem:0 time: 0.55
29.41/3.87 c Flit: 43 Blit: 6060 bXBeca: 0 bXProp: 5431 Bins: 0 BRemL: 0 BRemN: 0 P: 43.7M T: 2.92
29.41/3.88 c Cleaning up after failed var search: 0.01 s
30.06/3.92 c Replacing 5431 vars Replaced 103374 lits Time: 0.03 s
30.06/3.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
30.06/3.98 c bin-w-bin subsume rem 1702 bins time: 0.02 s
30.78/4.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
31.58/4.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70441 time: 0.14 s
32.37/4.30 c Removed useless bin: 1198 fixed: 0 props: 14.52M time: 0.13 s
50.71/6.56 c lits-rem: 53 cl-subs: 1208 v-elim: 23480 v-fix: 0 time: 2.21 s
50.71/6.58 c Finding binary XORs T: 0.02 s found: 0
51.50/6.61 c Finding non-binary XORs: 0.01 s (found: 312, avg size: 3.3)
51.50/6.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 104 locsubst: 15 time: 0.01
51.50/6.61 c calculated reachability. Time: 0.00
51.50/6.62 c Calc default polars - time: 0.01 s pos: 4133 undec: 35474 neg: 42400
51.50/6.62 c =========================================================================================
51.50/6.62 c types(t): F = full restart, N = normal restart
51.50/6.62 c types(t): S = simplification begin/end, E = solution found
51.50/6.62 c restart types(rt): st = static, dy = dynamic
51.50/6.62 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
51.50/6.62 c B st 0 0 46857 49464 103452 0 386833 0 no data no data
66.66/8.59 c N dy 13 4870 46855 49464 104188 4038 386832 92094 5.74 6.05
79.45/10.16 c N dy 34 9036 46842 49464 106960 7768 386797 156023 6.62 7.04
92.21/11.75 c N dy 53 13379 46786 49464 110688 11761 386797 254414 7.35 19.80
95.41/12.18 c Finding binary XORs T: 0.02 s found: 394
103.39/13.16 c N dy 65 17625 46769 49384 110769 15690 386084 338027 7.53 18.43
113.77/14.41 c N dy 81 21712 46715 49384 112369 10588 386083 108369 7.90 10.00
120.96/15.33 c F st 89 25003 46628 49384 114306 13734 385889 156261 7.68 no data
120.96/15.37 c Replacing 401 vars Replaced 13212 lits Time: 0.03 s
126.54/16.05 c N st 92 26195 46226 49178 113265 14526 384214 179509 7.68 no data
132.94/16.89 c S st 95 30001 46223 49178 113355 18168 384214 338042 7.68 no data
136.12/17.27 c S st 95 30504 46144 49178 114753 18509 384214 343502 7.68 no data
136.12/17.29 c x-sub: 5 x-cut: 0 vfix: 0 v-elim: 52 locsubst: 0 time: 0.02
197.57/24.98 c Flit: 189 Blit: 236 bXBeca: 0 bXProp: 2314 Bins: 260321 BRemL: 68244 BRemN: 198 P: 75.7M T: 7.47
198.37/25.00 c Cleaning up after failed var search: 0.02 s
198.37/25.05 c Replacing 2314 vars Replaced 253624 lits Time: 0.05 s
198.37/25.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
199.17/25.13 c bin-w-bin subsume rem 57705 bins time: 0.06 s
200.77/25.32 c subs with bin: 113 lits-rem: 546 v-fix: 0 time: 0.19 s
201.57/25.45 c Subs w/ non-existent bins: 10 l-rem: 117 v-fix: 0 done: 43344 time: 0.12 s
202.37/25.51 c Removed useless bin: 604 fixed: 0 props: 2.35M time: 0.06 s
211.95/26.77 c lits-rem: 2744 cl-subs: 11176 v-elim: 22343 v-fix: 0 time: 1.23 s
211.95/26.79 c subs with bin: 337 lits-rem: 653 v-fix: 0 time: 0.01 s
212.87/26.86 c lits-rem: 135 cl-subs: 394 v-elim: 0 v-fix: 0 time: 0.03 s
212.87/26.86 c Added XOR as norm:16
217.53/27.44 c asymm cl-useful: 34/30440/63151 lits-rem:102 time: 0.58
217.53/27.46 c calculated reachability. Time: 0.02
217.53/27.47 c N dy 95 30504 21001 63117 74266 2986 313871 98032 7.68 no data
218.32/27.56 c Finding binary XORs T: 0.10 s found: 161
223.90/28.28 c N dy 102 34779 20997 63117 74587 6776 313871 144389 7.32 7.89
231.22/29.16 c N dy 111 40457 20891 63117 77395 11928 313871 204711 7.03 7.50
234.27/29.56 c Finding binary XORs T: 0.04 s found: 200
234.27/29.58 c Replacing 361 vars Replaced 14178 lits Time: 0.02 s
237.47/29.97 c N dy 125 45548 20414 62806 131635 9610 310193 266559 6.91 7.28
238.26/30.00 c S st 127 45757 20414 62806 131642 9806 310193 269728 6.92 no data
239.19/30.19 c S st 127 46259 20404 62806 131722 10200 310193 272165 6.92 no data
239.19/30.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 15 locsubst: 0 time: 0.01
258.18/32.58 c Flit: 98 Blit: 47 bXBeca: 0 bXProp: 186 Bins: 72105 BRemL: 59712 BRemN: 362 P: 21.1M T: 2.33
258.18/32.58 c Cleaning up after failed var search: 0.00 s
258.98/32.62 c Replacing 186 vars Replaced 19998 lits Time: 0.03 s
258.98/32.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
258.98/32.67 c bin-w-bin subsume rem 30299 bins time: 0.02 s
264.58/33.32 c subs with bin: 1819 lits-rem: 2564 v-fix: 0 time: 0.65 s
264.58/33.37 c Subs w/ non-existent bins: 228 l-rem: 549 v-fix: 0 done: 20044 time: 0.05 s
264.58/33.39 c Removed useless bin: 396 fixed: 0 props: 0.61M time: 0.02 s
271.76/34.24 c lits-rem: 256 cl-subs: 1554 v-elim: 1264 v-fix: 0 time: 0.82 s
271.76/34.27 c subs with bin: 316 lits-rem: 1048 v-fix: 0 time: 0.02 s
272.56/34.33 c lits-rem: 449 cl-subs: 667 v-elim: 0 v-fix: 0 time: 0.05 s
272.56/34.33 c Added XOR as norm:1
272.56/34.36 c vivif2 -- cl tried 60666 cl shrink 1305 lits rem 1747 time: 0.03
272.56/34.38 c vivif2 -- cl tried 8233 cl shrink 1366 lits rem 3117 time: 0.01
282.13/35.59 c asymm cl-useful: 202/43770/60371 lits-rem:271 time: 1.19
283.06/35.62 c calculated reachability. Time: 0.01
283.06/35.63 c N dy 127 46259 18780 60369 93775 8157 295057 184601 6.92 no data
283.06/35.68 c Finding binary XORs T: 0.05 s found: 26
288.50/36.30 c N dy 141 50448 18750 60369 149145 12046 295057 342825 6.85 7.26
290.91/36.67 c Finding binary XORs T: 0.04 s found: 141
294.09/37.00 c N dy 155 54481 18710 60280 146424 15863 293890 389431 6.81 8.76
298.89/37.61 c Finding binary XORs T: 0.04 s found: 23
298.89/37.64 c Replacing 190 vars Replaced 12386 lits Time: 0.03 s
299.69/37.70 c N dy 170 58587 18506 60224 178751 19542 293353 504380 6.78 7.21
305.27/38.40 c N dy 186 62631 18480 60224 183838 23331 293352 560804 6.75 7.16
311.65/39.23 c N dy 205 67744 18473 60224 183888 15481 293352 411830 6.72 7.07
313.25/39.49 c S st 213 69388 18424 60224 190580 16957 293352 445322 6.70 5.65
314.85/39.67 c S st 213 69889 18417 60224 190627 17394 293352 448253 6.70 no data
314.85/39.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
333.21/41.90 c Flit: 74 Blit: 23 bXBeca: 0 bXProp: 215 Bins: 34507 BRemL: 81394 BRemN: 113 P: 19.4M T: 2.17
333.21/41.94 c Replacing 215 vars Replaced 15527 lits Time: 0.02 s
333.21/41.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
333.21/41.98 c bin-w-bin subsume rem 33062 bins time: 0.02 s
337.99/42.59 c subs with bin: 423 lits-rem: 387 v-fix: 0 time: 0.59 s
338.79/42.64 c Subs w/ non-existent bins: 46 l-rem: 7 v-fix: 0 done: 18103 time: 0.05 s
338.79/42.66 c Removed useless bin: 227 fixed: 0 props: 0.48M time: 0.02 s
345.33/43.45 c lits-rem: 80 cl-subs: 1356 v-elim: 682 v-fix: 0 time: 0.76 s
345.33/43.48 c subs with bin: 496 lits-rem: 1103 v-fix: 0 time: 0.02 s
345.98/43.56 c lits-rem: 556 cl-subs: 849 v-elim: 0 v-fix: 0 time: 0.07 s
345.98/43.56 c Added XOR as norm:0
345.98/43.60 c vivif2 -- cl tried 58521 cl shrink 392 lits rem 798 time: 0.03
346.78/43.61 c vivif2 -- cl tried 14328 cl shrink 1285 lits rem 3179 time: 0.01
349.98/44.01 c asymm cl-useful: 18/14688/58458 lits-rem:54 time: 0.39
349.98/44.03 c calculated reachability. Time: 0.01
349.98/44.03 c N dy 213 69889 17421 58440 88001 14302 287020 216846 6.70 no data
349.98/44.07 c Finding binary XORs T: 0.05 s found: 13
355.56/44.77 c N dy 231 74584 17411 58440 88074 18657 287020 264604 6.66 7.07
357.95/45.06 c Finding binary XORs T: 0.04 s found: 240
357.95/45.09 c Replacing 253 vars Replaced 14829 lits Time: 0.02 s
362.09/45.56 c N dy 255 79575 16981 58176 97729 22555 283026 345032 6.66 7.10
368.33/46.32 c N dy 284 84731 16946 58176 103630 27397 283026 430487 6.70 8.77
371.65/46.77 c F st 301 87502 16904 58176 107165 29990 283026 470795 6.71 5.92
374.71/47.14 c N st 306 90799 16862 58048 100881 17267 280479 262077 6.71 no data
380.44/47.82 c Finding binary XORs T: 0.04 s found: 105
381.88/48.01 c N dy 327 97143 16842 58023 100703 23177 280056 342625 6.71 7.23
389.22/48.96 c N dy 350 103351 16799 58023 100979 28923 280056 415607 6.68 9.50
391.47/49.23 c S st 360 104833 16795 58023 100993 30316 280056 435320 6.69 4.89
393.08/49.41 c S st 360 105336 16791 58023 101164 30779 280056 438917 6.69 no data
393.08/49.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
409.83/51.50 c Flit: 63 Blit: 17 bXBeca: 0 bXProp: 137 Bins: 20749 BRemL: 50195 BRemN: 206 P: 26.4M T: 2.03
409.83/51.54 c Replacing 242 vars Replaced 17457 lits Time: 0.03 s
409.83/51.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
409.83/51.57 c bin-w-bin subsume rem 3217 bins time: 0.01 s
411.43/51.76 c subs with bin: 258 lits-rem: 297 v-fix: 0 time: 0.18 s
411.43/51.79 c Subs w/ non-existent bins: 23 l-rem: 3 v-fix: 0 done: 16435 time: 0.04 s
412.24/51.81 c Removed useless bin: 153 fixed: 0 props: 0.37M time: 0.02 s
416.22/52.34 c lits-rem: 55 cl-subs: 964 v-elim: 419 v-fix: 0 time: 0.51 s
416.22/52.39 c subs with bin: 845 lits-rem: 2327 v-fix: 0 time: 0.02 s
417.81/52.54 c lits-rem: 2487 cl-subs: 1567 v-elim: 0 v-fix: 0 time: 0.13 s
417.81/52.54 c Added XOR as norm:0
417.81/52.57 c vivif2 -- cl tried 56628 cl shrink 379 lits rem 741 time: 0.03
418.61/52.60 c vivif2 -- cl tried 26814 cl shrink 3713 lits rem 6953 time: 0.03
423.53/53.26 c asymm cl-useful: 306/14812/56609 lits-rem:597 time: 0.64
423.53/53.28 c calculated reachability. Time: 0.01
423.53/53.28 c N dy 360 105336 16016 56562 60266 26807 275199 296108 6.69 no data
424.33/53.32 c Finding binary XORs T: 0.04 s found: 9
433.78/54.56 c N dy 385 112456 15859 56562 81744 33431 275199 433133 6.68 7.22
436.98/54.94 c Finding binary XORs T: 0.04 s found: 130
444.16/55.81 c N dy 426 119676 15763 56326 80780 21775 270394 260110 6.71 7.10
453.74/57.08 c N dy 474 127350 15707 56326 81004 29045 270394 373289 6.74 7.70
466.51/58.67 c N dy 537 135522 15656 56111 78265 35364 266000 515250 6.87 9.89
477.03/59.95 c Finding binary XORs T: 0.04 s found: 128
477.03/59.97 c Replacing 267 vars Replaced 12344 lits Time: 0.02 s
481.69/60.50 c N dy 607 144238 15250 55953 78250 22799 264049 267114 7.00 10.17
494.59/62.16 c N dy 678 153603 15193 55953 78610 31647 264049 516902 7.18 8.22
496.85/62.46 c Finding binary XORs T: 0.04 s found: 163
496.85/62.48 c Replacing 163 vars Replaced 8394 lits Time: 0.03 s
502.57/63.16 c S st 710 158004 14984 55683 79556 33947 258763 610104 7.28 no data
504.03/63.38 c S st 710 158504 14981 55683 79575 34408 258763 614325 7.28 no data
504.83/63.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
518.41/65.18 c Flit: 29 Blit: 8 bXBeca: 0 bXProp: 31 Bins: 9445 BRemL: 26514 BRemN: 115 P: 24.9M T: 1.76
519.21/65.21 c Replacing 31 vars Replaced 3389 lits Time: 0.03 s
519.21/65.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
519.21/65.24 c bin-w-bin subsume rem 4800 bins time: 0.01 s
520.13/65.34 c subs with bin: 206 lits-rem: 68 v-fix: 0 time: 0.08 s
520.13/65.37 c Subs w/ non-existent bins: 2 l-rem: 32 v-fix: 0 done: 14913 time: 0.03 s
520.13/65.39 c Removed useless bin: 86 fixed: 0 props: 0.35M time: 0.01 s
521.60/65.58 c lits-rem: 55 cl-subs: 1004 v-elim: 481 v-fix: 0 time: 0.19 s
525.60/66.04 c subs with bin: 988 lits-rem: 3036 v-fix: 0 time: 0.43 s
526.39/66.18 c lits-rem: 2626 cl-subs: 1962 v-elim: 0 v-fix: 0 time: 0.13 s
526.39/66.18 c Added XOR as norm:0
527.19/66.22 c vivif2 -- cl tried 54724 cl shrink 331 lits rem 568 time: 0.03
527.19/66.25 c vivif2 -- cl tried 30136 cl shrink 1783 lits rem 12686 time: 0.04
531.97/66.82 c asymm cl-useful: 286/21924/54697 lits-rem:919 time: 0.54
531.97/66.83 c calculated reachability. Time: 0.01
531.97/66.83 c N dy 710 158504 14432 54465 55006 30132 253992 479824 7.28 no data
531.97/66.88 c Finding binary XORs T: 0.04 s found: 13
544.75/68.47 c Finding binary XORs T: 0.04 s found: 138
545.55/68.50 c Replacing 151 vars Replaced 8184 lits Time: 0.02 s
548.74/68.98 c N dy 766 168702 13952 54042 59093 35070 245489 519162 7.31 17.73
566.83/72.91 c Following stats are for *FIRST FINISHED THREAD ONLY*
566.83/72.91 c num threads : 8
566.83/72.91 c restarts : 813
566.83/72.91 c dynamic restarts : 795
566.83/72.91 c static restarts : 18
566.83/72.91 c full restarts : 2
566.83/72.91 c total simplify time : 1.08
566.83/72.91 c learnts DL2 : 0
566.83/72.91 c learnts size 2 : 856071
566.83/72.91 c learnts size 1 : 9591 (11.70 % of vars)
566.83/72.91 c filedLit time : 13.24 (18.26 % time)
566.83/72.91 c v-elim SatELite : 47443 (57.85 % vars)
566.83/72.91 c SatELite time : 4.23 (5.84 % time)
566.83/72.91 c v-elim xor : 171 (0.21 % vars)
566.83/72.91 c xor elim time : 0.05 (0.07 % time)
566.83/72.91 c num binary xor trees : 6479
566.83/72.91 c binxor trees' crown : 10841 (1.67 leafs/tree)
566.83/72.91 c bin xor find time : 0.67
566.83/72.91 c OTF clause improved : 10845 (0.05 clauses/conflict)
566.83/72.91 c OTF impr. size diff : 12675 (1.17 lits/clause)
566.83/72.91 c OTF cl watch-shrink : 88423 (0.39 clauses/conflict)
566.83/72.91 c OTF cl watch-sh-lit : 204448 (2.31 lits/clause)
566.83/72.91 c tried to recurMin cls : 100306 (44.52 % of conflicts)
566.83/72.91 c updated cache : 0 (0.00 lits/tried recurMin)
566.83/72.91 c unit cls recevied : 1872 (19.52 % of units)
566.83/72.91 c unit cls sent : 487 (5.08 % of units)
566.83/72.91 c bin cls recevied : 355336
566.83/72.91 c bin cls sent : 34566
566.83/72.91 c clauses over max glue : 0 (0.00 % of all clauses)
566.83/72.91 c conflicts : 225304 (3108.76 / sec)
566.83/72.91 c decisions : 5663891 (1.25 % random)
566.83/72.91 c bogo-props : 1480936883 (20434048.77 / sec)
566.83/72.91 c conflict literals : 4937920 (16.77 % deleted)
566.83/72.91 c Memory used : 1942.20 MB
566.83/72.91 c single-thread CPU time : 72.47 s
566.83/72.91 c all-threads sum CPU time : 564.54 s
566.83/72.91 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-3394304-1306094119/watcher-3394304-1306094119 -o /tmp/evaluation-result-3394304-1306094119/solver-3394304-1306094119 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394304-1306094119.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.59 7.87 7.94 1/498 29857
/proc/meminfo: memFree=20593028/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=92144 CPUtime=0.07 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 420 0 0 0 7 0 0 0 24 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628819382 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29857/statm: 23036 361 302 95 0 18018 0
[pid=29857/tid=29858] ppid=29855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 4 0 0 0 1 0 0 0 24 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818969 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=92144 CPUtime=0 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628819378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818969 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818967 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818969 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818969 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721014575 94355456 361 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818969 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.117945 s]
/proc/loadavg: 7.59 7.87 7.94 1/498 29857
/proc/meminfo: memFree=20593028/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=656780 CPUtime=0.57 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) S 29855 29857 29692 0 -1 4202496 24882 0 0 0 35 22 0 0 17 0 8 0 721014575 672542720 20933 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 164195 20964 337 95 0 159177 0
[pid=29857/tid=29858] ppid=29855 vsize=656780 CPUtime=0.07 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 2730 0 0 0 5 2 0 0 17 0 8 0 721014575 672542720 20982 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=656780 CPUtime=0.05 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) D 29855 29857 29692 0 -1 4202560 3069 0 0 0 2 3 0 0 17 0 8 0 721014575 672542720 20992 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=656780 CPUtime=0.07 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 3305 0 0 0 4 3 0 0 17 0 8 0 721014575 672542720 21004 33554432000 4194304 4580107 140735058449168 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=656780 CPUtime=0.06 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 3137 0 0 0 4 2 0 0 17 0 8 0 721014575 672542720 21008 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=656780 CPUtime=0.06 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 2659 0 0 0 4 2 0 0 17 0 8 0 721014575 672542720 21042 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634171349 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=656780 CPUtime=0.07 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 3336 0 0 0 4 3 0 0 17 0 8 0 721014575 672542720 21045 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=656780 CPUtime=0.07 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 3220 0 0 0 5 2 0 0 17 0 8 0 721014575 672542720 21045 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 656780
[startup+0.201954 s]
/proc/loadavg: 7.59 7.87 7.94 1/498 29857
/proc/meminfo: memFree=20593028/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=691468 CPUtime=0.93 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 46129 0 0 0 55 38 0 0 17 0 8 0 721014575 708063232 37882 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 172867 37963 337 95 0 167849 0
[pid=29857/tid=29858] ppid=29855 vsize=691468 CPUtime=0.11 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 5235 0 0 0 8 3 0 0 17 0 8 0 721014575 708063232 38038 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=691468 CPUtime=0.09 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 5716 0 0 0 4 5 0 0 17 0 8 0 721014575 708063232 38084 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=691468 CPUtime=0.11 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 5982 0 0 0 7 4 0 0 17 0 8 0 721014575 708063232 38147 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=691468 CPUtime=0.1 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) D 29855 29857 29692 0 -1 4202560 6279 0 0 0 7 3 0 0 17 0 8 0 721014575 708063232 38148 33554432000 4194304 4580107 140735058449168 18446744073709551615 4253879 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=692188 CPUtime=0.12 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 5324 0 0 0 7 5 0 0 17 0 8 0 721014575 708800512 38149 33554432000 4194304 4580107 140735058449168 18446744073709551615 4253879 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=692908 CPUtime=0.11 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 5768 0 0 0 6 5 0 0 17 0 8 0 721014575 709537792 38158 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=692908 CPUtime=0.12 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 5989 0 0 0 7 5 0 0 17 0 8 0 721014575 709537792 38158 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 691468
[startup+0.302896 s]
/proc/loadavg: 7.59 7.87 7.94 1/498 29857
/proc/meminfo: memFree=20593028/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=744440 CPUtime=1.43 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) D 29855 29857 29692 0 -1 4202496 74987 0 0 0 81 62 0 0 17 0 8 0 721014575 762306560 58379 33554432000 4194304 4580107 140735058449168 18446744073709551615 4309730 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 186380 58389 337 95 0 181362 0
[pid=29857/tid=29858] ppid=29855 vsize=745520 CPUtime=0.17 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 8613 0 0 0 11 6 0 0 17 0 8 0 721014575 763412480 58389 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=745520 CPUtime=0.16 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 9011 0 0 0 7 9 0 0 17 0 8 0 721014575 763412480 58389 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=745520 CPUtime=0.18 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 9632 0 0 0 10 8 0 0 17 0 8 0 721014575 763412480 58389 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=745520 CPUtime=0.16 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 10249 0 0 0 10 6 0 0 17 0 8 0 721014575 763412480 58389 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=745520 CPUtime=0.17 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 8855 0 0 0 10 7 0 0 17 0 8 0 721014575 763412480 58389 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=745520 CPUtime=0.17 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 9372 0 0 0 10 7 0 0 17 0 8 0 721014575 763412480 58389 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620398 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=745520 CPUtime=0.19 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9835 0 0 0 11 8 0 0 17 0 8 0 721014575 763412480 58389 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 744440
[startup+0.893826 s]
/proc/loadavg: 7.59 7.87 7.94 1/498 29857
/proc/meminfo: memFree=20593028/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=758448 CPUtime=6.08 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 82386 0 0 0 536 72 0 0 18 0 8 0 721014575 776650752 65508 33554432000 4194304 4580107 140735058449168 18446744073709551615 4230891 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 189612 65530 360 95 0 184594 0
[pid=29857/tid=29858] ppid=29855 vsize=758448 CPUtime=0.75 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9370 0 0 0 68 7 0 0 17 0 8 0 721014575 776650752 65540 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293932 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=758448 CPUtime=0.74 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9732 0 0 0 64 10 0 0 18 0 8 0 721014575 776650752 65553 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=758448 CPUtime=0.75 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11086 0 0 0 66 9 0 0 18 0 8 0 721014575 776650752 65558 33554432000 4194304 4580107 140735058449168 18446744073709551615 4230811 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=758448 CPUtime=0.74 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 10788 0 0 0 67 7 0 0 18 0 8 0 721014575 776650752 65558 33554432000 4194304 4580107 140735058449168 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=758448 CPUtime=0.76 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9957 0 0 0 67 9 0 0 18 0 8 0 721014575 776650752 65558 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=758448 CPUtime=0.75 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 10211 0 0 0 67 8 0 0 17 0 8 0 721014575 776650752 65558 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=758448 CPUtime=0.76 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11133 0 0 0 67 9 0 0 18 0 8 0 721014575 776650752 65558 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 758448
[startup+1.50065 s]
/proc/loadavg: 7.87 7.93 7.95 12/506 29865
/proc/meminfo: memFree=20324628/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=760692 CPUtime=11.05 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 84277 0 0 0 1032 73 0 0 18 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 190173 67270 360 95 0 185155 0
[pid=29857/tid=29858] ppid=29855 vsize=760692 CPUtime=1.37 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9793 0 0 0 130 7 0 0 18 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=760692 CPUtime=1.36 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9909 0 0 0 126 10 0 0 18 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=760692 CPUtime=1.38 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11107 0 0 0 129 9 0 0 18 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=760692 CPUtime=1.38 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11203 0 0 0 130 8 0 0 19 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=760692 CPUtime=1.38 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9964 0 0 0 129 9 0 0 18 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=760692 CPUtime=1.38 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 10631 0 0 0 129 9 0 0 18 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=760692 CPUtime=1.37 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11344 0 0 0 128 9 0 0 18 0 8 0 721014575 778948608 67270 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 760692
[startup+3.10137 s]
/proc/loadavg: 7.87 7.93 7.95 9/506 29865
/proc/meminfo: memFree=20321228/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=761076 CPUtime=23.69 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 85235 0 0 0 2296 73 0 0 22 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293258 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 190269 68100 360 95 0 185251 0
[pid=29857/tid=29858] ppid=29855 vsize=761076 CPUtime=2.95 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9873 0 0 0 288 7 0 0 18 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=761076 CPUtime=2.95 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 9982 0 0 0 285 10 0 0 21 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293273 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=761076 CPUtime=2.96 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11208 0 0 0 287 9 0 0 22 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4234788 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=761076 CPUtime=2.96 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11307 0 0 0 288 8 0 0 22 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=761076 CPUtime=2.97 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 10067 0 0 0 288 9 0 0 22 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293268 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=761076 CPUtime=2.97 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 10730 0 0 0 288 9 0 0 21 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=761076 CPUtime=2.96 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 11658 0 0 0 287 9 0 0 22 0 8 0 721014575 779341824 68100 33554432000 4194304 4580107 140735058449168 18446744073709551615 4301924 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.69
Current children cumulated vsize (KiB) 761076
[startup+6.3008 s]
/proc/loadavg: 7.87 7.93 7.95 9/506 29865
/proc/meminfo: memFree=20184832/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=773092 CPUtime=49.11 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 126697 0 0 0 4825 86 0 0 20 0 8 0 721014575 791646208 103732 33554432000 4194304 4580107 140735058449168 18446744073709551615 4413328 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 193273 103733 375 95 0 188255 0
[pid=29857/tid=29858] ppid=29855 vsize=773092 CPUtime=6.14 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 16189 0 0 0 605 9 0 0 20 0 8 0 721014575 791646208 103734 33554432000 4194304 4580107 140735058449168 18446744073709551615 4399437 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=773092 CPUtime=6.12 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 16287 0 0 0 601 11 0 0 21 0 8 0 721014575 791646208 103734 33554432000 4194304 4580107 140735058449168 18446744073709551615 216634176545 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=773092 CPUtime=6.15 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 15837 0 0 0 605 10 0 0 21 0 8 0 721014575 791646208 103734 33554432000 4194304 4580107 140735058449168 18446744073709551615 4399441 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=773092 CPUtime=6.14 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 17848 0 0 0 603 11 0 0 20 0 8 0 721014575 791646208 103734 33554432000 4194304 4580107 140735058449168 18446744073709551615 4399832 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=773092 CPUtime=6.14 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 15763 0 0 0 604 10 0 0 22 0 8 0 721014575 791646208 103734 33554432000 4194304 4580107 140735058449168 18446744073709551615 4409951 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=773092 CPUtime=6.14 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 16956 0 0 0 604 10 0 0 20 0 8 0 721014575 791646208 103734 33554432000 4194304 4580107 140735058449168 18446744073709551615 4399480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=773092 CPUtime=6.15 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 12777 0 0 0 606 9 0 0 25 0 8 0 721014575 791646208 103735 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 77266 0 0 0 5115 27 0 0 25 0 8 0 721014575 1953988608 363804 33554432000 4194304 4580107 140735058449168 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1908192 CPUtime=51.43 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 77905 0 0 0 5116 27 0 0 25 0 8 0 721014575 1953988608 363804 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1908192 CPUtime=51.42 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 79369 0 0 0 5118 24 0 0 25 0 8 0 721014575 1953988608 363804 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1908192 CPUtime=51.42 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 55174 0 0 0 5121 21 0 0 25 0 8 0 721014575 1953988608 363804 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 410.63
Current children cumulated vsize (KiB) 1908192
[startup+64.4006 s]
/proc/loadavg: 8.00 7.95 7.96 9/506 29866
/proc/meminfo: memFree=19078304/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=1908620 CPUtime=512.8 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 647460 0 0 0 51055 225 0 0 25 0 8 0 721014575 1954426880 378586 33554432000 4194304 4580107 140735058449168 18446744073709551615 4227877 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 477155 378586 380 95 0 472137 0
[pid=29857/tid=29858] ppid=29855 vsize=1908620 CPUtime=64.21 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 84021 0 0 0 6392 29 0 0 25 0 8 0 721014575 1954426880 378586 33554432000 4194304 4580107 140735058449168 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=1908620 CPUtime=64.21 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 86531 0 0 0 6393 28 0 0 25 0 8 0 721014575 1954426880 378586 33554432000 4194304 4580107 140735058449168 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=1908620 CPUtime=64.23 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 79624 0 0 0 6396 27 0 0 25 0 8 0 721014575 1954426880 378586 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=1908620 CPUtime=64.22 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 80516 0 0 0 6393 29 0 0 25 0 8 0 721014575 1954426880 378587 33554432000 4194304 4580107 140735058449168 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1908620 CPUtime=64.22 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 81681 0 0 0 6394 28 0 0 25 0 8 0 721014575 1954426880 378587 33554432000 4194304 4580107 140735058449168 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1908620 CPUtime=64.23 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 83226 0 0 0 6398 25 0 0 25 0 8 0 721014575 1954426880 378587 33554432000 4194304 4580107 140735058449168 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1908620 CPUtime=64.22 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 62575 0 0 0 6400 22 0 0 25 0 8 0 721014575 1954426880 378587 33554432000 4194304 4580107 140735058449168 18446744073709551615 4301641 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 512.8
Current children cumulated vsize (KiB) 1908620
[startup+67.619 s]
/proc/loadavg: 8.00 7.95 7.96 9/506 29867
/proc/meminfo: memFree=19060824/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=1963524 CPUtime=538.5 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) R 29855 29857 29692 0 -1 4202496 671699 0 0 0 53622 228 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 490881 382958 380 95 0 485863 0
[pid=29857/tid=29858] ppid=29855 vsize=1963524 CPUtime=67.44 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 84587 0 0 0 6714 30 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=1963524 CPUtime=67.43 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 87488 0 0 0 6715 28 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=1963524 CPUtime=67.45 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 80252 0 0 0 6718 27 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=1963524 CPUtime=67.44 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 81452 0 0 0 6714 30 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1963524 CPUtime=67.44 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 82286 0 0 0 6716 28 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1963524 CPUtime=67.44 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 83880 0 0 0 6719 25 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1963524 CPUtime=67.44 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 79255 0 0 0 6721 23 0 0 25 0 8 0 721014575 2010648576 382958 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 538.5
Current children cumulated vsize (KiB) 1963524
[startup+70.8005 s]
/proc/loadavg: 8.00 7.95 7.96 3/506 29867
/proc/meminfo: memFree=19054252/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=1988812 CPUtime=562.66 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) S 29855 29857 29692 0 -1 4202496 681481 0 0 0 56035 231 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 497203 384574 380 95 0 492185 0
[pid=29857/tid=29858] ppid=29855 vsize=1988812 CPUtime=70.64 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 86018 0 0 0 7034 30 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 88642 0 0 0 7011 29 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=1988812 CPUtime=70.65 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 81471 0 0 0 7037 28 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628794564 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 82000 0 0 0 7011 30 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85220 0 0 0 7012 29 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85345 0 0 0 7016 25 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 79277 0 0 0 7017 23 0 0 25 0 8 0 721014575 2036543488 384574 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 562.66
Current children cumulated vsize (KiB) 1988812
[startup+71.6003 s]
/proc/loadavg: 8.00 7.95 7.96 3/506 29867
/proc/meminfo: memFree=19054252/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=1988812 CPUtime=564.22 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) S 29855 29857 29692 0 -1 4202496 681487 0 0 0 56191 231 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 497203 384580 380 95 0 492185 0
[pid=29857/tid=29858] ppid=29855 vsize=1988812 CPUtime=71.42 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 86024 0 0 0 7112 30 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 88642 0 0 0 7011 29 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=1988812 CPUtime=71.43 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 81471 0 0 0 7115 28 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628794411 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 82000 0 0 0 7011 30 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85220 0 0 0 7012 29 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85345 0 0 0 7016 25 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 79277 0 0 0 7017 23 0 0 25 0 8 0 721014575 2036543488 384580 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.22
Current children cumulated vsize (KiB) 1988812
[startup+72.4012 s]
/proc/loadavg: 7.52 7.85 7.93 3/506 29867
/proc/meminfo: memFree=19053472/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=1988812 CPUtime=565.83 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) S 29855 29857 29692 0 -1 4202496 683498 0 0 0 56351 232 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 497203 384838 380 95 0 492185 0
[pid=29857/tid=29858] ppid=29855 vsize=1988812 CPUtime=72.22 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 88035 0 0 0 7191 31 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 88642 0 0 0 7011 29 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=1988812 CPUtime=72.24 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 81471 0 0 0 7196 28 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628794411 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 82000 0 0 0 7011 30 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85220 0 0 0 7012 29 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85345 0 0 0 7016 25 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 79277 0 0 0 7017 23 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 565.83
Current children cumulated vsize (KiB) 1988812
[startup+72.8011 s]
/proc/loadavg: 7.52 7.85 7.93 3/506 29867
/proc/meminfo: memFree=19053472/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=1988812 CPUtime=566.63 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) S 29855 29857 29692 0 -1 4202496 683498 0 0 0 56431 232 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 497203 384838 380 95 0 492185 0
[pid=29857/tid=29858] ppid=29855 vsize=1988812 CPUtime=72.62 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 88035 0 0 0 7231 31 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 88642 0 0 0 7011 29 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=1988812 CPUtime=72.63 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 81471 0 0 0 7235 28 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628794564 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 82000 0 0 0 7011 30 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85220 0 0 0 7012 29 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85345 0 0 0 7016 25 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 79277 0 0 0 7017 23 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 566.63
Current children cumulated vsize (KiB) 1988812
[startup+72.9011 s]
/proc/loadavg: 7.52 7.85 7.93 3/506 29867
/proc/meminfo: memFree=19053472/32951124 swapFree=53501332/67111528
[pid=29857] ppid=29855 vsize=1988812 CPUtime=566.83 cores=0-7
/proc/29857/stat : 29857 (strangenight2-m) S 29855 29857 29692 0 -1 4202496 683498 0 0 0 56451 232 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29857/statm: 497203 384838 380 95 0 492185 0
[pid=29857/tid=29858] ppid=29855 vsize=1988812 CPUtime=72.72 cores=0-7
/proc/29857/task/29858/stat : 29858 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 88035 0 0 0 7241 31 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29857/tid=29859] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29859/stat : 29859 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 88642 0 0 0 7011 29 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 3 0 0 0
[pid=29857/tid=29860] ppid=29855 vsize=1988812 CPUtime=72.73 cores=0-7
/proc/29857/task/29860/stat : 29860 (strangenight2-m) R 29855 29857 29692 0 -1 4202560 81471 0 0 0 7245 28 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628794564 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29857/tid=29861] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29861/stat : 29861 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 82000 0 0 0 7011 30 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 0 0 0 0
[pid=29857/tid=29862] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29862/stat : 29862 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85220 0 0 0 7012 29 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 5 0 0 0
[pid=29857/tid=29863] ppid=29855 vsize=1988812 CPUtime=70.41 cores=0-7
/proc/29857/task/29863/stat : 29863 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 85345 0 0 0 7016 25 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 2 0 0 0
[pid=29857/tid=29864] ppid=29855 vsize=1988812 CPUtime=70.4 cores=0-7
/proc/29857/task/29864/stat : 29864 (strangenight2-m) S 29855 29857 29692 0 -1 4202560 79277 0 0 0 7017 23 0 0 25 0 8 0 721014575 2036543488 384838 33554432000 4194304 4580107 140735058449168 18446744073709551615 47941628818996 0 0 4096 2 18446604463087251648 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 566.83
Current children cumulated vsize (KiB) 1988812
Child status: 20
Real time (s): 72.9864
CPU time (s): 566.937
CPU user time (s): 564.541
CPU system time (s): 2.39564
CPU usage (%): 776.771
Max. virtual memory (cumulated for all children) (KiB): 1988812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 564.541
system time used= 2.39563
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 683501
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= 94403
involuntary context switches= 2482
runsolver used 0.364944 second user time and 0.84887 second system time
The end
Begin job on node103 at 2011-05-22 21:55:20
IDJOB=3394304
IDBENCH=82477
IDSOLVER=1878
FILE ID=node103/3394304-1306094119
RUNJOBID= node103-1306094043-29706
PBS_JOBID= 13387954
Free space on /tmp= 73128 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394304-1306094119/watcher-3394304-1306094119 -o /tmp/evaluation-result-3394304-1306094119/solver-3394304-1306094119 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394304-1306094119.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= f1a7d779d46b93ce2fde4f2438e6ae5c
RANDOM SEED=2052661544
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: 20593316 kB
Buffers: 368320 kB
Cached: 8036532 kB
SwapCached: 340096 kB
Active: 4587336 kB
Inactive: 7451720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 20593316 kB
SwapTotal: 67111528 kB
SwapFree: 53501332 kB
Dirty: 9604 kB
Writeback: 0 kB
AnonPages: 3304892 kB
Mapped: 23540 kB
Slab: 175312 kB
PageTables: 72620 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 162029680 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:56:33