0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 8 threads
0.00/0.03 c This is CryptoMiniSat 3.0.0
0.00/0.03 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03 c Reading file 'HOME/instance-3394326-1306094295.cnf'
0.00/0.03 c -- header says num vars: 34510
0.00/0.03 c -- header says num clauses: 701694
2.94/0.55 c -- clauses added: 0 learnts, 701694 normals, 0 xors
2.94/0.55 c -- vars added 34510
2.94/0.55 c Parsing time: 0.28 s
2.94/0.55 c N st 0 0 34510 648825 52869 0 2616281 0 no data no data
4.39/0.72 c asymm cl-useful: 25/1994/648825 lits-rem:25 time: 0.16
17.28/2.47 c Flit: 266 Blit: 32 bXBeca: 0 bXProp: 282 Bins: 0 BRemL: 0 BRemN: 0 P: 168.0M T: 1.59
18.08/2.50 c Cleaning up after failed var search: 0.03 s
18.08/2.54 c Replacing 282 vars Replaced 12225 lits Time: 0.04 s
21.33/3.28 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
21.33/3.30 c bin-w-bin subsume rem 6083 bins time: 0.01 s
21.89/3.38 c subs with bin: 4304 lits-rem: 2447 v-fix: 0 time: 0.07 s
22.38/3.44 c Subs w/ non-existent bins: 3481 l-rem: 1607 v-fix: 0 done: 6040 time: 0.06 s
22.99/3.55 c Removed useless bin: 8787 fixed: 0 props: 18.27M time: 0.10 s
33.21/4.87 c lits-rem: 876 cl-subs: 50164 v-elim: 2866 v-fix: 0 time: 1.28 s
34.01/4.91 c Finding binary XORs T: 0.05 s found: 44
34.01/4.95 c Replacing 44 vars Replaced 2498 lits Time: 0.03 s
37.20/5.37 c Finding non-binary XORs: 0.38 s (found: 0, avg size: nan)
37.20/5.37 c calculated reachability. Time: 0.02
37.20/5.40 c Calc default polars - time: 0.03 s pos: 10091 undec: 13974 neg: 10445
37.20/5.40 c =========================================================================================
37.20/5.40 c types(t): F = full restart, N = normal restart
37.20/5.40 c types(t): S = simplification begin/end, E = solution found
37.20/5.40 c restart types(rt): st = static, dy = dynamic
37.20/5.40 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
37.20/5.40 c B st 0 0 30845 573183 37159 0 2296820 0 no data no data
47.71/6.67 c N dy 8 4564 30845 573183 37161 4526 2296819 56229 7.03 7.40
53.15/7.39 c Finding binary XORs T: 0.04 s found: 0
57.92/7.96 c N dy 24 9472 30844 573183 41154 9365 2296819 123533 6.70 7.06
67.50/9.16 c N dy 44 13717 30843 573183 42088 13561 2296819 177758 6.75 7.21
76.29/10.21 c Finding binary XORs T: 0.04 s found: 0
77.89/10.45 c N dy 66 17975 30843 572906 42109 16472 2295919 216056 6.80 7.22
88.27/11.71 c N dy 87 22133 30843 572906 42142 11364 2295919 124783 6.82 7.18
93.85/12.45 c F st 106 25000 30843 572906 42169 14211 2295919 161047 6.88 5.56
94.65/12.58 c Found part 1122 vars: 1070 clauses: 8964 lits size: 31683
94.65/12.58 c Found part 1129 vars: 952 clauses: 6858 lits size: 24029
94.65/12.58 c Found part 1162 vars: 810 clauses: 10185 lits size: 37221
94.65/12.58 c Found part 1769 vars: 4877 clauses: 193676 lits size: 739719
94.65/12.58 c Found part 2017 vars: 238 clauses: 573 lits size: 1598
94.65/12.58 c Found part 2027 vars: 203 clauses: 502 lits size: 1379
94.65/12.58 c Found part 2029 vars: 15764 clauses: 358039 lits size: 1350338
94.65/12.58 c Found part 2037 vars: 833 clauses: 5179 lits size: 18110
94.65/12.58 c Found part 2086 vars: 305 clauses: 965 lits size: 2986
94.65/12.58 c Found part 2090 vars: 265 clauses: 792 lits size: 3175
94.65/12.58 c Found part 2135 vars: 238 clauses: 574 lits size: 1602
94.65/12.58 c Found part 2136 vars: 3702 clauses: 20065 lits size: 72614
94.65/12.58 c Found part 2138 vars: 172 clauses: 504 lits size: 2317
94.65/12.58 c Found part 2139 vars: 236 clauses: 554 lits size: 1540
94.65/12.58 c Found part 2140 vars: 236 clauses: 557 lits size: 1550
94.65/12.58 c Found part 2155 vars: 234 clauses: 534 lits size: 1522
94.65/12.58 c Found part 2172 vars: 236 clauses: 533 lits size: 1512
94.65/12.58 c Found part 2189 vars: 236 clauses: 533 lits size: 1512
94.65/12.58 c Found part 2206 vars: 236 clauses: 533 lits size: 1512
94.65/12.58 c Found parts: 19 time: 0.13 s
94.65/12.58 c Solving part 2138
95.44/12.61 c N st 0 0 172 335 169 0 2317 0 no data no data
95.44/12.61 c asymm cl-useful: 160/335/335 lits-rem:255 time: 0.00
95.44/12.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
95.44/12.61 c Finding binary XORs T: 0.00 s found: 0
95.44/12.62 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
95.44/12.62 c calculated reachability. Time: 0.00
95.44/12.62 c Calc default polars - time: 0.00 s pos: 76 undec: 34347 neg: 87
95.44/12.62 c =========================================================================================
95.44/12.62 c types(t): F = full restart, N = normal restart
95.44/12.62 c types(t): S = simplification begin/end, E = solution found
95.44/12.62 c restart types(rt): st = static, dy = dynamic
95.44/12.62 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
95.44/12.62 c B st 0 0 172 335 169 0 2062 0 no data no data
95.44/12.62 c E st 1 0 0 335 169 0 2062 0 no data no data
95.44/12.62 c Verified 335 clauses.
95.44/12.62 c Verified 335 clauses.
95.44/12.62 c Solved part
95.44/12.62 c =========================================================================================
95.44/12.62 c Solving part 2027
95.44/12.64 c N st 0 0 203 227 313 0 1379 76 no data no data
95.44/12.65 c asymm cl-useful: 36/227/227 lits-rem:36 time: 0.00
95.44/12.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
95.44/12.65 c Finding binary XORs T: 0.00 s found: 0
95.44/12.65 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
95.44/12.65 c calculated reachability. Time: 0.00
95.44/12.65 c Calc default polars - time: 0.00 s pos: 58 undec: 34351 neg: 101
95.44/12.65 c =========================================================================================
95.44/12.65 c types(t): F = full restart, N = normal restart
95.44/12.65 c types(t): S = simplification begin/end, E = solution found
95.44/12.65 c restart types(rt): st = static, dy = dynamic
95.44/12.65 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
95.44/12.65 c B st 0 0 203 227 313 0 1343 76 no data no data
95.44/12.65 c E st 1 0 0 227 313 0 1343 76 no data no data
95.44/12.65 c Verified 227 clauses.
95.44/12.65 c Verified 227 clauses.
95.44/12.65 c Solved part
95.44/12.65 c =========================================================================================
95.44/12.66 c Solving part 2155
95.44/12.69 c N st 0 0 234 266 268 0 1522 0 no data no data
95.44/12.69 c asymm cl-useful: 4/266/266 lits-rem:4 time: 0.00
95.44/12.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
96.24/12.70 c Finding binary XORs T: 0.00 s found: 0
96.24/12.70 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
96.24/12.70 c calculated reachability. Time: 0.00
96.24/12.70 c Calc default polars - time: 0.00 s pos: 83 undec: 34346 neg: 81
96.24/12.70 c =========================================================================================
96.24/12.70 c types(t): F = full restart, N = normal restart
96.24/12.70 c types(t): S = simplification begin/end, E = solution found
96.24/12.70 c restart types(rt): st = static, dy = dynamic
96.24/12.70 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
96.24/12.70 c B st 0 0 234 266 268 0 1518 0 no data no data
96.24/12.70 c E st 1 0 0 266 268 0 1518 0 no data no data
96.24/12.70 c Verified 266 clauses.
96.24/12.70 c Verified 266 clauses.
96.24/12.70 c Solved part
96.24/12.70 c =========================================================================================
96.24/12.70 c Solving part 2206
96.24/12.73 c N st 0 0 236 261 272 0 1512 0 no data no data
96.24/12.74 c asymm cl-useful: 1/261/261 lits-rem:1 time: 0.00
96.24/12.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
96.24/12.74 c Finding binary XORs T: 0.00 s found: 0
96.24/12.74 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
96.24/12.74 c calculated reachability. Time: 0.00
96.24/12.74 c Calc default polars - time: 0.00 s pos: 82 undec: 34346 neg: 82
96.24/12.74 c =========================================================================================
96.24/12.74 c types(t): F = full restart, N = normal restart
96.24/12.74 c types(t): S = simplification begin/end, E = solution found
96.24/12.74 c restart types(rt): st = static, dy = dynamic
96.24/12.74 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
96.24/12.74 c B st 0 0 236 261 272 0 1511 0 no data no data
96.24/12.74 c E st 1 0 0 261 272 0 1511 0 no data no data
96.24/12.74 c Verified 261 clauses.
96.24/12.74 c Verified 261 clauses.
96.24/12.74 c Solved part
96.24/12.74 c =========================================================================================
96.24/12.74 c Solving part 2189
96.24/12.78 c N st 0 0 236 261 272 0 1512 0 no data no data
96.24/12.78 c asymm cl-useful: 1/261/261 lits-rem:1 time: 0.00
96.24/12.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
96.24/12.79 c Finding binary XORs T: 0.00 s found: 0
96.24/12.79 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
96.24/12.79 c calculated reachability. Time: 0.00
96.24/12.79 c Calc default polars - time: 0.00 s pos: 82 undec: 34346 neg: 82
96.24/12.79 c =========================================================================================
96.24/12.79 c types(t): F = full restart, N = normal restart
96.24/12.79 c types(t): S = simplification begin/end, E = solution found
96.24/12.79 c restart types(rt): st = static, dy = dynamic
96.24/12.79 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
96.24/12.79 c B st 0 0 236 261 272 0 1511 0 no data no data
96.24/12.79 c E st 1 0 0 261 272 0 1511 0 no data no data
96.24/12.79 c Verified 261 clauses.
96.24/12.79 c Verified 261 clauses.
96.24/12.79 c Solved part
96.24/12.79 c =========================================================================================
96.24/12.79 c Solving part 2172
97.04/12.83 c N st 0 0 236 261 272 0 1512 0 no data no data
97.04/12.83 c asymm cl-useful: 1/261/261 lits-rem:1 time: 0.00
97.04/12.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
97.04/12.83 c Finding binary XORs T: 0.00 s found: 0
97.04/12.83 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
97.04/12.83 c calculated reachability. Time: 0.00
97.04/12.83 c Calc default polars - time: 0.00 s pos: 82 undec: 34346 neg: 82
97.04/12.83 c =========================================================================================
97.04/12.83 c types(t): F = full restart, N = normal restart
97.04/12.83 c types(t): S = simplification begin/end, E = solution found
97.04/12.83 c restart types(rt): st = static, dy = dynamic
97.04/12.83 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
97.04/12.83 c B st 0 0 236 261 272 0 1511 0 no data no data
97.04/12.83 c E st 1 0 0 261 272 0 1511 0 no data no data
97.04/12.83 c Verified 261 clauses.
97.04/12.83 c Verified 261 clauses.
97.04/12.83 c Solved part
97.04/12.83 c =========================================================================================
97.04/12.84 c Solving part 2140
97.04/12.87 c N st 0 0 236 275 286 0 1550 8 no data no data
97.04/12.88 c asymm cl-useful: 1/275/275 lits-rem:1 time: 0.00
97.04/12.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
97.04/12.88 c Finding binary XORs T: 0.00 s found: 0
97.04/12.88 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
97.04/12.88 c calculated reachability. Time: 0.00
97.04/12.88 c Calc default polars - time: 0.00 s pos: 113 undec: 34284 neg: 113
97.04/12.88 c =========================================================================================
97.04/12.88 c types(t): F = full restart, N = normal restart
97.04/12.88 c types(t): S = simplification begin/end, E = solution found
97.04/12.88 c restart types(rt): st = static, dy = dynamic
97.04/12.88 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
97.04/12.88 c B st 0 0 236 275 286 0 1549 8 no data no data
97.04/12.88 c E st 1 0 0 275 286 0 1549 8 no data no data
97.04/12.88 c Verified 275 clauses.
97.04/12.88 c Verified 275 clauses.
97.04/12.88 c Solved part
97.04/12.88 c =========================================================================================
97.04/12.88 c Solving part 2139
97.83/12.92 c N st 0 0 236 268 286 0 1540 0 no data no data
97.83/12.92 c asymm cl-useful: 2/268/268 lits-rem:2 time: 0.00
97.83/12.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
97.83/12.93 c Finding binary XORs T: 0.00 s found: 0
97.83/12.93 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
97.83/12.93 c calculated reachability. Time: 0.00
97.83/12.93 c Calc default polars - time: 0.00 s pos: 110 undec: 34290 neg: 110
97.83/12.93 c =========================================================================================
97.83/12.93 c types(t): F = full restart, N = normal restart
97.83/12.93 c types(t): S = simplification begin/end, E = solution found
97.83/12.93 c restart types(rt): st = static, dy = dynamic
97.83/12.93 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
97.83/12.93 c B st 0 0 236 268 286 0 1538 0 no data no data
97.83/12.93 c E st 1 0 0 268 286 0 1538 0 no data no data
97.83/12.93 c Verified 268 clauses.
97.83/12.93 c Verified 268 clauses.
97.83/12.93 c Solved part
97.83/12.93 c =========================================================================================
97.83/12.93 c Solving part 2017
97.83/12.99 c N st 0 0 238 315 291 0 1598 66 no data no data
97.83/12.99 c asymm cl-useful: 0/315/315 lits-rem:0 time: 0.00
97.83/12.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
97.83/13.00 c Finding binary XORs T: 0.00 s found: 0
98.62/13.00 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
98.62/13.00 c calculated reachability. Time: 0.00
98.62/13.00 c Calc default polars - time: 0.00 s pos: 115 undec: 34280 neg: 115
98.62/13.00 c =========================================================================================
98.62/13.00 c types(t): F = full restart, N = normal restart
98.62/13.00 c types(t): S = simplification begin/end, E = solution found
98.62/13.00 c restart types(rt): st = static, dy = dynamic
98.62/13.00 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
98.62/13.00 c B st 0 0 238 315 291 0 1598 66 no data no data
98.62/13.00 c E st 1 0 0 315 291 0 1598 66 no data no data
98.62/13.00 c Verified 315 clauses.
98.62/13.00 c Verified 315 clauses.
98.62/13.00 c Solved part
98.62/13.00 c =========================================================================================
98.62/13.00 c Solving part 2135
98.62/13.04 c N st 0 0 238 318 273 0 1602 34 no data no data
98.62/13.04 c asymm cl-useful: 0/318/318 lits-rem:0 time: 0.00
98.62/13.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
98.62/13.04 c Finding binary XORs T: 0.00 s found: 0
98.62/13.05 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
98.62/13.05 c calculated reachability. Time: 0.00
98.62/13.05 c Calc default polars - time: 0.00 s pos: 115 undec: 34280 neg: 115
98.62/13.05 c =========================================================================================
98.62/13.05 c types(t): F = full restart, N = normal restart
98.62/13.05 c types(t): S = simplification begin/end, E = solution found
98.62/13.05 c restart types(rt): st = static, dy = dynamic
98.62/13.05 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
98.62/13.05 c B st 0 0 238 318 273 0 1602 34 no data no data
98.62/13.05 c E st 1 0 0 318 273 0 1602 34 no data no data
98.62/13.05 c Verified 318 clauses.
98.62/13.05 c Verified 318 clauses.
98.62/13.05 c Solved part
98.62/13.05 c =========================================================================================
98.62/13.05 c Solving part 2090
98.62/13.08 c N st 0 0 265 522 270 0 3175 0 no data no data
98.62/13.09 c asymm cl-useful: 89/522/522 lits-rem:122 time: 0.00
98.62/13.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
98.62/13.09 c Finding binary XORs T: 0.00 s found: 0
98.62/13.09 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
98.62/13.09 c calculated reachability. Time: 0.00
98.62/13.09 c Calc default polars - time: 0.00 s pos: 129 undec: 34271 neg: 110
98.62/13.09 c =========================================================================================
98.62/13.09 c types(t): F = full restart, N = normal restart
98.62/13.09 c types(t): S = simplification begin/end, E = solution found
98.62/13.09 c restart types(rt): st = static, dy = dynamic
98.62/13.09 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
98.62/13.09 c B st 0 0 265 522 270 0 3053 0 no data no data
98.62/13.09 c E st 1 0 0 522 270 0 3053 0 no data no data
98.62/13.09 c Verified 522 clauses.
98.62/13.09 c Verified 522 clauses.
98.62/13.09 c Solved part
98.62/13.09 c =========================================================================================
98.62/13.10 c Solving part 2086
99.56/13.13 c N st 0 0 305 600 483 0 2986 236 no data no data
99.56/13.14 c asymm cl-useful: 102/600/600 lits-rem:149 time: 0.01
99.56/13.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
99.56/13.15 c Finding binary XORs T: 0.00 s found: 0
99.56/13.15 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
99.56/13.15 c calculated reachability. Time: 0.00
99.56/13.15 c Calc default polars - time: 0.00 s pos: 120 undec: 34250 neg: 140
99.56/13.15 c =========================================================================================
99.56/13.15 c types(t): F = full restart, N = normal restart
99.56/13.15 c types(t): S = simplification begin/end, E = solution found
99.56/13.15 c restart types(rt): st = static, dy = dynamic
99.56/13.15 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
99.56/13.15 c B st 0 0 305 597 486 0 2843 236 no data no data
99.56/13.15 c E st 1 0 0 597 486 0 2843 236 no data no data
99.56/13.15 c Verified 597 clauses.
99.56/13.15 c Verified 597 clauses.
99.56/13.15 c Solved part
99.56/13.15 c =========================================================================================
99.56/13.15 c Solving part 1162
99.56/13.19 c N st 0 0 810 9090 1687 0 37221 1184 no data no data
101.78/13.45 c asymm cl-useful: 764/4062/9090 lits-rem:797 time: 0.26
102.59/13.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 35 Bins: 0 BRemL: 0 BRemN: 0 P: 2.9M T: 0.05
102.59/13.51 c Finding binary XORs T: 0.00 s found: 5
102.59/13.51 c Replacing 40 vars Replaced 2984 lits Time: 0.00 s
102.59/13.51 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
102.59/13.51 c calculated reachability. Time: 0.00
102.59/13.51 c Calc default polars - time: 0.00 s pos: 303 undec: 33941 neg: 266
102.59/13.51 c =========================================================================================
102.59/13.51 c types(t): F = full restart, N = normal restart
102.59/13.51 c types(t): S = simplification begin/end, E = solution found
102.59/13.51 c restart types(rt): st = static, dy = dynamic
102.59/13.51 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
102.59/13.51 c B st 0 0 770 8476 1662 0 34016 1184 no data no data
102.59/13.51 c E st 1 0 0 8476 1662 0 34016 1184 no data no data
102.59/13.51 c Verified 8476 clauses.
102.59/13.51 c Verified 8476 clauses.
102.59/13.51 c Solved part
102.59/13.51 c =========================================================================================
102.59/13.51 c Solving part 2037
102.59/13.54 c N st 0 0 833 4173 1021 0 18110 30 no data no data
103.39/13.61 c asymm cl-useful: 51/4173/4173 lits-rem:51 time: 0.07
103.39/13.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.02
103.39/13.64 c Finding binary XORs T: 0.00 s found: 0
103.39/13.64 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
103.39/13.64 c calculated reachability. Time: 0.00
103.39/13.64 c Calc default polars - time: 0.00 s pos: 279 undec: 33979 neg: 252
103.39/13.64 c =========================================================================================
103.39/13.64 c types(t): F = full restart, N = normal restart
103.39/13.64 c types(t): S = simplification begin/end, E = solution found
103.39/13.64 c restart types(rt): st = static, dy = dynamic
103.39/13.64 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
103.39/13.64 c B st 0 0 833 4173 1021 0 18059 30 no data no data
103.39/13.64 c E st 1 0 0 4173 1021 0 18059 30 no data no data
103.39/13.64 c Verified 4173 clauses.
103.39/13.64 c Verified 4173 clauses.
103.39/13.64 c Solved part
103.39/13.64 c =========================================================================================
103.39/13.64 c Solving part 1129
103.39/13.67 c N st 0 0 952 5641 1290 0 24029 146 no data no data
104.19/13.78 c asymm cl-useful: 178/5641/5641 lits-rem:187 time: 0.11
104.98/13.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.7M T: 0.02
104.98/13.81 c Finding binary XORs T: 0.00 s found: 0
104.98/13.81 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
104.98/13.81 c calculated reachability. Time: 0.00
104.98/13.81 c Calc default polars - time: 0.00 s pos: 358 undec: 33786 neg: 366
104.98/13.81 c =========================================================================================
104.98/13.81 c types(t): F = full restart, N = normal restart
104.98/13.81 c types(t): S = simplification begin/end, E = solution found
104.98/13.81 c restart types(rt): st = static, dy = dynamic
104.98/13.81 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
104.98/13.81 c B st 0 0 952 5637 1294 0 23850 146 no data no data
104.98/13.81 c E st 1 0 0 5637 1294 0 23850 146 no data no data
104.98/13.81 c Verified 5637 clauses.
104.98/13.81 c Verified 5637 clauses.
104.98/13.81 c Solved part
104.98/13.81 c =========================================================================================
104.98/13.81 c Solving part 1122
104.98/13.85 c N st 0 0 1070 7514 1564 0 31683 228 no data no data
106.59/14.02 c asymm cl-useful: 173/7514/7514 lits-rem:173 time: 0.17
106.59/14.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.1M T: 0.03
106.59/14.05 c Finding binary XORs T: 0.00 s found: 0
106.59/14.06 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
106.59/14.06 c calculated reachability. Time: 0.00
106.59/14.06 c Calc default polars - time: 0.00 s pos: 429 undec: 33627 neg: 454
106.59/14.06 c =========================================================================================
106.59/14.06 c types(t): F = full restart, N = normal restart
106.59/14.06 c types(t): S = simplification begin/end, E = solution found
106.59/14.06 c restart types(rt): st = static, dy = dynamic
106.59/14.06 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
106.59/14.06 c B st 0 0 1070 7514 1564 0 31510 228 no data no data
106.59/14.06 c E st 1 1 0 7514 1564 1 31510 233 no data no data
106.59/14.06 c Verified 7514 clauses.
106.59/14.06 c Verified 7514 clauses.
106.59/14.06 c Solved part
106.59/14.06 c =========================================================================================
106.59/14.06 c Solving part 2136
106.59/14.09 c N st 0 0 3702 15960 4496 0 72614 782 no data no data
108.32/14.28 c asymm cl-useful: 963/8623/15960 lits-rem:1440 time: 0.18
109.12/14.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.6M T: 0.08
109.12/14.36 c Finding binary XORs T: 0.01 s found: 0
109.12/14.37 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
109.12/14.37 c calculated reachability. Time: 0.00
109.12/14.37 c Calc default polars - time: 0.00 s pos: 1030 undec: 32439 neg: 1041
109.12/14.37 c =========================================================================================
109.12/14.37 c types(t): F = full restart, N = normal restart
109.12/14.37 c types(t): S = simplification begin/end, E = solution found
109.12/14.37 c restart types(rt): st = static, dy = dynamic
109.12/14.37 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
109.12/14.37 c B st 0 0 3702 15960 4496 0 71174 782 no data no data
109.12/14.37 c E st 1 0 0 15960 4496 0 71174 782 no data no data
109.12/14.37 c Verified 15960 clauses.
109.12/14.37 c Verified 15960 clauses.
109.12/14.37 c Solved part
109.12/14.37 c =========================================================================================
109.12/14.37 c Solving part 1769
110.56/14.52 c N st 0 0 4877 187523 7438 14211 739719 153707 no data no data
110.56/14.60 c asymm cl-useful: 12/354/187523 lits-rem:12 time: 0.08
114.56/15.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 74.5M T: 0.48
114.56/15.09 c Finding binary XORs T: 0.01 s found: 0
115.36/15.18 c Finding non-binary XORs: 0.07 s (found: 0, avg size: nan)
115.36/15.18 c calculated reachability. Time: 0.00
115.36/15.19 c Calc default polars - time: 0.01 s pos: 1567 undec: 31398 neg: 1545
115.36/15.19 c =========================================================================================
115.36/15.19 c types(t): F = full restart, N = normal restart
115.36/15.19 c types(t): S = simplification begin/end, E = solution found
115.36/15.19 c restart types(rt): st = static, dy = dynamic
115.36/15.19 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
115.36/15.19 c B st 0 0 4877 187523 7438 14211 739707 153707 no data no data
124.94/16.35 c N dy 19 4177 4877 187523 7440 18353 739707 208898 6.74 7.11
134.67/17.56 c N dy 41 8298 4877 187523 7443 22448 739707 259316 6.85 7.21
144.88/18.82 c N dy 59 12746 4875 187523 7453 26840 739706 313284 6.76 7.27
154.46/20.04 c N dy 81 16763 4875 187523 7455 30823 739706 362698 6.82 7.20
165.63/21.40 c N dy 93 20844 4875 187523 7457 17855 739705 157534 6.80 7.19
176.83/22.85 c F st 114 25000 4874 187523 7466 21964 739705 206358 6.80 6.85
176.83/22.85 c N st 114 25000 4874 187523 7466 21964 739705 206358 6.80 6.85
188.78/24.32 c N dy 120 30194 4874 187523 7466 27130 739704 286814 6.80 no data
199.96/25.77 c N dy 149 34670 4874 187523 7468 31568 739704 348423 6.92 7.33
210.34/27.02 c N dy 173 38714 4874 187523 7468 35588 739704 399995 6.96 9.85
220.72/28.30 c N dy 199 42870 4874 187523 7471 20785 739704 170102 7.01 7.43
230.30/29.61 c N dy 213 46948 4874 187523 7474 24836 739703 223752 6.98 7.36
243.06/31.10 c N dy 231 51400 4874 187523 7477 29261 739702 284018 6.98 7.42
253.44/32.43 c N dy 249 55450 4874 187523 7484 33266 739702 332435 6.99 7.56
264.61/33.87 c N dy 267 59479 4873 187523 7496 37235 739702 379866 6.97 7.37
275.94/35.27 c N dy 296 63709 4873 187523 7498 21065 739702 154656 7.01 7.59
286.95/36.68 c N dy 322 67775 4873 187523 7500 25101 739702 210190 7.04 8.99
301.47/38.49 c N dy 346 73069 4872 187523 7512 30335 739701 280464 7.03 7.46
311.05/39.62 c Finding binary XORs T: 0.01 s found: 0
314.89/40.13 c N dy 364 78041 4872 186670 7334 30096 736295 299832 7.03 7.44
329.26/41.99 c N dy 393 83037 4872 186670 7335 35063 736294 368576 7.04 7.46
342.03/43.55 c F st 418 87501 4872 186670 7339 20505 736294 148875 7.05 no data
344.43/43.91 c N st 421 88694 4872 186670 7340 21694 736294 165479 7.05 no data
357.19/45.49 c N dy 438 94451 4870 186670 7356 27413 736294 253269 7.07 8.78
374.76/47.65 c N dy 462 100615 4869 186670 7372 33508 736293 336683 7.06 7.73
394.71/50.16 c N dy 502 107361 4869 186670 7373 40219 736293 433263 7.09 7.47
413.87/52.53 c N dy 532 114281 4868 186670 7382 25666 736292 199025 7.10 8.42
432.24/54.81 c N dy 565 122051 4867 186670 7394 33376 736292 307900 7.09 7.47
452.98/57.42 c N dy 613 129878 4866 186670 7401 41153 736292 420109 7.13 7.52
472.13/59.89 c Finding binary XORs T: 0.01 s found: 0
477.06/60.46 c N dy 658 138234 4866 185602 7286 22706 732097 165183 7.14 7.54
498.46/63.18 c N dy 694 147187 4864 185602 7309 31567 732097 290697 7.12 7.50
524.00/66.36 c N dy 750 156671 4863 185602 7317 40985 732097 421844 7.15 7.62
554.35/70.12 c N dy 815 166668 4863 185602 7324 28277 732097 219735 7.18 7.60
584.66/73.93 c N dy 887 177432 4862 185602 7333 38975 732093 380352 7.22 7.66
618.33/78.15 c N dy 944 188835 4861 185602 7356 25559 732092 163800 7.24 9.05
642.13/81.10 c Finding binary XORs T: 0.01 s found: 1
652.66/82.51 c N dy 999 200979 4860 184534 7291 32884 728024 293982 7.24 7.98
694.81/87.71 c N dy 1070 214131 4860 184534 7298 45953 728024 487281 7.26 7.85
730.73/92.31 c N dy 1148 227939 4860 184534 7307 35763 728024 319901 7.28 7.77
773.83/97.65 c N dy 1229 242520 4860 184534 7317 50270 728024 530591 7.30 10.27
819.48/103.33 c N dy 1314 258027 4859 184534 7336 39300 728024 345054 7.32 9.39
868.80/109.58 c N dy 1396 274567 4857 184534 7359 55715 728024 587973 7.33 7.74
921.48/116.15 c N dy 1498 292192 4857 184534 7363 45155 728024 417912 7.36 7.87
935.84/117.93 c Finding binary XORs T: 0.01 s found: 0
967.78/121.93 c F st 1584 306250 4855 184049 7333 28841 726200 166673 7.38 no data
982.14/123.77 c N dy 1590 311449 4855 184049 7333 34023 726200 253445 7.38 no data
1043.60/131.48 c N dy 1736 331472 4855 184049 7336 53917 726200 556365 7.43 7.84
1105.85/139.24 c N dy 1870 351791 4854 184049 7351 43889 726200 374810 7.47 7.89
1168.92/147.13 c N dy 1994 371820 4854 184049 7353 32326 726199 186406 7.49 10.98
1228.77/154.68 c N dy 2126 391925 4854 184049 7358 52345 726199 506358 7.52 8.00
1293.57/162.77 c N dy 2268 411986 4854 184049 7364 39640 726199 287830 7.57 9.49
1360.40/171.10 c N dy 2390 432229 4854 184049 7373 59761 726199 595072 7.58 8.04
1426.80/179.44 c N dy 2501 452465 4854 184049 7376 46123 726199 374436 7.60 8.01
1492.90/187.79 c N dy 2615 472680 4854 184049 7387 66226 726199 691428 7.62 8.03
1554.33/195.47 c N dy 2731 492788 4854 184049 7389 51477 726198 447964 7.63 8.05
1619.94/203.65 c N dy 2876 512882 4854 184049 7395 71461 726198 771592 7.66 8.11
1672.62/210.24 c Finding binary XORs T: 0.01 s found: 7
1683.64/211.66 c N dy 2973 532935 4854 183792 7372 55085 725214 503365 7.67 8.08
1749.09/219.86 c N dy 3087 553014 4854 183792 7377 38534 725214 229596 7.68 8.10
1815.34/228.13 c N dy 3199 573358 4851 183792 7382 58767 725214 556843 7.69 8.28
1888.77/237.35 c N dy 3290 594342 4851 183792 7388 41991 725214 271313 7.69 8.20
1952.76/245.41 c N dy 3423 614423 4851 183792 7392 61964 725214 598144 7.71 8.17
2021.25/253.95 c N dy 3536 634783 4851 183792 7402 43899 725214 286918 7.72 8.38
2084.44/261.82 c N dy 3632 654988 4847 183792 7428 63978 725214 610326 7.73 8.19
2158.51/271.10 c N dy 3743 675285 4847 183792 7437 45281 725214 289870 7.73 8.21
2224.91/279.47 c N dy 3862 695505 4847 183792 7438 65401 725213 614364 7.74 8.27
2295.14/288.23 c N dy 3971 716172 4847 183792 7448 46042 725213 283455 7.75 8.22
2308.56/289.96 c Finding binary XORs T: 0.01 s found: 7
2366.18/297.12 c N dy 4078 736549 4845 181879 7350 64012 717443 589077 7.75 8.28
2437.06/306.09 c N dy 4186 756641 4845 181879 7352 44233 717443 249033 7.76 9.29
2503.31/314.38 c N dy 4291 777109 4845 181879 7356 64611 717443 593775 7.76 8.22
2572.76/323.03 c N dy 4396 797110 4844 181879 7360 84491 717443 930800 7.77 11.05
2638.35/331.22 c N dy 4502 817165 4839 181879 7372 62589 717443 542509 7.77 9.14
2710.02/340.22 c N dy 4601 837185 4839 181879 7387 82489 717443 872462 7.78 10.50
2781.06/349.10 c N dy 4689 857449 4834 181879 7399 59869 717442 461634 7.78 8.22
2847.31/357.50 c N dy 4774 877519 4832 181879 7413 79841 717442 799820 7.77 8.22
2869.66/360.20 c Finding binary XORs T: 0.01 s found: 11
2917.56/366.25 c N dy 4873 897565 4831 179013 7254 54845 705612 374280 7.77 8.66
2986.99/374.91 c N dy 4967 917950 4831 179013 7260 75120 705612 711176 7.77 8.23
3053.75/384.61 c N dy 5037 939576 4808 179013 7291 52348 705612 305025 7.76 8.18
3099.96/392.32 c N dy 5143 959708 4808 179013 7296 72392 705612 657916 7.77 8.22
3123.35/396.22 c Finding binary XORs T: 0.01 s found: 24
3123.35/396.28 c Replacing 50 vars Replaced 63124 lits Time: 0.06 s
3151.56/400.93 c N dy 5237 979834 4741 171768 7032 84191 676388 909997 7.77 8.32
3193.20/408.47 c N dy 5324 999837 4731 171768 7061 62506 676388 504053 7.77 8.88
3207.99/412.19 c Finding binary XORs T: 0.01 s found: 40
3221.59/415.54 c N dy 5388 1019902 4608 141907 7132 62350 559080 631162 7.76 8.18
3224.79/416.38 c E dy 5392 1022193 4326 94898 6103 21042 373011 140154 7.76 4.75
3257.57/427.76 c Following stats are for *FIRST FINISHED THREAD ONLY*
3257.57/427.76 c num threads : 8
3257.57/427.76 c restarts : 121
3257.57/427.76 c dynamic restarts : 115
3257.57/427.76 c static restarts : 6
3257.57/427.76 c full restarts : 0
3257.57/427.76 c total simplify time : 0.12
3257.57/427.76 c learnts DL2 : 0
3257.57/427.76 c learnts size 2 : 64392
3257.57/427.76 c learnts size 1 : 476 (1.38 % of vars)
3257.57/427.76 c filedLit time : 1.61 (0.38 % time)
3257.57/427.76 c v-elim SatELite : 2866 (8.30 % vars)
3257.57/427.76 c SatELite time : 1.00 (0.24 % time)
3257.57/427.76 c v-elim xor : 0 (0.00 % vars)
3257.57/427.76 c xor elim time : 0.00 (0.00 % time)
3257.57/427.76 c num binary xor trees : 22
3257.57/427.76 c binxor trees' crown : 326 (14.82 leafs/tree)
3257.57/427.76 c bin xor find time : 0.13
3257.57/427.76 c OTF clause improved : 230 (0.01 clauses/conflict)
3257.57/427.76 c OTF impr. size diff : 311 (1.35 lits/clause)
3257.57/427.76 c OTF cl watch-shrink : 15881 (0.64 clauses/conflict)
3257.57/427.76 c OTF cl watch-sh-lit : 37317 (2.35 lits/clause)
3257.57/427.76 c tried to recurMin cls : 5098 (20.39 % of conflicts)
3257.57/427.76 c updated cache : 0 (0.00 lits/tried recurMin)
3257.57/427.76 c unit cls recevied : 2 (0.42 % of units)
3257.57/427.76 c unit cls sent : 0 (0.00 % of units)
3257.57/427.76 c bin cls recevied : 5724
3257.57/427.76 c bin cls sent : 81
3257.57/427.76 c clauses over max glue : 0 (0.00 % of all clauses)
3257.57/427.76 c conflicts : 25000 (58.62 / sec)
3257.57/427.76 c decisions : 31146 (0.00 % random)
3257.57/427.76 c bogo-props : 1354539780 (3176202.62 / sec)
3257.57/427.76 c conflict literals : 299707 (55.57 % deleted)
3257.57/427.76 c Memory used : 2158.27 MB
3257.57/427.76 c single-thread CPU time : 426.47 s
3257.57/427.76 c all-threads sum CPU time : 3253.63 s
3257.57/427.76 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394326-1306094295/watcher-3394326-1306094295 -o /tmp/evaluation-result-3394326-1306094295/solver-3394326-1306094295 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394326-1306094295.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.13 7.97 6.73 1/551 32196
/proc/meminfo: memFree=25537024/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=92144 CPUtime=0.08 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 412 0 0 0 8 0 0 0 21 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742704 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 23036 352 299 95 0 18018 0
[pid=32196/tid=32197] ppid=32194 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742706 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742696 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=92144 CPUtime=0 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=92144 CPUtime=0 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742706 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742706 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 799660235 94355456 352 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742706 0 0 4096 2 0 0 0 -1 5 0 0 0
[startup+0.0520931 s]
/proc/loadavg: 8.13 7.97 6.73 1/551 32196
/proc/meminfo: memFree=25537024/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=569592 CPUtime=0.26 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) D 32194 32196 31798 0 -1 4202496 10745 0 0 0 23 3 0 0 18 0 8 0 799660235 583262208 9077 33554432000 4194304 4580107 140736047746176 18446744073709551615 4306964 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 142433 9106 335 95 0 137415 0
[pid=32196/tid=32197] ppid=32194 vsize=569732 CPUtime=0.03 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 1240 0 0 0 3 0 0 0 17 0 8 0 799660235 583405568 9106 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284969095 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=569472 CPUtime=0.03 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 1398 0 0 0 3 0 0 0 18 0 8 0 799660235 583139328 9155 33554432000 4194304 4580107 140736047746176 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=568956 CPUtime=0.01 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 1324 0 0 0 1 0 0 0 18 0 8 0 799660235 582610944 9086 33554432000 4194304 4580107 140736047746176 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=569096 CPUtime=0.01 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 1323 0 0 0 1 0 0 0 18 0 8 0 799660235 582754304 9088 33554432000 4194304 4580107 140736047746176 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=569096 CPUtime=0.03 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 1418 0 0 0 3 0 0 0 18 0 8 0 799660235 582754304 9093 33554432000 4194304 4580107 140736047746176 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=569516 CPUtime=0.03 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 1431 0 0 0 3 0 0 0 18 0 8 0 799660235 583184384 9348 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284593154 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=569516 CPUtime=0.03 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 1107 0 0 0 3 0 0 0 17 0 8 0 799660235 583184384 9394 33554432000 4194304 4580107 140736047746176 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 569592
[startup+0.102061 s]
/proc/loadavg: 8.13 7.97 6.73 1/551 32196
/proc/meminfo: memFree=25537024/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=684572 CPUtime=0.52 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 35621 0 0 0 39 13 0 0 18 0 8 0 799660235 701001728 27342 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 171143 27429 337 95 0 166125 0
[pid=32196/tid=32197] ppid=32194 vsize=684572 CPUtime=0.06 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 4651 0 0 0 5 1 0 0 18 0 8 0 799660235 701001728 27445 33554432000 4194304 4580107 140736047746176 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=684572 CPUtime=0.05 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 4752 0 0 0 4 1 0 0 18 0 8 0 799660235 701001728 27473 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=684572 CPUtime=0.05 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 4268 0 0 0 3 2 0 0 18 0 8 0 799660235 701001728 27531 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=684572 CPUtime=0.04 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 4220 0 0 0 3 1 0 0 18 0 8 0 799660235 701001728 27555 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 18446604451878007744 0 0 -1 7 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=684572 CPUtime=0.06 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 4620 0 0 0 5 1 0 0 18 0 8 0 799660235 701001728 27556 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 18446604451878007744 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=684572 CPUtime=0.06 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 4466 0 0 0 5 1 0 0 18 0 8 0 799660235 701001728 27563 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=684572 CPUtime=0.06 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 4041 0 0 0 5 1 0 0 17 0 8 0 799660235 701001728 27579 33554432000 4194304 4580107 140736047746176 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 684572
[startup+0.303986 s]
/proc/loadavg: 8.13 7.97 6.73 1/551 32196
/proc/meminfo: memFree=25537024/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=743280 CPUtime=1.74 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 67599 0 0 0 123 51 0 0 17 0 8 0 799660235 761118720 59318 33554432000 4194304 4580107 140736047746176 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 185820 59326 337 95 0 180802 0
[pid=32196/tid=32197] ppid=32194 vsize=743280 CPUtime=0.2 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 7963 0 0 0 14 6 0 0 17 0 8 0 799660235 761118720 59328 33554432000 4194304 4580107 140736047746176 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=743280 CPUtime=0.21 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 9598 0 0 0 15 6 0 0 17 0 8 0 799660235 761118720 59334 33554432000 4194304 4580107 140736047746176 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=743280 CPUtime=0.19 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 7685 0 0 0 12 7 0 0 17 0 8 0 799660235 761118720 59336 33554432000 4194304 4580107 140736047746176 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=743280 CPUtime=0.19 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 8693 0 0 0 14 5 0 0 17 0 8 0 799660235 761118720 59342 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=743280 CPUtime=0.22 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 8930 0 0 0 15 7 0 0 17 0 8 0 799660235 761118720 59345 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=743280 CPUtime=0.2 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 9177 0 0 0 15 5 0 0 17 0 8 0 799660235 761118720 59350 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=743280 CPUtime=0.22 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 7022 0 0 0 17 5 0 0 17 0 8 0 799660235 761118720 59354 33554432000 4194304 4580107 140736047746176 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 743280
[startup+0.700869 s]
/proc/loadavg: 8.13 7.97 6.73 1/551 32196
/proc/meminfo: memFree=25537024/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=1005012 CPUtime=4.39 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 114002 0 0 0 347 92 0 0 17 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 251253 105720 360 95 0 246235 0
[pid=32196/tid=32197] ppid=32194 vsize=1005012 CPUtime=0.53 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 13462 0 0 0 41 12 0 0 17 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284594417 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=1005012 CPUtime=0.55 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 14365 0 0 0 44 11 0 0 18 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=1005012 CPUtime=0.53 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 14066 0 0 0 41 12 0 0 17 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=1005012 CPUtime=0.55 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 14615 0 0 0 45 10 0 0 18 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=1005012 CPUtime=0.55 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 15209 0 0 0 44 11 0 0 17 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=1005012 CPUtime=0.51 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 15500 0 0 0 40 11 0 0 17 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=1005012 CPUtime=0.56 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 12323 0 0 0 45 11 0 0 17 0 8 0 799660235 1029132288 105720 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 1005012
[startup+1.50074 s]
/proc/loadavg: 8.12 7.97 6.73 9/559 32205
/proc/meminfo: memFree=25058196/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=1026044 CPUtime=10.41 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 152901 0 0 0 913 128 0 0 18 0 8 0 799660235 1050669056 144619 33554432000 4194304 4580107 140736047746176 18446744073709551615 4239629 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 256511 144622 360 95 0 251493 0
[pid=32196/tid=32197] ppid=32194 vsize=1026044 CPUtime=1.27 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 18943 0 0 0 110 17 0 0 18 0 8 0 799660235 1050669056 144622 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=1026044 CPUtime=1.3 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 19648 0 0 0 114 16 0 0 18 0 8 0 799660235 1050669056 144623 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=1026044 CPUtime=1.28 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 19604 0 0 0 111 17 0 0 18 0 8 0 799660235 1050669056 144625 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=1026044 CPUtime=1.29 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 19991 0 0 0 116 13 0 0 18 0 8 0 799660235 1050669056 144626 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=1026044 CPUtime=1.3 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 20633 0 0 0 114 16 0 0 18 0 8 0 799660235 1050669056 144627 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=1026044 CPUtime=1.27 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 21042 0 0 0 109 18 0 0 18 0 8 0 799660235 1050669056 144627 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=1026044 CPUtime=1.35 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 13151 0 0 0 123 12 0 0 18 0 8 0 799660235 1050669056 144630 33554432000 4194304 4580107 140736047746176 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.41
Current children cumulated vsize (KiB) 1026044
[startup+3.10047 s]
/proc/loadavg: 8.12 7.97 6.73 10/559 32205
/proc/meminfo: memFree=24878520/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=1482548 CPUtime=20.91 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) D 32194 32196 31798 0 -1 4202496 249166 0 0 0 1891 200 0 0 17 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284969143 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 370637 240884 366 95 0 365619 0
[pid=32196/tid=32197] ppid=32194 vsize=1482548 CPUtime=2.55 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 35379 0 0 0 228 27 0 0 18 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284969143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=1482548 CPUtime=2.6 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 37673 0 0 0 232 28 0 0 18 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=1482548 CPUtime=2.55 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 32856 0 0 0 228 27 0 0 17 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 4401259 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=1482548 CPUtime=2.59 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 36708 0 0 0 235 24 0 0 17 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284586693 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=1482548 CPUtime=2.54 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) D 32194 32196 31798 0 -1 4202560 28498 0 0 0 229 25 0 0 16 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=1482548 CPUtime=2.52 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 29128 0 0 0 224 28 0 0 16 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=1482548 CPUtime=2.91 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 14058 0 0 0 278 13 0 0 17 0 8 0 799660235 1518129152 240884 33554432000 4194304 4580107 140736047746176 18446744073709551615 224285030894 0 0 4096 2 18446604451878007744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 20.91
Current children cumulated vsize (KiB) 1482548
[startup+6.30094 s]
/proc/loadavg: 8.11 7.97 6.74 9/559 32205
/proc/meminfo: memFree=24272064/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=1769852 CPUtime=45.16 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 406935 0 0 0 4252 264 0 0 24 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 442463 311126 378 95 0 437445 0
[pid=32196/tid=32197] ppid=32194 vsize=1769852 CPUtime=5.35 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 56180 0 0 0 500 35 0 0 20 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=1769852 CPUtime=5.69 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 55647 0 0 0 534 35 0 0 20 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=1769852 CPUtime=5.61 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 56269 0 0 0 524 37 0 0 22 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=1769852 CPUtime=5.69 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 56600 0 0 0 538 31 0 0 20 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=1769852 CPUtime=5.55 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 58267 0 0 0 521 34 0 0 19 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=1769852 CPUtime=5.47 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 54543 0 0 0 504 43 0 0 19 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=1769852 CPUtime=6.08 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 14245 0 0 0 595 13 0 0 23 0 8 0 799660235 1812328448 311126 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=32196] ppid=32194 vsize=2456740 CPUtime=3159.96 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 935977 0 0 0 315591 405 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 614185 446107 380 95 0 609167 0
[pid=32196/tid=32197] ppid=32194 vsize=2456740 CPUtime=378.04 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 134922 0 0 0 37745 59 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=2456740 CPUtime=394.87 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 98051 0 0 0 39441 46 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=2456740 CPUtime=401.62 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 131546 0 0 0 40106 56 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=2456740 CPUtime=378.77 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 108776 0 0 0 37829 48 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=2456740 CPUtime=401.52 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 125179 0 0 0 40100 52 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946717739 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=2456740 CPUtime=401.47 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 115161 0 0 0 40091 56 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=2456740 CPUtime=402.09 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 106660 0 0 0 40172 37 0 0 25 0 8 0 799660235 2515701760 446107 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3159.96
Current children cumulated vsize (KiB) 2456740
Solver just ended. Dumping a history of the last processes samples
[startup+409.601 s]
/proc/loadavg: 7.25 7.82 7.11 5/559 32225
/proc/meminfo: memFree=23797732/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=2325768 CPUtime=3198 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 938718 0 0 0 319394 406 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 581442 432751 380 95 0 576424 0
[pid=32196/tid=32197] ppid=32194 vsize=2325768 CPUtime=378.04 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 134922 0 0 0 37745 59 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=2325768 CPUtime=402.17 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 98066 0 0 0 40171 46 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294363 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=2325768 CPUtime=404.66 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 131706 0 0 0 40410 56 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=2325768 CPUtime=378.77 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 108776 0 0 0 37829 48 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=2325768 CPUtime=408.82 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 125179 0 0 0 40830 52 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 4219847 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=2325768 CPUtime=407.27 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 115161 0 0 0 40671 56 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=2325768 CPUtime=409.39 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 109164 0 0 0 40901 38 0 0 25 0 8 0 799660235 2381586432 432751 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3198
Current children cumulated vsize (KiB) 2325768
[startup+416.001 s]
/proc/loadavg: 6.75 7.70 7.08 5/559 32225
/proc/meminfo: memFree=23826984/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=2278432 CPUtime=3223.59 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) R 32194 32196 31798 0 -1 4202496 939143 0 0 0 321953 406 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 4316395 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 569608 425316 380 95 0 564590 0
[pid=32196/tid=32197] ppid=32194 vsize=2278432 CPUtime=378.04 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 134922 0 0 0 37745 59 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=2278432 CPUtime=408.57 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 98140 0 0 0 40810 47 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=2278432 CPUtime=404.66 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 131706 0 0 0 40410 56 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=2278432 CPUtime=378.77 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 108776 0 0 0 37829 48 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=2278432 CPUtime=415.22 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 125179 0 0 0 41470 52 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946717892 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=2278432 CPUtime=407.27 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 115161 0 0 0 40671 56 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=2278432 CPUtime=415.79 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 109515 0 0 0 41541 38 0 0 25 0 8 0 799660235 2333114368 425316 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3223.59
Current children cumulated vsize (KiB) 2278432
[startup+422.401 s]
/proc/loadavg: 6.45 7.62 7.06 4/559 32225
/proc/meminfo: memFree=23846204/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=2261192 CPUtime=3243.34 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) S 32194 32196 31798 0 -1 4202496 941443 0 0 0 323927 407 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 565298 420313 380 95 0 560280 0
[pid=32196/tid=32197] ppid=32194 vsize=2261192 CPUtime=378.04 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 134922 0 0 0 37745 59 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=2261192 CPUtime=414.99 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 98140 0 0 0 41452 47 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=2261192 CPUtime=404.66 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 131706 0 0 0 40410 56 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=2261192 CPUtime=378.77 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 108776 0 0 0 37829 48 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=2261192 CPUtime=421.64 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 125179 0 0 0 42112 52 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946717739 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=2261192 CPUtime=407.27 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 115161 0 0 0 40671 56 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=2261192 CPUtime=422.22 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 111815 0 0 0 42183 39 0 0 25 0 8 0 799660235 2315460608 420313 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3243.34
Current children cumulated vsize (KiB) 2261192
[startup+425.601 s]
/proc/loadavg: 6.45 7.62 7.06 4/559 32225
/proc/meminfo: memFree=23846448/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=2261192 CPUtime=3252.88 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) S 32194 32196 31798 0 -1 4202496 941632 0 0 0 324881 407 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 565298 420502 380 95 0 560280 0
[pid=32196/tid=32197] ppid=32194 vsize=2261192 CPUtime=378.04 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 134922 0 0 0 37745 59 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=2261192 CPUtime=418.17 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 98140 0 0 0 41770 47 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=2261192 CPUtime=404.66 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 131706 0 0 0 40410 56 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=2261192 CPUtime=378.77 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 108776 0 0 0 37829 48 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=2261192 CPUtime=424.82 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 125179 0 0 0 42430 52 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946717739 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=2261192 CPUtime=407.27 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 115161 0 0 0 40671 56 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=2261192 CPUtime=425.4 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 112004 0 0 0 42501 39 0 0 25 0 8 0 799660235 2315460608 420502 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3252.88
Current children cumulated vsize (KiB) 2261192
[startup+427.201 s]
/proc/loadavg: 6.17 7.54 7.04 3/559 32225
/proc/meminfo: memFree=23884268/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=2210060 CPUtime=3256.57 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) S 32194 32196 31798 0 -1 4202496 941734 0 0 0 325250 407 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 552515 410973 380 95 0 547497 0
[pid=32196/tid=32197] ppid=32194 vsize=2210060 CPUtime=378.04 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 134922 0 0 0 37745 59 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=2210060 CPUtime=418.66 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 98140 0 0 0 41819 47 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=2210060 CPUtime=404.66 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 131706 0 0 0 40410 56 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=2210060 CPUtime=378.77 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 108776 0 0 0 37829 48 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=2210060 CPUtime=426.42 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 125179 0 0 0 42590 52 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946717739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=2210060 CPUtime=407.27 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 115161 0 0 0 40671 56 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=2210060 CPUtime=427 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 112106 0 0 0 42661 39 0 0 25 0 8 0 799660235 2263101440 410973 33554432000 4194304 4580107 140736047746176 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3256.57
Current children cumulated vsize (KiB) 2210060
[startup+427.601 s]
/proc/loadavg: 6.17 7.54 7.04 3/559 32225
/proc/meminfo: memFree=23884268/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=2210060 CPUtime=3257.37 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) S 32194 32196 31798 0 -1 4202496 941754 0 0 0 325330 407 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 552515 410993 380 95 0 547497 0
[pid=32196/tid=32197] ppid=32194 vsize=2210060 CPUtime=378.04 cores=0-7
/proc/32196/task/32197/stat : 32197 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 134922 0 0 0 37745 59 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 1 0 0 0
[pid=32196/tid=32198] ppid=32194 vsize=2210060 CPUtime=418.66 cores=0-7
/proc/32196/task/32198/stat : 32198 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 98140 0 0 0 41819 47 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32200] ppid=32194 vsize=2210060 CPUtime=404.66 cores=0-7
/proc/32196/task/32200/stat : 32200 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 131706 0 0 0 40410 56 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 4 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=2210060 CPUtime=378.77 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 108776 0 0 0 37829 48 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 3 0 0 0
[pid=32196/tid=32202] ppid=32194 vsize=2210060 CPUtime=426.82 cores=0-7
/proc/32196/task/32202/stat : 32202 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 125179 0 0 0 42630 52 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946717739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32196/tid=32203] ppid=32194 vsize=2210060 CPUtime=407.27 cores=0-7
/proc/32196/task/32203/stat : 32203 (strangenight2-m) S 32194 32196 31798 0 -1 4202560 115161 0 0 0 40671 56 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 47597946742324 0 0 4096 2 18446604451878007744 0 0 -1 6 0 0 0
[pid=32196/tid=32204] ppid=32194 vsize=2210060 CPUtime=427.4 cores=0-7
/proc/32196/task/32204/stat : 32204 (strangenight2-m) R 32194 32196 31798 0 -1 4202560 112126 0 0 0 42701 39 0 0 25 0 8 0 799660235 2263101440 410993 33554432000 4194304 4580107 140736047746176 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3257.37
Current children cumulated vsize (KiB) 2210060
[startup+427.801 s]
/proc/loadavg: 6.17 7.54 7.04 3/559 32225
/proc/meminfo: memFree=23884268/32951124 swapFree=39849776/67111528
[pid=32196] ppid=32194 vsize=0 CPUtime=3257.73 cores=0-7
/proc/32196/stat : 32196 (strangenight2-m) Z 32194 32196 31798 0 -1 4203548 941768 0 0 0 325362 411 0 0 18 0 2 0 799660235 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32196/statm: 0 0 0 0 0 0 0
[pid=32196/tid=32201] ppid=32194 vsize=0 CPUtime=378.8 cores=0-7
/proc/32196/task/32201/stat : 32201 (strangenight2-m) R 32194 32196 31798 0 -1 4203588 108776 0 0 0 37829 51 0 0 18 0 2 0 799660235 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3257.73
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 427.859
CPU time (s): 3257.8
CPU user time (s): 3253.63
CPU system time (s): 4.17137
CPU usage (%): 761.419
Max. virtual memory (cumulated for all children) (KiB): 2652436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3253.63
system time used= 4.17136
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 941768
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= 313509
involuntary context switches= 22506
runsolver used 2.25266 second user time and 5.66614 second system time
The end
Begin job on node118 at 2011-05-22 21:58:16
IDJOB=3394326
IDBENCH=82496
IDSOLVER=1878
FILE ID=node118/3394326-1306094295
RUNJOBID= node118-1306092896-31812
PBS_JOBID= 13387946
Free space on /tmp= 72928 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_kkb_unknown.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394326-1306094295/watcher-3394326-1306094295 -o /tmp/evaluation-result-3394326-1306094295/solver-3394326-1306094295 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394326-1306094295.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 254fcd4eae8129ad5842f186e24e0793
RANDOM SEED=1101577288
node118.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.68
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.68
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.842
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5374.59
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 25537064 kB
Buffers: 4352 kB
Cached: 165580 kB
SwapCached: 50464 kB
Active: 468428 kB
Inactive: 6683692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 25537064 kB
SwapTotal: 67111528 kB
SwapFree: 39849776 kB
Dirty: 22560 kB
Writeback: 0 kB
AnonPages: 6944644 kB
Mapped: 24936 kB
Slab: 75072 kB
PageTables: 115024 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 183776536 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= 72924 MiB
End job on node118 at 2011-05-22 22:05:24