0.00/0.00 c Outputting solution to console
0.12/0.10 c Using 8 threads
0.39/0.19 c This is CryptoMiniSat 3.0.0
0.39/0.19 c WARNING: for repeatability, setting FPU to use double precision
0.39/0.19 c Reading file 'HOME/instance-3321024-1304322188.cnf'
0.39/0.19 c -- header says num vars: 96089
0.39/0.19 c -- header says num clauses: 283993
1.90/0.59 c -- clauses added: 0 learnts, 283993 normals, 0 xors
1.90/0.59 c -- vars added 96089
1.90/0.59 c Parsing time: 0.18 s
1.90/0.59 c N st 0 0 96089 94664 189328 0 662648 0 no data no data
2.40/1.12 c asymm cl-useful: 0/53604/94663 lits-rem:0 time: 0.53
22.31/3.18 c Flit: 84 Blit: 4222 bXBeca: 0 bXProp: 6441 Bins: 0 BRemL: 0 BRemN: 0 P: 29.3M T: 2.06
22.31/3.19 c Cleaning up after failed var search: 0.02 s
23.11/3.24 c Replacing 6441 vars Replaced 112191 lits Time: 0.04 s
23.11/3.29 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
23.87/3.31 c bin-w-bin subsume rem 196 bins time: 0.02 s
23.87/3.36 c subs with bin: 6 lits-rem: 3 v-fix: 0 time: 0.05 s
25.47/3.54 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 6 done: 84467 time: 0.18 s
27.06/3.72 c Removed useless bin: 83 fixed: 0 props: 20.00M time: 0.18 s
30.02/4.13 c lits-rem: 27 cl-subs: 78 v-elim: 28156 v-fix: 0 time: 0.33 s
30.02/4.15 c Finding binary XORs T: 0.02 s found: 27
30.02/4.17 c Replacing 27 vars Replaced 168 lits Time: 0.02 s
30.81/4.22 c Finding non-binary XORs: 0.03 s (found: 1959, avg size: 3.0)
30.81/4.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
30.81/4.23 c calculated reachability. Time: 0.00
30.81/4.25 c Calc default polars - time: 0.01 s pos: 20182 undec: 39953 neg: 35954
30.81/4.25 c =========================================================================================
30.81/4.25 c types(t): F = full restart, N = normal restart
30.81/4.25 c types(t): S = simplification begin/end, E = solution found
30.81/4.25 c restart types(rt): st = static, dy = dynamic
30.81/4.25 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
30.81/4.25 c B st 0 0 56281 68867 112964 0 472000 0 no data no data
39.60/5.31 c N dy 17 4023 56272 68867 113066 3495 472000 51480 7.36 7.75
48.39/6.41 c N dy 39 8120 56162 68867 113448 7027 472000 101644 7.61 11.59
56.39/7.43 c N dy 56 12333 56019 68867 113474 10705 472000 146291 7.30 7.76
64.37/8.42 c N dy 74 16439 55987 68867 113585 14396 472000 192503 7.28 7.75
73.97/9.67 c N dy 96 20542 55955 68867 113842 9260 472000 57396 7.31 7.81
82.76/10.75 c N dy 118 24594 55834 68867 114017 12964 472000 107227 7.35 8.03
83.56/10.87 c F st 120 25000 55834 68867 114017 13334 472000 111482 7.33 no data
84.36/10.90 c Replacing 24 vars Replaced 371 lits Time: 0.02 s
97.15/12.60 c N dy 126 30003 55675 67052 112141 17953 460568 201048 7.33 no data
97.15/12.60 c S st 126 30003 55675 67052 112141 17953 460568 201048 7.33 no data
99.54/12.86 c S st 126 30505 55673 67052 112170 18411 460568 205759 7.33 no data
99.54/12.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 57 locsubst: 0 time: 0.02
126.71/16.22 c Flit: 24 Blit: 281 bXBeca: 0 bXProp: 2141 Bins: 125608 BRemL: 39644 BRemN: 1322 P: 26.6M T: 3.31
126.71/16.24 c Cleaning up after failed var search: 0.01 s
126.71/16.28 c Replacing 2141 vars Replaced 114627 lits Time: 0.04 s
127.51/16.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
127.51/16.35 c bin-w-bin subsume rem 26081 bins time: 0.05 s
127.51/16.40 c subs with bin: 160 lits-rem: 515 v-fix: 0 time: 0.04 s
129.11/16.52 c Subs w/ non-existent bins: 33 l-rem: 163 v-fix: 0 done: 52882 time: 0.12 s
129.90/16.60 c Removed useless bin: 90 fixed: 0 props: 4.57M time: 0.08 s
132.31/16.94 c lits-rem: 95 cl-subs: 546 v-elim: 35254 v-fix: 0 time: 0.33 s
132.31/16.97 c subs with bin: 306 lits-rem: 1648 v-fix: 0 time: 0.01 s
133.16/17.02 c lits-rem: 867 cl-subs: 1028 v-elim: 0 v-fix: 0 time: 0.04 s
133.96/17.18 c asymm cl-useful: 1/22893/76497 lits-rem:3 time: 0.16
134.69/17.20 c calculated reachability. Time: 0.01
134.69/17.20 c N dy 126 30505 17628 76496 25959 8929 349073 85682 7.33 no data
134.69/17.25 c Finding binary XORs T: 0.03 s found: 42
139.49/17.84 c N dy 141 34626 17627 76459 26169 12414 348962 132879 7.25 7.66
144.28/18.42 c N dy 156 38962 17627 76459 50141 16184 348962 229427 7.15 7.65
146.69/18.70 c Finding binary XORs T: 0.02 s found: 3
149.08/19.08 c N dy 175 43088 17627 76459 50147 10151 348962 120863 7.11 7.56
152.27/19.40 c S st 184 45758 17627 76459 50202 12516 348962 155622 7.07 6.15
153.07/19.50 c S st 184 46260 17627 76459 50211 12980 348962 160577 7.07 no data
153.07/19.52 c x-sub: 3 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 44 time: 0.01
157.07/20.08 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 41 Bins: 6954 BRemL: 21590 BRemN: 51 P: 6.7M T: 0.56
157.87/20.10 c Replacing 102 vars Replaced 4537 lits Time: 0.02 s
157.87/20.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
157.87/20.14 c bin-w-bin subsume rem 11608 bins time: 0.01 s
157.87/20.15 c subs with bin: 401 lits-rem: 710 v-fix: 0 time: 0.02 s
157.87/20.18 c Subs w/ non-existent bins: 161 l-rem: 411 v-fix: 0 done: 17520 time: 0.02 s
157.87/20.19 c Removed useless bin: 34 fixed: 0 props: 0.44M time: 0.01 s
159.52/20.31 c lits-rem: 106 cl-subs: 230 v-elim: 1718 v-fix: 0 time: 0.10 s
159.52/20.33 c subs with bin: 59 lits-rem: 497 v-fix: 0 time: 0.01 s
159.52/20.37 c lits-rem: 313 cl-subs: 572 v-elim: 0 v-fix: 0 time: 0.03 s
159.52/20.39 c vivif2 -- cl tried 76153 cl shrink 534 lits rem 822 time: 0.02
159.52/20.40 c vivif2 -- cl tried 11517 cl shrink 695 lits rem 1557 time: 0.01
164.25/20.92 c asymm cl-useful: 383/76105/76105 lits-rem:506 time: 0.53
164.25/20.93 c calculated reachability. Time: 0.00
164.25/20.93 c N dy 184 46260 15802 76105 16836 11510 354060 83583 7.07 no data
164.25/20.95 c Finding binary XORs T: 0.01 s found: 0
169.11/21.55 c N dy 198 50687 15802 76105 18269 15332 354060 136976 7.02 7.44
173.84/22.11 c N dy 217 54711 15801 76105 18271 18833 354060 181555 6.99 7.47
180.23/22.91 c N dy 243 58804 15801 76105 22967 22317 354060 236959 6.99 7.38
181.03/23.09 c Finding binary XORs T: 0.01 s found: 24
186.67/23.78 c N dy 263 62854 15799 76098 24853 25763 354005 287728 6.99 7.47
193.81/24.65 c N dy 288 67299 15799 76098 24862 15865 354005 118089 7.01 7.39
197.80/25.11 c S st 302 69391 15796 76098 27235 17643 354005 147692 7.02 5.10
198.59/25.23 c S st 302 69893 15796 76098 27241 18100 354005 152025 7.02 no data
198.59/25.24 c x-sub: 17 x-cut: 0 vfix: 0 v-elim: 9 locsubst: 2 time: 0.01
201.80/25.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 46 Bins: 2833 BRemL: 9385 BRemN: 34 P: 4.9M T: 0.41
201.80/25.68 c Replacing 71 vars Replaced 3492 lits Time: 0.02 s
202.59/25.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
202.59/25.71 c bin-w-bin subsume rem 2839 bins time: 0.01 s
202.59/25.72 c subs with bin: 168 lits-rem: 110 v-fix: 0 time: 0.02 s
202.59/25.74 c Subs w/ non-existent bins: 15 l-rem: 9 v-fix: 0 done: 15711 time: 0.02 s
202.59/25.75 c Removed useless bin: 25 fixed: 0 props: 0.31M time: 0.01 s
203.45/25.83 c lits-rem: 106 cl-subs: 439 v-elim: 198 v-fix: 0 time: 0.07 s
203.45/25.86 c subs with bin: 148 lits-rem: 314 v-fix: 0 time: 0.01 s
204.25/25.91 c lits-rem: 607 cl-subs: 680 v-elim: 0 v-fix: 0 time: 0.04 s
204.25/25.93 c vivif2 -- cl tried 75167 cl shrink 369 lits rem 741 time: 0.02
204.25/25.94 c vivif2 -- cl tried 16650 cl shrink 610 lits rem 1333 time: 0.01
208.98/26.53 c asymm cl-useful: 538/75154/75154 lits-rem:1973 time: 0.59
208.98/26.53 c calculated reachability. Time: 0.00
208.98/26.53 c N dy 302 69893 15513 75047 16277 16648 347833 115179 7.02 no data
208.98/26.55 c Finding binary XORs T: 0.01 s found: 5
216.17/27.43 c N dy 332 74396 15512 75047 18089 20488 347833 169921 7.02 7.78
222.57/28.25 c N dy 362 79154 15511 75047 18096 24661 347829 231291 7.03 7.66
225.76/28.61 c Finding binary XORs T: 0.01 s found: 3
229.82/29.17 c N dy 380 84236 15511 75009 20589 29098 347556 298996 7.01 7.42
236.15/29.94 c F st 395 87501 15511 75009 21894 31881 347555 340085 7.00 7.11
236.15/29.95 c Replacing 8 vars Replaced 255 lits Time: 0.01 s
240.15/30.49 c N st 400 90797 15502 75009 21878 18360 347519 127754 7.00 no data
249.74/31.60 c N dy 423 96644 15502 75009 22147 23415 347519 199985 7.00 8.80
255.33/32.33 c Finding binary XORs T: 0.01 s found: 8
259.32/32.87 c N dy 449 102842 15502 75006 23765 28775 347485 277527 6.99 7.78
262.52/33.25 c S st 466 104840 15502 75006 23765 30518 347485 305947 7.00 5.66
263.33/33.39 c S st 466 105341 15502 75006 23857 30976 347485 311538 7.00 no data
264.13/33.41 c x-sub: 2 x-cut: 0 vfix: 0 v-elim: 3 locsubst: 8 time: 0.01
267.31/33.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 1659 BRemL: 7363 BRemN: 27 P: 5.0M T: 0.40
267.31/33.83 c Replacing 13 vars Replaced 783 lits Time: 0.01 s
267.31/33.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
267.31/33.86 c bin-w-bin subsume rem 1263 bins time: 0.01 s
267.31/33.88 c subs with bin: 79 lits-rem: 40 v-fix: 0 time: 0.02 s
268.11/33.90 c Subs w/ non-existent bins: 26 l-rem: 0 v-fix: 0 done: 15486 time: 0.02 s
268.11/33.91 c Removed useless bin: 10 fixed: 0 props: 0.32M time: 0.01 s
268.11/33.98 c lits-rem: 63 cl-subs: 133 v-elim: 120 v-fix: 0 time: 0.07 s
268.92/34.02 c subs with bin: 143 lits-rem: 623 v-fix: 0 time: 0.02 s
269.72/34.12 c lits-rem: 1278 cl-subs: 1631 v-elim: 0 v-fix: 0 time: 0.08 s
269.72/34.13 c vivif2 -- cl tried 74697 cl shrink 222 lits rem 398 time: 0.02
269.72/34.15 c vivif2 -- cl tried 28929 cl shrink 1959 lits rem 5200 time: 0.02
272.92/34.56 c asymm cl-useful: 382/37358/74686 lits-rem:1595 time: 0.41
272.92/34.57 c calculated reachability. Time: 0.00
272.92/34.57 c N dy 466 105341 15366 74641 16562 28929 344941 266199 7.00 no data
284.89/36.01 c Finding binary XORs T: 0.01 s found: 1
285.70/36.12 c N dy 500 112086 15366 74641 18541 34839 344940 358275 7.00 7.39
296.89/37.53 c N dy 540 119263 15366 74641 19425 22702 344940 157238 7.01 12.27
310.47/39.23 c N dy 582 127183 15363 74641 19471 29594 344940 261873 7.04 7.41
319.27/40.36 c Finding binary XORs T: 0.01 s found: 14
324.07/40.92 c N dy 626 135686 15363 74605 20423 37041 344797 374733 7.04 7.55
338.44/42.78 c N dy 681 144442 15363 74605 21176 26707 344797 195559 7.06 7.92
354.42/44.77 c N dy 739 153716 15363 74605 21207 34953 344796 327896 7.08 9.38
359.23/45.38 c Finding binary XORs T: 0.02 s found: 320
360.03/45.42 c Replacing 354 vars Replaced 33788 lits Time: 0.03 s
362.49/45.71 c S st 768 158012 14914 72925 18173 35987 337466 338869 7.08 no data
363.22/45.85 c S st 768 158512 14914 72925 18182 36457 337466 344521 7.08 no data
363.22/45.87 c x-sub: 43 x-cut: 0 vfix: 0 v-elim: 13 locsubst: 168 time: 0.01
368.02/46.47 c Flit: 2 Blit: 5 bXBeca: 0 bXProp: 58 Bins: 13829 BRemL: 11172 BRemN: 59 P: 9.0M T: 0.60
368.82/46.51 c Replacing 138 vars Replaced 16107 lits Time: 0.04 s
368.82/46.53 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
368.82/46.53 c bin-w-bin subsume rem 900 bins time: 0.01 s
368.82/46.55 c subs with bin: 737 lits-rem: 1410 v-fix: 0 time: 0.02 s
368.82/46.57 c Subs w/ non-existent bins: 204 l-rem: 178 v-fix: 0 done: 14756 time: 0.02 s
368.82/46.59 c Removed useless bin: 23 fixed: 0 props: 0.33M time: 0.01 s
370.48/46.71 c lits-rem: 56 cl-subs: 734 v-elim: 813 v-fix: 0 time: 0.11 s
370.48/46.76 c subs with bin: 858 lits-rem: 3921 v-fix: 0 time: 0.03 s
371.27/46.85 c lits-rem: 1821 cl-subs: 2165 v-elim: 0 v-fix: 0 time: 0.08 s
371.27/46.87 c vivif2 -- cl tried 68234 cl shrink 394 lits rem 810 time: 0.02
371.27/46.89 c vivif2 -- cl tried 28703 cl shrink 1945 lits rem 3663 time: 0.02
374.41/47.20 c asymm cl-useful: 7/30863/68221 lits-rem:21 time: 0.32
374.41/47.21 c calculated reachability. Time: 0.00
374.41/47.22 c N dy 768 158512 13943 68214 16257 28691 318432 226137 7.08 no data
374.41/47.23 c Finding binary XORs T: 0.02 s found: 5
391.20/49.32 c Finding binary XORs T: 0.02 s found: 179
391.20/49.34 c Replacing 184 vars Replaced 11620 lits Time: 0.02 s
391.99/49.48 c N dy 826 168787 13755 68154 23208 21674 318153 123392 7.08 7.77
397.65/50.13 c Finding binary XORs T: 0.02 s found: 73
409.58/51.62 c N dy 886 179591 13748 68105 31473 31123 317897 277232 7.08 7.46
432.01/54.42 c N dy 964 191121 13747 68105 31730 41286 317893 431934 7.11 7.59
443.95/55.93 c Finding binary XORs T: 0.01 s found: 95
443.95/55.95 c Replacing 168 vars Replaced 10019 lits Time: 0.02 s
455.15/57.33 c N dy 1032 203365 13578 68073 31332 32353 317477 266545 7.12 7.51
478.32/60.22 c N dy 1120 216414 13576 68073 31552 44123 317473 502233 7.15 7.59
490.32/61.72 c Finding binary XORs T: 0.02 s found: 80
502.35/63.24 c Finding binary XORs T: 0.02 s found: 22
504.69/63.56 c N dy 1190 230265 13572 68058 41781 35572 317369 300759 7.16 7.57
517.48/65.14 c S st 1237 237769 13570 68058 42638 42446 317369 426330 7.19 6.68
518.28/65.27 c S st 1237 238271 13570 68058 42641 42920 317369 433285 7.19 no data
518.28/65.29 c x-sub: 82 x-cut: 0 vfix: 0 v-elim: 7 locsubst: 12 time: 0.01
523.87/65.98 c Flit: 2 Blit: 5 bXBeca: 0 bXProp: 39 Bins: 4865 BRemL: 22336 BRemN: 31 P: 10.5M T: 0.68
524.67/66.02 c Replacing 141 vars Replaced 15137 lits Time: 0.03 s
524.67/66.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
524.67/66.05 c bin-w-bin subsume rem 5167 bins time: 0.01 s
524.67/66.07 c subs with bin: 1605 lits-rem: 1674 v-fix: 0 time: 0.02 s
524.67/66.09 c Subs w/ non-existent bins: 98 l-rem: 109 v-fix: 0 done: 13415 time: 0.02 s
525.47/66.10 c Removed useless bin: 50 fixed: 0 props: 0.31M time: 0.01 s
526.27/66.20 c lits-rem: 132 cl-subs: 1847 v-elim: 913 v-fix: 0 time: 0.10 s
526.27/66.26 c subs with bin: 862 lits-rem: 3746 v-fix: 0 time: 0.04 s
527.06/66.38 c lits-rem: 2307 cl-subs: 2184 v-elim: 0 v-fix: 0 time: 0.11 s
527.86/66.40 c vivif2 -- cl tried 61752 cl shrink 949 lits rem 1811 time: 0.02
527.86/66.43 c vivif2 -- cl tried 36522 cl shrink 3278 lits rem 7355 time: 0.03
531.06/66.81 c asymm cl-useful: 1076/10735/61734 lits-rem:3977 time: 0.37
531.06/66.82 c calculated reachability. Time: 0.00
531.06/66.82 c N dy 1237 238271 12502 61412 16686 36485 286196 294490 7.19 no data
531.06/66.84 c Finding binary XORs T: 0.02 s found: 7
547.85/68.93 c Finding binary XORs T: 0.02 s found: 1018
547.85/68.98 c Replacing 1025 vars Replaced 97340 lits Time: 0.05 s
556.64/70.03 c N dy 1337 253488 11289 58483 20506 44091 272063 463972 7.21 8.73
562.23/70.70 c Following stats are for *FIRST FINISHED THREAD ONLY*
562.23/70.70 c num threads : 8
562.23/70.70 c restarts : 1183
562.23/70.70 c dynamic restarts : 1165
562.23/70.70 c static restarts : 18
562.23/70.70 c full restarts : 2
562.23/70.70 c total simplify time : 0.69
562.23/70.70 c learnts DL2 : 0
562.23/70.70 c learnts size 2 : 506437
562.23/70.70 c learnts size 1 : 7649 (7.96 % of vars)
562.23/70.70 c filedLit time : 5.43 (7.75 % time)
562.23/70.70 c v-elim SatELite : 65086 (67.74 % vars)
562.23/70.70 c SatELite time : 1.09 (1.55 % time)
562.23/70.70 c v-elim xor : 57 (0.06 % vars)
562.23/70.70 c xor elim time : 0.05 (0.08 % time)
562.23/70.70 c num binary xor trees : 4406
562.23/70.70 c binxor trees' crown : 11307 (2.57 leafs/tree)
562.23/70.70 c bin xor find time : 0.30
562.23/70.70 c OTF clause improved : 28173 (0.11 clauses/conflict)
562.23/70.70 c OTF impr. size diff : 29707 (1.05 lits/clause)
562.23/70.70 c OTF cl watch-shrink : 98266 (0.37 clauses/conflict)
562.23/70.70 c OTF cl watch-sh-lit : 272658 (2.77 lits/clause)
562.23/70.70 c tried to recurMin cls : 86354 (32.56 % of conflicts)
562.23/70.70 c updated cache : 0 (0.00 lits/tried recurMin)
562.23/70.70 c unit cls recevied : 175 (2.29 % of units)
562.23/70.70 c unit cls sent : 3664 (47.90 % of units)
562.23/70.70 c bin cls recevied : 250590
562.23/70.70 c bin cls sent : 82073
562.23/70.70 c clauses over max glue : 0 (0.00 % of all clauses)
562.23/70.70 c conflicts : 265253 (3784.23 / sec)
562.23/70.70 c decisions : 3234943 (1.90 % random)
562.23/70.70 c bogo-props : 2404652415 (34305940.79 / sec)
562.23/70.70 c conflict literals : 3866195 (23.74 % deleted)
562.23/70.70 c Memory used : 1568.43 MB
562.23/70.70 c single-thread CPU time : 70.09 s
562.23/70.70 c all-threads sum CPU time : 560.20 s
562.23/70.70 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-3321024-1304322188/watcher-3321024-1304322188 -o /tmp/evaluation-result-3321024-1304322188/solver-3321024-1304322188 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321024-1304322188.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: 0.00 0.00 0.00 2/240 26777
/proc/meminfo: memFree=28761536/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=92188 CPUtime=0.02 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) R 26775 26777 26751 0 -1 4202496 414 0 0 0 2 0 0 0 24 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719542 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26777/statm: 23047 353 299 106 0 18018 0
[pid=26777/tid=26778] ppid=26775 vsize=92188 CPUtime=0 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719528 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=92188 CPUtime=0 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719538 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=92188 CPUtime=0 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719536 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=92188 CPUtime=0 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 260917191734 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=92188 CPUtime=0 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=92188 CPUtime=0 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=92188 CPUtime=0 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.0325851 s]
/proc/loadavg: 0.00 0.00 0.00 2/240 26777
/proc/meminfo: memFree=28761536/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=92188 CPUtime=0.12 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) R 26775 26777 26751 0 -1 4202496 414 0 0 0 12 0 0 0 24 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719542 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26777/statm: 23047 353 299 106 0 18018 0
[pid=26777/tid=26778] ppid=26775 vsize=92188 CPUtime=0.03 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719536 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=92188 CPUtime=0.02 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719532 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=92188 CPUtime=0.02 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719532 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=92188 CPUtime=0.02 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719542 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=92188 CPUtime=0 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=92188 CPUtime=0 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=92188 CPUtime=0 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622449517 94400512 353 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 92188
[startup+0.100572 s]
/proc/loadavg: 0.00 0.00 0.00 2/240 26777
/proc/meminfo: memFree=28761536/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=92188 CPUtime=0.39 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) R 26775 26777 26751 0 -1 4202496 421 0 0 0 39 0 0 0 24 0 8 0 622449517 94400512 360 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719542 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26777/statm: 23047 360 303 106 0 18018 0
[pid=26777/tid=26778] ppid=26775 vsize=92188 CPUtime=0.09 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 5 0 0 0 9 0 0 0 24 0 8 0 622449517 94400512 360 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719129 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=92188 CPUtime=0.09 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 9 0 0 0 25 0 8 0 622449517 94400512 360 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719562 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=92188 CPUtime=0.09 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 9 0 0 0 25 0 8 0 622449517 94400512 360 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719562 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=92188 CPUtime=0.05 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 8 0 622449517 94400512 360 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719129 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=92188 CPUtime=0.02 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 8 0 622449517 94400512 360 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719129 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=92188 CPUtime=0.01 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 622449517 94400512 360 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719542 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=92188 CPUtime=0 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 622449517 94400512 360 33554432000 4194304 4627427 140735806612080 18446744073709551615 47538580719129 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 92188
[startup+0.300623 s]
/proc/loadavg: 0.00 0.00 0.00 2/240 26777
/proc/meminfo: memFree=28761536/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=515156 CPUtime=1.11 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) S 26775 26777 26751 0 -1 4202496 26245 0 0 0 103 8 0 0 17 0 8 0 622449517 527519744 23736 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905499118 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26777/statm: 128789 23743 339 106 0 123760 0
[pid=26777/tid=26778] ppid=26775 vsize=515156 CPUtime=0.12 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 2474 0 0 0 12 0 0 0 17 0 8 0 622449517 527519744 23795 33554432000 4194304 4627427 140735806612080 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=515156 CPUtime=0.12 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) S 26775 26777 26751 0 -1 4202560 2871 0 0 0 12 0 0 0 17 0 8 0 622449517 527519744 23853 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905499118 0 0 4096 2 18446604471152585728 0 0 -1 6 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=515156 CPUtime=0.12 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 2067 0 0 0 12 0 0 0 17 0 8 0 622449517 527519744 23853 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=515156 CPUtime=0.19 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 3726 0 0 0 18 1 0 0 17 0 8 0 622449517 527519744 23853 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=515156 CPUtime=0.16 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) S 26775 26777 26751 0 -1 4202560 3187 0 0 0 16 0 0 0 17 0 8 0 622449517 527519744 23853 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905499118 0 0 4096 2 18446604471152585728 0 0 -1 3 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=515156 CPUtime=0.04 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) S 26775 26777 26751 0 -1 4202560 2806 0 0 0 4 0 0 0 17 0 8 0 622449517 527519744 23853 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905499118 0 0 4096 2 18446604471152585728 0 0 -1 2 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=515156 CPUtime=0.15 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) S 26775 26777 26751 0 -1 4202560 5499 0 0 0 14 1 0 0 17 0 8 0 622449517 527519744 23853 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905499118 0 0 4096 2 18446604471152585728 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 515156
[startup+1.333 s]
/proc/loadavg: 0.00 0.00 0.00 2/240 26777
/proc/meminfo: memFree=28761536/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=739216 CPUtime=8.17 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) R 26775 26777 26751 0 -1 4202496 96025 0 0 0 771 46 0 0 18 0 8 0 622449517 756957184 82514 33554432000 4194304 4627427 140735806612080 18446744073709551615 4204976 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26777/statm: 184804 82514 367 106 0 179775 0
[pid=26777/tid=26778] ppid=26775 vsize=739216 CPUtime=1.02 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 11930 0 0 0 95 7 0 0 18 0 8 0 622449517 756957184 82514 33554432000 4194304 4627427 140735806612080 18446744073709551615 4238955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=739216 CPUtime=0.9 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 11102 0 0 0 86 4 0 0 16 0 8 0 622449517 756957184 82514 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=739216 CPUtime=1 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 10804 0 0 0 96 4 0 0 16 0 8 0 622449517 756957184 82514 33554432000 4194304 4627427 140735806612080 18446744073709551615 4238430 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=739216 CPUtime=1.07 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 12448 0 0 0 103 4 0 0 17 0 8 0 622449517 756957184 82514 33554432000 4194304 4627427 140735806612080 18446744073709551615 4299670 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=739216 CPUtime=1.1 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 11197 0 0 0 103 7 0 0 19 0 8 0 622449517 756957184 82514 33554432000 4194304 4627427 140735806612080 18446744073709551615 4238306 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=739216 CPUtime=0.89 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 13497 0 0 0 84 5 0 0 16 0 8 0 622449517 756957184 82514 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=739216 CPUtime=1.03 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 12025 0 0 0 99 4 0 0 16 0 8 0 622449517 756957184 82514 33554432000 4194304 4627427 140735806612080 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.17
Current children cumulated vsize (KiB) 739216
[startup+1.50032 s]
/proc/loadavg: 0.00 0.00 0.00 2/240 26777
/proc/meminfo: memFree=28761536/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=739216 CPUtime=9.53 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) R 26775 26777 26751 0 -1 4202496 96046 0 0 0 906 47 0 0 18 0 8 0 622449517 756957184 82535 33554432000 4194304 4627427 140735806612080 18446744073709551615 4238416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26777/statm: 184804 82535 367 106 0 179775 0
[pid=26777/tid=26778] ppid=26775 vsize=739216 CPUtime=1.18 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 11930 0 0 0 111 7 0 0 18 0 8 0 622449517 756957184 82535 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308366 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=739216 CPUtime=1.07 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 11103 0 0 0 103 4 0 0 17 0 8 0 622449517 756957184 82535 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=739216 CPUtime=1.17 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 10808 0 0 0 113 4 0 0 16 0 8 0 622449517 756957184 82535 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=739216 CPUtime=1.24 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 12448 0 0 0 120 4 0 0 17 0 8 0 622449517 756957184 82535 33554432000 4194304 4627427 140735806612080 18446744073709551615 4299705 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=739216 CPUtime=1.27 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 11197 0 0 0 120 7 0 0 19 0 8 0 622449517 756957184 82535 33554432000 4194304 4627427 140735806612080 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=739216 CPUtime=1.05 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 13497 0 0 0 100 5 0 0 17 0 8 0 622449517 756957184 82535 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=739216 CPUtime=1.2 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 12041 0 0 0 116 4 0 0 17 0 8 0 622449517 756957184 82535 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (KiB) 739216
[startup+3.10103 s]
/proc/loadavg: 0.80 0.17 0.05 9/248 26785
/proc/meminfo: memFree=28424704/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=743988 CPUtime=22.31 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) R 26775 26777 26751 0 -1 4202496 97726 0 0 0 2184 47 0 0 22 0 8 0 622449517 761843712 84215 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308940 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26777/statm: 185997 84215 368 106 0 180968 0
[pid=26777/tid=26778] ppid=26775 vsize=743988 CPUtime=2.79 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 12008 0 0 0 272 7 0 0 20 0 8 0 622449517 761843712 84215 33554432000 4194304 4627427 140735806612080 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=743988 CPUtime=2.65 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 11188 0 0 0 261 4 0 0 19 0 8 0 622449517 761843712 84215 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308141 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=743988 CPUtime=2.77 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 10863 0 0 0 273 4 0 0 18 0 8 0 622449517 761843712 84215 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=743988 CPUtime=2.84 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 12489 0 0 0 280 4 0 0 19 0 8 0 622449517 761843712 84215 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=743988 CPUtime=2.87 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 11234 0 0 0 280 7 0 0 22 0 8 0 622449517 761843712 84215 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=743988 CPUtime=2.65 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 13558 0 0 0 260 5 0 0 19 0 8 0 622449517 761843712 84215 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=743988 CPUtime=2.8 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 13303 0 0 0 276 4 0 0 19 0 8 0 622449517 761843712 84215 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 22.31
Current children cumulated vsize (KiB) 743988
[startup+6.30045 s]
/proc/loadavg: 0.80 0.17 0.05 9/248 26785
/proc/meminfo: memFree=28209748/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=920140 CPUtime=47.59 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) R 26775 26777 26751 0 -1 4202496 167398 0 0 0 4666 93 0 0 21 0 8 0 622449517 942223360 137947 33554432000 4194304 4627427 140735806612080 18446744073709551615 4330046 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/26777/statm: 230035 137947 388 106 0 225006 0
[pid=26777/tid=26778] ppid=26775 vsize=920140 CPUtime=5.95 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 24051 0 0 0 582 13 0 0 21 0 8 0 622449517 942223360 137947 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=920140 CPUtime=5.8 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 21817 0 0 0 571 9 0 0 21 0 8 0 622449517 942223360 137947 33554432000 4194304 4627427 140735806612080 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=920140 CPUtime=5.93 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 21026 0 0 0 581 12 0 0 21 0 8 0 622449517 942223360 137947 33554432000 4194304 4627427 140735806612080 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=920140 CPUtime=5.98 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 19870 0 0 0 589 9 0 0 21 0 8 0 622449517 942223360 137947 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=920140 CPUtime=6.03 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 21823 0 0 0 589 14 0 0 21 0 8 0 622449517 942223360 137947 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309379 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=920140 CPUtime=5.8 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 21755 0 0 0 567 13 0 0 21 0 8 0 622449517 942223360 137947 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=920140 CPUtime=5.98 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 13640 0 0 0 594 4 0 0 25 0 8 0 622449517 942223360 137947 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 78227 0 0 0 5058 26 0 0 25 0 8 0 622449517 1559691264 268557 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=1523136 CPUtime=50.6 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 98083 0 0 0 5034 26 0 0 25 0 8 0 622449517 1559691264 268557 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=1523136 CPUtime=50.79 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 44417 0 0 0 5068 11 0 0 25 0 8 0 622449517 1559691264 268557 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 405.65
Current children cumulated vsize (KiB) 1523136
Solver just ended. Dumping a history of the last processes samples
[startup+51.7011 s]
/proc/loadavg: 4.91 1.39 0.47 9/248 26786
/proc/meminfo: memFree=27686096/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=1523136 CPUtime=410.38 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) R 26775 26777 26751 0 -1 4202496 756675 0 0 0 40837 201 0 0 25 0 8 0 622449517 1559691264 268859 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26777/statm: 380784 268859 391 106 0 375755 0
[pid=26777/tid=26778] ppid=26775 vsize=1523136 CPUtime=51.33 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 119253 0 0 0 5102 31 0 0 25 0 8 0 622449517 1559691264 268859 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=1523136 CPUtime=51.15 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 135008 0 0 0 5087 28 0 0 25 0 8 0 622449517 1559691264 268859 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=1523136 CPUtime=51.32 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 78753 0 0 0 5109 23 0 0 25 0 8 0 622449517 1559691264 268859 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=1523136 CPUtime=51.37 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 89630 0 0 0 5115 22 0 0 25 0 8 0 622449517 1559691264 268859 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=1523136 CPUtime=51.43 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 78264 0 0 0 5117 26 0 0 25 0 8 0 622449517 1559691264 268859 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=1523136 CPUtime=51.19 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 98119 0 0 0 5093 26 0 0 25 0 8 0 622449517 1559691264 268859 33554432000 4194304 4627427 140735806612080 18446744073709551615 4325081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=1523136 CPUtime=51.38 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 44450 0 0 0 5127 11 0 0 25 0 8 0 622449517 1559691264 268859 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 410.38
Current children cumulated vsize (KiB) 1523136
[startup+64.5008 s]
/proc/loadavg: 5.47 1.62 0.56 9/248 26786
/proc/meminfo: memFree=27659440/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=1529224 CPUtime=512.68 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) R 26775 26777 26751 0 -1 4202496 775291 0 0 0 51061 207 0 0 25 0 8 0 622449517 1565925376 275349 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26777/statm: 382306 275349 391 106 0 377277 0
[pid=26777/tid=26778] ppid=26775 vsize=1529224 CPUtime=64.14 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 121945 0 0 0 6381 33 0 0 25 0 8 0 622449517 1565925376 275349 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=1529224 CPUtime=63.96 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 138866 0 0 0 6367 29 0 0 25 0 8 0 622449517 1565925376 275349 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=1529224 CPUtime=64.13 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 81189 0 0 0 6389 24 0 0 25 0 8 0 622449517 1565925376 275349 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=1529224 CPUtime=64.17 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 91155 0 0 0 6394 23 0 0 25 0 8 0 622449517 1565925376 275349 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=1529224 CPUtime=64.23 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 82267 0 0 0 6396 27 0 0 25 0 8 0 622449517 1565925376 275349 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=1529224 CPUtime=63.99 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 99851 0 0 0 6373 26 0 0 25 0 8 0 622449517 1565925376 275349 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=1529224 CPUtime=64.17 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 45580 0 0 0 6406 11 0 0 25 0 8 0 622449517 1565925376 275349 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 512.68
Current children cumulated vsize (KiB) 1529224
[startup+67.7092 s]
/proc/loadavg: 5.67 1.72 0.60 9/248 26786
/proc/meminfo: memFree=27647412/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=1594776 CPUtime=538.32 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) R 26775 26777 26751 0 -1 4202496 783120 0 0 0 53623 209 0 0 25 0 8 0 622449517 1633050624 278418 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26777/statm: 398694 278418 391 106 0 393665 0
[pid=26777/tid=26778] ppid=26775 vsize=1594776 CPUtime=67.34 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 124703 0 0 0 6701 33 0 0 25 0 8 0 622449517 1633050624 278418 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=1594776 CPUtime=67.16 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 139090 0 0 0 6687 29 0 0 25 0 8 0 622449517 1633050624 278418 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=1594776 CPUtime=67.33 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 82357 0 0 0 6709 24 0 0 25 0 8 0 622449517 1633050624 278418 33554432000 4194304 4627427 140735806612080 18446744073709551615 4321405 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=1594776 CPUtime=67.38 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 91162 0 0 0 6715 23 0 0 25 0 8 0 622449517 1633050624 278418 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=1594776 CPUtime=67.43 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 83336 0 0 0 6716 27 0 0 25 0 8 0 622449517 1633050624 278418 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309085 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=1594776 CPUtime=67.2 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 99975 0 0 0 6693 27 0 0 25 0 8 0 622449517 1633050624 278418 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308301 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=1594776 CPUtime=67.38 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 45707 0 0 0 6727 11 0 0 25 0 8 0 622449517 1633050624 278418 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308231 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 538.32
Current children cumulated vsize (KiB) 1594776
[startup+69.3009 s]
/proc/loadavg: 5.67 1.72 0.60 9/248 26786
/proc/meminfo: memFree=27643444/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=1594624 CPUtime=551.05 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) R 26775 26777 26751 0 -1 4202496 786699 0 0 0 54895 210 0 0 25 0 8 0 622449517 1632894976 279689 33554432000 4194304 4627427 140735806612080 18446744073709551615 4310136 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26777/statm: 398656 279689 391 106 0 393627 0
[pid=26777/tid=26778] ppid=26775 vsize=1594624 CPUtime=68.93 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 124822 0 0 0 6860 33 0 0 25 0 8 0 622449517 1632894976 279689 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=1594624 CPUtime=68.75 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 139898 0 0 0 6846 29 0 0 25 0 8 0 622449517 1632894976 279689 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=1594624 CPUtime=68.92 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 82532 0 0 0 6868 24 0 0 25 0 8 0 622449517 1632894976 279689 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=1594624 CPUtime=68.97 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 92079 0 0 0 6874 23 0 0 25 0 8 0 622449517 1632894976 279689 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=1594624 CPUtime=69.02 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 83480 0 0 0 6875 27 0 0 25 0 8 0 622449517 1632894976 279689 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=1594624 CPUtime=68.8 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 101143 0 0 0 6853 27 0 0 25 0 8 0 622449517 1632894976 279689 33554432000 4194304 4627427 140735806612080 18446744073709551615 4223760 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=1594624 CPUtime=68.97 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 45775 0 0 0 6886 11 0 0 25 0 8 0 622449517 1632894976 279689 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 551.05
Current children cumulated vsize (KiB) 1594624
[startup+70.1008 s]
/proc/loadavg: 5.67 1.72 0.60 9/248 26787
/proc/meminfo: memFree=27637864/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=1594624 CPUtime=557.44 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) R 26775 26777 26751 0 -1 4202496 789611 0 0 0 55533 211 0 0 25 0 8 0 622449517 1632894976 281111 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26777/statm: 398656 281111 391 106 0 393627 0
[pid=26777/tid=26778] ppid=26775 vsize=1594624 CPUtime=69.73 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 124888 0 0 0 6940 33 0 0 25 0 8 0 622449517 1632894976 281111 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308194 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=1594624 CPUtime=69.55 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 139967 0 0 0 6926 29 0 0 25 0 8 0 622449517 1632894976 281111 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=1594624 CPUtime=69.72 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 82617 0 0 0 6948 24 0 0 25 0 8 0 622449517 1632894976 281111 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=1594624 CPUtime=69.77 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 92151 0 0 0 6954 23 0 0 25 0 8 0 622449517 1632894976 281111 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=1594624 CPUtime=69.82 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 83566 0 0 0 6955 27 0 0 25 0 8 0 622449517 1632894976 281111 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=1594624 CPUtime=69.59 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 103552 0 0 0 6932 27 0 0 25 0 8 0 622449517 1632894976 281111 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=1594624 CPUtime=69.77 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 45815 0 0 0 6966 11 0 0 25 0 8 0 622449517 1632894976 281111 33554432000 4194304 4627427 140735806612080 18446744073709551615 4306366 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 557.44
Current children cumulated vsize (KiB) 1594624
[startup+70.5007 s]
/proc/loadavg: 5.67 1.72 0.60 9/248 26787
/proc/meminfo: memFree=27637864/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=1606072 CPUtime=560.64 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) R 26775 26777 26751 0 -1 4202496 790545 0 0 0 55853 211 0 0 25 0 8 0 622449517 1644617728 279773 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308326 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26777/statm: 401518 279773 391 106 0 396489 0
[pid=26777/tid=26778] ppid=26775 vsize=1606072 CPUtime=70.13 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 124935 0 0 0 6980 33 0 0 25 0 8 0 622449517 1644617728 279773 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=1606072 CPUtime=69.95 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 140003 0 0 0 6966 29 0 0 25 0 8 0 622449517 1644617728 279773 33554432000 4194304 4627427 140735806612080 18446744073709551615 4305844 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=1606072 CPUtime=70.12 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 82654 0 0 0 6988 24 0 0 25 0 8 0 622449517 1644617728 279773 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=1606072 CPUtime=70.17 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 92209 0 0 0 6994 23 0 0 25 0 8 0 622449517 1644617728 279773 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=1606072 CPUtime=70.22 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 83613 0 0 0 6995 27 0 0 25 0 8 0 622449517 1644617728 279773 33554432000 4194304 4627427 140735806612080 18446744073709551615 4333188 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=1606072 CPUtime=69.99 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 103572 0 0 0 6972 27 0 0 25 0 8 0 622449517 1644617728 279773 33554432000 4194304 4627427 140735806612080 18446744073709551615 4310689 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=1606072 CPUtime=70.17 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 45815 0 0 0 7006 11 0 0 25 0 8 0 622449517 1644617728 279773 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 560.64
Current children cumulated vsize (KiB) 1606072
[startup+70.7007 s]
/proc/loadavg: 5.67 1.72 0.60 9/248 26787
/proc/meminfo: memFree=27637864/32950928 swapFree=67054472/67111528
[pid=26777] ppid=26775 vsize=1606072 CPUtime=562.23 cores=0-7
/proc/26777/stat : 26777 (strangenight2-m) R 26775 26777 26751 0 -1 4202496 790736 0 0 0 56012 211 0 0 25 0 8 0 622449517 1644617728 279964 33554432000 4194304 4627427 140735806612080 18446744073709551615 4299536 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26777/statm: 401518 279964 391 106 0 396489 0
[pid=26777/tid=26778] ppid=26775 vsize=1606072 CPUtime=70.33 cores=0-7
/proc/26777/task/26778/stat : 26778 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 124966 0 0 0 7000 33 0 0 25 0 8 0 622449517 1644617728 279964 33554432000 4194304 4627427 140735806612080 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26777/tid=26779] ppid=26775 vsize=1606072 CPUtime=70.15 cores=0-7
/proc/26777/task/26779/stat : 26779 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 140034 0 0 0 6986 29 0 0 25 0 8 0 622449517 1644617728 279964 33554432000 4194304 4627427 140735806612080 18446744073709551615 4328223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26777/tid=26780] ppid=26775 vsize=1606072 CPUtime=70.32 cores=0-7
/proc/26777/task/26780/stat : 26780 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 82675 0 0 0 7008 24 0 0 25 0 8 0 622449517 1644617728 279964 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26777/tid=26781] ppid=26775 vsize=1606072 CPUtime=70.37 cores=0-7
/proc/26777/task/26781/stat : 26781 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 92243 0 0 0 7014 23 0 0 25 0 8 0 622449517 1644617728 279964 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26777/tid=26782] ppid=26775 vsize=1606072 CPUtime=70.42 cores=0-7
/proc/26777/task/26782/stat : 26782 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 83629 0 0 0 7015 27 0 0 25 0 8 0 622449517 1644617728 279964 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26777/tid=26783] ppid=26775 vsize=1606072 CPUtime=70.19 cores=0-7
/proc/26777/task/26783/stat : 26783 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 103617 0 0 0 6992 27 0 0 25 0 8 0 622449517 1644617728 279964 33554432000 4194304 4627427 140735806612080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26777/tid=26784] ppid=26775 vsize=1606072 CPUtime=70.37 cores=0-7
/proc/26777/task/26784/stat : 26784 (strangenight2-m) R 26775 26777 26751 0 -1 4202560 45815 0 0 0 7026 11 0 0 25 0 8 0 622449517 1644617728 279964 33554432000 4194304 4627427 140735806612080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 562.23
Current children cumulated vsize (KiB) 1606072
Child status: 20
Real time (s): 70.7669
CPU time (s): 562.372
CPU user time (s): 560.2
CPU system time (s): 2.17267
CPU usage (%): 794.683
Max. virtual memory (cumulated for all children) (KiB): 1606724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 560.2
system time used= 2.17267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 790746
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= 105426
involuntary context switches= 4425
runsolver used 0.140978 second user time and 0.386941 second system time
The end
Begin job on node116 at 2011-05-02 09:43:08
IDJOB=3321024
IDBENCH=69599
IDSOLVER=1709
FILE ID=node116/3321024-1304322188
RUNJOBID= node116-1304322188-26765
PBS_JOBID= 13176810
Free space on /tmp= 73836 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c6bidw_i.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321024-1304322188/watcher-3321024-1304322188 -o /tmp/evaluation-result-3321024-1304322188/solver-3321024-1304322188 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321024-1304322188.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8aeb1eb6b7bf22d54183762fb5b6410c
RANDOM SEED=2144697036
node116.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.826
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.65
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.826
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.15
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.826
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.826
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.826
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.77
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.826
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.826
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.826
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: 32950928 kB
MemFree: 28762072 kB
Buffers: 1054848 kB
Cached: 1473212 kB
SwapCached: 9656 kB
Active: 1649288 kB
Inactive: 2186060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 28762072 kB
SwapTotal: 67111528 kB
SwapFree: 67054472 kB
Dirty: 10512 kB
Writeback: 0 kB
AnonPages: 1305820 kB
Mapped: 19796 kB
Slab: 278308 kB
PageTables: 13920 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 34923180 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= 73828 MiB
End job on node116 at 2011-05-02 09:44:19