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-3321159-1304324510.cnf'
0.00/0.03 c -- header says num vars: 82007
0.00/0.03 c -- header says num clauses: 241364
1.58/0.36 c -- clauses added: 0 learnts, 241364 normals, 0 xors
1.58/0.36 c -- vars added 82007
1.58/0.36 c Parsing time: 0.13 s
1.58/0.36 c N st 0 0 82007 80454 160908 0 563178 0 no data no data
6.56/0.93 c asymm cl-useful: 0/32711/80453 lits-rem:0 time: 0.58
31.86/4.17 c Flit: 43 Blit: 6060 bXBeca: 0 bXProp: 5431 Bins: 0 BRemL: 0 BRemN: 0 P: 43.7M T: 3.24
31.86/4.19 c Cleaning up after failed var search: 0.01 s
32.66/4.22 c Replacing 5431 vars Replaced 103374 lits Time: 0.03 s
32.66/4.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
32.66/4.28 c bin-w-bin subsume rem 1702 bins time: 0.02 s
33.46/4.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
34.23/4.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70441 time: 0.16 s
35.83/4.62 c Removed useless bin: 1198 fixed: 0 props: 14.52M time: 0.14 s
55.00/7.04 c lits-rem: 53 cl-subs: 1208 v-elim: 23480 v-fix: 0 time: 2.41 s
55.00/7.05 c Finding binary XORs T: 0.02 s found: 0
55.00/7.09 c Finding non-binary XORs: 0.01 s (found: 312, avg size: 3.3)
55.00/7.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 104 locsubst: 15 time: 0.01
55.00/7.09 c calculated reachability. Time: 0.00
55.00/7.10 c Calc default polars - time: 0.01 s pos: 4133 undec: 35474 neg: 42400
55.00/7.10 c =========================================================================================
55.00/7.10 c types(t): F = full restart, N = normal restart
55.00/7.10 c types(t): S = simplification begin/end, E = solution found
55.00/7.10 c restart types(rt): st = static, dy = dynamic
55.00/7.10 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
55.00/7.10 c B st 0 0 46857 49464 103452 0 386833 0 no data no data
70.96/9.07 c N dy 13 4870 46855 49464 104188 4038 386832 92094 5.74 6.05
83.75/10.66 c N dy 34 9036 46842 49464 106960 7768 386797 156023 6.62 7.04
95.74/12.15 c N dy 54 13121 46789 49464 110898 11511 386797 259733 7.57 8.17
99.80/12.66 c Finding binary XORs T: 0.02 s found: 420
108.60/13.76 c N dy 71 17918 46762 49378 111014 16007 386046 375631 8.16 16.51
119.72/15.17 c N dy 86 22180 46710 49378 112387 11035 386045 111324 8.11 19.19
128.51/16.25 c F st 101 25000 46622 49378 114458 13658 386045 199910 8.56 6.86
128.51/16.29 c Replacing 426 vars Replaced 13964 lits Time: 0.03 s
133.30/16.84 c N st 104 26188 46199 49165 113339 14489 384218 219476 8.56 no data
140.50/17.72 c S st 107 30000 46193 49165 113432 18157 384218 306363 8.56 no data
142.91/18.08 c S st 107 30500 46179 49165 114743 18455 384218 311049 8.56 no data
142.91/18.10 c x-sub: 5 x-cut: 0 vfix: 0 v-elim: 52 locsubst: 0 time: 0.02
209.20/26.33 c Flit: 178 Blit: 201 bXBeca: 0 bXProp: 2239 Bins: 254395 BRemL: 68212 BRemN: 198 P: 76.7M T: 8.15
209.20/26.35 c Cleaning up after failed var search: 0.02 s
210.01/26.40 c Replacing 2239 vars Replaced 239444 lits Time: 0.05 s
210.01/26.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
210.80/26.51 c bin-w-bin subsume rem 55885 bins time: 0.08 s
212.40/26.71 c subs with bin: 111 lits-rem: 528 v-fix: 0 time: 0.20 s
213.23/26.86 c Subs w/ non-existent bins: 6 l-rem: 123 v-fix: 0 done: 43425 time: 0.14 s
214.07/26.91 c Removed useless bin: 600 fixed: 0 props: 2.32M time: 0.06 s
223.58/28.16 c lits-rem: 2744 cl-subs: 11088 v-elim: 22337 v-fix: 0 time: 1.22 s
223.58/28.18 c subs with bin: 324 lits-rem: 582 v-fix: 0 time: 0.01 s
224.38/28.22 c lits-rem: 143 cl-subs: 365 v-elim: 0 v-fix: 0 time: 0.04 s
224.38/28.22 c Added XOR as norm:18
229.16/28.81 c asymm cl-useful: 22/30507/63218 lits-rem:66 time: 0.58
229.16/28.84 c calculated reachability. Time: 0.02
229.16/28.84 c N dy 107 30500 21088 63196 76031 2981 314716 100651 8.56 no data
229.96/28.94 c Finding binary XORs T: 0.10 s found: 169
236.35/29.79 c N dy 111 35614 21079 63196 76399 7500 314714 152094 7.98 8.41
241.94/30.46 c N dy 120 40912 20856 62912 77550 12246 311233 208190 7.64 8.13
245.93/30.94 c Finding binary XORs T: 0.04 s found: 235
245.93/30.97 c Replacing 404 vars Replaced 17406 lits Time: 0.02 s
246.74/31.05 c N dy 127 45298 20421 62836 135079 9524 310358 281849 7.48 7.94
247.53/31.14 c S st 129 45751 20420 62836 135098 9927 310358 286171 7.46 4.93
249.19/31.31 c S st 129 46253 20416 62836 135182 10324 310358 288907 7.46 no data
249.19/31.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 16 locsubst: 0 time: 0.02
269.88/33.92 c Flit: 117 Blit: 52 bXBeca: 0 bXProp: 200 Bins: 70607 BRemL: 61278 BRemN: 344 P: 21.3M T: 2.59
269.88/33.92 c Cleaning up after failed var search: 0.00 s
269.88/33.95 c Replacing 200 vars Replaced 20047 lits Time: 0.03 s
269.88/33.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
270.68/34.01 c bin-w-bin subsume rem 31239 bins time: 0.04 s
276.26/34.71 c subs with bin: 1809 lits-rem: 2557 v-fix: 0 time: 0.70 s
276.26/34.76 c Subs w/ non-existent bins: 227 l-rem: 560 v-fix: 0 done: 20022 time: 0.05 s
276.26/34.78 c Removed useless bin: 409 fixed: 0 props: 0.61M time: 0.02 s
283.48/35.66 c lits-rem: 303 cl-subs: 1680 v-elim: 1321 v-fix: 0 time: 0.88 s
283.48/35.69 c subs with bin: 341 lits-rem: 1967 v-fix: 0 time: 0.02 s
284.32/35.76 c lits-rem: 591 cl-subs: 423 v-elim: 0 v-fix: 0 time: 0.05 s
284.32/35.76 c Added XOR as norm:1
284.32/35.79 c vivif2 -- cl tried 60547 cl shrink 1354 lits rem 1693 time: 0.04
285.05/35.80 c vivif2 -- cl tried 8563 cl shrink 1728 lits rem 5092 time: 0.01
294.65/37.07 c asymm cl-useful: 209/43967/60232 lits-rem:292 time: 1.27
294.65/37.09 c calculated reachability. Time: 0.01
294.65/37.09 c N dy 129 46253 18701 60231 90608 8499 298126 187333 7.46 no data
295.45/37.15 c Finding binary XORs T: 0.05 s found: 19
301.06/37.85 c N dy 140 50451 18637 60231 147420 12402 298126 347247 7.36 7.80
304.23/38.22 c Finding binary XORs T: 0.04 s found: 166
305.83/38.46 c N dy 152 54508 18624 60119 145079 16105 296576 386174 7.26 8.14
310.69/39.01 c N dy 162 58561 18601 60119 167927 19869 296576 482189 7.20 12.24
312.23/39.21 c Finding binary XORs T: 0.04 s found: 34
312.23/39.24 c Replacing 219 vars Replaced 17017 lits Time: 0.03 s
317.02/39.89 c N dy 172 63833 18358 60048 166901 24209 295800 528460 7.08 7.64
323.40/40.62 c N dy 186 68648 18332 60048 189522 16275 295799 431740 7.01 7.45
324.20/40.73 c S st 190 69379 18330 60048 189528 16981 295799 442912 7.00 no data
325.80/40.91 c S st 190 69881 18325 60048 189570 17429 295799 446357 7.00 no data
325.80/40.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
344.18/43.25 c Flit: 63 Blit: 18 bXBeca: 0 bXProp: 207 Bins: 32181 BRemL: 79176 BRemN: 111 P: 19.4M T: 2.32
344.18/43.29 c Replacing 207 vars Replaced 15317 lits Time: 0.04 s
345.00/43.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
345.00/43.34 c bin-w-bin subsume rem 35188 bins time: 0.03 s
349.77/43.96 c subs with bin: 435 lits-rem: 601 v-fix: 0 time: 0.62 s
350.57/44.01 c Subs w/ non-existent bins: 45 l-rem: 7 v-fix: 0 done: 18019 time: 0.05 s
350.57/44.03 c Removed useless bin: 213 fixed: 0 props: 0.49M time: 0.02 s
353.80/44.44 c lits-rem: 81 cl-subs: 1368 v-elim: 682 v-fix: 0 time: 0.41 s
353.80/44.47 c subs with bin: 450 lits-rem: 887 v-fix: 0 time: 0.02 s
354.64/44.56 c lits-rem: 545 cl-subs: 826 v-elim: 0 v-fix: 0 time: 0.07 s
354.64/44.56 c Added XOR as norm:0
354.64/44.59 c vivif2 -- cl tried 58314 cl shrink 405 lits rem 548 time: 0.03
355.37/44.61 c vivif2 -- cl tried 14211 cl shrink 1167 lits rem 2346 time: 0.01
358.56/45.01 c asymm cl-useful: 21/14294/58261 lits-rem:63 time: 0.40
358.56/45.03 c calculated reachability. Time: 0.01
358.56/45.03 c N dy 190 69881 17337 58240 89228 14195 283023 220053 7.00 no data
358.56/45.07 c Finding binary XORs T: 0.05 s found: 9
364.15/45.74 c N dy 202 74501 17285 58240 105953 18465 283023 304361 6.95 7.32
366.56/46.02 c Finding binary XORs T: 0.04 s found: 219
366.56/46.05 c Replacing 228 vars Replaced 12980 lits Time: 0.02 s
370.55/46.56 c N dy 219 79785 16953 58050 99765 22609 280018 349397 6.90 7.28
378.55/47.54 c N dy 245 85540 16889 58050 108979 28004 280018 438028 6.88 7.30
381.01/47.85 c F st 254 87503 16842 58050 109412 29836 280018 468387 6.89 no data
387.33/48.62 c N dy 260 92696 16840 57936 105959 19125 277922 296065 6.89 no data
388.14/48.76 c Finding binary XORs T: 0.04 s found: 111
395.33/49.65 c N dy 291 98908 16790 57883 105497 24929 277076 370407 6.88 7.36
402.52/50.57 c S st 318 104821 16764 57883 105701 30488 277076 456481 6.89 6.26
404.12/50.72 c S st 318 105324 16760 57883 105831 30947 277076 460626 6.89 no data
404.12/50.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
422.50/53.03 c Flit: 51 Blit: 20 bXBeca: 0 bXProp: 120 Bins: 42112 BRemL: 66876 BRemN: 206 P: 23.2M T: 2.29
422.50/53.07 c Replacing 231 vars Replaced 22652 lits Time: 0.04 s
422.50/53.09 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
423.30/53.10 c bin-w-bin subsume rem 4159 bins time: 0.01 s
425.69/53.49 c subs with bin: 245 lits-rem: 300 v-fix: 0 time: 0.38 s
426.49/53.53 c Subs w/ non-existent bins: 33 l-rem: 5 v-fix: 0 done: 16436 time: 0.04 s
426.49/53.54 c Removed useless bin: 173 fixed: 0 props: 0.40M time: 0.02 s
430.49/54.00 c lits-rem: 56 cl-subs: 1003 v-elim: 430 v-fix: 0 time: 0.46 s
430.49/54.05 c subs with bin: 798 lits-rem: 2833 v-fix: 0 time: 0.02 s
432.09/54.20 c lits-rem: 1985 cl-subs: 1513 v-elim: 0 v-fix: 0 time: 0.14 s
432.09/54.20 c Added XOR as norm:0
432.09/54.24 c vivif2 -- cl tried 56579 cl shrink 355 lits rem 670 time: 0.03
432.09/54.27 c vivif2 -- cl tried 27321 cl shrink 3304 lits rem 6663 time: 0.03
437.68/54.92 c asymm cl-useful: 338/14233/56559 lits-rem:597 time: 0.65
437.68/54.94 c calculated reachability. Time: 0.01
437.68/54.94 c N dy 318 105324 16006 56515 70521 27312 272249 315901 6.89 no data
437.68/54.99 c Finding binary XORs T: 0.04 s found: 2
447.27/56.11 c N dy 343 112235 15867 56515 86764 33735 272249 426724 6.87 7.25
452.06/56.73 c Finding binary XORs T: 0.04 s found: 121
457.65/57.43 c N dy 381 119438 15759 56243 82290 22055 267245 267912 6.90 7.37
467.25/58.62 c N dy 424 127066 15726 56243 82516 29161 267245 375680 6.94 9.10
476.87/59.90 c N dy 460 135192 15692 56243 82775 36823 267245 488511 6.94 11.09
478.44/60.03 c Finding binary XORs T: 0.04 s found: 71
478.44/60.05 c Replacing 194 vars Replaced 14089 lits Time: 0.03 s
490.43/61.53 c N dy 511 143896 15377 55982 81205 23102 263467 273439 6.99 14.48
498.42/62.59 c Finding binary XORs T: 0.04 s found: 116
504.07/63.26 c N dy 572 153166 15324 55811 86200 30961 260563 449718 7.08 10.21
513.60/64.41 c S st 602 157986 15275 55811 86450 35434 260563 538694 7.10 no data
515.20/64.64 c S st 602 158488 15272 55811 86473 35895 260563 541707 7.10 no data
515.20/64.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
531.18/66.65 c Flit: 27 Blit: 3 bXBeca: 0 bXProp: 65 Bins: 8187 BRemL: 29434 BRemN: 109 P: 25.9M T: 1.99
531.18/66.68 c Replacing 181 vars Replaced 9808 lits Time: 0.04 s
531.98/66.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
531.98/66.71 c bin-w-bin subsume rem 4739 bins time: 0.01 s
532.78/66.82 c subs with bin: 225 lits-rem: 106 v-fix: 0 time: 0.10 s
532.78/66.86 c Subs w/ non-existent bins: 5 l-rem: 28 v-fix: 0 done: 15061 time: 0.04 s
532.78/66.87 c Removed useless bin: 78 fixed: 0 props: 0.36M time: 0.01 s
534.38/67.00 c lits-rem: 50 cl-subs: 792 v-elim: 415 v-fix: 0 time: 0.13 s
535.17/67.19 c subs with bin: 1433 lits-rem: 1340 v-fix: 0 time: 0.16 s
536.77/67.31 c lits-rem: 2146 cl-subs: 1896 v-elim: 0 v-fix: 0 time: 0.11 s
536.77/67.31 c Added XOR as norm:0
536.77/67.35 c vivif2 -- cl tried 54882 cl shrink 284 lits rem 400 time: 0.03
536.77/67.38 c vivif2 -- cl tried 29284 cl shrink 1892 lits rem 5795 time: 0.03
541.56/67.93 c asymm cl-useful: 219/22026/54854 lits-rem:713 time: 0.56
541.56/67.95 c calculated reachability. Time: 0.01
541.56/67.95 c N dy 602 158488 14646 54677 56586 29273 252004 309601 7.10 no data
541.56/67.99 c Finding binary XORs T: 0.04 s found: 12
561.55/70.44 c N dy 669 168645 14341 54447 65629 36694 248438 560551 7.23 7.92
562.34/70.52 c Finding binary XORs T: 0.04 s found: 152
562.34/70.54 c Replacing 164 vars Replaced 9272 lits Time: 0.02 s
576.72/72.34 c N dy 715 179516 14029 54058 59359 25735 243063 440587 7.21 7.59
589.27/75.14 c Following stats are for *FIRST FINISHED THREAD ONLY*
589.27/75.14 c num threads : 8
589.27/75.14 c restarts : 859
589.27/75.14 c dynamic restarts : 841
589.27/75.14 c static restarts : 18
589.27/75.14 c full restarts : 2
589.27/75.14 c total simplify time : 1.10
589.27/75.14 c learnts DL2 : 0
589.27/75.14 c learnts size 2 : 860351
589.27/75.14 c learnts size 1 : 10538 (12.85 % of vars)
589.27/75.14 c filedLit time : 14.23 (19.05 % time)
589.27/75.14 c v-elim SatELite : 47448 (57.86 % vars)
589.27/75.14 c SatELite time : 4.38 (5.86 % time)
589.27/75.14 c v-elim xor : 172 (0.21 % vars)
589.27/75.14 c xor elim time : 0.06 (0.08 % time)
589.27/75.14 c num binary xor trees : 6410
589.27/75.14 c binxor trees' crown : 10747 (1.68 leafs/tree)
589.27/75.14 c bin xor find time : 0.63
589.27/75.14 c OTF clause improved : 10754 (0.05 clauses/conflict)
589.27/75.14 c OTF impr. size diff : 12058 (1.12 lits/clause)
589.27/75.14 c OTF cl watch-shrink : 87380 (0.39 clauses/conflict)
589.27/75.14 c OTF cl watch-sh-lit : 212521 (2.43 lits/clause)
589.27/75.14 c tried to recurMin cls : 100318 (44.56 % of conflicts)
589.27/75.14 c updated cache : 0 (0.00 lits/tried recurMin)
589.27/75.14 c unit cls recevied : 1875 (17.79 % of units)
589.27/75.14 c unit cls sent : 545 (5.17 % of units)
589.27/75.14 c bin cls recevied : 365321
589.27/75.14 c bin cls sent : 30212
589.27/75.14 c clauses over max glue : 0 (0.00 % of all clauses)
589.27/75.14 c conflicts : 225127 (3012.92 / sec)
589.27/75.14 c decisions : 5686711 (1.18 % random)
589.27/75.14 c bogo-props : 1502423264 (20107205.51 / sec)
589.27/75.14 c conflict literals : 4583016 (19.22 % deleted)
589.27/75.14 c Memory used : 1880.11 MB
589.27/75.14 c single-thread CPU time : 74.72 s
589.27/75.14 c all-threads sum CPU time : 587.17 s
589.27/75.14 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3321159-1304324510/watcher-3321159-1304324510 -o /tmp/evaluation-result-3321159-1304324510/solver-3321159-1304324510 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321159-1304324510.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.08 7.72 7.24 2/248 877
/proc/meminfo: memFree=28453552/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=40968 CPUtime=0 cores=0-7
/proc/877/stat : 877 (strangenight2-m) R 874 877 627 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 3 0 524866367 41951232 346 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261672945 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/877/statm: 10242 346 299 106 0 5213 0
[pid=877/tid=878] ppid=874 vsize=92188 CPUtime=0 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) R 874 877 627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 524866367 94400512 352 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032626 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=92188 CPUtime=0 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) R 874 877 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524866367 94400512 352 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032626 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=880] ppid=874 vsize=92188 CPUtime=0 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) R 874 877 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524866367 94400512 352 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032626 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=92188 CPUtime=0 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) R 874 877 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524866367 94400512 352 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032620 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=92188 CPUtime=0 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) R 874 877 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524866367 94400512 352 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=877/tid=883] ppid=874 vsize=92188 CPUtime=0 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) R 874 877 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524866367 94400512 352 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032626 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=92188 CPUtime=0 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) R 874 877 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524866367 94400512 352 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032620 0 0 4096 2 0 0 0 -1 6 0 0 0
[startup+0.0776269 s]
/proc/loadavg: 7.08 7.72 7.24 2/248 877
/proc/meminfo: memFree=28453552/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=635656 CPUtime=0.4 cores=0-7
/proc/877/stat : 877 (strangenight2-m) S 874 877 627 0 -1 4202496 13768 0 0 0 32 8 0 0 17 0 8 0 524866367 650911744 11847 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 158914 11911 339 106 0 153885 0
[pid=877/tid=878] ppid=874 vsize=635656 CPUtime=0.04 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) R 874 877 627 0 -1 4202560 1666 0 0 0 4 0 0 0 17 0 8 0 524866367 650911744 11934 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=635656 CPUtime=0.03 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) S 874 877 627 0 -1 4202560 1750 0 0 0 2 1 0 0 17 0 8 0 524866367 650911744 11949 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446604440749833152 0 0 -1 7 0 0 0
[pid=877/tid=880] ppid=874 vsize=635656 CPUtime=0.05 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) S 874 877 627 0 -1 4202560 1729 0 0 0 4 1 0 0 17 0 8 0 524866367 650911744 11966 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446604440749833152 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=635656 CPUtime=0.04 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) R 874 877 627 0 -1 4202560 1684 0 0 0 4 0 0 0 17 0 8 0 524866367 650911744 11973 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=635796 CPUtime=0.04 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) S 874 877 627 0 -1 4202560 1739 0 0 0 4 0 0 0 17 0 8 0 524866367 651055104 11989 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446604440749833152 0 0 -1 5 0 0 0
[pid=877/tid=883] ppid=874 vsize=635796 CPUtime=0.04 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) S 874 877 627 0 -1 4202560 1547 0 0 0 4 0 0 0 17 0 8 0 524866367 651055104 12003 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446604440749833152 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=635940 CPUtime=0.05 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) R 874 877 627 0 -1 4202560 1676 0 0 0 4 1 0 0 17 0 8 0 524866367 651202560 12016 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721631 0 0 4096 2 18446604440749833152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 635656
[startup+0.101671 s]
/proc/loadavg: 7.08 7.72 7.24 2/248 877
/proc/meminfo: memFree=28453552/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=650316 CPUtime=0.53 cores=0-7
/proc/877/stat : 877 (strangenight2-m) S 874 877 627 0 -1 4202496 20306 0 0 0 39 14 0 0 17 0 8 0 524866367 665923584 16287 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 162659 16297 339 106 0 157630 0
[pid=877/tid=878] ppid=874 vsize=650636 CPUtime=0.05 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) S 874 877 627 0 -1 4202560 2430 0 0 0 4 1 0 0 17 0 8 0 524866367 666251264 16310 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446604440749833152 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=650636 CPUtime=0.04 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) S 874 877 627 0 -1 4202560 2495 0 0 0 3 1 0 0 17 0 8 0 524866367 666251264 16324 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446604440749833152 0 0 -1 7 0 0 0
[pid=877/tid=880] ppid=874 vsize=650636 CPUtime=0.06 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) S 874 877 627 0 -1 4202560 2458 0 0 0 5 1 0 0 17 0 8 0 524866367 666251264 16340 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446604440749833152 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=650636 CPUtime=0.06 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) S 874 877 627 0 -1 4202560 2384 0 0 0 5 1 0 0 17 0 8 0 524866367 666251264 16346 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446604440749833152 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=650636 CPUtime=0.06 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) S 874 877 627 0 -1 4202560 2747 0 0 0 5 1 0 0 17 0 8 0 524866367 666251264 16346 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446604440749833152 0 0 -1 5 0 0 0
[pid=877/tid=883] ppid=874 vsize=650636 CPUtime=0.05 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) R 874 877 627 0 -1 4202560 2455 0 0 0 5 0 0 0 17 0 8 0 524866367 666251264 16346 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=650636 CPUtime=0.07 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) S 874 877 627 0 -1 4202560 2481 0 0 0 5 2 0 0 17 0 8 0 524866367 666251264 16346 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446604440749833152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 650316
[startup+0.300635 s]
/proc/loadavg: 7.08 7.72 7.24 2/248 877
/proc/meminfo: memFree=28453552/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=734652 CPUtime=1.58 cores=0-7
/proc/877/stat : 877 (strangenight2-m) S 874 877 627 0 -1 4202496 65296 0 0 0 105 53 0 0 17 0 8 0 524866367 752283648 55947 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 183663 56479 339 106 0 178634 0
[pid=877/tid=878] ppid=874 vsize=734652 CPUtime=0.18 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) D 874 877 627 0 -1 4202560 8880 0 0 0 12 6 0 0 17 0 8 0 524866367 752283648 56150 33554432000 4194304 4627427 140733374198672 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=734652 CPUtime=0.18 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) D 874 877 627 0 -1 4202560 7652 0 0 0 10 8 0 0 17 0 8 0 524866367 752283648 56150 33554432000 4194304 4627427 140733374198672 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=877/tid=880] ppid=874 vsize=734652 CPUtime=0.19 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) D 874 877 627 0 -1 4202560 7274 0 0 0 13 6 0 0 17 0 8 0 524866367 752283648 56150 33554432000 4194304 4627427 140733374198672 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=734652 CPUtime=0.2 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) D 874 877 627 0 -1 4202560 7115 0 0 0 14 6 0 0 17 0 8 0 524866367 752283648 56150 33554432000 4194304 4627427 140733374198672 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=734652 CPUtime=0.2 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) R 874 877 627 0 -1 4202560 9354 0 0 0 14 6 0 0 17 0 8 0 524866367 752283648 55638 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261659783 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=877/tid=883] ppid=874 vsize=734652 CPUtime=0.19 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) D 874 877 627 0 -1 4202560 8453 0 0 0 13 6 0 0 17 0 8 0 524866367 752283648 55638 33554432000 4194304 4627427 140733374198672 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=734652 CPUtime=0.2 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) D 874 877 627 0 -1 4202560 9122 0 0 0 14 6 0 0 17 0 8 0 524866367 752283648 55638 33554432000 4194304 4627427 140733374198672 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 734652
[startup+0.935206 s]
/proc/loadavg: 7.08 7.72 7.24 2/248 877
/proc/meminfo: memFree=28453552/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=758860 CPUtime=6.56 cores=0-7
/proc/877/stat : 877 (strangenight2-m) R 874 877 627 0 -1 4202496 81444 0 0 0 589 67 0 0 18 0 8 0 524866367 777072640 64679 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 189715 64679 366 106 0 184686 0
[pid=877/tid=878] ppid=874 vsize=758860 CPUtime=0.8 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) R 874 877 627 0 -1 4202560 10269 0 0 0 72 8 0 0 18 0 8 0 524866367 777072640 64679 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=758860 CPUtime=0.8 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) R 874 877 627 0 -1 4202560 9930 0 0 0 71 9 0 0 18 0 8 0 524866367 777072640 64679 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261659831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=877/tid=880] ppid=874 vsize=758860 CPUtime=0.81 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) D 874 877 627 0 -1 4202560 9776 0 0 0 73 8 0 0 18 0 8 0 524866367 777072640 64679 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=758860 CPUtime=0.81 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) R 874 877 627 0 -1 4202560 9428 0 0 0 74 7 0 0 17 0 8 0 524866367 777072640 64679 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=758860 CPUtime=0.81 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) S 874 877 627 0 -1 4202560 10716 0 0 0 74 7 0 0 18 0 8 0 524866367 777072640 64679 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446604440749833152 0 0 -1 5 0 0 0
[pid=877/tid=883] ppid=874 vsize=758860 CPUtime=0.81 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) R 874 877 627 0 -1 4202560 10153 0 0 0 73 8 0 0 18 0 8 0 524866367 777072640 64679 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=758860 CPUtime=0.82 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) S 874 877 627 0 -1 4202560 10582 0 0 0 75 7 0 0 18 0 8 0 524866367 777072640 64679 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721582 0 0 4096 2 18446604440749833152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 758860
[startup+1.50038 s]
/proc/loadavg: 7.08 7.72 7.24 10/256 885
/proc/meminfo: memFree=28187064/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=760800 CPUtime=11.1 cores=0-7
/proc/877/stat : 877 (strangenight2-m) R 874 877 627 0 -1 4202496 83845 0 0 0 1043 67 0 0 18 0 8 0 524866367 779059200 66952 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308493 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 190200 66952 367 106 0 185171 0
[pid=877/tid=878] ppid=874 vsize=760800 CPUtime=1.38 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) R 874 877 627 0 -1 4202560 10657 0 0 0 130 8 0 0 18 0 8 0 524866367 779059200 66952 33554432000 4194304 4627427 140733374198672 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=760800 CPUtime=1.37 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) R 874 877 627 0 -1 4202560 10351 0 0 0 128 9 0 0 18 0 8 0 524866367 779059200 66952 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=877/tid=880] ppid=874 vsize=760800 CPUtime=1.39 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) R 874 877 627 0 -1 4202560 9877 0 0 0 131 8 0 0 18 0 8 0 524866367 779059200 66952 33554432000 4194304 4627427 140733374198672 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=760800 CPUtime=1.38 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) R 874 877 627 0 -1 4202560 9845 0 0 0 131 7 0 0 18 0 8 0 524866367 779059200 66952 33554432000 4194304 4627427 140733374198672 18446744073709551615 4238988 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=760800 CPUtime=1.38 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) R 874 877 627 0 -1 4202560 10735 0 0 0 131 7 0 0 18 0 8 0 524866367 779059200 66952 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=877/tid=883] ppid=874 vsize=760800 CPUtime=1.39 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) R 874 877 627 0 -1 4202560 10589 0 0 0 131 8 0 0 18 0 8 0 524866367 779059200 66952 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=760800 CPUtime=1.4 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) R 874 877 627 0 -1 4202560 10773 0 0 0 132 8 0 0 18 0 8 0 524866367 779059200 66952 33554432000 4194304 4627427 140733374198672 18446744073709551615 4305758 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.1
Current children cumulated vsize (KiB) 760800
[startup+3.10109 s]
/proc/loadavg: 7.08 7.72 7.24 9/256 885
/proc/meminfo: memFree=28184604/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=761512 CPUtime=23.88 cores=0-7
/proc/877/stat : 877 (strangenight2-m) R 874 877 627 0 -1 4202496 84847 0 0 0 2320 68 0 0 21 0 8 0 524866367 779788288 67826 33554432000 4194304 4627427 140733374198672 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 190378 67826 367 106 0 185349 0
[pid=877/tid=878] ppid=874 vsize=761512 CPUtime=2.97 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) R 874 877 627 0 -1 4202560 10766 0 0 0 289 8 0 0 21 0 8 0 524866367 779788288 67826 33554432000 4194304 4627427 140733374198672 18446744073709551615 4238464 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=761512 CPUtime=2.96 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) R 874 877 627 0 -1 4202560 10462 0 0 0 287 9 0 0 21 0 8 0 524866367 779788288 67826 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=877/tid=880] ppid=874 vsize=761512 CPUtime=2.98 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) R 874 877 627 0 -1 4202560 9983 0 0 0 290 8 0 0 22 0 8 0 524866367 779788288 67826 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308493 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=761512 CPUtime=2.98 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) R 874 877 627 0 -1 4202560 9940 0 0 0 291 7 0 0 21 0 8 0 524866367 779788288 67826 33554432000 4194304 4627427 140733374198672 18446744073709551615 4237862 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=761512 CPUtime=2.96 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) R 874 877 627 0 -1 4202560 10805 0 0 0 289 7 0 0 21 0 8 0 524866367 779788288 67826 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=877/tid=883] ppid=874 vsize=761512 CPUtime=2.98 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) R 874 877 627 0 -1 4202560 10710 0 0 0 290 8 0 0 21 0 8 0 524866367 779788288 67826 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=761512 CPUtime=2.99 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) R 874 877 627 0 -1 4202560 11056 0 0 0 291 8 0 0 21 0 8 0 524866367 779788288 67826 33554432000 4194304 4627427 140733374198672 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 761512
[startup+6.30052 s]
/proc/loadavg: 7.15 7.72 7.25 9/256 885
/proc/meminfo: memFree=28051432/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=774288 CPUtime=49.39 cores=0-7
/proc/877/stat : 877 (strangenight2-m) R 874 877 627 0 -1 4202496 128680 0 0 0 4861 78 0 0 20 0 8 0 524866367 792870912 102329 33554432000 4194304 4627427 140733374198672 18446744073709551615 4440763 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 193572 102329 384 106 0 188543 0
[pid=877/tid=878] ppid=874 vsize=774288 CPUtime=6.16 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) R 874 877 627 0 -1 4202560 17941 0 0 0 606 10 0 0 19 0 8 0 524866367 792870912 102329 33554432000 4194304 4627427 140733374198672 18446744073709551615 4412318 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=774288 CPUtime=6.16 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) R 874 877 627 0 -1 4202560 16096 0 0 0 605 11 0 0 20 0 8 0 524866367 792870912 102329 33554432000 4194304 4627427 140733374198672 18446744073709551615 4412341 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=877/tid=880] ppid=874 vsize=774288 CPUtime=6.17 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) R 874 877 627 0 -1 4202560 15698 0 0 0 608 9 0 0 18 0 8 0 524866367 792870912 102329 33554432000 4194304 4627427 140733374198672 18446744073709551615 4412349 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=774288 CPUtime=6.18 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) R 874 877 627 0 -1 4202560 15698 0 0 0 609 9 0 0 20 0 8 0 524866367 792870912 102329 33554432000 4194304 4627427 140733374198672 18446744073709551615 4412766 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=774288 CPUtime=6.13 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) R 874 877 627 0 -1 4202560 16855 0 0 0 604 9 0 0 18 0 8 0 524866367 792870912 102329 33554432000 4194304 4627427 140733374198672 18446744073709551615 4412384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=877/tid=883] ppid=874 vsize=774288 CPUtime=6.17 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) R 874 877 627 0 -1 4202560 17106 0 0 0 608 9 0 0 20 0 8 0 524866367 792870912 102329 33554432000 4194304 4627427 140733374198672 18446744073709551615 4412384 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=774288 CPUtime=6.19 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) R 874 877 627 0 -1 4202560 12163 0 0 0 611 8 0 0 25 0 8 0 524866367 792870912 102329 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=877] ppid=874 vsize=1882656 CPUtime=407.38 cores=0-7
/proc/877/stat : 877 (strangenight2-m) R 874 877 627 0 -1 4202496 606482 0 0 0 40535 203 0 0 25 0 8 0 524866367 1927839744 359547 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 470664 359547 393 106 0 465635 0
[pid=877/tid=878] ppid=874 vsize=1882656 CPUtime=50.96 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) R 874 877 627 0 -1 4202560 74947 0 0 0 5068 28 0 0 25 0 8 0 524866367 1927839744 359547 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=1882656 CPUtime=50.96 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) R 874 877 627 0 -1 4202560 74164 0 0 0 5069 27 0 0 25 0 8 0 524866367 1927839744 359547 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=877/tid=880] ppid=874 vsize=1882656 CPUtime=50.96 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) R 874 877 627 0 -1 4202560 77318 0 0 0 5071 25 0 0 25 0 8 0 524866367 1927839744 359547 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=1882656 CPUtime=50.98 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) R 874 877 627 0 -1 4202560 78734 0 0 0 5071 27 0 0 25 0 8 0 524866367 1927839744 359547 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=1882656 CPUtime=50.55 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) R 874 877 627 0 -1 4202560 82794 0 0 0 5030 25 0 0 25 0 8 0 524866367 1927839744 359547 33554432000 4194304 4627427 140733374198672 18446744073709551615 4325036 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=877/tid=883] ppid=874 vsize=1882656 CPUtime=50.95 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) R 874 877 627 0 -1 4202560 77506 0 0 0 5074 21 0 0 25 0 8 0 524866367 1927839744 359547 33554432000 4194304 4627427 140733374198672 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=1882656 CPUtime=50.98 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) R 874 877 627 0 -1 4202560 53525 0 0 0 5078 20 0 0 25 0 8 0 524866367 1927839744 359547 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.38
Current children cumulated vsize (KiB) 1882656
Solver just ended. Dumping a history of the last processes samples
[startup+51.6005 s]
/proc/loadavg: 7.66 7.78 7.29 9/256 887
/proc/meminfo: memFree=27016952/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=1894524 CPUtime=411.3 cores=0-7
/proc/877/stat : 877 (strangenight2-m) R 874 877 627 0 -1 4202496 607667 0 0 0 40927 203 0 0 25 0 8 0 524866367 1939992576 360731 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 473631 360735 393 106 0 468602 0
[pid=877/tid=878] ppid=874 vsize=1894524 CPUtime=51.45 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) R 874 877 627 0 -1 4202560 74953 0 0 0 5117 28 0 0 25 0 8 0 524866367 1939992576 360737 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=1894524 CPUtime=51.45 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) R 874 877 627 0 -1 4202560 74314 0 0 0 5118 27 0 0 25 0 8 0 524866367 1939992576 360739 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=877/tid=880] ppid=874 vsize=1894524 CPUtime=51.46 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) R 874 877 627 0 -1 4202560 77318 0 0 0 5121 25 0 0 25 0 8 0 524866367 1939992576 360741 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=1894524 CPUtime=51.47 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) R 874 877 627 0 -1 4202560 79457 0 0 0 5120 27 0 0 25 0 8 0 524866367 1939992576 360743 33554432000 4194304 4627427 140733374198672 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=1894524 CPUtime=51.05 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) R 874 877 627 0 -1 4202560 82872 0 0 0 5080 25 0 0 25 0 8 0 524866367 1939992576 360745 33554432000 4194304 4627427 140733374198672 18446744073709551615 4333279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=877/tid=883] ppid=874 vsize=1894524 CPUtime=51.44 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) R 874 877 627 0 -1 4202560 77654 0 0 0 5123 21 0 0 25 0 8 0 524866367 1939992576 360747 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308954 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=1894524 CPUtime=51.48 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) R 874 877 627 0 -1 4202560 53530 0 0 0 5128 20 0 0 25 0 8 0 524866367 1939992576 360749 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 411.3
Current children cumulated vsize (KiB) 1894524
[startup+64.4013 s]
/proc/loadavg: 7.71 7.78 7.29 9/256 887
/proc/meminfo: memFree=26933620/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=1875288 CPUtime=513.6 cores=0-7
/proc/877/stat : 877 (strangenight2-m) R 874 877 627 0 -1 4202496 645654 0 0 0 51146 214 0 0 25 0 8 0 524866367 1920294912 380296 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 468822 380296 393 106 0 463793 0
[pid=877/tid=878] ppid=874 vsize=1875288 CPUtime=64.24 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) R 874 877 627 0 -1 4202560 79981 0 0 0 6395 29 0 0 25 0 8 0 524866367 1920294912 380296 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=1875288 CPUtime=64.24 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) R 874 877 627 0 -1 4202560 77038 0 0 0 6396 28 0 0 25 0 8 0 524866367 1920294912 380296 33554432000 4194304 4627427 140733374198672 18446744073709551615 4324976 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=877/tid=880] ppid=874 vsize=1875288 CPUtime=64.26 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) R 874 877 627 0 -1 4202560 82939 0 0 0 6399 27 0 0 25 0 8 0 524866367 1920294912 380296 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=1875288 CPUtime=64.26 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) R 874 877 627 0 -1 4202560 84875 0 0 0 6398 28 0 0 25 0 8 0 524866367 1920294912 380296 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=1875288 CPUtime=63.74 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) R 874 877 627 0 -1 4202560 86910 0 0 0 6348 26 0 0 25 0 8 0 524866367 1920294912 380296 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=877/tid=883] ppid=874 vsize=1875288 CPUtime=64.25 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) R 874 877 627 0 -1 4202560 81277 0 0 0 6403 22 0 0 25 0 8 0 524866367 1920294912 380296 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=1875288 CPUtime=64.28 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) R 874 877 627 0 -1 4202560 60887 0 0 0 6406 22 0 0 25 0 8 0 524866367 1920294912 380296 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 513.6
Current children cumulated vsize (KiB) 1875288
[startup+70.8011 s]
/proc/loadavg: 7.76 7.79 7.30 9/256 887
/proc/meminfo: memFree=26918552/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=1901752 CPUtime=564.77 cores=0-7
/proc/877/stat : 877 (strangenight2-m) R 874 877 627 0 -1 4202496 666273 0 0 0 56260 217 0 0 25 0 8 0 524866367 1947394048 383774 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 475438 383774 393 106 0 470409 0
[pid=877/tid=878] ppid=874 vsize=1901752 CPUtime=70.65 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) R 874 877 627 0 -1 4202560 81701 0 0 0 7036 29 0 0 25 0 8 0 524866367 1947394048 383780 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=1901752 CPUtime=70.66 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) R 874 877 627 0 -1 4202560 78579 0 0 0 7037 29 0 0 25 0 8 0 524866367 1947394048 383780 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=877/tid=880] ppid=874 vsize=1901752 CPUtime=70.65 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) R 874 877 627 0 -1 4202560 84576 0 0 0 7038 27 0 0 25 0 8 0 524866367 1947394048 383780 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=1901752 CPUtime=70.68 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) R 874 877 627 0 -1 4202560 86365 0 0 0 7039 29 0 0 25 0 8 0 524866367 1947394048 383780 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=1901752 CPUtime=70.09 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) R 874 877 627 0 -1 4202560 89470 0 0 0 6983 26 0 0 25 0 8 0 524866367 1947394048 383780 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=877/tid=883] ppid=874 vsize=1901752 CPUtime=70.65 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) R 874 877 627 0 -1 4202560 83250 0 0 0 7043 22 0 0 25 0 8 0 524866367 1947394048 383780 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=1901752 CPUtime=70.68 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) R 874 877 627 0 -1 4202560 68528 0 0 0 7046 22 0 0 25 0 8 0 524866367 1947394048 383780 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 564.77
Current children cumulated vsize (KiB) 1901752
[startup+72.4008 s]
/proc/loadavg: 7.76 7.79 7.30 9/256 887
/proc/meminfo: memFree=26910244/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=1925224 CPUtime=577.52 cores=0-7
/proc/877/stat : 877 (strangenight2-m) R 874 877 627 0 -1 4202496 669731 0 0 0 57535 217 0 0 25 0 8 0 524866367 1971429376 387231 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 481306 387231 393 106 0 476277 0
[pid=877/tid=878] ppid=874 vsize=1925224 CPUtime=72.25 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) R 874 877 627 0 -1 4202560 82485 0 0 0 7195 30 0 0 25 0 8 0 524866367 1971429376 387231 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=1925224 CPUtime=72.25 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) R 874 877 627 0 -1 4202560 78911 0 0 0 7196 29 0 0 25 0 8 0 524866367 1971429376 387231 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=877/tid=880] ppid=874 vsize=1925224 CPUtime=72.25 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) R 874 877 627 0 -1 4202560 85452 0 0 0 7198 27 0 0 25 0 8 0 524866367 1971429376 387231 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=1925224 CPUtime=72.27 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) R 874 877 627 0 -1 4202560 86652 0 0 0 7198 29 0 0 25 0 8 0 524866367 1971429376 387231 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=1925224 CPUtime=71.68 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) R 874 877 627 0 -1 4202560 89847 0 0 0 7141 27 0 0 25 0 8 0 524866367 1971429376 387231 33554432000 4194304 4627427 140733374198672 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=877/tid=883] ppid=874 vsize=1925224 CPUtime=72.24 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) R 874 877 627 0 -1 4202560 83544 0 0 0 7202 22 0 0 25 0 8 0 524866367 1971429376 387231 33554432000 4194304 4627427 140733374198672 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=1925224 CPUtime=72.27 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) R 874 877 627 0 -1 4202560 68661 0 0 0 7205 22 0 0 25 0 8 0 524866367 1971429376 387231 33554432000 4194304 4627427 140733374198672 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 577.52
Current children cumulated vsize (KiB) 1925224
[startup+74.0006 s]
/proc/loadavg: 7.76 7.79 7.30 9/256 887
/proc/meminfo: memFree=26901564/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=1925224 CPUtime=587.07 cores=0-7
/proc/877/stat : 877 (strangenight2-m) S 874 877 627 0 -1 4202496 670995 0 0 0 58489 218 0 0 25 0 8 0 524866367 1971429376 388495 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 481306 388495 393 106 0 476277 0
[pid=877/tid=878] ppid=874 vsize=1925224 CPUtime=73.85 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) R 874 877 627 0 -1 4202560 82513 0 0 0 7355 30 0 0 25 0 8 0 524866367 1971429376 388495 33554432000 4194304 4627427 140733374198672 18446744073709551615 4526755 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=1925224 CPUtime=73.3 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) S 874 877 627 0 -1 4202560 79155 0 0 0 7301 29 0 0 25 0 8 0 524866367 1971429376 388495 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032244 0 0 4096 2 18446604440749833152 0 0 -1 5 0 0 0
[pid=877/tid=880] ppid=874 vsize=1925224 CPUtime=73.84 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) R 874 877 627 0 -1 4202560 85611 0 0 0 7357 27 0 0 25 0 8 0 524866367 1971429376 388495 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521007659 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=1925224 CPUtime=73.33 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) S 874 877 627 0 -1 4202560 86816 0 0 0 7304 29 0 0 25 0 8 0 524866367 1971429376 388495 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032244 0 0 4096 2 18446604440749833152 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=1925224 CPUtime=72.73 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) S 874 877 627 0 -1 4202560 90046 0 0 0 7246 27 0 0 25 0 8 0 524866367 1971429376 388495 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032244 0 0 4096 2 18446604440749833152 0 0 -1 7 0 0 0
[pid=877/tid=883] ppid=874 vsize=1925224 CPUtime=73.31 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) S 874 877 627 0 -1 4202560 83676 0 0 0 7308 23 0 0 25 0 8 0 524866367 1971429376 388495 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032244 0 0 4096 2 18446604440749833152 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=1925224 CPUtime=73.33 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) S 874 877 627 0 -1 4202560 68779 0 0 0 7311 22 0 0 25 0 8 0 524866367 1971429376 388495 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032244 0 0 4096 2 18446604440749833152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 587.07
Current children cumulated vsize (KiB) 1925224
[startup+74.8005 s]
/proc/loadavg: 7.76 7.79 7.30 3/256 887
/proc/meminfo: memFree=26899332/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=1925224 CPUtime=588.67 cores=0-7
/proc/877/stat : 877 (strangenight2-m) S 874 877 627 0 -1 4202496 673599 0 0 0 58648 219 0 0 25 0 8 0 524866367 1971429376 388926 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 481306 388926 393 106 0 476277 0
[pid=877/tid=878] ppid=874 vsize=1925224 CPUtime=74.64 cores=0-7
/proc/877/task/878/stat : 878 (strangenight2-m) R 874 877 627 0 -1 4202560 85117 0 0 0 7434 30 0 0 25 0 8 0 524866367 1971429376 388926 33554432000 4194304 4627427 140733374198672 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=877/tid=879] ppid=874 vsize=1925224 CPUtime=73.3 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) S 874 877 627 0 -1 4202560 79155 0 0 0 7301 29 0 0 25 0 8 0 524866367 1971429376 388926 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032244 0 0 4096 2 18446604440749833152 0 0 -1 5 0 0 0
[pid=877/tid=880] ppid=874 vsize=1925224 CPUtime=74.64 cores=0-7
/proc/877/task/880/stat : 880 (strangenight2-m) R 874 877 627 0 -1 4202560 85611 0 0 0 7437 27 0 0 25 0 8 0 524866367 1971429376 388926 33554432000 4194304 4627427 140733374198672 18446744073709551615 4205248 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=877/tid=881] ppid=874 vsize=1925224 CPUtime=73.33 cores=0-7
/proc/877/task/881/stat : 881 (strangenight2-m) S 874 877 627 0 -1 4202560 86816 0 0 0 7304 29 0 0 25 0 8 0 524866367 1971429376 388926 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032244 0 0 4096 2 18446604440749833152 0 0 -1 0 0 0 0
[pid=877/tid=882] ppid=874 vsize=1925224 CPUtime=72.73 cores=0-7
/proc/877/task/882/stat : 882 (strangenight2-m) S 874 877 627 0 -1 4202560 90046 0 0 0 7246 27 0 0 25 0 8 0 524866367 1971429376 388926 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032244 0 0 4096 2 18446604440749833152 0 0 -1 7 0 0 0
[pid=877/tid=883] ppid=874 vsize=1925224 CPUtime=73.31 cores=0-7
/proc/877/task/883/stat : 883 (strangenight2-m) S 874 877 627 0 -1 4202560 83676 0 0 0 7308 23 0 0 25 0 8 0 524866367 1971429376 388926 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032244 0 0 4096 2 18446604440749833152 0 0 -1 4 0 0 0
[pid=877/tid=884] ppid=874 vsize=1925224 CPUtime=73.33 cores=0-7
/proc/877/task/884/stat : 884 (strangenight2-m) S 874 877 627 0 -1 4202560 68779 0 0 0 7311 22 0 0 25 0 8 0 524866367 1971429376 388926 33554432000 4194304 4627427 140733374198672 18446744073709551615 47594521032244 0 0 4096 2 18446604440749833152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 588.67
Current children cumulated vsize (KiB) 1925224
[startup+75.2004 s]
/proc/loadavg: 7.29 7.69 7.27 2/250 887
/proc/meminfo: memFree=27987056/32951124 swapFree=67111348/67111528
[pid=877] ppid=874 vsize=0 CPUtime=589.41 cores=0-7
/proc/877/stat : 877 (strangenight2-m) Z 874 877 627 0 -1 4203548 673602 0 0 0 58716 225 0 0 18 0 2 0 524866367 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/877/statm: 0 0 0 0 0 0 0
[pid=877/tid=879] ppid=874 vsize=0 CPUtime=73.36 cores=0-7
/proc/877/task/879/stat : 879 (strangenight2-m) R 874 877 627 0 -1 4203588 79155 0 0 0 7301 35 0 0 18 0 2 0 524866367 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 589.41
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 75.2249
CPU time (s): 589.443
CPU user time (s): 587.169
CPU system time (s): 2.27465
CPU usage (%): 783.575
Max. virtual memory (cumulated for all children) (KiB): 1990760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 587.169
system time used= 2.27465
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 673602
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= 90437
involuntary context switches= 2624
runsolver used 0.158975 second user time and 0.471928 second system time
The end
Begin job on node140 at 2011-05-02 10:21:50
IDJOB=3321159
IDBENCH=82477
IDSOLVER=1709
FILE ID=node140/3321159-1304324510
RUNJOBID= node140-1304322183-641
PBS_JOBID= 13176786
Free space on /tmp= 73664 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3321159-1304324510/watcher-3321159-1304324510 -o /tmp/evaluation-result-3321159-1304324510/solver-3321159-1304324510 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321159-1304324510.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= f1a7d779d46b93ce2fde4f2438e6ae5c
RANDOM SEED=290782885
node140.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.833
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.66
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.833
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 : 5226.14
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.833
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.833
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.833
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.833
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.74
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.833
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.833
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: 28453460 kB
Buffers: 993984 kB
Cached: 1690616 kB
SwapCached: 176 kB
Active: 1484664 kB
Inactive: 2498772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28453460 kB
SwapTotal: 67111528 kB
SwapFree: 67111348 kB
Dirty: 9340 kB
Writeback: 0 kB
AnonPages: 1299544 kB
Mapped: 21532 kB
Slab: 435168 kB
PageTables: 15720 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 37395848 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= 73656 MiB
End job on node140 at 2011-05-02 10:23:06