0.00/0.00 c Outputting solution to console
1.14/0.09 c Using 32 threads
1.14/0.09 c This is CryptoMiniSat 3.0.0
1.14/0.09 c WARNING: for repeatability, setting FPU to use double precision
1.14/0.09 c Reading file 'HOME/instance-3400792-1306786032.cnf'
2.65/0.13 c -- header says num vars: 34510
2.65/0.13 c -- header says num clauses: 701694
61.65/4.41 c -- clauses added: 0 learnts, 701694 normals, 0 xors
61.65/4.41 c -- vars added 34510
61.65/4.41 c Parsing time: 0.80 s
61.65/4.41 c N st 0 0 34510 648825 52869 0 2616281 0 no data no data
74.22/5.07 c asymm cl-useful: 25/1994/648825 lits-rem:25 time: 0.37
218.55/14.66 c Flit: 266 Blit: 32 bXBeca: 0 bXProp: 282 Bins: 0 BRemL: 0 BRemN: 0 P: 168.0M T: 3.70
220.47/14.70 c Cleaning up after failed var search: 0.04 s
220.47/14.77 c Replacing 282 vars Replaced 12225 lits Time: 0.06 s
296.31/22.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
296.31/22.46 c bin-w-bin subsume rem 6083 bins time: 0.02 s
297.71/22.57 c subs with bin: 4304 lits-rem: 2447 v-fix: 0 time: 0.11 s
299.24/22.65 c Subs w/ non-existent bins: 3481 l-rem: 1607 v-fix: 0 done: 6040 time: 0.08 s
301.12/22.80 c Removed useless bin: 8787 fixed: 0 props: 18.27M time: 0.13 s
363.45/25.60 c lits-rem: 876 cl-subs: 50164 v-elim: 2866 v-fix: 0 time: 2.19 s
366.13/25.71 c Finding binary XORs T: 0.11 s found: 44
366.13/25.79 c Replacing 44 vars Replaced 2498 lits Time: 0.07 s
388.50/26.59 c Finding non-binary XORs: 0.67 s (found: 0, avg size: nan)
388.50/26.59 c calculated reachability. Time: 0.04
391.30/26.66 c Calc default polars - time: 0.07 s pos: 10091 undec: 13974 neg: 10445
391.30/26.66 c =========================================================================================
391.30/26.66 c types(t): F = full restart, N = normal restart
391.30/26.66 c types(t): S = simplification begin/end, E = solution found
391.30/26.66 c restart types(rt): st = static, dy = dynamic
391.30/26.66 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
391.30/26.66 c B st 0 0 30845 573183 37159 0 2296820 0 no data no data
461.93/29.06 c N dy 8 4564 30845 573183 37161 4526 2296819 56229 7.03 7.40
500.29/30.22 c Finding binary XORs T: 0.08 s found: 0
516.84/30.81 c N dy 30 8624 30844 573045 43444 7892 2296369 113427 7.22 7.63
576.98/32.66 c N dy 41 12829 30844 573045 43449 12056 2296368 165246 7.02 7.44
634.51/34.43 c N dy 61 16910 30842 573045 44029 16098 2296368 218691 7.05 7.43
682.46/35.92 c Finding binary XORs T: 0.08 s found: 6
695.87/36.32 c N dy 80 20957 30841 572673 44107 10393 2294956 117435 7.06 7.43
743.12/37.89 c F st 90 25000 30840 572673 44117 14395 2294956 170208 6.97 5.81
749.51/38.02 c Replacing 6 vars Replaced 2362 lits Time: 0.08 s
755.90/38.24 c Found part 1122 vars: 1070 clauses: 8964 lits size: 31683
755.90/38.24 c Found part 1129 vars: 952 clauses: 6858 lits size: 24029
755.90/38.24 c Found part 1162 vars: 810 clauses: 10185 lits size: 37221
755.90/38.24 c Found part 1769 vars: 4868 clauses: 192924 lits size: 736744
755.90/38.24 c Found part 2017 vars: 238 clauses: 573 lits size: 1598
755.90/38.24 c Found part 2027 vars: 203 clauses: 502 lits size: 1379
755.90/38.24 c Found part 2029 vars: 15764 clauses: 358039 lits size: 1350338
755.90/38.24 c Found part 2037 vars: 833 clauses: 5179 lits size: 18110
755.90/38.24 c Found part 2086 vars: 305 clauses: 965 lits size: 2986
755.90/38.24 c Found part 2090 vars: 265 clauses: 792 lits size: 3175
755.90/38.24 c Found part 2135 vars: 238 clauses: 574 lits size: 1602
755.90/38.24 c Found part 2136 vars: 3702 clauses: 20065 lits size: 72614
755.90/38.24 c Found part 2138 vars: 172 clauses: 504 lits size: 2317
755.90/38.24 c Found part 2139 vars: 236 clauses: 554 lits size: 1540
755.90/38.24 c Found part 2140 vars: 236 clauses: 557 lits size: 1550
755.90/38.24 c Found part 2155 vars: 234 clauses: 534 lits size: 1522
755.90/38.24 c Found part 2172 vars: 236 clauses: 533 lits size: 1512
755.90/38.24 c Found part 2189 vars: 236 clauses: 533 lits size: 1512
755.90/38.24 c Found part 2206 vars: 236 clauses: 533 lits size: 1512
755.90/38.24 c Found parts: 19 time: 0.35 s
755.90/38.24 c Solving part 2138
755.90/38.30 c N st 0 0 172 335 169 0 2317 0 no data no data
759.08/38.30 c asymm cl-useful: 160/335/335 lits-rem:255 time: 0.00
759.08/38.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
759.08/38.31 c Finding binary XORs T: 0.00 s found: 0
759.08/38.31 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
759.08/38.31 c calculated reachability. Time: 0.00
759.08/38.31 c Calc default polars - time: 0.00 s pos: 76 undec: 34347 neg: 87
759.08/38.31 c =========================================================================================
759.08/38.31 c types(t): F = full restart, N = normal restart
759.08/38.31 c types(t): S = simplification begin/end, E = solution found
759.08/38.31 c restart types(rt): st = static, dy = dynamic
759.08/38.31 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
759.08/38.31 c B st 0 0 172 335 169 0 2062 0 no data no data
759.08/38.31 c E st 1 0 0 335 169 0 2062 0 no data no data
759.08/38.31 c Verified 335 clauses.
759.08/38.31 c Verified 335 clauses.
759.08/38.31 c Solved part
759.08/38.31 c =========================================================================================
759.08/38.31 c Solving part 2027
759.08/38.37 c N st 0 0 203 227 313 0 1379 76 no data no data
759.08/38.37 c asymm cl-useful: 36/227/227 lits-rem:36 time: 0.00
759.08/38.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
759.08/38.38 c Finding binary XORs T: 0.00 s found: 0
759.08/38.38 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
759.08/38.38 c calculated reachability. Time: 0.00
759.08/38.38 c Calc default polars - time: 0.00 s pos: 58 undec: 34351 neg: 101
759.08/38.38 c =========================================================================================
759.08/38.38 c types(t): F = full restart, N = normal restart
759.08/38.38 c types(t): S = simplification begin/end, E = solution found
759.08/38.38 c restart types(rt): st = static, dy = dynamic
759.08/38.38 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
759.08/38.38 c B st 0 0 203 227 313 0 1343 76 no data no data
759.08/38.38 c E st 1 0 0 227 313 0 1343 76 no data no data
759.08/38.38 c Verified 227 clauses.
759.08/38.38 c Verified 227 clauses.
759.08/38.38 c Solved part
759.08/38.38 c =========================================================================================
759.08/38.38 c Solving part 2155
762.86/38.44 c N st 0 0 234 266 268 0 1522 0 no data no data
762.86/38.44 c asymm cl-useful: 4/266/266 lits-rem:4 time: 0.00
762.86/38.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
762.86/38.45 c Finding binary XORs T: 0.00 s found: 0
762.86/38.45 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
762.86/38.45 c calculated reachability. Time: 0.00
762.86/38.45 c Calc default polars - time: 0.00 s pos: 83 undec: 34346 neg: 81
762.86/38.45 c =========================================================================================
762.86/38.45 c types(t): F = full restart, N = normal restart
762.86/38.45 c types(t): S = simplification begin/end, E = solution found
762.86/38.45 c restart types(rt): st = static, dy = dynamic
762.86/38.45 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
762.86/38.45 c B st 0 0 234 266 268 0 1518 0 no data no data
762.86/38.45 c E st 1 0 0 266 268 0 1518 0 no data no data
762.86/38.45 c Verified 266 clauses.
762.86/38.45 c Verified 266 clauses.
762.86/38.45 c Solved part
762.86/38.45 c =========================================================================================
762.86/38.45 c Solving part 2206
762.86/38.51 c N st 0 0 236 261 272 0 1512 0 no data no data
762.86/38.51 c asymm cl-useful: 1/261/261 lits-rem:1 time: 0.00
766.04/38.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
766.04/38.52 c Finding binary XORs T: 0.00 s found: 0
766.04/38.52 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
766.04/38.52 c calculated reachability. Time: 0.00
766.04/38.52 c Calc default polars - time: 0.00 s pos: 82 undec: 34346 neg: 82
766.04/38.52 c =========================================================================================
766.04/38.52 c types(t): F = full restart, N = normal restart
766.04/38.52 c types(t): S = simplification begin/end, E = solution found
766.04/38.52 c restart types(rt): st = static, dy = dynamic
766.04/38.52 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
766.04/38.52 c B st 0 0 236 261 272 0 1511 0 no data no data
766.04/38.52 c E st 1 0 0 261 272 0 1511 0 no data no data
766.04/38.52 c Verified 261 clauses.
766.04/38.52 c Verified 261 clauses.
766.04/38.52 c Solved part
766.04/38.52 c =========================================================================================
766.04/38.53 c Solving part 2189
766.04/38.58 c N st 0 0 236 261 272 0 1512 0 no data no data
766.04/38.58 c asymm cl-useful: 1/261/261 lits-rem:1 time: 0.00
766.04/38.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01
766.04/38.59 c Finding binary XORs T: 0.00 s found: 0
766.04/38.59 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
766.04/38.59 c calculated reachability. Time: 0.00
766.04/38.59 c Calc default polars - time: 0.00 s pos: 82 undec: 34346 neg: 82
766.04/38.59 c =========================================================================================
766.04/38.59 c types(t): F = full restart, N = normal restart
766.04/38.59 c types(t): S = simplification begin/end, E = solution found
766.04/38.59 c restart types(rt): st = static, dy = dynamic
766.04/38.59 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
766.04/38.59 c B st 0 0 236 261 272 0 1511 0 no data no data
766.04/38.59 c E st 1 0 0 261 272 0 1511 0 no data no data
766.04/38.59 c Verified 261 clauses.
766.04/38.59 c Verified 261 clauses.
766.04/38.59 c Solved part
766.04/38.59 c =========================================================================================
766.04/38.59 c Solving part 2172
768.62/38.65 c N st 0 0 236 261 272 0 1512 0 no data no data
768.62/38.65 c asymm cl-useful: 1/261/261 lits-rem:1 time: 0.00
768.62/38.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
768.62/38.66 c Finding binary XORs T: 0.00 s found: 0
768.62/38.66 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
768.62/38.66 c calculated reachability. Time: 0.00
768.62/38.66 c Calc default polars - time: 0.00 s pos: 82 undec: 34346 neg: 82
768.62/38.66 c =========================================================================================
768.62/38.66 c types(t): F = full restart, N = normal restart
768.62/38.66 c types(t): S = simplification begin/end, E = solution found
768.62/38.66 c restart types(rt): st = static, dy = dynamic
768.62/38.66 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
768.62/38.66 c B st 0 0 236 261 272 0 1511 0 no data no data
768.62/38.66 c E st 1 0 0 261 272 0 1511 0 no data no data
768.62/38.66 c Verified 261 clauses.
768.62/38.66 c Verified 261 clauses.
768.62/38.66 c Solved part
768.62/38.66 c =========================================================================================
768.62/38.66 c Solving part 2140
771.82/38.72 c N st 0 0 236 275 286 0 1550 8 no data no data
771.82/38.72 c asymm cl-useful: 1/275/275 lits-rem:1 time: 0.00
771.82/38.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
771.82/38.73 c Finding binary XORs T: 0.00 s found: 0
771.82/38.73 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
771.82/38.73 c calculated reachability. Time: 0.00
771.82/38.73 c Calc default polars - time: 0.00 s pos: 113 undec: 34284 neg: 113
771.82/38.73 c =========================================================================================
771.82/38.73 c types(t): F = full restart, N = normal restart
771.82/38.73 c types(t): S = simplification begin/end, E = solution found
771.82/38.73 c restart types(rt): st = static, dy = dynamic
771.82/38.73 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
771.82/38.73 c B st 0 0 236 275 286 0 1549 8 no data no data
771.82/38.73 c E st 1 0 0 275 286 0 1549 8 no data no data
771.82/38.73 c Verified 275 clauses.
771.82/38.73 c Verified 275 clauses.
771.82/38.73 c Solved part
771.82/38.73 c =========================================================================================
771.82/38.73 c Solving part 2139
771.82/38.78 c N st 0 0 236 268 286 0 1540 0 no data no data
771.82/38.79 c asymm cl-useful: 2/268/268 lits-rem:2 time: 0.00
771.82/38.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
771.82/38.79 c Finding binary XORs T: 0.00 s found: 0
771.82/38.79 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
771.82/38.79 c calculated reachability. Time: 0.00
771.82/38.80 c Calc default polars - time: 0.00 s pos: 110 undec: 34290 neg: 110
771.82/38.80 c =========================================================================================
771.82/38.80 c types(t): F = full restart, N = normal restart
771.82/38.80 c types(t): S = simplification begin/end, E = solution found
771.82/38.80 c restart types(rt): st = static, dy = dynamic
771.82/38.80 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
771.82/38.80 c B st 0 0 236 268 286 0 1538 0 no data no data
771.82/38.80 c E st 1 0 0 268 286 0 1538 0 no data no data
771.82/38.80 c Verified 268 clauses.
771.82/38.80 c Verified 268 clauses.
771.82/38.80 c Solved part
771.82/38.80 c =========================================================================================
771.82/38.80 c Solving part 2017
775.00/38.85 c N st 0 0 238 315 291 0 1598 66 no data no data
775.00/38.85 c asymm cl-useful: 0/315/315 lits-rem:0 time: 0.00
775.00/38.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
775.00/38.86 c Finding binary XORs T: 0.00 s found: 0
775.00/38.86 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
775.00/38.86 c calculated reachability. Time: 0.00
775.00/38.86 c Calc default polars - time: 0.00 s pos: 115 undec: 34280 neg: 115
775.00/38.86 c =========================================================================================
775.00/38.86 c types(t): F = full restart, N = normal restart
775.00/38.86 c types(t): S = simplification begin/end, E = solution found
775.00/38.86 c restart types(rt): st = static, dy = dynamic
775.00/38.86 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
775.00/38.86 c B st 0 0 238 315 291 0 1598 66 no data no data
775.00/38.86 c E st 1 0 0 315 291 0 1598 66 no data no data
775.00/38.86 c Verified 315 clauses.
775.00/38.86 c Verified 315 clauses.
775.00/38.86 c Solved part
775.00/38.86 c =========================================================================================
775.00/38.87 c Solving part 2135
778.20/38.92 c N st 0 0 238 318 291 0 1602 70 no data no data
778.20/38.92 c asymm cl-useful: 0/318/318 lits-rem:0 time: 0.00
778.20/38.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
778.20/38.93 c Finding binary XORs T: 0.00 s found: 0
778.20/38.93 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
778.20/38.93 c calculated reachability. Time: 0.00
778.20/38.93 c Calc default polars - time: 0.00 s pos: 115 undec: 34280 neg: 115
778.20/38.93 c =========================================================================================
778.20/38.93 c types(t): F = full restart, N = normal restart
778.20/38.93 c types(t): S = simplification begin/end, E = solution found
778.20/38.93 c restart types(rt): st = static, dy = dynamic
778.20/38.93 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
778.20/38.93 c B st 0 0 238 318 291 0 1602 70 no data no data
778.20/38.93 c E st 1 0 0 318 291 0 1602 70 no data no data
778.20/38.93 c Verified 318 clauses.
778.20/38.93 c Verified 318 clauses.
778.20/38.93 c Solved part
778.20/38.93 c =========================================================================================
778.20/38.94 c Solving part 2090
778.20/38.99 c N st 0 0 265 522 270 0 3175 0 no data no data
778.20/39.00 c asymm cl-useful: 89/522/522 lits-rem:122 time: 0.00
781.39/39.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
781.39/39.00 c Finding binary XORs T: 0.00 s found: 0
781.39/39.00 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
781.39/39.00 c calculated reachability. Time: 0.00
781.39/39.00 c Calc default polars - time: 0.00 s pos: 129 undec: 34271 neg: 110
781.39/39.00 c =========================================================================================
781.39/39.00 c types(t): F = full restart, N = normal restart
781.39/39.00 c types(t): S = simplification begin/end, E = solution found
781.39/39.00 c restart types(rt): st = static, dy = dynamic
781.39/39.00 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
781.39/39.00 c B st 0 0 265 522 270 0 3053 0 no data no data
781.39/39.00 c E st 1 0 0 522 270 0 3053 0 no data no data
781.39/39.01 c Verified 522 clauses.
781.39/39.01 c Verified 522 clauses.
781.39/39.01 c Solved part
781.39/39.01 c =========================================================================================
781.39/39.01 c Solving part 2086
781.39/39.07 c N st 0 0 305 600 483 0 2986 236 no data no data
781.39/39.08 c asymm cl-useful: 102/600/600 lits-rem:149 time: 0.01
781.39/39.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
781.39/39.09 c Finding binary XORs T: 0.00 s found: 0
781.39/39.09 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
781.39/39.09 c calculated reachability. Time: 0.00
781.39/39.09 c Calc default polars - time: 0.00 s pos: 120 undec: 34250 neg: 140
781.39/39.09 c =========================================================================================
781.39/39.09 c types(t): F = full restart, N = normal restart
781.39/39.09 c types(t): S = simplification begin/end, E = solution found
781.39/39.09 c restart types(rt): st = static, dy = dynamic
781.39/39.09 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
781.39/39.09 c B st 0 0 305 597 486 0 2843 236 no data no data
781.39/39.09 c E st 1 0 0 597 486 0 2843 236 no data no data
781.39/39.09 c Verified 597 clauses.
781.39/39.09 c Verified 597 clauses.
781.39/39.09 c Solved part
781.39/39.09 c =========================================================================================
781.39/39.10 c Solving part 1162
784.56/39.17 c N st 0 0 810 9090 1944 0 37221 1698 no data no data
797.75/39.55 c asymm cl-useful: 724/4308/9090 lits-rem:763 time: 0.38
800.92/39.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 52 Bins: 0 BRemL: 0 BRemN: 0 P: 2.7M T: 0.08
800.92/39.63 c Finding binary XORs T: 0.00 s found: 3
800.92/39.64 c Replacing 56 vars Replaced 4935 lits Time: 0.00 s
800.92/39.64 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
800.92/39.64 c calculated reachability. Time: 0.00
800.92/39.64 c Calc default polars - time: 0.00 s pos: 290 undec: 33955 neg: 265
800.92/39.64 c =========================================================================================
800.92/39.64 c types(t): F = full restart, N = normal restart
800.92/39.64 c types(t): S = simplification begin/end, E = solution found
800.92/39.64 c restart types(rt): st = static, dy = dynamic
800.92/39.64 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
800.92/39.64 c B st 0 0 754 7825 1882 0 31423 1690 no data no data
800.92/39.64 c E st 1 0 0 7825 1882 0 31423 1690 no data no data
800.92/39.64 c Verified 7825 clauses.
800.92/39.64 c Verified 7825 clauses.
800.92/39.64 c Solved part
800.92/39.64 c =========================================================================================
800.92/39.64 c Solving part 2037
803.44/39.71 c N st 0 0 833 4173 1057 0 18110 102 no data no data
806.62/39.80 c asymm cl-useful: 51/4173/4173 lits-rem:51 time: 0.09
806.62/39.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.03
806.62/39.84 c Finding binary XORs T: 0.00 s found: 0
806.62/39.84 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
806.62/39.84 c calculated reachability. Time: 0.00
806.62/39.84 c Calc default polars - time: 0.00 s pos: 279 undec: 33979 neg: 252
806.62/39.84 c =========================================================================================
806.62/39.84 c types(t): F = full restart, N = normal restart
806.62/39.84 c types(t): S = simplification begin/end, E = solution found
806.62/39.84 c restart types(rt): st = static, dy = dynamic
806.62/39.84 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
806.62/39.84 c B st 0 0 833 4173 1057 0 18059 102 no data no data
806.62/39.84 c E st 1 0 0 4173 1057 0 18059 102 no data no data
806.62/39.84 c Verified 4173 clauses.
806.62/39.84 c Verified 4173 clauses.
806.62/39.84 c Solved part
806.62/39.84 c =========================================================================================
806.62/39.84 c Solving part 1129
809.79/39.91 c N st 0 0 952 5641 1325 0 24029 216 no data no data
812.98/40.06 c asymm cl-useful: 181/5641/5641 lits-rem:190 time: 0.14
812.98/40.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.03
812.98/40.10 c Finding binary XORs T: 0.00 s found: 0
816.14/40.10 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
816.14/40.10 c calculated reachability. Time: 0.00
816.14/40.10 c Calc default polars - time: 0.00 s pos: 357 undec: 33787 neg: 366
816.14/40.10 c =========================================================================================
816.14/40.10 c types(t): F = full restart, N = normal restart
816.14/40.10 c types(t): S = simplification begin/end, E = solution found
816.14/40.10 c restart types(rt): st = static, dy = dynamic
816.14/40.10 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
816.14/40.10 c B st 0 0 952 5637 1329 0 23847 216 no data no data
816.14/40.10 c E st 1 0 0 5637 1329 0 23847 216 no data no data
816.14/40.10 c Verified 5637 clauses.
816.14/40.10 c Verified 5637 clauses.
816.14/40.10 c Solved part
816.14/40.10 c =========================================================================================
816.14/40.10 c Solving part 1122
816.14/40.17 c N st 0 0 1070 7514 1666 0 31683 432 no data no data
825.64/40.40 c asymm cl-useful: 176/7514/7514 lits-rem:176 time: 0.23
825.64/40.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.0M T: 0.05
825.64/40.45 c Finding binary XORs T: 0.00 s found: 0
825.64/40.46 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
825.64/40.46 c calculated reachability. Time: 0.00
825.64/40.46 c Calc default polars - time: 0.00 s pos: 428 undec: 33627 neg: 455
825.64/40.46 c =========================================================================================
825.64/40.46 c types(t): F = full restart, N = normal restart
825.64/40.46 c types(t): S = simplification begin/end, E = solution found
825.64/40.46 c restart types(rt): st = static, dy = dynamic
825.64/40.46 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
825.64/40.46 c B st 0 0 1070 7514 1666 0 31507 432 no data no data
825.64/40.46 c E st 1 1 0 7514 1666 1 31507 437 no data no data
825.64/40.46 c Verified 7514 clauses.
825.64/40.46 c Verified 7514 clauses.
825.64/40.46 c Solved part
825.64/40.46 c =========================================================================================
825.64/40.46 c Solving part 2136
828.78/40.55 c N st 0 0 3702 15960 4671 0 72614 1132 no data no data
838.23/40.81 c asymm cl-useful: 964/8613/15960 lits-rem:1441 time: 0.26
841.42/40.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.7M T: 0.12
841.42/40.94 c Finding binary XORs T: 0.01 s found: 0
841.42/40.95 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan)
841.42/40.95 c calculated reachability. Time: 0.00
841.42/40.96 c Calc default polars - time: 0.00 s pos: 1031 undec: 32442 neg: 1037
841.42/40.96 c =========================================================================================
841.42/40.96 c types(t): F = full restart, N = normal restart
841.42/40.96 c types(t): S = simplification begin/end, E = solution found
841.42/40.96 c restart types(rt): st = static, dy = dynamic
841.42/40.96 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
841.42/40.96 c B st 0 0 3702 15960 4671 0 71173 1132 no data no data
841.42/40.96 c E st 1 0 0 15960 4671 0 71173 1132 no data no data
841.42/40.96 c Verified 15960 clauses.
841.42/40.96 c Verified 15960 clauses.
841.42/40.96 c Solved part
841.42/40.96 c =========================================================================================
841.42/40.97 c Solving part 1769
850.98/41.21 c N st 0 0 4868 186779 7719 13045 736744 140442 no data no data
854.16/41.30 c asymm cl-useful: 9/349/186779 lits-rem:9 time: 0.09
873.15/41.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 68.5M T: 0.63
873.15/41.99 c Finding binary XORs T: 0.01 s found: 0
879.53/42.11 c Finding non-binary XORs: 0.10 s (found: 0, avg size: nan)
879.53/42.11 c calculated reachability. Time: 0.00
879.53/42.11 c Calc default polars - time: 0.01 s pos: 1594 undec: 31316 neg: 1600
879.53/42.11 c =========================================================================================
879.53/42.11 c types(t): F = full restart, N = normal restart
879.53/42.11 c types(t): S = simplification begin/end, E = solution found
879.53/42.11 c restart types(rt): st = static, dy = dynamic
879.53/42.11 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
879.53/42.11 c B st 0 0 4868 186779 7719 13045 736735 140442 no data no data
927.39/43.68 c N dy 12 4114 4868 186779 7728 17116 736735 192597 6.49 6.86
981.71/45.39 c N dy 36 8345 4868 186779 7733 21324 736735 246859 6.70 7.11
1032.87/46.97 c N dy 55 12568 4867 186779 7739 25514 736735 302222 6.65 7.01
1087.20/48.63 c N dy 69 16847 4866 186779 7751 29752 736735 353894 6.60 6.99
1138.36/50.23 c N dy 90 20987 4866 186779 7757 17430 736735 161035 6.62 6.98
1192.69/51.94 c F st 111 25000 4865 186779 7767 21404 736735 211942 6.66 5.94
1192.69/51.94 c N st 111 25000 4865 186779 7767 21404 736735 211942 6.66 5.94
1254.04/53.87 c N dy 117 30196 4865 186779 7772 26566 736735 285448 6.66 no data
1314.18/55.75 c N dy 130 34417 4865 186779 7776 30767 736735 341813 6.63 7.00
1374.88/57.65 c N dy 153 38668 4863 186779 7791 34965 736735 394932 6.64 7.11
1397.90/58.36 c Finding binary XORs T: 0.01 s found: 0
1445.24/59.82 c N dy 180 42736 4862 185773 7542 13917 732714 114401 6.70 8.87
1500.15/61.53 c N dy 205 46757 4862 185773 7546 17914 732714 170932 6.74 8.63
1553.90/63.20 c N dy 231 50767 4862 185773 7546 21894 732714 225226 6.80 7.86
1611.43/65.09 c N dy 255 55199 4862 185773 7550 26294 732714 283710 6.81 7.26
1668.98/66.86 c N dy 281 59264 4862 185773 7553 30328 732713 338650 6.85 8.12
1729.71/68.75 c N dy 296 63492 4862 185773 7557 17510 732713 131084 6.83 7.22
1787.24/70.51 c N dy 321 67600 4862 185773 7559 21590 732712 190713 6.86 8.85
1854.99/72.62 c N dy 349 72115 4862 185773 7561 26069 732712 251391 6.89 7.27
1925.30/74.82 c N dy 366 76903 4861 185773 7569 30811 732712 313288 6.89 7.26
2001.42/77.24 c N dy 392 81972 4860 185773 7581 35826 732712 379855 6.89 7.32
2084.54/79.88 c F st 414 87500 4858 185773 7600 21385 732712 158016 6.88 6.94
2084.54/79.88 c N st 414 87500 4858 185773 7600 21385 732712 158016 6.88 6.94
2154.86/82.09 c N dy 422 93142 4858 185773 7601 27005 732712 252151 6.88 7.36
2238.57/84.66 c N dy 465 99101 4858 185773 7610 32920 732712 335824 6.93 7.98
2324.25/87.33 c Finding binary XORs T: 0.01 s found: 0
2347.25/88.05 c N dy 502 105883 4857 184865 7507 34593 729156 380691 6.94 7.32
2442.53/91.10 c N dy 557 112740 4857 184865 7508 22072 729156 165829 7.00 7.41
2551.21/94.46 c N dy 601 120006 4857 184865 7516 29279 729154 265929 7.03 7.45
2656.70/97.79 c N dy 645 127679 4856 184865 7523 36892 729154 377173 7.05 8.62
2794.16/102.09 c N dy 691 136087 4856 184865 7534 23161 729154 157206 7.06 7.47
2925.22/106.18 c N dy 739 144818 4855 184865 7539 31826 729154 280742 7.08 8.08
3078.67/110.91 c N dy 784 154142 4853 184865 7554 41065 729154 412993 7.08 8.75
3232.10/115.76 c N dy 843 164158 4853 184865 7561 27072 729153 196774 7.10 7.54
3379.10/120.33 c N dy 892 174919 4852 184865 7571 37751 729153 348833 7.11 7.52
3430.26/121.95 c Finding binary XORs T: 0.01 s found: 1
3545.33/125.57 c N dy 960 186105 4851 183963 7498 42675 725714 453992 7.14 7.74
3737.14/131.56 c N dy 1047 198035 4849 183963 7512 32246 725714 287883 7.20 8.79
3996.66/139.65 c N dy 1116 210693 4848 183963 7527 44820 725714 472840 7.21 8.47
4246.02/147.44 c N dy 1211 224192 4847 183963 7535 33184 725713 278287 7.26 8.80
4507.51/155.62 c N dy 1311 238612 4847 183963 7542 47498 725712 487719 7.30 7.70
4756.86/163.48 c N dy 1408 253885 4847 183963 7546 35771 725712 293710 7.34 7.99
5038.12/172.22 c N dy 1532 270094 4847 183963 7550 51898 725711 540380 7.40 8.25
5313.04/180.85 c N dy 1648 287468 4847 183963 7556 40802 725710 353532 7.44 7.83
5536.81/187.86 c Finding binary XORs T: 0.01 s found: 0
5623.11/190.54 c N dy 1764 305857 4845 183124 7510 55224 722512 594630 7.47 11.26
5632.71/190.81 c F st 1768 306250 4845 183124 7510 27936 722512 160041 7.47 no data
5958.75/201.09 c N dy 1855 325601 4844 183124 7528 47159 722512 458311 7.48 7.90
6313.57/212.17 c N dy 2000 345630 4844 183124 7533 37323 722512 280406 7.52 9.12
6668.99/223.28 c N dy 2125 365763 4844 183124 7535 57334 722512 590005 7.55 7.99
7013.61/234.01 c N dy 2239 385765 4844 183124 7543 45968 722512 411603 7.58 8.15
7381.22/245.58 c N dy 2357 405835 4844 183124 7548 33387 722512 193391 7.60 8.14
7745.61/256.93 c N dy 2469 425899 4843 183124 7563 53324 722512 500332 7.62 8.40
8090.85/267.76 c N dy 2589 445945 4843 183124 7569 39592 722511 278615 7.64 8.44
8448.89/278.92 c N dy 2718 466040 4843 183124 7574 59584 722511 610640 7.66 8.38
8695.01/286.60 c Finding binary XORs T: 0.01 s found: 3
8826.06/290.79 c N dy 2827 486232 4841 182353 7482 43068 719313 328521 7.67 8.15
9184.08/301.92 c N dy 2938 506287 4841 182353 7489 63008 719313 645545 7.69 9.82
9574.05/314.11 c N dy 3048 526294 4841 182353 7496 48085 719313 396856 7.70 8.66
9999.21/327.47 c N dy 3161 546385 4841 182353 7502 68057 719313 712591 7.70 9.40
10357.24/338.69 c N dy 3284 566570 4841 182353 7506 51789 719313 444770 7.72 8.13
10744.01/350.77 c N dy 3372 586642 4839 182353 7518 71754 719313 771087 7.72 8.73
11130.80/362.91 c N dy 3481 607054 4836 182353 7532 54518 719313 475785 7.72 8.18
11511.18/374.79 c N dy 3592 627189 4836 182353 7534 74559 719312 809008 7.73 8.16
11853.22/385.48 c N dy 3707 647278 4836 182353 7538 56153 719311 493563 7.74 10.58
12227.82/397.17 c N dy 3811 667619 4836 182353 7544 76392 719311 829508 7.75 8.18
12509.14/405.94 c Finding binary XORs T: 0.01 s found: 7
12591.62/408.50 c N dy 3906 687641 4834 180891 7434 56126 713224 482138 7.75 8.20
12959.25/420.11 c N dy 4021 707709 4834 180891 7443 76084 713224 813984 7.76 9.16
13365.20/432.76 c N dy 4131 728244 4834 180891 7453 57045 713224 483018 7.77 8.31
13810.13/446.64 c N dy 4243 748696 4828 180891 7462 77363 713224 823011 7.78 8.22
14212.29/459.29 c N dy 4337 768724 4828 180891 7466 56504 713224 454072 7.78 8.22
14602.28/471.49 c N dy 4435 789088 4814 180891 7493 76707 713223 780954 7.78 8.33
14873.99/479.97 c Finding binary XORs T: 0.01 s found: 14
15005.65/484.03 c N dy 4531 809545 4813 176012 7325 52942 693290 391794 7.78 8.22
15371.79/495.62 c N dy 4639 829927 4810 176012 7333 73209 693290 732943 7.78 8.24
15707.59/506.90 c N dy 4744 849970 4795 176012 7361 51008 693290 335813 7.78 9.11
16000.92/517.22 c N dy 4831 869976 4795 176012 7372 70874 693290 672991 7.78 8.25
16221.80/525.67 c Finding binary XORs T: 0.01 s found: 18
16288.70/528.43 c N dy 4935 890207 4786 170743 7228 87272 672209 982721 7.78 8.23
16507.62/538.69 c N dy 5032 910294 4774 170743 7255 64841 672209 578488 7.78 8.32
16625.48/547.25 c N dy 5119 930339 4770 170743 7271 84757 672209 937261 7.78 8.19
16645.48/549.53 c Finding binary XORs T: 0.01 s found: 5
16645.48/549.59 c Replacing 48 vars Replaced 45228 lits Time: 0.06 s
16660.97/551.83 c Finding binary XORs T: 0.01 s found: 1
16674.27/554.33 c Finding binary XORs T: 0.01 s found: 449
16674.27/554.37 c Replacing 450 vars Replaced 148334 lits Time: 0.03 s
16674.27/554.37 c E dy 5163 948226 3813 51264 5511 8059 202876 44446 7.76 4.48
16779.79/601.96 c Following stats are for *FIRST FINISHED THREAD ONLY*
16779.79/601.96 c num threads : 32
16779.79/601.96 c restarts : 110
16779.79/601.96 c dynamic restarts : 104
16779.79/601.96 c static restarts : 6
16779.79/601.96 c full restarts : 0
16779.79/601.96 c total simplify time : 0.15
16779.79/601.96 c learnts DL2 : 0
16779.79/601.96 c learnts size 2 : 66644
16779.79/601.96 c learnts size 1 : 478 (1.39 % of vars)
16779.79/601.96 c filedLit time : 3.76 (0.64 % time)
16779.79/601.96 c v-elim SatELite : 2858 (8.28 % vars)
16779.79/601.96 c SatELite time : 1.14 (0.20 % time)
16779.79/601.96 c v-elim xor : 0 (0.00 % vars)
16779.79/601.96 c xor elim time : 0.00 (0.00 % time)
16779.79/601.96 c num binary xor trees : 22
16779.79/601.96 c binxor trees' crown : 326 (14.82 leafs/tree)
16779.79/601.96 c bin xor find time : 0.18
16779.79/601.96 c OTF clause improved : 212 (0.01 clauses/conflict)
16779.79/601.96 c OTF impr. size diff : 286 (1.35 lits/clause)
16779.79/601.96 c OTF cl watch-shrink : 16306 (0.65 clauses/conflict)
16779.79/601.96 c OTF cl watch-sh-lit : 38787 (2.38 lits/clause)
16779.79/601.96 c tried to recurMin cls : 4868 (19.47 % of conflicts)
16779.79/601.96 c updated cache : 0 (0.00 lits/tried recurMin)
16779.79/601.96 c unit cls recevied : 4 (0.84 % of units)
16779.79/601.96 c unit cls sent : 0 (0.00 % of units)
16779.79/601.96 c bin cls recevied : 7632
16779.79/601.96 c bin cls sent : 28
16779.79/601.96 c clauses over max glue : 0 (0.00 % of all clauses)
16779.79/601.96 c conflicts : 25003 (42.90 / sec)
16779.79/601.96 c decisions : 31099 (0.00 % random)
16779.79/601.96 c bogo-props : 1327565250 (2277766.56 / sec)
16779.79/601.96 c conflict literals : 308064 (54.90 % deleted)
16779.79/601.96 c Memory used : 9390.86 MB
16779.79/601.96 c single-thread CPU time : 582.84 s
16779.79/601.96 c all-threads sum CPU time : 16694.93 s
16779.79/601.96 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-3400792-1306786032/watcher-3400792-1306786032 -o /tmp/evaluation-result-3400792-1306786032/solver-3400792-1306786032 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400792-1306786032.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 14.70 24.27 27.26 1/413 19742
/proc/meminfo: memFree=263655108/264257624 swapFree=67044744/67111528
[pid=19742] ppid=19740 vsize=338000 CPUtime=0.84 cores=0-31
/proc/19742/stat : 19742 (strangenight2-m) R 19740 19742 19716 0 -1 4202496 437 0 0 0 84 0 0 0 22 0 32 0 4569318 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/19742/statm: 84500 377 297 95 0 79482 0
[pid=19742/tid=19743] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19743/stat : 19743 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19742/tid=19744] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19744/stat : 19744 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19742/tid=19745] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19745/stat : 19745 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276790 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19742/tid=19746] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19746/stat : 19746 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19742/tid=19747] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19747/stat : 19747 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19742/tid=19748] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19748/stat : 19748 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276790 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19742/tid=19749] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19749/stat : 19749 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19742/tid=19750] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19750/stat : 19750 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276776 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19742/tid=19751] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19751/stat : 19751 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19742/tid=19752] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19752/stat : 19752 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19742/tid=19753] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19753/stat : 19753 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276776 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19742/tid=19754] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19754/stat : 19754 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276790 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19742/tid=19755] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19755/stat : 19755 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276776 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19742/tid=19756] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19756/stat : 19756 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276790 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19742/tid=19757] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19757/stat : 19757 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19742/tid=19758] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19758/stat : 19758 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19742/tid=19759] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19759/stat : 19759 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19742/tid=19760] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19760/stat : 19760 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19742/tid=19761] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19761/stat : 19761 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276784 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19742/tid=19762] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19762/stat : 19762 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19742/tid=19763] ppid=19740 vsize=338000 CPUtime=0 cores=0-31
/proc/19742/task/19763/stat : 19763 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19742/tid=19764] ppid=19740 vsize=338000 CPUtime=0 cores=0-31
/proc/19742/task/19764/stat : 19764 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19742/tid=19765] ppid=19740 vsize=338000 CPUtime=0 cores=0-31
/proc/19742/task/19765/stat : 19765 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19742/tid=19766] ppid=19740 vsize=338000 CPUtime=0 cores=0-31
/proc/19742/task/19766/stat : 19766 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19742/tid=19767] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19767/stat : 19767 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19742/tid=19768] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19768/stat : 19768 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276790 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19742/tid=19769] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19769/stat : 19769 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19742/tid=19770] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19770/stat : 19770 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19742/tid=19771] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19771/stat : 19771 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19742/tid=19772] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19772/stat : 19772 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276784 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19742/tid=19773] ppid=19740 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19742/task/19773/stat : 19773 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.046282 s]
/proc/loadavg: 14.70 24.27 27.26 1/413 19742
/proc/meminfo: memFree=263655108/264257624 swapFree=67044744/67111528
[pid=19742] ppid=19740 vsize=338000 CPUtime=1.14 cores=0-31
/proc/19742/stat : 19742 (strangenight2-m) R 19740 19742 19716 0 -1 4202496 437 0 0 0 114 0 0 0 22 0 32 0 4569318 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/19742/statm: 84500 377 297 95 0 79482 0
[pid=19742/tid=19743] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19743/stat : 19743 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19742/tid=19744] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19744/stat : 19744 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 1 0 0 0 4 0 0 0 24 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19742/tid=19745] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19745/stat : 19745 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19742/tid=19746] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19746/stat : 19746 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276790 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19742/tid=19747] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19747/stat : 19747 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276776 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19742/tid=19748] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19748/stat : 19748 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 19 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19742/tid=19749] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19749/stat : 19749 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276776 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19742/tid=19750] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19750/stat : 19750 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276784 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19742/tid=19751] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19751/stat : 19751 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19742/tid=19752] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19752/stat : 19752 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19742/tid=19753] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19753/stat : 19753 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19742/tid=19754] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19754/stat : 19754 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 20 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19742/tid=19755] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19755/stat : 19755 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19742/tid=19756] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19756/stat : 19756 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19742/tid=19757] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19757/stat : 19757 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19742/tid=19758] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19758/stat : 19758 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19742/tid=19759] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19759/stat : 19759 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276790 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19742/tid=19760] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19760/stat : 19760 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19742/tid=19761] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19761/stat : 19761 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19742/tid=19762] ppid=19740 vsize=338000 CPUtime=0.04 cores=0-31
/proc/19742/task/19762/stat : 19762 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 4 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19742/tid=19763] ppid=19740 vsize=338000 CPUtime=0 cores=0-31
/proc/19742/task/19763/stat : 19763 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19742/tid=19764] ppid=19740 vsize=338000 CPUtime=0 cores=0-31
/proc/19742/task/19764/stat : 19764 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19742/tid=19765] ppid=19740 vsize=338000 CPUtime=0 cores=0-31
/proc/19742/task/19765/stat : 19765 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=19742/tid=19766] ppid=19740 vsize=338000 CPUtime=0.01 cores=0-31
/proc/19742/task/19766/stat : 19766 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19742/tid=19767] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19767/stat : 19767 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19742/tid=19768] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19768/stat : 19768 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19742/tid=19769] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19769/stat : 19769 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276776 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19742/tid=19770] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19770/stat : 19770 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19742/tid=19771] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19771/stat : 19771 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19742/tid=19772] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19772/stat : 19772 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276786 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19742/tid=19773] ppid=19740 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19742/task/19773/stat : 19773 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 4569319 346112000 377 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276780 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 338000
[startup+0.103365 s]
/proc/loadavg: 14.70 24.27 27.26 1/413 19742
/proc/meminfo: memFree=263655108/264257624 swapFree=67044744/67111528
[pid=19742] ppid=19740 vsize=732408 CPUtime=2.65 cores=0-31
/proc/19742/stat : 19742 (strangenight2-m) R 19740 19742 19716 0 -1 4202496 1240 0 0 0 260 5 0 0 18 0 32 0 4569318 749985792 1099 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/19742/statm: 183102 1099 322 95 0 178084 0
[pid=19742/tid=19743] ppid=19740 vsize=732408 CPUtime=0.09 cores=0-31
/proc/19742/task/19743/stat : 19743 (strangenight2-m) D 19740 19742 19716 0 -1 4202560 30 0 0 0 9 0 0 0 18 0 32 0 4569319 749985792 1099 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19742/tid=19744] ppid=19740 vsize=732408 CPUtime=0.08 cores=0-31
/proc/19742/task/19744/stat : 19744 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 7 0 0 0 8 0 0 0 25 0 32 0 4569319 749985792 1099 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651060958 0 0 4096 2 18446744071566926584 0 0 -1 16 0 0 0
[pid=19742/tid=19745] ppid=19740 vsize=732412 CPUtime=0.09 cores=0-31
/proc/19742/task/19745/stat : 19745 (strangenight2-m) D 19740 19742 19716 0 -1 4202560 46 0 0 0 9 0 0 0 20 0 32 0 4569319 749989888 1100 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19742/tid=19746] ppid=19740 vsize=732412 CPUtime=0.08 cores=0-31
/proc/19742/task/19746/stat : 19746 (strangenight2-m) D 19740 19742 19716 0 -1 4202560 58 0 0 0 8 0 0 0 18 0 32 0 4569319 749989888 1104 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19742/tid=19747] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19747/stat : 19747 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 29 0 0 0 8 0 0 0 18 0 32 0 4569319 749993984 1121 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19742/tid=19748] ppid=19740 vsize=732416 CPUtime=0.09 cores=0-31
/proc/19742/task/19748/stat : 19748 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 42 0 0 0 9 0 0 0 18 0 32 0 4569319 749993984 1129 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19742/tid=19749] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19749/stat : 19749 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 4 0 0 0 8 0 0 0 21 0 32 0 4569319 749993984 1129 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651060958 0 0 4096 2 18446744071566926584 0 0 -1 24 0 0 0
[pid=19742/tid=19750] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19750/stat : 19750 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 5 0 0 0 8 0 0 0 21 0 32 0 4569319 749993984 1130 268435456000 4194304 4580107 140733926615984 18446744073709551615 258651060958 0 0 4096 2 18446744071566926584 0 0 -1 6 0 0 0
[pid=19742/tid=19751] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19751/stat : 19751 (strangenight2-m) D 19740 19742 19716 0 -1 4202560 11 0 0 0 8 0 0 0 21 0 32 0 4569319 749993984 1130 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19742/tid=19752] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19752/stat : 19752 (strangenight2-m) D 19740 19742 19716 0 -1 4202560 66 0 0 0 8 0 0 0 18 0 32 0 4569319 749993984 1132 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19742/tid=19753] ppid=19740 vsize=732416 CPUtime=0.09 cores=0-31
/proc/19742/task/19753/stat : 19753 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 62 0 0 0 9 0 0 0 18 0 32 0 4569319 749993984 1150 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19742/tid=19754] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19754/stat : 19754 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 12 0 0 0 8 0 0 0 21 0 32 0 4569319 749993984 1156 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19742/tid=19755] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19755/stat : 19755 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 9 0 0 0 8 0 0 0 22 0 32 0 4569319 749993984 1156 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19742/tid=19756] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19756/stat : 19756 (strangenight2-m) D 19740 19742 19716 0 -1 4202560 8 0 0 0 8 0 0 0 22 0 32 0 4569319 749993984 1156 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19742/tid=19757] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19757/stat : 19757 (strangenight2-m) D 19740 19742 19716 0 -1 4202560 15 0 0 0 8 0 0 0 22 0 32 0 4569319 749993984 1158 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19742/tid=19758] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
/proc/19742/task/19758/stat : 19758 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 8 0 0 0 8 0 0 0 22 0 32 0 4569319 749993984 1177 268435456000 4194304 4580107 140733926615984 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19742/tid=19759] ppid=19740 vsize=732416 CPUtime=0.08 cores=0-31
################
# More data... #
################
[pid=19742/tid=19772] ppid=19740 vsize=9633732 CPUtime=583.81 cores=0-31
/proc/19742/task/19772/stat : 19772 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 127736 0 0 0 58077 304 0 0 25 0 32 0 4569319 9864941568 1746212 268435456000 4194304 4580107 140733926615984 18446744073709551615 4205512 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19742/tid=19773] ppid=19740 vsize=9633732 CPUtime=594.32 cores=0-31
/proc/19742/task/19773/stat : 19773 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 118128 0 0 0 59261 171 0 0 25 0 32 0 4569319 9864941568 1746212 268435456000 4194304 4580107 140733926615984 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 16775.8
Current children cumulated vsize (KiB) 9633732
[startup+601.502 s]
/proc/loadavg: 12.46 24.98 27.32 3/445 19790
/proc/meminfo: memFree=256657120/264257624 swapFree=67044744/67111528
[pid=19742] ppid=19740 vsize=9633732 CPUtime=16779 cores=0-31
/proc/19742/stat : 19742 (strangenight2-m) S 19740 19742 19716 0 -1 4202496 3641790 0 0 0 1669401 8498 0 0 25 0 32 0 4569318 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/19742/statm: 2408433 1746279 378 95 0 2403415 0
[pid=19742/tid=19743] ppid=19740 vsize=9633732 CPUtime=479.44 cores=0-31
/proc/19742/task/19743/stat : 19743 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 111041 0 0 0 47657 287 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604450697706976 0 0 -1 30 0 0 0
[pid=19742/tid=19744] ppid=19740 vsize=9633732 CPUtime=520.78 cores=0-31
/proc/19742/task/19744/stat : 19744 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 101699 0 0 0 51843 235 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604454811565536 0 0 -1 16 0 0 0
[pid=19742/tid=19745] ppid=19740 vsize=9633732 CPUtime=506.36 cores=0-31
/proc/19742/task/19745/stat : 19745 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 113229 0 0 0 50385 251 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604505246514656 0 0 -1 29 0 0 0
[pid=19742/tid=19746] ppid=19740 vsize=9633732 CPUtime=522.52 cores=0-31
/proc/19742/task/19746/stat : 19746 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 113137 0 0 0 51974 278 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604482369715680 0 0 -1 25 0 0 0
[pid=19742/tid=19747] ppid=19740 vsize=9633732 CPUtime=528.72 cores=0-31
/proc/19742/task/19747/stat : 19747 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 124255 0 0 0 52607 265 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591746932192 0 0 -1 19 0 0 0
[pid=19742/tid=19748] ppid=19740 vsize=9633732 CPUtime=535.84 cores=0-31
/proc/19742/task/19748/stat : 19748 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 114666 0 0 0 53327 257 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604495190179296 0 0 -1 12 0 0 0
[pid=19742/tid=19749] ppid=19740 vsize=9633732 CPUtime=525.68 cores=0-31
/proc/19742/task/19749/stat : 19749 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 111968 0 0 0 52282 286 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604451822509536 0 0 -1 8 0 0 0
[pid=19742/tid=19750] ppid=19740 vsize=9633732 CPUtime=505.01 cores=0-31
/proc/19742/task/19750/stat : 19750 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 135642 0 0 0 50227 274 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604631138278880 0 0 -1 23 0 0 0
[pid=19742/tid=19751] ppid=19740 vsize=9633732 CPUtime=541.43 cores=0-31
/proc/19742/task/19751/stat : 19751 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 111946 0 0 0 53871 272 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604555190328800 0 0 -1 25 0 0 0
[pid=19742/tid=19752] ppid=19740 vsize=9633732 CPUtime=522.19 cores=0-31
/proc/19742/task/19752/stat : 19752 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 106081 0 0 0 51951 268 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591747005920 0 0 -1 18 0 0 0
[pid=19742/tid=19753] ppid=19740 vsize=9633732 CPUtime=546.51 cores=0-31
/proc/19742/task/19753/stat : 19753 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 99531 0 0 0 54363 288 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604450154946016 0 0 -1 12 0 0 0
[pid=19742/tid=19754] ppid=19740 vsize=9633732 CPUtime=478.8 cores=0-31
/proc/19742/task/19754/stat : 19754 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 128933 0 0 0 47635 245 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446744071566926464 0 0 -1 27 0 0 0
[pid=19742/tid=19755] ppid=19740 vsize=9633732 CPUtime=534.09 cores=0-31
/proc/19742/task/19755/stat : 19755 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 114623 0 0 0 53136 273 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604631138393568 0 0 -1 7 0 0 0
[pid=19742/tid=19756] ppid=19740 vsize=9633732 CPUtime=508.7 cores=0-31
/proc/19742/task/19756/stat : 19756 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 99273 0 0 0 50609 261 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604482369674720 0 0 -1 2 0 0 0
[pid=19742/tid=19757] ppid=19740 vsize=9633732 CPUtime=516.63 cores=0-31
/proc/19742/task/19757/stat : 19757 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 120608 0 0 0 51352 311 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604581412806112 0 0 -1 14 0 0 0
[pid=19742/tid=19758] ppid=19740 vsize=9633732 CPUtime=530.89 cores=0-31
/proc/19742/task/19758/stat : 19758 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 130308 0 0 0 52840 249 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604474499112416 0 0 -1 20 0 0 0
[pid=19742/tid=19759] ppid=19740 vsize=9633732 CPUtime=521.23 cores=0-31
/proc/19742/task/19759/stat : 19759 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 81105 0 0 0 51866 257 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604631138336224 0 0 -1 27 0 0 0
[pid=19742/tid=19760] ppid=19740 vsize=9633732 CPUtime=524.07 cores=0-31
/proc/19742/task/19760/stat : 19760 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 130297 0 0 0 52159 248 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591746981344 0 0 -1 9 0 0 0
[pid=19742/tid=19761] ppid=19740 vsize=9633732 CPUtime=534.86 cores=0-31
/proc/19742/task/19761/stat : 19761 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 88729 0 0 0 53219 267 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604499427311072 0 0 -1 28 0 0 0
[pid=19742/tid=19762] ppid=19740 vsize=9633732 CPUtime=484.95 cores=0-31
/proc/19742/task/19762/stat : 19762 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 124025 0 0 0 48203 292 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604451759267296 0 0 -1 15 0 0 0
[pid=19742/tid=19763] ppid=19740 vsize=9633732 CPUtime=515.65 cores=0-31
/proc/19742/task/19763/stat : 19763 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 87004 0 0 0 51353 212 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604637970800096 0 0 -1 15 0 0 0
[pid=19742/tid=19764] ppid=19740 vsize=9633732 CPUtime=510.81 cores=0-31
/proc/19742/task/19764/stat : 19764 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 125207 0 0 0 50836 245 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604489476644320 0 0 -1 22 0 0 0
[pid=19742/tid=19765] ppid=19740 vsize=9633732 CPUtime=520 cores=0-31
/proc/19742/task/19765/stat : 19765 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 103810 0 0 0 51717 283 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604500560207328 0 0 -1 26 0 0 0
[pid=19742/tid=19766] ppid=19740 vsize=9633732 CPUtime=523.24 cores=0-31
/proc/19742/task/19766/stat : 19766 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 126731 0 0 0 52086 238 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604450661137888 0 0 -1 13 0 0 0
[pid=19742/tid=19767] ppid=19740 vsize=9633732 CPUtime=529.02 cores=0-31
/proc/19742/task/19767/stat : 19767 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 123444 0 0 0 52613 289 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591746579936 0 0 -1 21 0 0 0
[pid=19742/tid=19768] ppid=19740 vsize=9633732 CPUtime=495.33 cores=0-31
/proc/19742/task/19768/stat : 19768 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 102115 0 0 0 49217 316 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591792831968 0 0 -1 7 0 0 0
[pid=19742/tid=19769] ppid=19740 vsize=9633732 CPUtime=538.04 cores=0-31
/proc/19742/task/19769/stat : 19769 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 133081 0 0 0 53587 217 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604487944510944 0 0 -1 22 0 0 0
[pid=19742/tid=19770] ppid=19740 vsize=9633732 CPUtime=526.76 cores=0-31
/proc/19742/task/19770/stat : 19770 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 124093 0 0 0 52415 261 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604451824098784 0 0 -1 5 0 0 0
[pid=19742/tid=19771] ppid=19740 vsize=9633732 CPUtime=530.33 cores=0-31
/proc/19742/task/19771/stat : 19771 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 82589 0 0 0 52762 271 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604505746161120 0 0 -1 1 0 0 0
[pid=19742/tid=19772] ppid=19740 vsize=9633732 CPUtime=585.41 cores=0-31
/proc/19742/task/19772/stat : 19772 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 127736 0 0 0 58237 304 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186251808 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19742/tid=19773] ppid=19740 vsize=9633732 CPUtime=595.92 cores=0-31
/proc/19742/task/19773/stat : 19773 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 118195 0 0 0 59421 171 0 0 25 0 32 0 4569319 9864941568 1746279 268435456000 4194304 4580107 140733926615984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 16779
Current children cumulated vsize (KiB) 9633732
[startup+601.902 s]
/proc/loadavg: 12.46 24.98 27.32 3/445 19790
/proc/meminfo: memFree=256657232/264257624 swapFree=67044744/67111528
[pid=19742] ppid=19740 vsize=9633732 CPUtime=16779.8 cores=0-31
/proc/19742/stat : 19742 (strangenight2-m) S 19740 19742 19716 0 -1 4202496 3641800 0 0 0 1669481 8498 0 0 25 0 32 0 4569318 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/19742/statm: 2408433 1746289 378 95 0 2403415 0
[pid=19742/tid=19743] ppid=19740 vsize=9633732 CPUtime=479.44 cores=0-31
/proc/19742/task/19743/stat : 19743 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 111041 0 0 0 47657 287 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604450697706976 0 0 -1 30 0 0 0
[pid=19742/tid=19744] ppid=19740 vsize=9633732 CPUtime=520.78 cores=0-31
/proc/19742/task/19744/stat : 19744 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 101699 0 0 0 51843 235 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604454811565536 0 0 -1 16 0 0 0
[pid=19742/tid=19745] ppid=19740 vsize=9633732 CPUtime=506.36 cores=0-31
/proc/19742/task/19745/stat : 19745 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 113229 0 0 0 50385 251 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604505246514656 0 0 -1 29 0 0 0
[pid=19742/tid=19746] ppid=19740 vsize=9633732 CPUtime=522.52 cores=0-31
/proc/19742/task/19746/stat : 19746 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 113137 0 0 0 51974 278 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604482369715680 0 0 -1 25 0 0 0
[pid=19742/tid=19747] ppid=19740 vsize=9633732 CPUtime=528.72 cores=0-31
/proc/19742/task/19747/stat : 19747 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 124255 0 0 0 52607 265 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591746932192 0 0 -1 19 0 0 0
[pid=19742/tid=19748] ppid=19740 vsize=9633732 CPUtime=535.84 cores=0-31
/proc/19742/task/19748/stat : 19748 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 114666 0 0 0 53327 257 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604495190179296 0 0 -1 12 0 0 0
[pid=19742/tid=19749] ppid=19740 vsize=9633732 CPUtime=525.68 cores=0-31
/proc/19742/task/19749/stat : 19749 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 111968 0 0 0 52282 286 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604451822509536 0 0 -1 8 0 0 0
[pid=19742/tid=19750] ppid=19740 vsize=9633732 CPUtime=505.01 cores=0-31
/proc/19742/task/19750/stat : 19750 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 135642 0 0 0 50227 274 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604631138278880 0 0 -1 23 0 0 0
[pid=19742/tid=19751] ppid=19740 vsize=9633732 CPUtime=541.43 cores=0-31
/proc/19742/task/19751/stat : 19751 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 111946 0 0 0 53871 272 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604555190328800 0 0 -1 25 0 0 0
[pid=19742/tid=19752] ppid=19740 vsize=9633732 CPUtime=522.19 cores=0-31
/proc/19742/task/19752/stat : 19752 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 106081 0 0 0 51951 268 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591747005920 0 0 -1 18 0 0 0
[pid=19742/tid=19753] ppid=19740 vsize=9633732 CPUtime=546.51 cores=0-31
/proc/19742/task/19753/stat : 19753 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 99531 0 0 0 54363 288 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604450154946016 0 0 -1 12 0 0 0
[pid=19742/tid=19754] ppid=19740 vsize=9633732 CPUtime=478.8 cores=0-31
/proc/19742/task/19754/stat : 19754 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 128933 0 0 0 47635 245 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446744071566926464 0 0 -1 27 0 0 0
[pid=19742/tid=19755] ppid=19740 vsize=9633732 CPUtime=534.09 cores=0-31
/proc/19742/task/19755/stat : 19755 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 114623 0 0 0 53136 273 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604631138393568 0 0 -1 7 0 0 0
[pid=19742/tid=19756] ppid=19740 vsize=9633732 CPUtime=508.7 cores=0-31
/proc/19742/task/19756/stat : 19756 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 99273 0 0 0 50609 261 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604482369674720 0 0 -1 2 0 0 0
[pid=19742/tid=19757] ppid=19740 vsize=9633732 CPUtime=516.63 cores=0-31
/proc/19742/task/19757/stat : 19757 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 120608 0 0 0 51352 311 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604581412806112 0 0 -1 14 0 0 0
[pid=19742/tid=19758] ppid=19740 vsize=9633732 CPUtime=530.89 cores=0-31
/proc/19742/task/19758/stat : 19758 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 130308 0 0 0 52840 249 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604474499112416 0 0 -1 20 0 0 0
[pid=19742/tid=19759] ppid=19740 vsize=9633732 CPUtime=521.23 cores=0-31
/proc/19742/task/19759/stat : 19759 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 81105 0 0 0 51866 257 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604631138336224 0 0 -1 27 0 0 0
[pid=19742/tid=19760] ppid=19740 vsize=9633732 CPUtime=524.07 cores=0-31
/proc/19742/task/19760/stat : 19760 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 130297 0 0 0 52159 248 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591746981344 0 0 -1 9 0 0 0
[pid=19742/tid=19761] ppid=19740 vsize=9633732 CPUtime=534.86 cores=0-31
/proc/19742/task/19761/stat : 19761 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 88729 0 0 0 53219 267 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604499427311072 0 0 -1 28 0 0 0
[pid=19742/tid=19762] ppid=19740 vsize=9633732 CPUtime=484.95 cores=0-31
/proc/19742/task/19762/stat : 19762 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 124025 0 0 0 48203 292 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604451759267296 0 0 -1 15 0 0 0
[pid=19742/tid=19763] ppid=19740 vsize=9633732 CPUtime=515.65 cores=0-31
/proc/19742/task/19763/stat : 19763 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 87004 0 0 0 51353 212 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604637970800096 0 0 -1 15 0 0 0
[pid=19742/tid=19764] ppid=19740 vsize=9633732 CPUtime=510.81 cores=0-31
/proc/19742/task/19764/stat : 19764 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 125207 0 0 0 50836 245 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604489476644320 0 0 -1 22 0 0 0
[pid=19742/tid=19765] ppid=19740 vsize=9633732 CPUtime=520 cores=0-31
/proc/19742/task/19765/stat : 19765 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 103810 0 0 0 51717 283 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604500560207328 0 0 -1 26 0 0 0
[pid=19742/tid=19766] ppid=19740 vsize=9633732 CPUtime=523.24 cores=0-31
/proc/19742/task/19766/stat : 19766 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 126731 0 0 0 52086 238 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604450661137888 0 0 -1 13 0 0 0
[pid=19742/tid=19767] ppid=19740 vsize=9633732 CPUtime=529.02 cores=0-31
/proc/19742/task/19767/stat : 19767 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 123444 0 0 0 52613 289 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591746579936 0 0 -1 21 0 0 0
[pid=19742/tid=19768] ppid=19740 vsize=9633732 CPUtime=495.33 cores=0-31
/proc/19742/task/19768/stat : 19768 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 102115 0 0 0 49217 316 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604591792831968 0 0 -1 7 0 0 0
[pid=19742/tid=19769] ppid=19740 vsize=9633732 CPUtime=538.04 cores=0-31
/proc/19742/task/19769/stat : 19769 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 133081 0 0 0 53587 217 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604487944510944 0 0 -1 22 0 0 0
[pid=19742/tid=19770] ppid=19740 vsize=9633732 CPUtime=526.76 cores=0-31
/proc/19742/task/19770/stat : 19770 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 124093 0 0 0 52415 261 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604451824098784 0 0 -1 5 0 0 0
[pid=19742/tid=19771] ppid=19740 vsize=9633732 CPUtime=530.33 cores=0-31
/proc/19742/task/19771/stat : 19771 (strangenight2-m) S 19740 19742 19716 0 -1 4202560 82589 0 0 0 52762 271 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186276404 0 0 4096 2 18446604505746161120 0 0 -1 1 0 0 0
[pid=19742/tid=19772] ppid=19740 vsize=9633732 CPUtime=585.81 cores=0-31
/proc/19742/task/19772/stat : 19772 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 127736 0 0 0 58277 304 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 47782186251972 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19742/tid=19773] ppid=19740 vsize=9633732 CPUtime=596.32 cores=0-31
/proc/19742/task/19773/stat : 19773 (strangenight2-m) R 19740 19742 19716 0 -1 4202560 118205 0 0 0 59461 171 0 0 25 0 32 0 4569319 9864941568 1746289 268435456000 4194304 4580107 140733926615984 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 16779.8
Current children cumulated vsize (KiB) 9633732
[startup+602.301 s]
/proc/loadavg: 12.46 24.98 27.32 3/445 19790
/proc/meminfo: memFree=256657232/264257624 swapFree=67044744/67111528
[pid=19742] ppid=19740 vsize=0 CPUtime=16780.3 cores=0-31
/proc/19742/stat : 19742 (strangenight2-m) Z 19740 19742 19716 0 -1 4203548 3641807 0 0 0 1669492 8535 0 0 18 0 2 0 4569318 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/19742/statm: 0 0 0 0 0 0 0
[pid=19742/tid=19759] ppid=19740 vsize=0 CPUtime=521.57 cores=0-31
/proc/19742/task/19759/stat : 19759 (strangenight2-m) R 19740 19742 19716 0 -1 4203588 81105 0 0 0 51866 291 0 0 18 0 2 0 4569319 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 16780.3
Current children cumulated vsize (KiB) 0
[startup+602.401 s]
/proc/loadavg: 12.46 24.98 27.32 3/445 19790
/proc/meminfo: memFree=256657232/264257624 swapFree=67044744/67111528
[pid=19742] ppid=19740 vsize=0 CPUtime=16780.4 cores=0-31
/proc/19742/stat : 19742 (strangenight2-m) Z 19740 19742 19716 0 -1 4203548 3641807 0 0 0 1669492 8545 0 0 18 0 2 0 4569318 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/19742/statm: 0 0 0 0 0 0 0
[pid=19742/tid=19759] ppid=19740 vsize=0 CPUtime=521.67 cores=0-31
/proc/19742/task/19759/stat : 19759 (strangenight2-m) R 19740 19742 19716 0 -1 4203588 81105 0 0 0 51866 301 0 0 18 0 2 0 4569319 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 16780.4
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 602.467
CPU time (s): 16780.4
CPU user time (s): 16694.9
CPU system time (s): 85.516
CPU usage (%): 2785.29
Max. virtual memory (cumulated for all children) (KiB): 10707488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16694.9
system time used= 85.516
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3641807
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= 3533931
involuntary context switches= 125785
runsolver used 3.54146 second user time and 13.2 second system time
The end
Begin job on node200 at 2011-05-30 22:07:13
IDJOB=3400792
IDBENCH=82496
IDSOLVER=1886
FILE ID=node200/3400792-1306786032
RUNJOBID= node200-1306786032-19730
PBS_JOBID= 13471874
Free space on /tmp= 61564 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-3400792-1306786032/watcher-3400792-1306786032 -o /tmp/evaluation-result-3400792-1306786032/solver-3400792-1306786032 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400792-1306786032.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 254fcd4eae8129ad5842f186e24e0793
RANDOM SEED=426924400
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.13
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.95
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3996.76
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263655396 kB
Buffers: 57120 kB
Cached: 356476 kB
SwapCached: 29884 kB
Active: 133524 kB
Inactive: 312252 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263655396 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 22516 kB
Writeback: 0 kB
AnonPages: 29904 kB
Mapped: 7772 kB
Slab: 61132 kB
PageTables: 5496 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61556 MiB
End job on node200 at 2011-05-30 22:17:16