0.00/0.00 c Outputting solution to console
0.00/0.10 c Using 32 threads
3.12/0.11 c This is CryptoMiniSat 3.0.0
3.12/0.11 c WARNING: for repeatability, setting FPU to use double precision
3.12/0.11 c Reading file 'HOME/instance-3400798-1306788670.cnf'
3.12/0.14 c -- header says num vars: 39151
3.12/0.14 c -- header says num clauses: 533919
53.02/3.59 c -- clauses added: 0 learnts, 533919 normals, 0 xors
53.02/3.59 c -- vars added 39151
53.02/3.59 c Parsing time: 0.59 s
53.02/3.59 c N st 0 0 39151 482351 51568 0 1968248 0 no data no data
64.38/4.20 c asymm cl-useful: 11/1120/482351 lits-rem:11 time: 0.30
195.63/13.52 c Flit: 158 Blit: 16 bXBeca: 0 bXProp: 71 Bins: 0 BRemL: 0 BRemN: 0 P: 128.2M T: 3.46
195.63/13.52 c Cleaning up after failed var search: 0.00 s
197.89/13.70 c Replacing 71 vars Replaced 2441 lits Time: 0.10 s
293.52/21.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
293.52/21.25 c bin-w-bin subsume rem 3823 bins time: 0.02 s
296.23/21.38 c subs with bin: 2602 lits-rem: 1320 v-fix: 0 time: 0.13 s
301.78/21.55 c Subs w/ non-existent bins: 3147 l-rem: 1398 v-fix: 0 done: 9361 time: 0.13 s
308.06/21.79 c Removed useless bin: 5785 fixed: 0 props: 17.42M time: 0.23 s
354.23/23.24 c lits-rem: 1008 cl-subs: 38294 v-elim: 2804 v-fix: 0 time: 1.39 s
356.19/23.32 c Finding binary XORs T: 0.08 s found: 22
356.19/23.36 c Replacing 22 vars Replaced 1161 lits Time: 0.04 s
368.98/23.77 c Finding non-binary XORs: 0.34 s (found: 0, avg size: nan)
368.98/23.77 c calculated reachability. Time: 0.03
372.17/23.81 c Calc default polars - time: 0.04 s pos: 8602 undec: 21655 neg: 8894
372.17/23.81 c =========================================================================================
372.17/23.81 c types(t): F = full restart, N = normal restart
372.17/23.81 c types(t): S = simplification begin/end, E = solution found
372.17/23.81 c restart types(rt): st = static, dy = dynamic
372.17/23.81 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
372.17/23.81 c B st 0 0 36016 428268 40877 0 1742833 0 no data no data
416.94/25.30 c N dy 12 4014 36016 428268 40878 3976 1742833 50835 7.57 8.89
445.70/26.12 c Finding binary XORs T: 0.07 s found: 2
474.47/27.09 c N dy 25 8477 36014 428109 45195 7537 1742290 101457 7.03 7.40
529.41/28.73 c N dy 46 12500 36012 428109 45313 11512 1742290 150089 7.07 7.44
586.36/30.60 c N dy 61 16725 36011 428109 45325 15671 1742290 197348 6.99 7.44
643.85/32.38 c N dy 80 20753 36009 428109 45424 10208 1742289 107401 6.97 7.49
701.67/34.13 c F st 106 25001 36009 428109 45499 14412 1742289 162011 7.08 6.93
704.80/34.23 c Replacing 2 vars Replaced 734 lits Time: 0.05 s
707.33/34.38 c Found part 1013 vars: 672 clauses: 9606 lits size: 35293
707.33/34.38 c Found part 1384 vars: 4867 clauses: 169291 lits size: 644753
707.33/34.38 c Found part 1459 vars: 952 clauses: 5148 lits size: 17950
707.33/34.38 c Found part 1475 vars: 948 clauses: 6259 lits size: 21705
707.33/34.38 c Found part 1488 vars: 238 clauses: 486 lits size: 1440
707.33/34.38 c Found part 1491 vars: 234 clauses: 476 lits size: 1440
707.33/34.38 c Found part 1501 vars: 9726 clauses: 52126 lits size: 185523
707.33/34.38 c Found part 1511 vars: 203 clauses: 502 lits size: 1379
707.33/34.38 c Found part 1512 vars: 234 clauses: 476 lits size: 1440
707.33/34.38 c Found part 1514 vars: 14222 clauses: 210098 lits size: 780937
707.33/34.38 c Found part 1522 vars: 833 clauses: 5179 lits size: 18093
707.33/34.38 c Found part 1527 vars: 305 clauses: 965 lits size: 2986
707.33/34.38 c Found part 1535 vars: 265 clauses: 792 lits size: 3175
707.33/34.38 c Found part 1537 vars: 236 clauses: 479 lits size: 1440
707.33/34.38 c Found part 1539 vars: 172 clauses: 504 lits size: 2317
707.33/34.38 c Found part 1540 vars: 236 clauses: 482 lits size: 1444
707.33/34.38 c Found part 1541 vars: 236 clauses: 482 lits size: 1444
707.33/34.38 c Found part 1543 vars: 476 clauses: 1702 lits size: 5744
707.33/34.38 c Found part 1544 vars: 476 clauses: 1687 lits size: 5724
707.33/34.38 c Found part 1545 vars: 476 clauses: 1687 lits size: 5724
707.33/34.38 c Found parts: 20 time: 0.24 s
707.33/34.38 c Solving part 1539
710.49/34.43 c N st 0 0 172 335 169 0 2317 0 no data no data
710.49/34.43 c asymm cl-useful: 160/335/335 lits-rem:255 time: 0.00
710.49/34.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
710.49/34.44 c Finding binary XORs T: 0.00 s found: 0
710.49/34.44 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
710.49/34.44 c calculated reachability. Time: 0.00
710.49/34.44 c Calc default polars - time: 0.00 s pos: 76 undec: 38988 neg: 87
710.49/34.44 c =========================================================================================
710.49/34.44 c types(t): F = full restart, N = normal restart
710.49/34.44 c types(t): S = simplification begin/end, E = solution found
710.49/34.44 c restart types(rt): st = static, dy = dynamic
710.49/34.44 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
710.49/34.44 c B st 0 0 172 335 169 0 2062 0 no data no data
710.49/34.44 c E st 1 0 0 335 169 0 2062 0 no data no data
710.49/34.44 c Verified 335 clauses.
710.49/34.44 c Verified 335 clauses.
710.49/34.44 c Solved part
710.49/34.44 c =========================================================================================
710.49/34.44 c Solving part 1511
713.61/34.50 c N st 0 0 203 227 313 0 1379 76 no data no data
713.61/34.50 c asymm cl-useful: 36/227/227 lits-rem:36 time: 0.00
713.61/34.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01
713.61/34.51 c Finding binary XORs T: 0.00 s found: 0
713.61/34.51 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
713.61/34.51 c calculated reachability. Time: 0.00
713.61/34.51 c Calc default polars - time: 0.00 s pos: 58 undec: 38992 neg: 101
713.61/34.51 c =========================================================================================
713.61/34.51 c types(t): F = full restart, N = normal restart
713.61/34.51 c types(t): S = simplification begin/end, E = solution found
713.61/34.51 c restart types(rt): st = static, dy = dynamic
713.61/34.51 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
713.61/34.51 c B st 0 0 203 227 313 0 1343 76 no data no data
713.61/34.51 c E st 1 0 0 227 313 0 1343 76 no data no data
713.61/34.52 c Verified 227 clauses.
713.61/34.52 c Verified 227 clauses.
713.61/34.52 c Solved part
713.61/34.52 c =========================================================================================
713.61/34.52 c Solving part 1491
713.61/34.58 c N st 0 0 234 244 232 0 1440 0 no data no data
713.61/34.58 c asymm cl-useful: 6/244/244 lits-rem:6 time: 0.00
713.61/34.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
713.61/34.59 c Finding binary XORs T: 0.00 s found: 0
713.61/34.59 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
713.61/34.59 c calculated reachability. Time: 0.00
713.61/34.59 c Calc default polars - time: 0.00 s pos: 17 undec: 39121 neg: 13
713.61/34.59 c =========================================================================================
713.61/34.59 c types(t): F = full restart, N = normal restart
713.61/34.59 c types(t): S = simplification begin/end, E = solution found
713.61/34.59 c restart types(rt): st = static, dy = dynamic
713.61/34.59 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
713.61/34.59 c B st 0 0 234 244 232 0 1434 0 no data no data
713.61/34.59 c E st 1 0 0 244 232 0 1434 0 no data no data
713.61/34.59 c Verified 244 clauses.
713.61/34.59 c Verified 244 clauses.
713.61/34.59 c Solved part
713.61/34.59 c =========================================================================================
713.61/34.60 c Solving part 1512
716.64/34.66 c N st 0 0 234 244 232 0 1440 0 no data no data
716.64/34.66 c asymm cl-useful: 6/244/244 lits-rem:6 time: 0.00
716.64/34.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
716.64/34.67 c Finding binary XORs T: 0.00 s found: 0
716.64/34.67 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
716.64/34.67 c calculated reachability. Time: 0.00
716.64/34.67 c Calc default polars - time: 0.00 s pos: 17 undec: 39121 neg: 13
716.64/34.67 c =========================================================================================
716.64/34.67 c types(t): F = full restart, N = normal restart
716.64/34.67 c types(t): S = simplification begin/end, E = solution found
716.64/34.67 c restart types(rt): st = static, dy = dynamic
716.64/34.67 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
716.64/34.67 c B st 0 0 234 244 232 0 1434 0 no data no data
716.64/34.67 c E st 1 0 0 244 232 0 1434 0 no data no data
716.64/34.67 c Verified 244 clauses.
716.64/34.67 c Verified 244 clauses.
716.64/34.67 c Solved part
716.64/34.67 c =========================================================================================
716.64/34.67 c Solving part 1541
719.73/34.74 c N st 0 0 236 244 238 0 1444 0 no data no data
719.73/34.74 c asymm cl-useful: 2/244/244 lits-rem:2 time: 0.00
719.73/34.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
719.73/34.75 c Finding binary XORs T: 0.00 s found: 0
719.73/34.75 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
719.73/34.75 c calculated reachability. Time: 0.00
719.73/34.75 c Calc default polars - time: 0.00 s pos: 14 undec: 39123 neg: 14
719.73/34.75 c =========================================================================================
719.73/34.75 c types(t): F = full restart, N = normal restart
719.73/34.75 c types(t): S = simplification begin/end, E = solution found
719.73/34.75 c restart types(rt): st = static, dy = dynamic
719.73/34.75 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
719.73/34.75 c B st 0 0 236 244 238 0 1442 0 no data no data
719.73/34.75 c E st 1 0 0 244 238 0 1442 0 no data no data
719.73/34.75 c Verified 244 clauses.
719.73/34.75 c Verified 244 clauses.
719.73/34.75 c Solved part
719.73/34.75 c =========================================================================================
719.73/34.75 c Solving part 1540
722.71/34.82 c N st 0 0 236 244 238 0 1444 0 no data no data
722.71/34.82 c asymm cl-useful: 2/244/244 lits-rem:2 time: 0.00
722.71/34.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
722.71/34.83 c Finding binary XORs T: 0.00 s found: 0
722.71/34.83 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
722.71/34.83 c calculated reachability. Time: 0.00
722.71/34.83 c Calc default polars - time: 0.00 s pos: 14 undec: 39123 neg: 14
722.71/34.83 c =========================================================================================
722.71/34.83 c types(t): F = full restart, N = normal restart
722.71/34.83 c types(t): S = simplification begin/end, E = solution found
722.71/34.83 c restart types(rt): st = static, dy = dynamic
722.71/34.83 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
722.71/34.83 c B st 0 0 236 244 238 0 1442 0 no data no data
722.71/34.83 c E st 1 0 0 244 238 0 1442 0 no data no data
722.71/34.83 c Verified 244 clauses.
722.71/34.83 c Verified 244 clauses.
722.71/34.83 c Solved part
722.71/34.83 c =========================================================================================
722.71/34.83 c Solving part 1537
722.71/34.88 c N st 0 0 236 243 236 0 1440 0 no data no data
722.71/34.89 c asymm cl-useful: 1/243/243 lits-rem:1 time: 0.00
722.71/34.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
722.71/34.89 c Finding binary XORs T: 0.00 s found: 0
722.71/34.89 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
722.71/34.89 c calculated reachability. Time: 0.00
722.71/34.90 c Calc default polars - time: 0.00 s pos: 10 undec: 39131 neg: 10
722.71/34.90 c =========================================================================================
722.71/34.90 c types(t): F = full restart, N = normal restart
722.71/34.90 c types(t): S = simplification begin/end, E = solution found
722.71/34.90 c restart types(rt): st = static, dy = dynamic
722.71/34.90 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
722.71/34.90 c B st 0 0 236 243 236 0 1439 0 no data no data
722.71/34.90 c E st 1 0 0 243 236 0 1439 0 no data no data
722.71/34.90 c Verified 243 clauses.
722.71/34.90 c Verified 243 clauses.
722.71/34.90 c Solved part
722.71/34.90 c =========================================================================================
725.80/34.90 c Solving part 1488
725.80/34.96 c N st 0 0 238 244 243 0 1440 2 no data no data
725.80/34.96 c asymm cl-useful: 0/244/244 lits-rem:0 time: 0.00
725.80/34.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
725.80/34.97 c Finding binary XORs T: 0.00 s found: 0
725.80/34.97 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
725.80/34.97 c calculated reachability. Time: 0.00
725.80/34.97 c Calc default polars - time: 0.00 s pos: 18 undec: 39116 neg: 17
725.80/34.97 c =========================================================================================
725.80/34.97 c types(t): F = full restart, N = normal restart
725.80/34.97 c types(t): S = simplification begin/end, E = solution found
725.80/34.97 c restart types(rt): st = static, dy = dynamic
725.80/34.97 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
725.80/34.97 c B st 0 0 238 244 243 0 1440 2 no data no data
725.80/34.97 c E st 1 0 0 244 243 0 1440 2 no data no data
725.80/34.98 c Verified 244 clauses.
725.80/34.98 c Verified 244 clauses.
725.80/34.98 c Solved part
725.80/34.98 c =========================================================================================
725.80/34.98 c Solving part 1535
728.86/35.04 c N st 0 0 265 522 270 0 3175 0 no data no data
728.86/35.05 c asymm cl-useful: 89/522/522 lits-rem:122 time: 0.00
728.86/35.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
728.86/35.06 c Finding binary XORs T: 0.00 s found: 0
728.86/35.06 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
728.86/35.06 c calculated reachability. Time: 0.00
728.86/35.06 c Calc default polars - time: 0.00 s pos: 129 undec: 38912 neg: 110
728.86/35.06 c =========================================================================================
728.86/35.06 c types(t): F = full restart, N = normal restart
728.86/35.06 c types(t): S = simplification begin/end, E = solution found
728.86/35.06 c restart types(rt): st = static, dy = dynamic
728.86/35.06 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
728.86/35.06 c B st 0 0 265 522 270 0 3053 0 no data no data
728.86/35.06 c E st 1 0 0 522 270 0 3053 0 no data no data
728.86/35.06 c Verified 522 clauses.
728.86/35.06 c Verified 522 clauses.
728.86/35.06 c Solved part
728.86/35.06 c =========================================================================================
728.86/35.06 c Solving part 1527
731.89/35.12 c N st 0 0 305 600 483 0 2986 236 no data no data
731.89/35.13 c asymm cl-useful: 102/600/600 lits-rem:149 time: 0.01
731.89/35.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
731.89/35.15 c Finding binary XORs T: 0.00 s found: 0
731.89/35.15 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
731.89/35.15 c calculated reachability. Time: 0.00
731.89/35.15 c Calc default polars - time: 0.00 s pos: 120 undec: 38891 neg: 140
731.89/35.15 c =========================================================================================
731.89/35.15 c types(t): F = full restart, N = normal restart
731.89/35.15 c types(t): S = simplification begin/end, E = solution found
731.89/35.15 c restart types(rt): st = static, dy = dynamic
731.89/35.15 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
731.89/35.15 c B st 0 0 305 597 486 0 2843 236 no data no data
731.89/35.15 c E st 1 0 0 597 486 0 2843 236 no data no data
731.89/35.15 c Verified 597 clauses.
731.89/35.15 c Verified 597 clauses.
731.89/35.15 c Solved part
731.89/35.15 c =========================================================================================
731.89/35.15 c Solving part 1545
731.89/35.20 c N st 0 0 476 1195 492 0 5724 0 no data no data
731.89/35.21 c asymm cl-useful: 0/1195/1195 lits-rem:0 time: 0.01
735.62/35.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
735.62/35.23 c Finding binary XORs T: 0.00 s found: 0
735.62/35.23 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
735.62/35.23 c calculated reachability. Time: 0.00
735.62/35.23 c Calc default polars - time: 0.00 s pos: 16 undec: 39119 neg: 16
735.62/35.23 c =========================================================================================
735.62/35.23 c types(t): F = full restart, N = normal restart
735.62/35.23 c types(t): S = simplification begin/end, E = solution found
735.62/35.23 c restart types(rt): st = static, dy = dynamic
735.62/35.23 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
735.62/35.23 c B st 0 0 476 1195 492 0 5724 0 no data no data
735.62/35.23 c E st 1 0 0 1195 492 0 5724 0 no data no data
735.62/35.23 c Verified 1195 clauses.
735.62/35.23 c Verified 1195 clauses.
735.62/35.23 c Solved part
735.62/35.23 c =========================================================================================
735.62/35.23 c Solving part 1544
735.62/35.28 c N st 0 0 476 1195 492 0 5724 0 no data no data
735.62/35.30 c asymm cl-useful: 0/1195/1195 lits-rem:0 time: 0.01
735.62/35.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
735.62/35.31 c Finding binary XORs T: 0.00 s found: 0
735.62/35.31 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
735.62/35.31 c calculated reachability. Time: 0.00
735.62/35.31 c Calc default polars - time: 0.00 s pos: 16 undec: 39119 neg: 16
735.62/35.31 c =========================================================================================
735.62/35.31 c types(t): F = full restart, N = normal restart
735.62/35.31 c types(t): S = simplification begin/end, E = solution found
735.62/35.31 c restart types(rt): st = static, dy = dynamic
735.62/35.31 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
735.62/35.31 c B st 0 0 476 1195 492 0 5724 0 no data no data
735.62/35.31 c E st 1 0 0 1195 492 0 5724 0 no data no data
735.62/35.31 c Verified 1195 clauses.
735.62/35.31 c Verified 1195 clauses.
735.62/35.31 c Solved part
735.62/35.31 c =========================================================================================
735.62/35.31 c Solving part 1543
738.76/35.37 c N st 0 0 476 1200 502 0 5744 0 no data no data
738.76/35.38 c asymm cl-useful: 0/1200/1200 lits-rem:0 time: 0.01
738.76/35.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
738.76/35.39 c Finding binary XORs T: 0.00 s found: 0
738.76/35.39 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
738.76/35.39 c calculated reachability. Time: 0.00
738.76/35.39 c Calc default polars - time: 0.00 s pos: 24 undec: 39103 neg: 24
738.76/35.39 c =========================================================================================
738.76/35.39 c types(t): F = full restart, N = normal restart
738.76/35.39 c types(t): S = simplification begin/end, E = solution found
738.76/35.39 c restart types(rt): st = static, dy = dynamic
738.76/35.39 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
738.76/35.39 c B st 0 0 476 1200 502 0 5744 0 no data no data
738.76/35.39 c E st 1 0 0 1200 502 0 5744 0 no data no data
738.76/35.40 c Verified 1200 clauses.
738.76/35.40 c Verified 1200 clauses.
738.76/35.40 c Solved part
738.76/35.40 c =========================================================================================
738.76/35.40 c Solving part 1013
741.29/35.46 c N st 0 0 672 8654 1820 0 35293 1736 no data no data
754.00/35.85 c asymm cl-useful: 761/4252/8654 lits-rem:817 time: 0.39
757.19/35.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 34 Bins: 0 BRemL: 0 BRemN: 0 P: 2.4M T: 0.07
757.19/35.92 c Finding binary XORs T: 0.00 s found: 1
757.19/35.93 c Replacing 35 vars Replaced 3055 lits Time: 0.00 s
757.19/35.93 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
757.19/35.93 c calculated reachability. Time: 0.00
757.19/35.93 c Calc default polars - time: 0.00 s pos: 287 undec: 38612 neg: 252
757.19/35.93 c =========================================================================================
757.19/35.93 c types(t): F = full restart, N = normal restart
757.19/35.93 c types(t): S = simplification begin/end, E = solution found
757.19/35.93 c restart types(rt): st = static, dy = dynamic
757.19/35.93 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
757.19/35.93 c B st 0 0 637 8009 1791 0 31883 1732 no data no data
757.19/35.93 c E st 1 0 0 8009 1791 0 31883 1732 no data no data
757.19/35.93 c Verified 8009 clauses.
757.19/35.93 c Verified 8009 clauses.
757.19/35.93 c Solved part
757.19/35.93 c =========================================================================================
757.19/35.94 c Solving part 1522
757.19/36.00 c N st 0 0 833 4156 1057 0 18093 68 no data no data
760.34/36.09 c asymm cl-useful: 46/4156/4156 lits-rem:46 time: 0.09
763.49/36.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.03
763.49/36.12 c Finding binary XORs T: 0.00 s found: 0
763.49/36.13 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
763.49/36.13 c calculated reachability. Time: 0.00
763.49/36.13 c Calc default polars - time: 0.00 s pos: 288 undec: 38613 neg: 250
763.49/36.13 c =========================================================================================
763.49/36.13 c types(t): F = full restart, N = normal restart
763.49/36.13 c types(t): S = simplification begin/end, E = solution found
763.49/36.13 c restart types(rt): st = static, dy = dynamic
763.49/36.13 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
763.49/36.13 c B st 0 0 833 4156 1057 0 18047 68 no data no data
763.49/36.13 c E st 1 0 0 4156 1057 0 18047 68 no data no data
763.49/36.13 c Verified 4156 clauses.
763.49/36.13 c Verified 4156 clauses.
763.49/36.13 c Solved part
763.49/36.13 c =========================================================================================
763.49/36.13 c Solving part 1475
763.49/36.19 c N st 0 0 948 5035 1310 0 21705 172 no data no data
766.67/36.31 c asymm cl-useful: 142/5035/5035 lits-rem:157 time: 0.13
770.45/36.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.03
770.45/36.35 c Finding binary XORs T: 0.00 s found: 0
770.45/36.36 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
770.45/36.36 c calculated reachability. Time: 0.00
770.45/36.36 c Calc default polars - time: 0.00 s pos: 365 undec: 38451 neg: 335
770.45/36.36 c =========================================================================================
770.45/36.36 c types(t): F = full restart, N = normal restart
770.45/36.36 c types(t): S = simplification begin/end, E = solution found
770.45/36.36 c restart types(rt): st = static, dy = dynamic
770.45/36.36 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
770.45/36.36 c B st 0 0 948 5029 1316 0 21560 172 no data no data
770.45/36.36 c E st 1 0 0 5029 1316 0 21560 172 no data no data
770.45/36.36 c Verified 5029 clauses.
770.45/36.36 c Verified 5029 clauses.
770.45/36.36 c Solved part
770.45/36.36 c =========================================================================================
770.45/36.36 c Solving part 1459
770.45/36.41 c N st 0 0 952 4089 1098 0 17950 78 no data no data
773.68/36.49 c asymm cl-useful: 108/4089/4089 lits-rem:108 time: 0.08
776.26/36.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.03
776.26/36.52 c Finding binary XORs T: 0.00 s found: 0
776.26/36.53 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
776.26/36.53 c calculated reachability. Time: 0.00
776.26/36.53 c Calc default polars - time: 0.00 s pos: 215 undec: 38727 neg: 209
776.26/36.53 c =========================================================================================
776.26/36.53 c types(t): F = full restart, N = normal restart
776.26/36.53 c types(t): S = simplification begin/end, E = solution found
776.26/36.53 c restart types(rt): st = static, dy = dynamic
776.26/36.53 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
776.26/36.53 c B st 0 0 952 4089 1098 0 17842 78 no data no data
776.26/36.53 c E st 1 0 0 4089 1098 0 17842 78 no data no data
776.26/36.53 c Verified 4089 clauses.
776.26/36.53 c Verified 4089 clauses.
776.26/36.53 c Solved part
776.26/36.53 c =========================================================================================
776.26/36.53 c Solving part 1384
782.62/36.74 c N st 0 0 4867 163327 7358 13732 644753 149398 no data no data
785.82/36.84 c asymm cl-useful: 0/469/163327 lits-rem:0 time: 0.10
808.63/37.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 0 BRemL: 0 BRemN: 0 P: 64.1M T: 0.63
808.63/37.55 c Finding binary XORs T: 0.01 s found: 0
808.63/37.56 c Replacing 5 vars Replaced 1630 lits Time: 0.01 s
811.15/37.67 c Finding non-binary XORs: 0.10 s (found: 0, avg size: nan)
811.15/37.67 c calculated reachability. Time: 0.00
811.15/37.68 c Calc default polars - time: 0.01 s pos: 1317 undec: 36492 neg: 1342
811.15/37.68 c =========================================================================================
811.15/37.68 c types(t): F = full restart, N = normal restart
811.15/37.68 c types(t): S = simplification begin/end, E = solution found
811.15/37.68 c restart types(rt): st = static, dy = dynamic
811.15/37.68 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
811.15/37.68 c B st 0 0 4862 163312 7347 13584 644683 148082 no data no data
862.30/39.29 c N dy 9 4051 4862 163312 7349 17601 644683 203438 7.31 7.73
926.23/41.23 c N dy 28 9226 4860 163312 7364 22705 644682 265102 6.83 7.22
977.38/42.86 c N dy 45 13301 4860 163312 7366 26746 644679 315120 6.81 7.76
1031.72/44.57 c N dy 57 17670 4860 163312 7368 31094 644679 369887 6.72 7.15
1086.64/46.31 c N dy 81 21826 4860 163312 7373 18518 644678 169818 6.82 7.27
1127.60/47.55 c F st 99 25001 4860 163312 7374 21667 644678 209738 6.85 no data
1143.60/48.02 c N st 102 26188 4860 163312 7378 22843 644678 225100 6.85 no data
1192.14/49.52 c N dy 105 30193 4860 163312 7378 26828 644678 284966 6.85 no data
1242.68/51.12 c N dy 132 34199 4860 163312 7378 30811 644678 337214 6.91 7.36
1313.02/53.33 c N dy 144 38999 4859 163312 7391 35562 644678 394765 6.85 7.26
1364.17/54.97 c N dy 165 43006 4859 163312 7395 20764 644678 170558 6.86 7.60
1415.31/56.54 c N dy 183 47112 4859 163312 7399 24830 644678 223002 6.86 7.32
1469.66/58.24 c N dy 210 51195 4859 163312 7401 28888 644678 276696 6.91 7.28
1533.59/60.23 c N dy 230 55798 4858 163312 7412 33446 644678 335384 6.90 7.29
1594.32/62.14 c N dy 253 59827 4858 163312 7413 37446 644678 388577 6.93 7.35
1645.45/63.81 c N dy 270 63841 4858 163312 7416 21139 644678 155245 6.92 7.34
1706.18/65.65 c N dy 292 68648 4858 163312 7423 25898 644678 216759 6.92 7.35
1725.35/66.23 c Finding binary XORs T: 0.01 s found: 0
1766.91/67.60 c N dy 312 73218 4856 162420 7256 26156 641209 238171 6.91 7.31
1830.87/69.55 c N dy 334 78033 4854 162420 7267 30912 641208 297835 6.90 7.29
1910.77/72.03 c N dy 362 83274 4853 162420 7276 36113 641207 369745 6.92 7.30
1977.88/74.10 c F st 378 87500 4853 162420 7284 20889 641207 147605 6.91 5.63
1990.68/74.57 c N st 381 88690 4852 162420 7289 22063 641207 161971 6.91 no data
2067.41/76.93 c N dy 392 94631 4851 162420 7300 27963 641206 248409 6.91 7.28
2150.51/79.52 c N dy 440 100843 4851 162420 7301 34128 641205 337133 6.98 7.35
2240.03/82.31 c N dy 481 107409 4851 162420 7306 40635 641204 429988 7.01 7.38
2332.72/85.28 c N dy 514 114563 4850 162420 7311 26140 641203 197975 7.02 7.40
2438.22/88.59 c N dy 561 122433 4850 162420 7316 33960 641202 313871 7.05 7.51
2540.50/91.72 c Finding binary XORs T: 0.01 s found: 2
2546.90/91.99 c N dy 611 130379 4850 161229 7087 37274 636453 399500 7.09 7.47
2674.76/95.98 c N dy 663 138738 4848 161229 7096 24646 636453 182375 7.11 8.50
2818.58/100.49 c N dy 720 148228 4848 161229 7103 34066 636453 313984 7.14 7.57
2953.45/104.69 c N dy 782 157716 4848 161229 7108 43484 636453 450721 7.19 8.44
3103.08/109.33 c N dy 837 168070 4848 161229 7111 30407 636453 245643 7.21 7.63
3262.93/114.41 c N dy 890 178816 4847 161229 7120 41086 636453 399361 7.22 8.60
3435.55/119.78 c N dy 944 190310 4846 161229 7133 27404 636453 190726 7.23 8.95
3611.34/125.28 c N dy 1007 202545 4845 161229 7148 39552 636453 367705 7.24 7.65
3809.52/131.45 c N dy 1088 215608 4844 161229 7162 52531 636453 561886 7.27 7.68
3915.02/134.73 c Finding binary XORs T: 0.01 s found: 0
4008.34/137.63 c N dy 1179 229386 4844 160437 7081 37585 633462 348564 7.31 8.46
4237.88/144.89 c N dy 1275 244036 4843 160437 7089 52151 633462 566726 7.34 7.86
4474.40/152.27 c N dy 1360 259648 4842 160437 7102 41107 633462 368167 7.36 8.07
4730.14/160.25 c N dy 1462 276262 4842 160437 7107 29449 633462 184066 7.39 8.02
5021.03/169.30 c N dy 1597 293970 4841 160437 7112 47051 633462 458678 7.45 11.10
5232.02/176.01 c F st 1689 306252 4841 160437 7113 29767 633461 168807 7.49 no data
5341.27/179.40 c N dy 1708 312946 4841 160437 7114 36433 633461 281625 7.49 7.89
5682.70/190.04 c N dy 1842 332966 4841 160437 7119 56341 633461 589955 7.53 11.08
6024.75/200.74 c N dy 1969 353956 4840 160437 7131 46521 633461 414305 7.56 8.07
6385.95/212.06 c N dy 2068 374065 4837 160437 7154 34786 633461 219715 7.57 7.98
6424.31/213.27 c Finding binary XORs T: 0.01 s found: 2
6737.59/223.09 c N dy 2171 394966 4837 159426 7045 53814 629556 524458 7.57 7.98
7064.24/233.32 c N dy 2274 415175 4837 159426 7052 42005 629555 325199 7.59 7.99
7396.06/243.62 c N dy 2375 435188 4835 159426 7068 61879 629555 633404 7.59 8.00
7725.33/253.97 c N dy 2488 455328 4835 159426 7073 48580 629555 411776 7.61 8.05
8073.74/264.84 c N dy 2635 475680 4835 159426 7078 68810 629555 742455 7.64 8.13
8412.58/275.49 c N dy 2766 495734 4835 159426 7086 54199 629555 498425 7.66 8.27
8783.40/287.08 c N dy 2901 515775 4835 159426 7090 38450 629555 236496 7.68 8.94
9138.80/298.20 c N dy 3019 535834 4835 159426 7095 58411 629555 561128 7.70 8.50
9509.02/309.71 c N dy 3128 555972 4835 159426 7105 41701 629555 275490 7.71 8.12
9540.98/310.77 c Finding binary XORs T: 0.01 s found: 3
9857.41/320.65 c N dy 3254 576301 4835 159171 7074 61585 628526 602450 7.72 8.13
10225.04/332.14 c N dy 3343 596374 4835 159171 7087 43929 628526 301971 7.72 8.14
10583.66/343.35 c N dy 3464 616422 4835 159171 7091 63868 628525 624013 7.73 8.79
10918.69/353.84 c N dy 3586 637052 4835 159171 7096 46200 628524 320754 7.75 8.19
11286.89/365.38 c N dy 3684 658149 4834 159171 7106 67189 628524 658871 7.75 8.17
11670.46/377.36 c N dy 3788 678189 4830 159171 7122 48075 628524 342612 7.76 8.69
12031.09/388.65 c N dy 3886 698278 4830 159171 7133 68051 628523 659261 7.76 10.92
12392.32/399.96 c N dy 4010 718376 4824 159171 7143 48139 628523 315756 7.77 9.08
12705.56/409.77 c N dy 4117 738497 4824 159171 7147 68173 628523 651174 7.78 8.25
12890.98/415.60 c Finding binary XORs T: 0.01 s found: 13
13092.35/421.85 c N dy 4221 758547 4824 157481 6960 46560 621621 280347 7.78 8.73
13437.56/432.68 c N dy 4322 778788 4817 157481 6992 66656 621621 614122 7.78 8.20
13821.16/444.69 c N dy 4419 799133 4817 157481 6999 86896 621621 959386 7.79 8.21
14182.39/455.93 c N dy 4521 819268 4802 157481 7028 65228 621621 573228 7.79 8.20
14537.19/467.03 c Finding binary XORs T: 0.01 s found: 8
14543.59/467.28 c N dy 4634 839451 4802 152480 6828 79759 601331 855684 7.80 8.21
14905.41/478.58 c N dy 4747 861003 4802 152480 6839 61380 601331 529726 7.80 8.23
15269.19/489.97 c N dy 4837 881045 4800 152480 6859 81312 601331 865812 7.80 8.22
15636.81/501.42 c N dy 4956 901092 4800 152480 6862 57641 601330 425957 7.81 9.16
15998.62/512.72 c N dy 5048 921283 4792 152480 6887 77699 601330 772644 7.81 8.25
16164.23/517.94 c Finding binary XORs T: 0.01 s found: 12
16356.02/523.98 c N dy 5126 941823 4778 148285 6842 51547 584376 328025 7.80 8.25
16701.87/534.76 c N dy 5209 962051 4774 148285 6858 71637 584376 684132 7.80 8.21
17024.10/544.89 c Finding binary XORs T: 0.01 s found: 33
17027.29/544.99 c Replacing 73 vars Replaced 85452 lits Time: 0.11 s
17104.01/547.32 c N dy 5285 982160 4677 135834 6664 80239 535012 887083 7.79 8.27
17279.83/552.81 c Finding binary XORs T: 0.01 s found: 13
17391.71/556.39 c N dy 5333 1002233 4602 113064 6724 47178 446012 411148 7.78 8.21
17502.36/559.86 c Finding binary XORs T: 0.01 s found: 54
17502.36/559.89 c Replacing 67 vars Replaced 28329 lits Time: 0.03 s
17509.15/560.10 c E dy 5355 1010073 4300 81294 5997 25177 320553 192824 7.77 4.20
19003.54/730.24 c Following stats are for *FIRST FINISHED THREAD ONLY*
19003.54/730.24 c num threads : 32
19003.54/730.24 c restarts : 133
19003.54/730.24 c dynamic restarts : 127
19003.54/730.24 c static restarts : 6
19003.54/730.24 c full restarts : 0
19003.54/730.24 c total simplify time : 0.14
19003.54/730.24 c learnts DL2 : 0
19003.54/730.24 c learnts size 2 : 61369
19003.54/730.24 c learnts size 1 : 245 (0.63 % of vars)
19003.54/730.24 c filedLit time : 3.49 (0.49 % time)
19003.54/730.24 c v-elim SatELite : 2804 (7.16 % vars)
19003.54/730.24 c SatELite time : 0.67 (0.09 % time)
19003.54/730.24 c v-elim xor : 0 (0.00 % vars)
19003.54/730.24 c xor elim time : 0.00 (0.00 % time)
19003.54/730.24 c num binary xor trees : 15
19003.54/730.24 c binxor trees' crown : 95 (6.33 leafs/tree)
19003.54/730.24 c bin xor find time : 0.15
19003.54/730.24 c OTF clause improved : 177 (0.01 clauses/conflict)
19003.54/730.24 c OTF impr. size diff : 272 (1.54 lits/clause)
19003.54/730.24 c OTF cl watch-shrink : 16758 (0.67 clauses/conflict)
19003.54/730.24 c OTF cl watch-sh-lit : 39370 (2.35 lits/clause)
19003.54/730.24 c tried to recurMin cls : 4472 (17.89 % of conflicts)
19003.54/730.24 c updated cache : 0 (0.00 lits/tried recurMin)
19003.54/730.24 c unit cls recevied : 5 (2.04 % of units)
19003.54/730.24 c unit cls sent : 0 (0.00 % of units)
19003.54/730.24 c bin cls recevied : 4740
19003.54/730.24 c bin cls sent : 16
19003.54/730.24 c clauses over max glue : 0 (0.00 % of all clauses)
19003.54/730.24 c conflicts : 25002 (35.04 / sec)
19003.54/730.24 c decisions : 30920 (0.00 % random)
19003.54/730.24 c bogo-props : 1476201714 (2069081.39 / sec)
19003.54/730.24 c conflict literals : 308141 (55.83 % deleted)
19003.54/730.24 c Memory used : 8719.62 MB
19003.54/730.24 c single-thread CPU time : 713.46 s
19003.54/730.24 c all-threads sum CPU time : 18931.86 s
19003.54/730.24 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-3400798-1306788670/watcher-3400798-1306788670 -o /tmp/evaluation-result-3400798-1306788670/solver-3400798-1306788670 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400798-1306788670.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: 8.17 22.44 25.61 2/413 20251
/proc/meminfo: memFree=263616956/264257624 swapFree=67044744/67111528
[pid=20251] ppid=20249 vsize=338000 CPUtime=0.86 cores=0-31
/proc/20251/stat : 20251 (strangenight2-m) R 20249 20251 20225 0 -1 4202496 436 0 0 0 86 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20251/statm: 84500 377 297 95 0 79482 0
[pid=20251/tid=20252] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20252/stat : 20252 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129320 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20251/tid=20253] ppid=20249 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20251/task/20253/stat : 20253 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129324 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20251/tid=20254] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20254/stat : 20254 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20251/tid=20255] ppid=20249 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20251/task/20255/stat : 20255 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20251/tid=20256] ppid=20249 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20251/task/20256/stat : 20256 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20251/tid=20257] ppid=20249 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20251/task/20257/stat : 20257 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129328 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20251/tid=20258] ppid=20249 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20251/task/20258/stat : 20258 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20251/tid=20259] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20259/stat : 20259 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20251/tid=20260] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20260/stat : 20260 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20251/tid=20261] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20261/stat : 20261 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20251/tid=20262] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20262/stat : 20262 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20251/tid=20263] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20263/stat : 20263 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129324 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20251/tid=20264] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20264/stat : 20264 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20251/tid=20265] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20265/stat : 20265 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20251/tid=20266] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20266/stat : 20266 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20251/tid=20267] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20267/stat : 20267 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20251/tid=20268] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20268/stat : 20268 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=20251/tid=20269] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20269/stat : 20269 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20251/tid=20270] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20270/stat : 20270 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=20251/tid=20271] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20271/stat : 20271 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20251/tid=20272] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20272/stat : 20272 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129324 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=20251/tid=20273] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20273/stat : 20273 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=20251/tid=20274] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20274/stat : 20274 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129324 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=20251/tid=20275] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20275/stat : 20275 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=20251/tid=20276] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20276/stat : 20276 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129320 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20251/tid=20277] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20277/stat : 20277 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129324 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20251/tid=20278] ppid=20249 vsize=338000 CPUtime=0.03 cores=0-31
/proc/20251/task/20278/stat : 20278 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20251/tid=20279] ppid=20249 vsize=338000 CPUtime=0 cores=0-31
/proc/20251/task/20279/stat : 20279 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20251/tid=20280] ppid=20249 vsize=338000 CPUtime=0.01 cores=0-31
/proc/20251/task/20280/stat : 20280 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129324 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20251/tid=20281] ppid=20249 vsize=338000 CPUtime=0 cores=0-31
/proc/20251/task/20281/stat : 20281 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20251/tid=20282] ppid=20249 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20251/task/20282/stat : 20282 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4833102 346112000 377 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330129330 0 0 4096 2 0 0 0 -1 30 0 0 0
[startup+0.108313 s]
/proc/loadavg: 8.17 22.44 25.61 2/413 20251
/proc/meminfo: memFree=263616956/264257624 swapFree=67044744/67111528
[pid=20251] ppid=20249 vsize=338000 CPUtime=3.12 cores=0-31
/proc/20251/stat : 20251 (strangenight2-m) D 20249 20251 20225 0 -1 4202496 576 0 0 0 312 0 0 0 22 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 4329632 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/20251/statm: 84500 448 307 95 0 79482 0
[pid=20251/tid=20252] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20252/stat : 20252 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 23 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446744071566926624 0 0 -1 1 0 0 0
[pid=20251/tid=20253] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20253/stat : 20253 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 8 0 0 0 10 0 0 0 23 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604450663144928 0 0 -1 16 0 0 0
[pid=20251/tid=20254] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20254/stat : 20254 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 20 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 4329632 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20251/tid=20255] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20255/stat : 20255 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 19 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604493656636896 0 0 -1 12 0 0 0
[pid=20251/tid=20256] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20256/stat : 20256 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 20 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604552234360288 0 0 -1 8 0 0 0
[pid=20251/tid=20257] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20257/stat : 20257 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 19 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604454436273632 0 0 -1 4 0 0 0
[pid=20251/tid=20258] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20258/stat : 20258 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 3 0 0 0 10 0 0 0 20 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604450167922144 0 0 -1 20 0 0 0
[pid=20251/tid=20259] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20259/stat : 20259 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 21 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604485363973600 0 0 -1 5 0 0 0
[pid=20251/tid=20260] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20260/stat : 20260 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 20 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604449504452064 0 0 -1 2 0 0 0
[pid=20251/tid=20261] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20261/stat : 20261 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 4 0 0 0 10 0 0 0 21 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604458938146272 0 0 -1 6 0 0 0
[pid=20251/tid=20262] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20262/stat : 20262 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 21 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604452117790176 0 0 -1 3 0 0 0
[pid=20251/tid=20263] ppid=20249 vsize=338000 CPUtime=0.1 cores=0-31
/proc/20251/task/20263/stat : 20263 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 21 0 32 0 4833102 346112000 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604453708430816 0 0 -1 9 0 0 0
[pid=20251/tid=20264] ppid=20249 vsize=469072 CPUtime=0.1 cores=0-31
/proc/20251/task/20264/stat : 20264 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 21 0 32 0 4833102 480329728 448 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604472221949408 0 0 -1 10 0 0 0
[pid=20251/tid=20265] ppid=20249 vsize=447228 CPUtime=0.1 cores=0-31
/proc/20251/task/20265/stat : 20265 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 3 0 0 0 10 0 0 0 21 0 32 0 4833102 457961472 449 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604502261923296 0 0 -1 7 0 0 0
[pid=20251/tid=20266] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20266/stat : 20266 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 22 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604499250200032 0 0 -1 13 0 0 0
[pid=20251/tid=20267] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20267/stat : 20267 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 6 0 0 0 10 0 0 0 22 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20251/tid=20268] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20268/stat : 20268 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 4 0 0 0 10 0 0 0 21 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604497495301600 0 0 -1 11 0 0 0
[pid=20251/tid=20269] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20269/stat : 20269 (strangenight2-m) D 20249 20251 20225 0 -1 4202560 7 0 0 0 10 0 0 0 22 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 4228112 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20251/tid=20270] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20270/stat : 20270 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 6 0 0 0 10 0 0 0 22 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604449675173344 0 0 -1 18 0 0 0
[pid=20251/tid=20271] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20271/stat : 20271 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 4 0 0 0 10 0 0 0 22 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604504146288096 0 0 -1 15 0 0 0
[pid=20251/tid=20272] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20272/stat : 20272 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 4 0 0 0 10 0 0 0 22 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604455441128928 0 0 -1 21 0 0 0
[pid=20251/tid=20273] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20273/stat : 20273 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 23 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604458606304736 0 0 -1 22 0 0 0
[pid=20251/tid=20274] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20274/stat : 20274 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 23 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604456122654176 0 0 -1 19 0 0 0
[pid=20251/tid=20275] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20275/stat : 20275 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 6 0 0 0 10 0 0 0 23 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604447059533280 0 0 -1 25 0 0 0
[pid=20251/tid=20276] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20276/stat : 20276 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 10 0 0 0 22 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604451708501472 0 0 -1 26 0 0 0
[pid=20251/tid=20277] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20277/stat : 20277 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 6 0 0 0 10 0 0 0 23 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604449013939680 0 0 -1 23 0 0 0
[pid=20251/tid=20278] ppid=20249 vsize=403536 CPUtime=0.1 cores=0-31
/proc/20251/task/20278/stat : 20278 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 3 0 0 0 10 0 0 0 23 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604506205429216 0 0 -1 28 0 0 0
[pid=20251/tid=20279] ppid=20249 vsize=403536 CPUtime=0 cores=0-31
/proc/20251/task/20279/stat : 20279 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 3 0 0 0 0 0 0 0 23 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604497062903264 0 0 -1 28 0 0 0
[pid=20251/tid=20280] ppid=20249 vsize=403536 CPUtime=0.08 cores=0-31
/proc/20251/task/20280/stat : 20280 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 3 0 0 0 8 0 0 0 24 0 32 0 4833102 413220864 450 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604487090388448 0 0 -1 0 0 0 0
[pid=20251/tid=20281] ppid=20249 vsize=403536 CPUtime=0.06 cores=0-31
/proc/20251/task/20281/stat : 20281 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 6 0 0 0 6 0 0 0 24 0 32 0 4833102 413220864 454 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604468305714656 0 0 -1 15 0 0 0
[pid=20251/tid=20282] ppid=20249 vsize=403536 CPUtime=0.09 cores=0-31
/proc/20251/task/20282/stat : 20282 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 5 0 0 0 9 0 0 0 24 0 32 0 4833102 413220864 460 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604453984452064 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 338000
[startup+0.203044 s]
/proc/loadavg: 8.17 22.44 25.61 2/413 20251
/proc/meminfo: memFree=263616956/264257624 swapFree=67044744/67111528
[pid=20251] ppid=20249 vsize=1395832 CPUtime=4.31 cores=0-31
/proc/20251/stat : 20251 (strangenight2-m) S 20249 20251 20225 0 -1 4202496 16271 0 0 0 326 105 0 0 17 0 32 0 4833102 1429331968 15508 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/20251/statm: 348958 15525 332 95 0 343940 0
[pid=20251/tid=20252] ppid=20249 vsize=1395832 CPUtime=0.14 cores=0-31
/proc/20251/task/20252/stat : 20252 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 587 0 0 0 11 3 0 0 17 0 32 0 4833102 1429331968 15547 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446744071566933864 0 0 -1 1 0 0 0
[pid=20251/tid=20253] ppid=20249 vsize=1396016 CPUtime=0.13 cores=0-31
/proc/20251/task/20253/stat : 20253 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 521 0 0 0 10 3 0 0 17 0 32 0 4833102 1429520384 15553 268435456000 4194304 4580107 140737403082240 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20251/tid=20254] ppid=20249 vsize=1396016 CPUtime=0.14 cores=0-31
/proc/20251/task/20254/stat : 20254 (strangenight2-m) D 20249 20251 20225 0 -1 4202560 665 0 0 0 10 4 0 0 18 0 32 0 4833102 1429520384 15559 268435456000 4194304 4580107 140737403082240 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20251/tid=20255] ppid=20249 vsize=1396016 CPUtime=0.13 cores=0-31
/proc/20251/task/20255/stat : 20255 (strangenight2-m) D 20249 20251 20225 0 -1 4202560 362 0 0 0 11 2 0 0 17 0 32 0 4833102 1429520384 15613 268435456000 4194304 4580107 140737403082240 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20251/tid=20256] ppid=20249 vsize=1396016 CPUtime=0.14 cores=0-31
/proc/20251/task/20256/stat : 20256 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 622 0 0 0 10 4 0 0 18 0 32 0 4833102 1429520384 15632 268435456000 4194304 4580107 140737403082240 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20251/tid=20257] ppid=20249 vsize=1396016 CPUtime=0.14 cores=0-31
/proc/20251/task/20257/stat : 20257 (strangenight2-m) D 20249 20251 20225 0 -1 4202560 667 0 0 0 10 4 0 0 18 0 32 0 4833102 1429520384 15636 268435456000 4194304 4580107 140737403082240 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20251/tid=20258] ppid=20249 vsize=1396016 CPUtime=0.14 cores=0-31
/proc/20251/task/20258/stat : 20258 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 632 0 0 0 10 4 0 0 17 0 32 0 4833102 1429520384 15657 268435456000 4194304 4580107 140737403082240 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20251/tid=20259] ppid=20249 vsize=1396208 CPUtime=0.15 cores=0-31
/proc/20251/task/20259/stat : 20259 (strangenight2-m) D 20249 20251 20225 0 -1 4202560 726 0 0 0 11 4 0 0 18 0 32 0 4833102 1429716992 15684 268435456000 4194304 4580107 140737403082240 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20251/tid=20260] ppid=20249 vsize=1396208 CPUtime=0.15 cores=0-31
/proc/20251/task/20260/stat : 20260 (strangenight2-m) D 20249 20251 20225 0 -1 4202560 715 0 0 0 11 4 0 0 17 0 32 0 4833102 1429716992 15684 268435456000 4194304 4580107 140737403082240 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20251/tid=20261] ppid=20249 vsize=1396208 CPUtime=0.11 cores=0-31
/proc/20251/task/20261/stat : 20261 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 280 0 0 0 10 1 0 0 17 0 32 0 4833102 1429716992 15699 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446744071566933264 0 0 -1 6 0 0 0
[pid=20251/tid=20262] ppid=20249 vsize=1396208 CPUtime=0.12 cores=0-31
/proc/20251/task/20262/stat : 20262 (strangenight2-m) D 20249 20251 20225 0 -1 4202560 391 0 0 0 10 2 0 0 17 0 32 0 4833102 1429716992 15702 268435456000 4194304 4580107 140737403082240 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20251/tid=20263] ppid=20249 vsize=1396208 CPUtime=0.14 cores=0-31
/proc/20251/task/20263/stat : 20263 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 543 0 0 0 11 3 0 0 17 0 32 0 4833102 1429716992 15716 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604453708430816 0 0 -1 9 0 0 0
[pid=20251/tid=20264] ppid=20249 vsize=1396208 CPUtime=0.12 cores=0-31
/proc/20251/task/20264/stat : 20264 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 291 0 0 0 10 2 0 0 17 0 32 0 4833102 1429716992 15724 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604506205429216 0 0 -1 10 0 0 0
[pid=20251/tid=20265] ppid=20249 vsize=1461744 CPUtime=0.12 cores=0-31
/proc/20251/task/20265/stat : 20265 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 268 0 0 0 10 2 0 0 17 0 32 0 4833102 1496825856 15735 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446744071566930304 0 0 -1 7 0 0 0
[pid=20251/tid=20266] ppid=20249 vsize=1461744 CPUtime=0.12 cores=0-31
/proc/20251/task/20266/stat : 20266 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 446 0 0 0 10 2 0 0 17 0 32 0 4833102 1496825856 15742 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446744071566931864 0 0 -1 13 0 0 0
[pid=20251/tid=20267] ppid=20249 vsize=1396400 CPUtime=0.12 cores=0-31
/proc/20251/task/20267/stat : 20267 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 341 0 0 0 10 2 0 0 17 0 32 0 4833102 1429913600 15762 268435456000 4194304 4580107 140737403082240 18446744073709551615 258651060958 0 0 4096 2 18446604454834724320 0 0 -1 14 0 0 0
[pid=20251/tid=20268] ppid=20249 vsize=1527472 CPUtime=0.13 cores=0-31
################
# More data... #
################
[pid=20251/tid=20281] ppid=20249 vsize=8928884 CPUtime=599.54 cores=0-31
/proc/20251/task/20281/stat : 20281 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 112407 0 0 0 59722 232 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604487090388448 0 0 -1 24 0 0 0
[pid=20251/tid=20282] ppid=20249 vsize=8928884 CPUtime=721.18 cores=0-31
/proc/20251/task/20282/stat : 20282 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 114484 0 0 0 71961 157 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 18995.9
Current children cumulated vsize (KiB) 8928884
[startup+728.002 s]
/proc/loadavg: 5.76 20.76 25.19 3/445 20316
/proc/meminfo: memFree=257446180/264257624 swapFree=67044744/67111528
[pid=20251] ppid=20249 vsize=8928884 CPUtime=18999.1 cores=0-31
/proc/20251/stat : 20251 (strangenight2-m) S 20249 20251 20225 0 -1 4202496 3440127 0 0 0 1892736 7178 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/20251/statm: 2232221 1539970 379 95 0 2227203 0
[pid=20251/tid=20252] ppid=20249 vsize=8928884 CPUtime=591.75 cores=0-31
/proc/20251/task/20252/stat : 20252 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 105423 0 0 0 58939 236 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604502261923296 0 0 -1 18 0 0 0
[pid=20251/tid=20253] ppid=20249 vsize=8928884 CPUtime=604.96 cores=0-31
/proc/20251/task/20253/stat : 20253 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 128571 0 0 0 60265 231 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604454834724320 0 0 -1 10 0 0 0
[pid=20251/tid=20254] ppid=20249 vsize=8928884 CPUtime=600.02 cores=0-31
/proc/20251/task/20254/stat : 20254 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 97508 0 0 0 59777 225 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604453708430816 0 0 -1 12 0 0 0
[pid=20251/tid=20255] ppid=20249 vsize=8928884 CPUtime=559.42 cores=0-31
/proc/20251/task/20255/stat : 20255 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 125460 0 0 0 55720 222 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604458938146272 0 0 -1 24 0 0 0
[pid=20251/tid=20256] ppid=20249 vsize=8928884 CPUtime=610.07 cores=0-31
/proc/20251/task/20256/stat : 20256 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 87166 0 0 0 60801 206 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449013939680 0 0 -1 10 0 0 0
[pid=20251/tid=20257] ppid=20249 vsize=8928884 CPUtime=604.69 cores=0-31
/proc/20251/task/20257/stat : 20257 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 89803 0 0 0 60263 206 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604451708501472 0 0 -1 21 0 0 0
[pid=20251/tid=20258] ppid=20249 vsize=8928884 CPUtime=612.35 cores=0-31
/proc/20251/task/20258/stat : 20258 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 126751 0 0 0 61014 221 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604450167922144 0 0 -1 27 0 0 0
[pid=20251/tid=20259] ppid=20249 vsize=8928884 CPUtime=595.04 cores=0-31
/proc/20251/task/20259/stat : 20259 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 124532 0 0 0 59256 248 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604450663144928 0 0 -1 19 0 0 0
[pid=20251/tid=20260] ppid=20249 vsize=8928884 CPUtime=550.66 cores=0-31
/proc/20251/task/20260/stat : 20260 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 122457 0 0 0 54814 252 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604552234360288 0 0 -1 26 0 0 0
[pid=20251/tid=20261] ppid=20249 vsize=8928884 CPUtime=563.35 cores=0-31
/proc/20251/task/20261/stat : 20261 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 82747 0 0 0 56115 220 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449675173344 0 0 -1 18 0 0 0
[pid=20251/tid=20262] ppid=20249 vsize=8928884 CPUtime=577.02 cores=0-31
/proc/20251/task/20262/stat : 20262 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 126156 0 0 0 57494 208 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604468305714656 0 0 -1 6 0 0 0
[pid=20251/tid=20263] ppid=20249 vsize=8928884 CPUtime=713.69 cores=0-31
/proc/20251/task/20263/stat : 20263 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 99972 0 0 0 71121 248 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330104363 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20251/tid=20264] ppid=20249 vsize=8928884 CPUtime=602.6 cores=0-31
/proc/20251/task/20264/stat : 20264 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 91643 0 0 0 60063 197 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604497610407392 0 0 -1 25 0 0 0
[pid=20251/tid=20265] ppid=20249 vsize=8928884 CPUtime=581.5 cores=0-31
/proc/20251/task/20265/stat : 20265 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 119072 0 0 0 57946 204 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604455441128928 0 0 -1 5 0 0 0
[pid=20251/tid=20266] ppid=20249 vsize=8928884 CPUtime=586.81 cores=0-31
/proc/20251/task/20266/stat : 20266 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 94407 0 0 0 58466 215 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604461204102624 0 0 -1 22 0 0 0
[pid=20251/tid=20267] ppid=20249 vsize=8928884 CPUtime=601.79 cores=0-31
/proc/20251/task/20267/stat : 20267 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 109146 0 0 0 59973 206 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604456122654176 0 0 -1 23 0 0 0
[pid=20251/tid=20268] ppid=20249 vsize=8928884 CPUtime=589.93 cores=0-31
/proc/20251/task/20268/stat : 20268 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 114599 0 0 0 58771 222 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449504452064 0 0 -1 13 0 0 0
[pid=20251/tid=20269] ppid=20249 vsize=8928884 CPUtime=574.68 cores=0-31
/proc/20251/task/20269/stat : 20269 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 115602 0 0 0 57239 229 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604453984452064 0 0 -1 7 0 0 0
[pid=20251/tid=20270] ppid=20249 vsize=8928884 CPUtime=591.14 cores=0-31
/proc/20251/task/20270/stat : 20270 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 114388 0 0 0 58887 227 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604493656636896 0 0 -1 29 0 0 0
[pid=20251/tid=20271] ppid=20249 vsize=8928884 CPUtime=604.09 cores=0-31
/proc/20251/task/20271/stat : 20271 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 108570 0 0 0 60200 209 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604472221949408 0 0 -1 6 0 0 0
[pid=20251/tid=20272] ppid=20249 vsize=8928884 CPUtime=626.34 cores=0-31
/proc/20251/task/20272/stat : 20272 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 77259 0 0 0 62416 218 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604462604926432 0 0 -1 10 0 0 0
[pid=20251/tid=20273] ppid=20249 vsize=8928884 CPUtime=544.45 cores=0-31
/proc/20251/task/20273/stat : 20273 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 114944 0 0 0 54207 238 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446744071566927424 0 0 -1 20 0 0 0
[pid=20251/tid=20274] ppid=20249 vsize=8928884 CPUtime=579.39 cores=0-31
/proc/20251/task/20274/stat : 20274 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 102867 0 0 0 57677 262 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604506205429216 0 0 -1 9 0 0 0
[pid=20251/tid=20275] ppid=20249 vsize=8928884 CPUtime=573.55 cores=0-31
/proc/20251/task/20275/stat : 20275 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 103959 0 0 0 57120 235 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449283390944 0 0 -1 30 0 0 0
[pid=20251/tid=20276] ppid=20249 vsize=8928884 CPUtime=573.77 cores=0-31
/proc/20251/task/20276/stat : 20276 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 117762 0 0 0 57172 205 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604504146288096 0 0 -1 6 0 0 0
[pid=20251/tid=20277] ppid=20249 vsize=8928884 CPUtime=569.49 cores=0-31
/proc/20251/task/20277/stat : 20277 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 95673 0 0 0 56723 226 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604497495301600 0 0 -1 1 0 0 0
[pid=20251/tid=20278] ppid=20249 vsize=8928884 CPUtime=593.98 cores=0-31
/proc/20251/task/20278/stat : 20278 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 108273 0 0 0 59160 238 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604497062903264 0 0 -1 15 0 0 0
[pid=20251/tid=20279] ppid=20249 vsize=8928884 CPUtime=562.23 cores=0-31
/proc/20251/task/20279/stat : 20279 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 91233 0 0 0 56019 204 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604454436273632 0 0 -1 14 0 0 0
[pid=20251/tid=20280] ppid=20249 vsize=8928884 CPUtime=591.47 cores=0-31
/proc/20251/task/20280/stat : 20280 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 97722 0 0 0 58904 243 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604458606304736 0 0 -1 29 0 0 0
[pid=20251/tid=20281] ppid=20249 vsize=8928884 CPUtime=599.54 cores=0-31
/proc/20251/task/20281/stat : 20281 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 112407 0 0 0 59722 232 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604487090388448 0 0 -1 24 0 0 0
[pid=20251/tid=20282] ppid=20249 vsize=8928884 CPUtime=722.78 cores=0-31
/proc/20251/task/20282/stat : 20282 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 114484 0 0 0 72121 157 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 18999.1
Current children cumulated vsize (KiB) 8928884
[startup+729.602 s]
/proc/loadavg: 5.76 20.76 25.19 3/445 20316
/proc/meminfo: memFree=257446288/264257624 swapFree=67044744/67111528
[pid=20251] ppid=20249 vsize=8928884 CPUtime=19002.3 cores=0-31
/proc/20251/stat : 20251 (strangenight2-m) S 20249 20251 20225 0 -1 4202496 3440127 0 0 0 1893056 7178 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/20251/statm: 2232221 1539970 379 95 0 2227203 0
[pid=20251/tid=20252] ppid=20249 vsize=8928884 CPUtime=591.75 cores=0-31
/proc/20251/task/20252/stat : 20252 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 105423 0 0 0 58939 236 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604502261923296 0 0 -1 18 0 0 0
[pid=20251/tid=20253] ppid=20249 vsize=8928884 CPUtime=604.96 cores=0-31
/proc/20251/task/20253/stat : 20253 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 128571 0 0 0 60265 231 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604454834724320 0 0 -1 10 0 0 0
[pid=20251/tid=20254] ppid=20249 vsize=8928884 CPUtime=600.02 cores=0-31
/proc/20251/task/20254/stat : 20254 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 97508 0 0 0 59777 225 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604453708430816 0 0 -1 12 0 0 0
[pid=20251/tid=20255] ppid=20249 vsize=8928884 CPUtime=559.42 cores=0-31
/proc/20251/task/20255/stat : 20255 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 125460 0 0 0 55720 222 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604458938146272 0 0 -1 24 0 0 0
[pid=20251/tid=20256] ppid=20249 vsize=8928884 CPUtime=610.07 cores=0-31
/proc/20251/task/20256/stat : 20256 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 87166 0 0 0 60801 206 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449013939680 0 0 -1 10 0 0 0
[pid=20251/tid=20257] ppid=20249 vsize=8928884 CPUtime=604.69 cores=0-31
/proc/20251/task/20257/stat : 20257 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 89803 0 0 0 60263 206 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604451708501472 0 0 -1 21 0 0 0
[pid=20251/tid=20258] ppid=20249 vsize=8928884 CPUtime=612.35 cores=0-31
/proc/20251/task/20258/stat : 20258 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 126751 0 0 0 61014 221 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604450167922144 0 0 -1 27 0 0 0
[pid=20251/tid=20259] ppid=20249 vsize=8928884 CPUtime=595.04 cores=0-31
/proc/20251/task/20259/stat : 20259 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 124532 0 0 0 59256 248 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604450663144928 0 0 -1 19 0 0 0
[pid=20251/tid=20260] ppid=20249 vsize=8928884 CPUtime=550.66 cores=0-31
/proc/20251/task/20260/stat : 20260 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 122457 0 0 0 54814 252 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604552234360288 0 0 -1 26 0 0 0
[pid=20251/tid=20261] ppid=20249 vsize=8928884 CPUtime=563.35 cores=0-31
/proc/20251/task/20261/stat : 20261 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 82747 0 0 0 56115 220 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449675173344 0 0 -1 18 0 0 0
[pid=20251/tid=20262] ppid=20249 vsize=8928884 CPUtime=577.02 cores=0-31
/proc/20251/task/20262/stat : 20262 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 126156 0 0 0 57494 208 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604468305714656 0 0 -1 6 0 0 0
[pid=20251/tid=20263] ppid=20249 vsize=8928884 CPUtime=715.29 cores=0-31
/proc/20251/task/20263/stat : 20263 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 99972 0 0 0 71281 248 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330104516 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20251/tid=20264] ppid=20249 vsize=8928884 CPUtime=602.6 cores=0-31
/proc/20251/task/20264/stat : 20264 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 91643 0 0 0 60063 197 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604497610407392 0 0 -1 25 0 0 0
[pid=20251/tid=20265] ppid=20249 vsize=8928884 CPUtime=581.5 cores=0-31
/proc/20251/task/20265/stat : 20265 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 119072 0 0 0 57946 204 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604455441128928 0 0 -1 5 0 0 0
[pid=20251/tid=20266] ppid=20249 vsize=8928884 CPUtime=586.81 cores=0-31
/proc/20251/task/20266/stat : 20266 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 94407 0 0 0 58466 215 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604461204102624 0 0 -1 22 0 0 0
[pid=20251/tid=20267] ppid=20249 vsize=8928884 CPUtime=601.79 cores=0-31
/proc/20251/task/20267/stat : 20267 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 109146 0 0 0 59973 206 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604456122654176 0 0 -1 23 0 0 0
[pid=20251/tid=20268] ppid=20249 vsize=8928884 CPUtime=589.93 cores=0-31
/proc/20251/task/20268/stat : 20268 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 114599 0 0 0 58771 222 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449504452064 0 0 -1 13 0 0 0
[pid=20251/tid=20269] ppid=20249 vsize=8928884 CPUtime=574.68 cores=0-31
/proc/20251/task/20269/stat : 20269 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 115602 0 0 0 57239 229 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604453984452064 0 0 -1 7 0 0 0
[pid=20251/tid=20270] ppid=20249 vsize=8928884 CPUtime=591.14 cores=0-31
/proc/20251/task/20270/stat : 20270 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 114388 0 0 0 58887 227 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604493656636896 0 0 -1 29 0 0 0
[pid=20251/tid=20271] ppid=20249 vsize=8928884 CPUtime=604.09 cores=0-31
/proc/20251/task/20271/stat : 20271 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 108570 0 0 0 60200 209 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604472221949408 0 0 -1 6 0 0 0
[pid=20251/tid=20272] ppid=20249 vsize=8928884 CPUtime=626.34 cores=0-31
/proc/20251/task/20272/stat : 20272 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 77259 0 0 0 62416 218 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604462604926432 0 0 -1 10 0 0 0
[pid=20251/tid=20273] ppid=20249 vsize=8928884 CPUtime=544.45 cores=0-31
/proc/20251/task/20273/stat : 20273 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 114944 0 0 0 54207 238 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446744071566927424 0 0 -1 20 0 0 0
[pid=20251/tid=20274] ppid=20249 vsize=8928884 CPUtime=579.39 cores=0-31
/proc/20251/task/20274/stat : 20274 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 102867 0 0 0 57677 262 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604506205429216 0 0 -1 9 0 0 0
[pid=20251/tid=20275] ppid=20249 vsize=8928884 CPUtime=573.55 cores=0-31
/proc/20251/task/20275/stat : 20275 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 103959 0 0 0 57120 235 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604449283390944 0 0 -1 30 0 0 0
[pid=20251/tid=20276] ppid=20249 vsize=8928884 CPUtime=573.77 cores=0-31
/proc/20251/task/20276/stat : 20276 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 117762 0 0 0 57172 205 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604504146288096 0 0 -1 6 0 0 0
[pid=20251/tid=20277] ppid=20249 vsize=8928884 CPUtime=569.49 cores=0-31
/proc/20251/task/20277/stat : 20277 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 95673 0 0 0 56723 226 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604497495301600 0 0 -1 1 0 0 0
[pid=20251/tid=20278] ppid=20249 vsize=8928884 CPUtime=593.98 cores=0-31
/proc/20251/task/20278/stat : 20278 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 108273 0 0 0 59160 238 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604497062903264 0 0 -1 15 0 0 0
[pid=20251/tid=20279] ppid=20249 vsize=8928884 CPUtime=562.23 cores=0-31
/proc/20251/task/20279/stat : 20279 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 91233 0 0 0 56019 204 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604454436273632 0 0 -1 14 0 0 0
[pid=20251/tid=20280] ppid=20249 vsize=8928884 CPUtime=591.47 cores=0-31
/proc/20251/task/20280/stat : 20280 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 97722 0 0 0 58904 243 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604458606304736 0 0 -1 29 0 0 0
[pid=20251/tid=20281] ppid=20249 vsize=8928884 CPUtime=599.54 cores=0-31
/proc/20251/task/20281/stat : 20281 (strangenight2-m) S 20249 20251 20225 0 -1 4202560 112407 0 0 0 59722 232 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 47780330128948 0 0 4096 2 18446604487090388448 0 0 -1 24 0 0 0
[pid=20251/tid=20282] ppid=20249 vsize=8928884 CPUtime=724.38 cores=0-31
/proc/20251/task/20282/stat : 20282 (strangenight2-m) R 20249 20251 20225 0 -1 4202560 114484 0 0 0 72281 157 0 0 25 0 32 0 4833102 9143177216 1539970 268435456000 4194304 4580107 140737403082240 18446744073709551615 4294598 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 19002.3
Current children cumulated vsize (KiB) 8928884
[startup+730.401 s]
/proc/loadavg: 5.76 20.76 25.19 2/415 20316
/proc/meminfo: memFree=259365256/264257624 swapFree=67044744/67111528
[pid=20251] ppid=20249 vsize=0 CPUtime=19003.8 cores=0-31
/proc/20251/stat : 20251 (strangenight2-m) Z 20249 20251 20225 0 -1 4203548 3440131 0 0 0 1893185 7198 0 0 18 0 2 0 4833102 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/20251/statm: 0 0 0 0 0 0 0
[pid=20251/tid=20280] ppid=20249 vsize=0 CPUtime=591.65 cores=0-31
/proc/20251/task/20280/stat : 20280 (strangenight2-m) R 20249 20251 20225 0 -1 4203588 97722 0 0 0 58904 261 0 0 18 0 2 0 4833102 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 19003.8
Current children cumulated vsize (KiB) 0
[startup+730.6 s]
/proc/loadavg: 5.76 20.76 25.19 2/415 20316
/proc/meminfo: memFree=259365256/264257624 swapFree=67044744/67111528
[pid=20251] ppid=20249 vsize=0 CPUtime=19004 cores=0-31
/proc/20251/stat : 20251 (strangenight2-m) Z 20249 20251 20225 0 -1 4203548 3440131 0 0 0 1893185 7215 0 0 18 0 2 0 4833102 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 19 0 0 0
/proc/20251/statm: 0 0 0 0 0 0 0
[pid=20251/tid=20280] ppid=20249 vsize=0 CPUtime=591.82 cores=0-31
/proc/20251/task/20280/stat : 20280 (strangenight2-m) R 20249 20251 20225 0 -1 4203588 97722 0 0 0 58904 278 0 0 18 0 2 0 4833102 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 19004
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 730.697
CPU time (s): 19004.1
CPU user time (s): 18931.9
CPU system time (s): 72.25
CPU usage (%): 2600.82
Max. virtual memory (cumulated for all children) (KiB): 9861720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18931.9
system time used= 72.25
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3440131
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= 2798235
involuntary context switches= 106586
runsolver used 5.04023 second user time and 17.7843 second system time
The end
Begin job on node200 at 2011-05-30 22:51:11
IDJOB=3400798
IDBENCH=82502
IDSOLVER=1886
FILE ID=node200/3400798-1306788670
RUNJOBID= node200-1306788670-20239
PBS_JOBID= 13470329
Free space on /tmp= 61568 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_3b_unknown.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400798-1306788670/watcher-3400798-1306788670 -o /tmp/evaluation-result-3400798-1306788670/solver-3400798-1306788670 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400798-1306788670.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= b8621ec1841e055a001ab32c33f2b68c
RANDOM SEED=1305700017
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: 263617244 kB
Buffers: 61472 kB
Cached: 389484 kB
SwapCached: 29884 kB
Active: 129880 kB
Inactive: 353076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263617244 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 18836 kB
Writeback: 0 kB
AnonPages: 29836 kB
Mapped: 7588 kB
Slab: 61168 kB
PageTables: 5776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189596 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= 61560 MiB
End job on node200 at 2011-05-30 23:03:22