0.00/0.00 c Outputting solution to console
0.00/0.02 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-3394312-1306094190.cnf'
0.00/0.03 c -- header says num vars: 156058
0.00/0.03 c -- header says num clauses: 466691
3.34/0.72 c -- clauses added: 0 learnts, 466691 normals, 0 xors
3.34/0.72 c -- vars added 156058
3.34/0.72 c Parsing time: 0.28 s
3.34/0.72 c N st 0 0 156058 155563 311126 0 1088941 0 no data no data
7.11/1.13 c asymm cl-useful: 0/94614/155562 lits-rem:0 time: 0.45
29.44/3.93 c Flit: 818 Blit: 6635 bXBeca: 0 bXProp: 13749 Bins: 0 BRemL: 0 BRemN: 0 P: 50.5M T: 2.79
29.44/3.96 c Cleaning up after failed var search: 0.03 s
30.24/4.03 c Replacing 13749 vars Replaced 225247 lits Time: 0.07 s
30.24/4.09 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
31.03/4.12 c bin-w-bin subsume rem 1810 bins time: 0.03 s
31.77/4.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.08 s
33.30/4.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 120783 time: 0.18 s
34.24/4.55 c Removed useless bin: 5710 fixed: 0 props: 18.26M time: 0.15 s
39.31/5.27 c lits-rem: 788 cl-subs: 6101 v-elim: 44852 v-fix: 0 time: 0.60 s
40.05/5.30 c Finding binary XORs T: 0.03 s found: 0
40.05/5.38 c Finding non-binary XORs: 0.04 s (found: 5, avg size: 3.0)
40.05/5.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
40.05/5.39 c calculated reachability. Time: 0.00
40.82/5.41 c Calc default polars - time: 0.02 s pos: 5504 undec: 66539 neg: 84015
40.82/5.41 c =========================================================================================
40.82/5.41 c types(t): F = full restart, N = normal restart
40.82/5.41 c types(t): S = simplification begin/end, E = solution found
40.82/5.41 c restart types(rt): st = static, dy = dynamic
40.82/5.41 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
40.82/5.41 c B st 0 0 89704 121597 186596 0 795698 0 no data no data
50.36/6.67 c N dy 16 4063 89677 121597 186977 3588 795660 25090 4.19 4.85
65.52/8.51 c N dy 37 8164 89592 121597 188935 7218 795611 58589 4.39 4.75
83.88/10.81 c N dy 60 12366 89524 121597 192325 11011 795576 96361 4.52 4.81
97.43/12.52 c N dy 88 16432 89468 121597 192593 14770 795564 129371 4.60 6.47
105.42/13.54 c Finding binary XORs T: 0.03 s found: 451
113.56/14.55 c N dy 119 20460 89339 120009 194364 9426 787474 66884 4.76 5.59
129.37/16.61 c N dy 146 24500 89334 120009 196941 13246 787458 120914 4.86 6.25
131.76/16.84 c F st 151 25000 89262 120009 196958 13725 787455 129541 4.88 no data
132.56/16.90 c Replacing 451 vars Replaced 12565 lits Time: 0.04 s
150.91/19.25 c N dy 157 30001 88815 119119 196031 18445 782653 326911 4.88 no data
150.91/19.26 c S st 157 30001 88815 119119 196031 18445 782653 326911 4.88 no data
154.11/19.61 c S st 157 30502 88815 119119 197894 18773 782653 332351 4.88 no data
154.11/19.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
195.60/24.85 c Flit: 140 Blit: 354 bXBeca: 0 bXProp: 3023 Bins: 338338 BRemL: 54721 BRemN: 341 P: 64.0M T: 5.21
195.60/24.86 c Cleaning up after failed var search: 0.00 s
196.40/24.97 c Replacing 3023 vars Replaced 182962 lits Time: 0.11 s
197.20/25.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
197.20/25.07 c bin-w-bin subsume rem 31756 bins time: 0.06 s
198.80/25.22 c subs with bin: 4453 lits-rem: 9957 v-fix: 0 time: 0.15 s
200.55/25.46 c Subs w/ non-existent bins: 1146 l-rem: 3529 v-fix: 0 done: 85040 time: 0.24 s
201.34/25.55 c Removed useless bin: 954 fixed: 0 props: 2.78M time: 0.09 s
207.58/26.34 c lits-rem: 17165 cl-subs: 19317 v-elim: 51939 v-fix: 0 time: 0.75 s
207.58/26.39 c subs with bin: 437 lits-rem: 2862 v-fix: 0 time: 0.03 s
208.37/26.45 c lits-rem: 284 cl-subs: 983 v-elim: 0 v-fix: 0 time: 0.05 s
208.37/26.45 c Added XOR as norm:5
211.55/26.89 c asymm cl-useful: 0/16805/113746 lits-rem:0 time: 0.43
212.35/26.90 c calculated reachability. Time: 0.00
212.35/26.90 c N dy 157 30502 33101 113746 160154 4749 555067 226340 4.88 no data
212.35/26.93 c Finding binary XORs T: 0.02 s found: 4
219.54/27.81 c N dy 175 34666 33099 113746 160239 8783 555053 268888 4.90 5.20
229.08/29.03 c N dy 199 38908 33089 113746 161436 12905 555045 314120 4.92 5.25
237.85/30.20 c N dy 227 43640 33061 113746 216100 9457 555035 363045 5.00 5.29
240.25/30.41 c Finding binary XORs T: 0.02 s found: 50
242.64/30.78 c S st 243 45753 33061 113551 215367 11449 554072 388653 5.02 no data
244.38/31.01 c S st 243 46253 33061 113551 215418 11891 554072 392508 5.02 no data
245.18/31.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
260.98/33.05 c Flit: 43 Blit: 36 bXBeca: 0 bXProp: 184 Bins: 50925 BRemL: 72201 BRemN: 256 P: 21.4M T: 2.00
260.98/33.10 c Replacing 238 vars Replaced 39767 lits Time: 0.05 s
261.92/33.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
261.92/33.18 c bin-w-bin subsume rem 25430 bins time: 0.03 s
262.73/33.26 c subs with bin: 6592 lits-rem: 12847 v-fix: 0 time: 0.09 s
263.36/33.35 c Subs w/ non-existent bins: 2025 l-rem: 8211 v-fix: 0 done: 32722 time: 0.09 s
264.17/33.40 c Removed useless bin: 632 fixed: 0 props: 1.02M time: 0.04 s
265.75/33.63 c lits-rem: 2239 cl-subs: 3328 v-elim: 2321 v-fix: 0 time: 0.23 s
266.55/33.70 c subs with bin: 208 lits-rem: 1125 v-fix: 0 time: 0.05 s
266.55/33.77 c lits-rem: 182 cl-subs: 559 v-elim: 0 v-fix: 0 time: 0.05 s
267.36/33.82 c vivif2 -- cl tried 102490 cl shrink 9790 lits rem 15100 time: 0.05
267.36/33.84 c vivif2 -- cl tried 10111 cl shrink 2412 lits rem 4657 time: 0.01
272.94/34.52 c asymm cl-useful: 2221/7673/98784 lits-rem:3454 time: 0.68
272.94/34.54 c calculated reachability. Time: 0.01
272.94/34.54 c N dy 243 46253 30401 98783 154931 9857 475336 245782 5.02 no data
272.94/34.59 c Finding binary XORs T: 0.05 s found: 25
284.80/36.00 c Finding binary XORs T: 0.05 s found: 64
285.61/36.18 c N dy 266 50333 30358 98621 273441 13651 474517 628856 5.12 5.40
297.73/37.62 c N dy 285 54629 30331 98621 273674 17663 474511 755619 5.15 5.46
304.76/38.52 c Finding binary XORs T: 0.05 s found: 53
311.12/39.32 c N dy 309 59075 30319 98448 343879 21687 473647 1002568 5.17 5.56
322.30/40.78 c N dy 330 63188 30304 98448 349360 25613 473643 1113944 5.18 5.46
335.04/42.33 c N dy 353 67378 30276 98448 349487 17715 473619 739869 5.24 5.60
340.78/43.06 c S st 365 69380 30273 98448 358564 19640 473618 803791 5.25 4.58
343.02/43.36 c S st 365 69883 30244 98448 358641 20061 473618 808463 5.25 no data
343.02/43.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
361.37/45.69 c Flit: 32 Blit: 19 bXBeca: 0 bXProp: 197 Bins: 26860 BRemL: 65272 BRemN: 94 P: 30.7M T: 2.29
362.17/45.76 c Replacing 339 vars Replaced 43539 lits Time: 0.06 s
362.17/45.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
362.97/45.88 c bin-w-bin subsume rem 112640 bins time: 0.09 s
363.77/45.96 c subs with bin: 1872 lits-rem: 522 v-fix: 0 time: 0.08 s
364.56/46.04 c Subs w/ non-existent bins: 640 l-rem: 1126 v-fix: 0 done: 29849 time: 0.08 s
364.56/46.08 c Removed useless bin: 373 fixed: 0 props: 0.89M time: 0.04 s
366.16/46.26 c lits-rem: 834 cl-subs: 2218 v-elim: 2285 v-fix: 0 time: 0.18 s
367.10/46.34 c subs with bin: 388 lits-rem: 1264 v-fix: 0 time: 0.05 s
367.91/46.42 c lits-rem: 278 cl-subs: 482 v-elim: 0 v-fix: 0 time: 0.06 s
367.91/46.47 c vivif2 -- cl tried 93830 cl shrink 1642 lits rem 2030 time: 0.05
368.55/46.50 c vivif2 -- cl tried 17739 cl shrink 1445 lits rem 3399 time: 0.03
373.35/47.15 c asymm cl-useful: 1025/9339/93554 lits-rem:1589 time: 0.65
373.35/47.18 c calculated reachability. Time: 0.02
373.35/47.18 c N dy 365 69883 27564 93398 189105 17675 440906 377079 5.25 no data
374.15/47.23 c Finding binary XORs T: 0.06 s found: 19
389.30/49.15 c N dy 395 74749 27552 93398 198592 22334 440906 642273 5.34 5.65
405.26/51.18 c N dy 430 79618 27495 93398 203866 27010 440902 858557 5.40 12.29
413.23/52.14 c Finding binary XORs T: 0.05 s found: 88
421.20/53.15 c N dy 459 84935 27463 92991 203057 31884 438869 1078804 5.48 5.85
428.53/54.04 c F st 471 87501 27446 92991 208773 34358 438867 1190551 5.51 no data
428.53/54.10 c Replacing 107 vars Replaced 4608 lits Time: 0.03 s
439.55/55.42 c N st 476 90797 27309 92687 208266 23778 437341 795037 5.51 no data
455.67/57.45 c N dy 504 97476 27282 92687 208914 30247 437341 1015807 5.55 5.91
461.91/58.21 c Finding binary XORs T: 0.05 s found: 177
477.07/60.10 c N dy 544 103781 27188 92273 214116 36059 435344 1274737 5.61 6.52
480.27/60.56 c S st 553 104824 27183 92273 214142 37065 435344 1331444 5.63 3.85
483.45/60.93 c S st 553 105324 27183 92273 216068 37512 435344 1339966 5.63 no data
483.45/60.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
508.99/64.11 c Flit: 34 Blit: 53 bXBeca: 0 bXProp: 254 Bins: 40568 BRemL: 64259 BRemN: 98 P: 39.6M T: 3.16
509.79/64.21 c Replacing 431 vars Replaced 25163 lits Time: 0.09 s
509.79/64.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
509.79/64.27 c bin-w-bin subsume rem 11840 bins time: 0.03 s
510.59/64.33 c subs with bin: 1452 lits-rem: 820 v-fix: 0 time: 0.06 s
511.40/64.40 c Subs w/ non-existent bins: 211 l-rem: 144 v-fix: 0 done: 26611 time: 0.07 s
511.40/64.44 c Removed useless bin: 477 fixed: 0 props: 0.83M time: 0.03 s
512.20/64.59 c lits-rem: 477 cl-subs: 828 v-elim: 706 v-fix: 0 time: 0.15 s
513.79/64.77 c subs with bin: 824 lits-rem: 3910 v-fix: 0 time: 0.16 s
514.60/64.89 c lits-rem: 869 cl-subs: 860 v-elim: 0 v-fix: 0 time: 0.10 s
515.40/64.95 c vivif2 -- cl tried 89689 cl shrink 1081 lits rem 1233 time: 0.06
516.34/65.02 c vivif2 -- cl tried 31176 cl shrink 3366 lits rem 11270 time: 0.06
520.97/65.63 c asymm cl-useful: 507/10203/89360 lits-rem:1032 time: 0.62
520.97/65.66 c calculated reachability. Time: 0.02
520.97/65.67 c N dy 553 105324 25905 89185 172575 31095 418567 492520 5.63 no data
521.77/65.73 c Finding binary XORs T: 0.07 s found: 35
541.73/68.25 c N dy 581 112272 25818 89185 176579 37788 418556 683780 5.62 6.03
560.17/70.52 c Finding binary XORs T: 0.06 s found: 116
562.41/70.83 c N dy 622 119535 25763 88678 186746 31375 415962 564229 5.65 6.02
586.51/73.82 c N dy 667 127235 25656 88678 199487 38878 415961 839133 5.71 6.08
595.28/74.98 c Finding binary XORs T: 0.06 s found: 162
596.09/75.03 c Replacing 313 vars Replaced 19017 lits Time: 0.05 s
612.85/77.16 c N dy 714 135455 25241 87698 198663 46080 410854 1057079 5.76 6.83
639.18/80.48 c N dy 763 144554 25150 87698 199215 38830 410851 650985 5.81 6.29
666.96/83.99 c N dy 822 153849 25065 87698 200049 47842 410851 959712 5.85 7.75
679.73/85.50 c S st 851 157986 25047 87698 200101 51885 410851 1092034 5.88 4.69
682.13/85.89 c S st 851 158488 25045 87698 200139 52341 410851 1102335 5.88 no data
683.07/85.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
713.91/89.88 c Flit: 63 Blit: 65 bXBeca: 0 bXProp: 446 Bins: 21720 BRemL: 44559 BRemN: 56 P: 54.2M T: 3.96
714.71/89.91 c Cleaning up after failed var search: 0.02 s
714.71/89.96 c Replacing 446 vars Replaced 20194 lits Time: 0.05 s
714.71/89.99 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
715.51/90.01 c bin-w-bin subsume rem 10681 bins time: 0.02 s
715.51/90.06 c subs with bin: 1756 lits-rem: 1307 v-fix: 0 time: 0.05 s
716.31/90.13 c Subs w/ non-existent bins: 329 l-rem: 246 v-fix: 0 done: 24437 time: 0.07 s
716.31/90.16 c Removed useless bin: 643 fixed: 0 props: 0.81M time: 0.03 s
717.11/90.30 c lits-rem: 439 cl-subs: 1024 v-elim: 809 v-fix: 0 time: 0.14 s
719.49/90.56 c subs with bin: 989 lits-rem: 4072 v-fix: 0 time: 0.22 s
721.09/90.72 c lits-rem: 1466 cl-subs: 1151 v-elim: 0 v-fix: 0 time: 0.14 s
721.09/90.79 c vivif2 -- cl tried 83359 cl shrink 1083 lits rem 1178 time: 0.07
721.89/90.89 c vivif2 -- cl tried 43567 cl shrink 6434 lits rem 27261 time: 0.10
726.83/91.49 c asymm cl-useful: 179/6243/82895 lits-rem:505 time: 0.60
727.64/91.53 c calculated reachability. Time: 0.02
727.64/91.53 c N dy 851 158488 23628 82744 155117 43422 385873 585421 5.88 no data
728.27/91.60 c Finding binary XORs T: 0.08 s found: 54
753.17/94.77 c Finding binary XORs T: 0.07 s found: 250
753.17/94.81 c Replacing 304 vars Replaced 19673 lits Time: 0.04 s
757.81/95.35 c N dy 914 168761 23174 81691 169190 37907 378192 477352 5.92 6.27
783.34/98.59 c N dy 995 179585 23121 81691 176387 48443 378192 785528 6.00 10.04
801.71/100.83 c Finding binary XORs T: 0.07 s found: 181
813.69/102.36 c N dy 1093 191132 22948 80790 170929 57556 371967 1042160 6.15 9.62
816.87/102.71 c E dy 1104 192236 22877 80790 170959 58599 371967 1070806 6.17 no data
820.12/104.04 c Following stats are for *FIRST FINISHED THREAD ONLY*
820.12/104.04 c num threads : 8
820.12/104.04 c restarts : 1104
820.12/104.04 c dynamic restarts : 1086
820.12/104.04 c static restarts : 18
820.12/104.04 c full restarts : 2
820.12/104.04 c total simplify time : 1.17
820.12/104.04 c learnts DL2 : 0
820.12/104.04 c learnts size 2 : 1257109
820.12/104.04 c learnts size 1 : 11882 (7.61 % of vars)
820.12/104.04 c filedLit time : 19.48 (18.86 % time)
820.12/104.04 c v-elim SatELite : 102912 (65.94 % vars)
820.12/104.04 c SatELite time : 2.66 (2.58 % time)
820.12/104.04 c v-elim xor : 0 (0.00 % vars)
820.12/104.04 c xor elim time : 0.17 (0.16 % time)
820.12/104.04 c num binary xor trees : 10508
820.12/104.04 c binxor trees' crown : 19582 (1.86 leafs/tree)
820.12/104.04 c bin xor find time : 0.82
820.12/104.04 c OTF clause improved : 1986 (0.01 clauses/conflict)
820.12/104.04 c OTF impr. size diff : 2905 (1.46 lits/clause)
820.12/104.04 c OTF cl watch-shrink : 129199 (0.67 clauses/conflict)
820.12/104.04 c OTF cl watch-sh-lit : 489340 (3.79 lits/clause)
820.12/104.04 c tried to recurMin cls : 97395 (50.66 % of conflicts)
820.12/104.04 c updated cache : 0 (0.00 lits/tried recurMin)
820.12/104.04 c unit cls recevied : 686 (5.77 % of units)
820.12/104.04 c unit cls sent : 1477 (12.43 % of units)
820.12/104.04 c bin cls recevied : 396325
820.12/104.04 c bin cls sent : 510399
820.12/104.04 c clauses over max glue : 0 (0.00 % of all clauses)
820.12/104.04 c conflicts : 192236 (1861.30 / sec)
820.12/104.04 c decisions : 1010390 (3.97 % random)
820.12/104.04 c bogo-props : 1880143360 (18204278.82 / sec)
820.12/104.04 c conflict literals : 5781457 (24.24 % deleted)
820.12/104.04 c Memory used : 2383.60 MB
820.12/104.04 c single-thread CPU time : 103.28 s
820.12/104.04 c all-threads sum CPU time : 816.74 s
820.12/104.04 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-3394312-1306094190/watcher-3394312-1306094190 -o /tmp/evaluation-result-3394312-1306094190/solver-3394312-1306094190 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394312-1306094190.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: 8.16 7.93 6.57 2/551 32157
/proc/meminfo: memFree=25548416/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=92144 CPUtime=0.07 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) R 32155 32157 31798 0 -1 4202496 412 0 0 0 7 0 0 0 23 0 8 0 799649724 94355456 353 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736748 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32157/statm: 23036 353 299 95 0 18018 0
[pid=32157/tid=32158] ppid=32155 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 799649724 94355456 353 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736754 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 799649724 94355456 353 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736754 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=92144 CPUtime=0 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 799649724 94355456 353 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736754 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 799649724 94355456 353 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736744 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=92144 CPUtime=0 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 799649724 94355456 353 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736754 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=92144 CPUtime=0 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 799649724 94355456 353 33554432000 4194304 4580107 140733664630000 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 799649724 94355456 353 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736748 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.041107 s]
/proc/loadavg: 8.16 7.93 6.57 2/551 32157
/proc/meminfo: memFree=25548416/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=555388 CPUtime=0.2 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) S 32155 32157 31798 0 -1 4202496 5043 0 0 0 17 3 0 0 17 0 8 0 799649724 568717312 4705 33554432000 4194304 4580107 140733664630000 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 138847 4766 336 95 0 133829 0
[pid=32157/tid=32158] ppid=32155 vsize=555388 CPUtime=0.02 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 534 0 0 0 2 0 0 0 17 0 8 0 799649724 568717312 4775 33554432000 4194304 4580107 140733664630000 18446744073709551615 224285030894 0 0 4096 2 18446604451534773312 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=555388 CPUtime=0.02 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 651 0 0 0 2 0 0 0 17 0 8 0 799649724 568717312 4796 33554432000 4194304 4580107 140733664630000 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=555388 CPUtime=0 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 625 0 0 0 0 0 0 0 17 0 8 0 799649724 568717312 4823 33554432000 4194304 4580107 140733664630000 18446744073709551615 224285030894 0 0 4096 2 18446604451534773312 0 0 -1 3 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=555388 CPUtime=0.02 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 612 0 0 0 2 0 0 0 17 0 8 0 799649724 568717312 4834 33554432000 4194304 4580107 140733664630000 18446744073709551615 224285030894 0 0 4096 2 18446604451534773312 0 0 -1 1 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=555388 CPUtime=0.02 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 559 0 0 0 2 0 0 0 17 0 8 0 799649724 568717312 4849 33554432000 4194304 4580107 140733664630000 18446744073709551615 224285030894 0 0 4096 2 18446604451534773312 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=555388 CPUtime=0.01 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 637 0 0 0 1 0 0 0 17 0 8 0 799649724 568717312 5001 33554432000 4194304 4580107 140733664630000 18446744073709551615 224285030894 0 0 4096 2 18446604451534773312 0 0 -1 7 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=555388 CPUtime=0.02 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 633 0 0 0 2 0 0 0 17 0 8 0 799649724 568717312 5072 33554432000 4194304 4580107 140733664630000 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 555388
[startup+0.103094 s]
/proc/loadavg: 8.16 7.93 6.57 2/551 32157
/proc/meminfo: memFree=25548416/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=585512 CPUtime=0.52 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) R 32155 32157 31798 0 -1 4202496 20451 0 0 0 36 16 0 0 17 0 8 0 799649724 599564288 16449 33554432000 4194304 4580107 140733664630000 18446744073709551615 224284622959 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 146378 16474 337 95 0 141360 0
[pid=32157/tid=32158] ppid=32155 vsize=585512 CPUtime=0.07 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 2364 0 0 0 5 2 0 0 17 0 8 0 799649724 599564288 16496 33554432000 4194304 4580107 140733664630000 18446744073709551615 224285030894 0 0 4096 2 18446604451534773312 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=585512 CPUtime=0.06 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 2454 0 0 0 5 1 0 0 17 0 8 0 799649724 599564288 16522 33554432000 4194304 4580107 140733664630000 18446744073709551615 224285030894 0 0 4096 2 18446604451534773312 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=585512 CPUtime=0.04 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 2593 0 0 0 2 2 0 0 17 0 8 0 799649724 599564288 16534 33554432000 4194304 4580107 140733664630000 18446744073709551615 224285030894 0 0 4096 2 18446604451534773312 0 0 -1 3 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=585512 CPUtime=0.06 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 2573 0 0 0 5 1 0 0 17 0 8 0 799649724 599564288 16559 33554432000 4194304 4580107 140733664630000 18446744073709551615 224285030894 0 0 4096 2 18446604451534773312 0 0 -1 1 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=585512 CPUtime=0.06 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 2393 0 0 0 5 1 0 0 17 0 8 0 799649724 599564288 16583 33554432000 4194304 4580107 140733664630000 18446744073709551615 224285030894 0 0 4096 2 18446604451534773312 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=585512 CPUtime=0.05 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 2676 0 0 0 3 2 0 0 17 0 8 0 799649724 599564288 16594 33554432000 4194304 4580107 140733664630000 18446744073709551615 224285030894 0 0 4096 2 18446604451534773312 0 0 -1 7 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=585512 CPUtime=0.07 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 2586 0 0 0 5 2 0 0 17 0 8 0 799649724 599564288 16598 33554432000 4194304 4580107 140733664630000 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 585512
[startup+0.301135 s]
/proc/loadavg: 8.16 7.93 6.57 2/551 32157
/proc/meminfo: memFree=25548416/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=761380 CPUtime=1.65 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) D 32155 32157 31798 0 -1 4202496 67758 0 0 0 107 58 0 0 17 0 8 0 799649724 779653120 58333 33554432000 4194304 4580107 140733664630000 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 190345 58707 337 95 0 185327 0
[pid=32157/tid=32158] ppid=32155 vsize=761380 CPUtime=0.21 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) D 32155 32157 31798 0 -1 4202560 7914 0 0 0 13 8 0 0 17 0 8 0 799649724 779653120 58824 33554432000 4194304 4580107 140733664630000 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=769576 CPUtime=0.21 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 8986 0 0 0 14 7 0 0 17 0 8 0 799649724 788045824 59028 33554432000 4194304 4580107 140733664630000 18446744073709551615 224284969095 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=769576 CPUtime=0.17 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) D 32155 32157 31798 0 -1 4202560 9150 0 0 0 11 6 0 0 17 0 8 0 799649724 788045824 58577 33554432000 4194304 4580107 140733664630000 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=769576 CPUtime=0.2 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) D 32155 32157 31798 0 -1 4202560 8166 0 0 0 13 7 0 0 17 0 8 0 799649724 788045824 58577 33554432000 4194304 4580107 140733664630000 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=769576 CPUtime=0.2 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) D 32155 32157 31798 0 -1 4202560 8873 0 0 0 15 5 0 0 17 0 8 0 799649724 788045824 58577 33554432000 4194304 4580107 140733664630000 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=769576 CPUtime=0.19 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) D 32155 32157 31798 0 -1 4202560 8570 0 0 0 12 7 0 0 17 0 8 0 799649724 788045824 58577 33554432000 4194304 4580107 140733664630000 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=769576 CPUtime=0.21 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) D 32155 32157 31798 0 -1 4202560 8238 0 0 0 13 8 0 0 17 0 8 0 799649724 788045824 58065 33554432000 4194304 4580107 140733664630000 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 761380
[startup+0.942952 s]
/proc/loadavg: 8.16 7.93 6.57 2/551 32157
/proc/meminfo: memFree=25548416/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=982048 CPUtime=5.85 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) R 32155 32157 31798 0 -1 4202496 161321 0 0 0 443 142 0 0 17 0 8 0 799649724 1005617152 127937 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293301 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 245512 127937 359 95 0 240494 0
[pid=32157/tid=32158] ppid=32155 vsize=982048 CPUtime=0.73 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20152 0 0 0 54 19 0 0 17 0 8 0 799649724 1005617152 127937 33554432000 4194304 4580107 140733664630000 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=982048 CPUtime=0.73 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 19780 0 0 0 56 17 0 0 17 0 8 0 799649724 1005617152 127937 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=982048 CPUtime=0.72 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 19982 0 0 0 56 16 0 0 17 0 8 0 799649724 1005617152 127937 33554432000 4194304 4580107 140733664630000 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=982048 CPUtime=0.72 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20596 0 0 0 54 18 0 0 17 0 8 0 799649724 1005617152 127937 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=982048 CPUtime=0.74 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20788 0 0 0 58 16 0 0 17 0 8 0 799649724 1005617152 127937 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=982048 CPUtime=0.7 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20102 0 0 0 52 18 0 0 17 0 8 0 799649724 1005617152 127937 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293755 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=982048 CPUtime=0.73 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20595 0 0 0 55 18 0 0 16 0 8 0 799649724 1005617152 127937 33554432000 4194304 4580107 140733664630000 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 982048
[startup+1.50086 s]
/proc/loadavg: 7.99 7.90 6.57 11/559 32165
/proc/meminfo: memFree=25021228/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=986924 CPUtime=10.28 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) R 32155 32157 31798 0 -1 4202496 165679 0 0 0 886 142 0 0 17 0 8 0 799649724 1010610176 132294 33554432000 4194304 4580107 140733664630000 18446744073709551615 4234942 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 246731 132294 360 95 0 241713 0
[pid=32157/tid=32158] ppid=32155 vsize=986924 CPUtime=1.29 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20937 0 0 0 110 19 0 0 17 0 8 0 799649724 1010610176 132294 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=986924 CPUtime=1.29 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20090 0 0 0 112 17 0 0 17 0 8 0 799649724 1010610176 132295 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293962 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=986924 CPUtime=1.27 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20481 0 0 0 111 16 0 0 17 0 8 0 799649724 1010610176 132295 33554432000 4194304 4580107 140733664630000 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=986924 CPUtime=1.28 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20787 0 0 0 110 18 0 0 17 0 8 0 799649724 1010610176 132295 33554432000 4194304 4580107 140733664630000 18446744073709551615 4292963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=986924 CPUtime=1.29 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 21608 0 0 0 113 16 0 0 17 0 8 0 799649724 1010610176 132295 33554432000 4194304 4580107 140733664630000 18446744073709551615 4294213 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=986924 CPUtime=1.24 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20742 0 0 0 106 18 0 0 17 0 8 0 799649724 1010610176 132295 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=986924 CPUtime=1.28 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20926 0 0 0 110 18 0 0 17 0 8 0 799649724 1010610176 132295 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.28
Current children cumulated vsize (KiB) 986924
[startup+3.10059 s]
/proc/loadavg: 7.99 7.90 6.57 10/559 32165
/proc/meminfo: memFree=25016544/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=986924 CPUtime=23.06 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) R 32155 32157 31798 0 -1 4202496 166690 0 0 0 2162 144 0 0 20 0 8 0 799649724 1010610176 133185 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293698 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 246731 133185 360 95 0 241713 0
[pid=32157/tid=32158] ppid=32155 vsize=986924 CPUtime=2.89 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 21052 0 0 0 269 20 0 0 20 0 8 0 799649724 1010610176 133185 33554432000 4194304 4580107 140733664630000 18446744073709551615 4294224 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=986924 CPUtime=2.89 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20185 0 0 0 272 17 0 0 19 0 8 0 799649724 1010610176 133185 33554432000 4194304 4580107 140733664630000 18446744073709551615 4234384 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=986924 CPUtime=2.87 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20568 0 0 0 271 16 0 0 20 0 8 0 799649724 1010610176 133185 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=986924 CPUtime=2.88 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20869 0 0 0 270 18 0 0 20 0 8 0 799649724 1010610176 133185 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293258 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=986924 CPUtime=2.89 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 21693 0 0 0 273 16 0 0 20 0 8 0 799649724 1010610176 133185 33554432000 4194304 4580107 140733664630000 18446744073709551615 4234384 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=986924 CPUtime=2.82 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 20848 0 0 0 264 18 0 0 19 0 8 0 799649724 1010610176 133185 33554432000 4194304 4580107 140733664630000 18446744073709551615 4292971 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=986924 CPUtime=2.88 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 21225 0 0 0 270 18 0 0 19 0 8 0 799649724 1010610176 133185 33554432000 4194304 4580107 140733664630000 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.06
Current children cumulated vsize (KiB) 986924
[startup+6.30106 s]
/proc/loadavg: 7.99 7.90 6.58 9/559 32165
/proc/meminfo: memFree=24638244/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=1566492 CPUtime=47.96 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) R 32155 32157 31798 0 -1 4202496 283188 0 0 0 4581 215 0 0 19 0 8 0 799649724 1604087808 226794 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 391623 226794 379 95 0 386605 0
[pid=32157/tid=32158] ppid=32155 vsize=1566492 CPUtime=5.98 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 37721 0 0 0 567 31 0 0 18 0 8 0 799649724 1604087808 226794 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=1566492 CPUtime=6 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 35128 0 0 0 574 26 0 0 19 0 8 0 799649724 1604087808 226794 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=1566492 CPUtime=6 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 38095 0 0 0 575 25 0 0 19 0 8 0 799649724 1604087808 226794 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=1566492 CPUtime=5.97 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 38434 0 0 0 569 28 0 0 19 0 8 0 799649724 1604087808 226794 33554432000 4194304 4580107 140733664630000 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=1566492 CPUtime=5.99 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 37251 0 0 0 572 27 0 0 18 0 8 0 799649724 1604087808 226794 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=1566492 CPUtime=5.88 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 36831 0 0 0 558 30 0 0 19 0 8 0 799649724 1604087808 226794 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=1566492 CPUtime=6.07 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 23105 0 0 0 588 19 0 0 19 0 8 0 799649724 1604087808 226794 33554432000 4194304 4580107 140733664630000 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=32157] ppid=32155 vsize=1566664 CPUtime=99.03 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) R 32155 32157 31798 0 -1 4202496 286258 0 0 0 9687 216 0 0 25 0 8 0 799649724 1604263936 229348 33554432000 4194304 4580107 140733664630000 18446744073709551615 4302360 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 391666 229348 379 95 0 386648 0
[pid=32157/tid=32158] ppid=32155 vsize=1566664 CPUtime=12.38 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 38231 0 0 0 1207 31 0 0 25 0 8 0 799649724 1604263936 229348 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=1566664 CPUtime=12.39 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 35469 0 0 0 1213 26 0 0 25 0 8 0 799649724 1604263936 229348 33554432000 4194304 4580107 140733664630000 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=1566664 CPUtime=12.4 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 38397 0 0 0 1215 25 0 0 25 0 8 0 799649724 1604263936 229348 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293755 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=1566664 CPUtime=12.37 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 38682 0 0 0 1209 28 0 0 25 0 8 0 799649724 1604263936 229348 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=1566664 CPUtime=12.39 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 37721 0 0 0 1212 27 0 0 25 0 8 0 799649724 1604263936 229348 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=1566664 CPUtime=12.15 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 37044 0 0 0 1185 30 0 0 25 0 8 0 799649724 1604263936 229348 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293728 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=1566664 CPUtime=12.46 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 23791 0 0 0 1227 19 0 0 25 0 8 0 799649724 1604263936 229348 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 99.03
Current children cumulated vsize (KiB) 1566664
[startup+25.5208 s]
/proc/loadavg: 7.99 7.90 6.60 9/559 32167
/proc/meminfo: memFree=24610664/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=1370120 CPUtime=201.34 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) R 32155 32157 31798 0 -1 4202496 482817 0 0 0 19893 241 0 0 25 0 8 0 799649724 1403002880 234975 33554432000 4194304 4580107 140733664630000 18446744073709551615 4291723 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 342530 234975 380 95 0 337512 0
[pid=32157/tid=32158] ppid=32155 vsize=1370120 CPUtime=25.2 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 77681 0 0 0 2484 36 0 0 25 0 8 0 799649724 1403002880 234975 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=1370120 CPUtime=25.22 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 58655 0 0 0 2493 29 0 0 25 0 8 0 799649724 1403002880 234975 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=1370120 CPUtime=25.21 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 58363 0 0 0 2493 28 0 0 25 0 8 0 799649724 1403002880 234975 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=1370120 CPUtime=25.19 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 70371 0 0 0 2488 31 0 0 25 0 8 0 799649724 1403002880 234975 33554432000 4194304 4580107 140733664630000 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=1370120 CPUtime=25.21 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 60063 0 0 0 2491 30 0 0 25 0 8 0 799649724 1403002880 234975 33554432000 4194304 4580107 140733664630000 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=1370120 CPUtime=24.73 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 55557 0 0 0 2441 32 0 0 25 0 8 0 799649724 1403002880 234975 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=1370120 CPUtime=25.29 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 25270 0 0 0 2509 20 0 0 25 0 8 0 799649724 1403002880 234975 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 201.34
Current children cumulated vsize (KiB) 1370120
[startup+51.1006 s]
/proc/loadavg: 8.05 7.92 6.65 9/559 32167
/proc/meminfo: memFree=24240460/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=1874188 CPUtime=405.26 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) R 32155 32157 31798 0 -1 4202496 646171 0 0 0 40237 289 0 0 25 0 8 0 799649724 1919168512 335671 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293957 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 468547 335672 380 95 0 463529 0
[pid=32157/tid=32158] ppid=32155 vsize=1874188 CPUtime=50.66 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 104435 0 0 0 5023 43 0 0 25 0 8 0 799649724 1919168512 335672 33554432000 4194304 4580107 140733664630000 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=1874188 CPUtime=50.76 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 81329 0 0 0 5041 35 0 0 25 0 8 0 799649724 1919168512 335674 33554432000 4194304 4580107 140733664630000 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=1874188 CPUtime=50.78 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 82790 0 0 0 5042 36 0 0 25 0 8 0 799649724 1919168512 335674 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=1874188 CPUtime=50.51 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 94864 0 0 0 5013 38 0 0 25 0 8 0 799649724 1919168512 335674 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=1874188 CPUtime=50.78 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 77125 0 0 0 5043 35 0 0 25 0 8 0 799649724 1919168512 335674 33554432000 4194304 4580107 140733664630000 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=1874188 CPUtime=50.08 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 70225 0 0 0 4972 36 0 0 25 0 8 0 799649724 1919168512 335676 33554432000 4194304 4580107 140733664630000 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=1874188 CPUtime=50.83 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 31384 0 0 0 5060 23 0 0 25 0 8 0 799649724 1919168512 335676 33554432000 4194304 4580107 140733664630000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 405.26
Current children cumulated vsize (KiB) 1874188
[startup+102.301 s]
/proc/loadavg: 8.13 7.97 6.73 9/559 32169
/proc/meminfo: memFree=23729480/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=2440804 CPUtime=813.69 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) R 32155 32157 31798 0 -1 4202496 881194 0 0 0 81024 345 0 0 25 0 8 0 799649724 2499383296 455250 33554432000 4194304 4580107 140733664630000 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 610201 455250 380 95 0 605183 0
[pid=32157/tid=32158] ppid=32155 vsize=2440804 CPUtime=101.72 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 120238 0 0 0 10125 47 0 0 25 0 8 0 799649724 2499383296 455250 33554432000 4194304 4580107 140733664630000 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=2440804 CPUtime=101.96 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 95974 0 0 0 10156 40 0 0 25 0 8 0 799649724 2499383296 455250 33554432000 4194304 4580107 140733664630000 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=2440804 CPUtime=101.92 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 97307 0 0 0 10152 40 0 0 25 0 8 0 799649724 2499383296 455250 33554432000 4194304 4580107 140733664630000 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=2440804 CPUtime=100.79 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 114951 0 0 0 10035 44 0 0 25 0 8 0 799649724 2499383296 455250 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=2440804 CPUtime=101.96 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 92450 0 0 0 10155 41 0 0 25 0 8 0 799649724 2499383296 455250 33554432000 4194304 4580107 140733664630000 18446744073709551615 4292922 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=2440804 CPUtime=101.28 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 86203 0 0 0 10088 40 0 0 25 0 8 0 799649724 2499383296 455250 33554432000 4194304 4580107 140733664630000 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=2440804 CPUtime=102.02 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 153983 0 0 0 10157 45 0 0 25 0 8 0 799649724 2499383296 455250 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 813.69
Current children cumulated vsize (KiB) 2440804
Solver just ended. Dumping a history of the last processes samples
[startup+102.521 s]
/proc/loadavg: 8.13 7.97 6.73 9/559 32169
/proc/meminfo: memFree=23725636/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=2440804 CPUtime=815.43 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) R 32155 32157 31798 0 -1 4202496 881293 0 0 0 81198 345 0 0 25 0 8 0 799649724 2499383296 455077 33554432000 4194304 4580107 140733664630000 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 610201 455077 380 95 0 605183 0
[pid=32157/tid=32158] ppid=32155 vsize=2440804 CPUtime=101.94 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 120257 0 0 0 10147 47 0 0 25 0 8 0 799649724 2499383296 455077 33554432000 4194304 4580107 140733664630000 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=2440804 CPUtime=102.18 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 95981 0 0 0 10178 40 0 0 25 0 8 0 799649724 2499383296 455077 33554432000 4194304 4580107 140733664630000 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=2440804 CPUtime=102.14 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 97308 0 0 0 10174 40 0 0 25 0 8 0 799649724 2499383296 455077 33554432000 4194304 4580107 140733664630000 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=2440804 CPUtime=100.99 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 114963 0 0 0 10055 44 0 0 25 0 8 0 799649724 2499383296 455077 33554432000 4194304 4580107 140733664630000 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=2440804 CPUtime=102.18 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 92454 0 0 0 10177 41 0 0 25 0 8 0 799649724 2499383296 455077 33554432000 4194304 4580107 140733664630000 18446744073709551615 4254155 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=2440804 CPUtime=101.5 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 86229 0 0 0 10110 40 0 0 25 0 8 0 799649724 2499383296 455077 33554432000 4194304 4580107 140733664630000 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=2440804 CPUtime=102.24 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 153989 0 0 0 10179 45 0 0 25 0 8 0 799649724 2499383296 455077 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293295 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 815.43
Current children cumulated vsize (KiB) 2440804
[startup+103.301 s]
/proc/loadavg: 8.13 7.97 6.73 9/559 32169
/proc/meminfo: memFree=23725636/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=2440804 CPUtime=818.71 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) R 32155 32157 31798 0 -1 4202496 883968 0 0 0 81526 345 0 0 25 0 8 0 799649724 2499383296 456183 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311711787 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 610201 456183 380 95 0 605183 0
[pid=32157/tid=32158] ppid=32155 vsize=2440804 CPUtime=102.23 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 120278 0 0 0 10176 47 0 0 25 0 8 0 799649724 2499383296 456183 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736372 0 0 4096 2 18446604451534773312 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=2440804 CPUtime=102.46 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 95994 0 0 0 10206 40 0 0 25 0 8 0 799649724 2499383296 456183 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736372 0 0 4096 2 18446604451534773312 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=2440804 CPUtime=102.43 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 97315 0 0 0 10203 40 0 0 25 0 8 0 799649724 2499383296 456183 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736372 0 0 4096 2 18446604451534773312 0 0 -1 3 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=2440804 CPUtime=101.27 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 114978 0 0 0 10083 44 0 0 25 0 8 0 799649724 2499383296 456183 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736372 0 0 4096 2 18446604451534773312 0 0 -1 7 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=2440804 CPUtime=102.95 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 95028 0 0 0 10254 41 0 0 25 0 8 0 799649724 2499383296 456184 33554432000 4194304 4580107 140733664630000 18446744073709551615 4398074 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=2440804 CPUtime=101.78 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 86248 0 0 0 10138 40 0 0 25 0 8 0 799649724 2499383296 456184 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736372 0 0 4096 2 18446604451534773312 0 0 -1 1 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=2440804 CPUtime=102.53 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 153996 0 0 0 10208 45 0 0 25 0 8 0 799649724 2499383296 456184 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736372 0 0 4096 2 18446604451534773312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 818.71
Current children cumulated vsize (KiB) 2440804
[startup+103.701 s]
/proc/loadavg: 8.13 7.97 6.73 3/559 32169
/proc/meminfo: memFree=23721048/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=2440804 CPUtime=819.52 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) R 32155 32157 31798 0 -1 4202496 884222 0 0 0 81606 346 0 0 25 0 8 0 799649724 2499383296 456305 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311711787 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 610201 456305 380 95 0 605183 0
[pid=32157/tid=32158] ppid=32155 vsize=2440804 CPUtime=102.23 cores=0-7
/proc/32157/task/32158/stat : 32158 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 120278 0 0 0 10176 47 0 0 25 0 8 0 799649724 2499383296 456305 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736372 0 0 4096 2 18446604451534773312 0 0 -1 6 0 0 0
[pid=32157/tid=32159] ppid=32155 vsize=2440804 CPUtime=102.46 cores=0-7
/proc/32157/task/32159/stat : 32159 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 95994 0 0 0 10206 40 0 0 25 0 8 0 799649724 2499383296 456305 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736372 0 0 4096 2 18446604451534773312 0 0 -1 2 0 0 0
[pid=32157/tid=32160] ppid=32155 vsize=2440804 CPUtime=102.43 cores=0-7
/proc/32157/task/32160/stat : 32160 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 97315 0 0 0 10203 40 0 0 25 0 8 0 799649724 2499383296 456305 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736372 0 0 4096 2 18446604451534773312 0 0 -1 3 0 0 0
[pid=32157/tid=32161] ppid=32155 vsize=2440804 CPUtime=101.27 cores=0-7
/proc/32157/task/32161/stat : 32161 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 114978 0 0 0 10083 44 0 0 25 0 8 0 799649724 2499383296 456305 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736372 0 0 4096 2 18446604451534773312 0 0 -1 7 0 0 0
[pid=32157/tid=32162] ppid=32155 vsize=2440804 CPUtime=103.35 cores=0-7
/proc/32157/task/32162/stat : 32162 (strangenight2-m) R 32155 32157 31798 0 -1 4202560 95281 0 0 0 10294 41 0 0 25 0 8 0 799649724 2499383296 456305 33554432000 4194304 4580107 140733664630000 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32157/tid=32163] ppid=32155 vsize=2440804 CPUtime=101.78 cores=0-7
/proc/32157/task/32163/stat : 32163 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 86248 0 0 0 10138 40 0 0 25 0 8 0 799649724 2499383296 456305 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736372 0 0 4096 2 18446604451534773312 0 0 -1 1 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=2440804 CPUtime=102.53 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) S 32155 32157 31798 0 -1 4202560 153996 0 0 0 10208 45 0 0 25 0 8 0 799649724 2499383296 456305 33554432000 4194304 4580107 140733664630000 18446744073709551615 47827311736372 0 0 4096 2 18446604451534773312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 819.52
Current children cumulated vsize (KiB) 2440804
[startup+104.101 s]
/proc/loadavg: 8.13 7.97 6.73 3/559 32169
/proc/meminfo: memFree=23721048/32951124 swapFree=39849776/67111528
[pid=32157] ppid=32155 vsize=0 CPUtime=820.26 cores=0-7
/proc/32157/stat : 32157 (strangenight2-m) Z 32155 32157 31798 0 -1 4202524 884230 0 0 0 81674 352 0 0 25 0 2 0 799649724 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32157/statm: 0 0 0 0 0 0 0
[pid=32157/tid=32164] ppid=32155 vsize=0 CPUtime=102.59 cores=0-7
/proc/32157/task/32164/stat : 32164 (strangenight2-m) R 32155 32157 31798 0 -1 4203588 153996 0 0 0 10208 51 0 0 18 0 2 0 799649724 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 820.26
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 104.143
CPU time (s): 820.305
CPU user time (s): 816.743
CPU system time (s): 3.56246
CPU usage (%): 787.673
Max. virtual memory (cumulated for all children) (KiB): 2440804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 816.743
system time used= 3.56246
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 884230
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= 211790
involuntary context switches= 4378
runsolver used 0.547916 second user time and 1.38279 second system time
The end
Begin job on node118 at 2011-05-22 21:56:31
IDJOB=3394312
IDBENCH=82488
IDSOLVER=1878
FILE ID=node118/3394312-1306094190
RUNJOBID= node118-1306092896-31812
PBS_JOBID= 13387946
Free space on /tmp= 72936 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394312-1306094190/watcher-3394312-1306094190 -o /tmp/evaluation-result-3394312-1306094190/solver-3394312-1306094190 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394312-1306094190.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= a4c7dbdc89378b1335eea4904f9f5cb5
RANDOM SEED=220657213
node118.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.842
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.68
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.842
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.842
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.842
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.842
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.68
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.842
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.842
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.75
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.842
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 : 5374.59
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 25548704 kB
Buffers: 4076 kB
Cached: 153356 kB
SwapCached: 50464 kB
Active: 459292 kB
Inactive: 6680288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 25548704 kB
SwapTotal: 67111528 kB
SwapFree: 39849776 kB
Dirty: 13616 kB
Writeback: 0 kB
AnonPages: 6944808 kB
Mapped: 25040 kB
Slab: 74748 kB
PageTables: 114588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 183775580 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= 72932 MiB
End job on node118 at 2011-05-22 21:58:15