0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 8 threads
0.00/0.03 c This is CryptoMiniSat 3.0.0
0.00/0.03 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03 c Reading file 'HOME/instance-3394322-1306094263.cnf'
0.00/0.03 c -- header says num vars: 35819
0.00/0.03 c -- header says num clauses: 773506
3.44/0.65 c -- clauses added: 0 learnts, 773506 normals, 0 xors
3.44/0.65 c -- vars added 35819
3.44/0.65 c Parsing time: 0.29 s
3.44/0.65 c N st 0 0 35819 717553 55953 0 2886709 0 no data no data
4.93/0.80 c asymm cl-useful: 16/955/717553 lits-rem:16 time: 0.14
18.87/2.68 c Flit: 266 Blit: 32 bXBeca: 0 bXProp: 281 Bins: 0 BRemL: 0 BRemN: 0 P: 190.8M T: 1.76
19.67/2.72 c Cleaning up after failed var search: 0.03 s
19.67/2.76 c Replacing 281 vars Replaced 12210 lits Time: 0.04 s
22.74/3.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
22.74/3.52 c bin-w-bin subsume rem 6638 bins time: 0.01 s
23.26/3.61 c subs with bin: 4680 lits-rem: 2967 v-fix: 0 time: 0.08 s
23.26/3.68 c Subs w/ non-existent bins: 2884 l-rem: 1331 v-fix: 0 done: 6127 time: 0.06 s
23.89/3.79 c Removed useless bin: 9676 fixed: 0 props: 20.00M time: 0.11 s
35.37/5.20 c lits-rem: 715 cl-subs: 56375 v-elim: 2677 v-fix: 0 time: 1.33 s
35.37/5.25 c Finding binary XORs T: 0.05 s found: 44
35.37/5.28 c Replacing 44 vars Replaced 2583 lits Time: 0.03 s
39.35/5.77 c Finding non-binary XORs: 0.44 s (found: 0, avg size: nan)
39.35/5.77 c calculated reachability. Time: 0.02
40.12/5.81 c Calc default polars - time: 0.04 s pos: 10659 undec: 14318 neg: 10842
40.12/5.81 c =========================================================================================
40.12/5.81 c types(t): F = full restart, N = normal restart
40.12/5.81 c types(t): S = simplification begin/end, E = solution found
40.12/5.81 c restart types(rt): st = static, dy = dynamic
40.12/5.81 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
40.12/5.81 c B st 0 0 32344 636599 39320 0 2546543 0 no data no data
49.70/7.01 c N dy 17 4364 32344 636599 39324 4309 2546543 50858 7.00 7.38
58.48/8.13 c N dy 35 8428 32344 636599 39335 8327 2546542 98903 6.91 7.34
67.26/9.28 c N dy 59 12436 32344 636599 44465 12315 2546542 158771 6.99 7.45
68.86/9.46 c Finding binary XORs T: 0.05 s found: 1
77.65/10.52 c N dy 82 16563 32343 636599 44470 16396 2546542 209741 7.00 7.42
86.43/11.69 c N dy 104 20564 32343 636599 44621 10461 2546542 112251 7.03 9.50
96.82/12.98 c N dy 121 24886 32343 636599 44624 14751 2546542 166580 6.99 7.37
97.62/13.01 c F st 123 25000 32341 636599 44690 14865 2546542 168354 6.99 no data
97.62/13.08 c Replacing 1 vars Replaced 872 lits Time: 0.04 s
99.34/13.21 c Found part 254 vars: 317 clauses: 931 lits size: 2542
99.34/13.21 c Found part 695 vars: 475 clauses: 1338 lits size: 4008
99.34/13.21 c Found part 793 vars: 297 clauses: 909 lits size: 2586
99.34/13.21 c Found part 1071 vars: 1070 clauses: 8964 lits size: 31687
99.34/13.21 c Found part 1251 vars: 810 clauses: 10185 lits size: 37221
99.34/13.21 c Found part 1567 vars: 4524 clauses: 18640 lits size: 66911
99.34/13.21 c Found part 1716 vars: 1231 clauses: 4551 lits size: 14742
99.34/13.21 c Found part 1746 vars: 4875 clauses: 195174 lits size: 745541
99.34/13.21 c Found part 1828 vars: 948 clauses: 6259 lits size: 21719
99.34/13.21 c Found part 1846 vars: 203 clauses: 502 lits size: 1379
99.34/13.21 c Found part 1848 vars: 15823 clauses: 419108 lits size: 1585185
99.34/13.21 c Found part 1856 vars: 833 clauses: 5179 lits size: 18110
99.34/13.21 c Found part 1857 vars: 305 clauses: 965 lits size: 2986
99.34/13.21 c Found part 1858 vars: 629 clauses: 2871 lits size: 10544
99.34/13.21 c Found parts: 14 time: 0.20 s
99.34/13.21 c Solving part 1846
99.34/13.25 c N st 0 0 203 227 313 0 1379 76 no data no data
99.34/13.25 c asymm cl-useful: 36/227/227 lits-rem:36 time: 0.00
99.34/13.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
99.34/13.25 c Finding binary XORs T: 0.00 s found: 0
99.34/13.25 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
99.34/13.25 c calculated reachability. Time: 0.00
99.34/13.25 c Calc default polars - time: 0.00 s pos: 58 undec: 35660 neg: 101
99.34/13.25 c =========================================================================================
99.34/13.25 c types(t): F = full restart, N = normal restart
99.34/13.25 c types(t): S = simplification begin/end, E = solution found
99.34/13.25 c restart types(rt): st = static, dy = dynamic
99.34/13.25 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
99.34/13.25 c B st 0 0 203 227 313 0 1343 76 no data no data
99.34/13.25 c E st 1 0 0 227 313 0 1343 76 no data no data
99.34/13.25 c Verified 227 clauses.
99.34/13.25 c Verified 227 clauses.
99.34/13.25 c Solved part
99.34/13.25 c =========================================================================================
99.34/13.26 c Solving part 793
99.34/13.29 c N st 0 0 297 555 405 0 2586 102 no data no data
99.34/13.30 c asymm cl-useful: 52/555/555 lits-rem:53 time: 0.01
100.00/13.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
100.00/13.31 c Finding binary XORs T: 0.00 s found: 0
100.00/13.31 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
100.00/13.31 c calculated reachability. Time: 0.00
100.00/13.31 c Calc default polars - time: 0.00 s pos: 142 undec: 35534 neg: 143
100.00/13.31 c =========================================================================================
100.00/13.31 c types(t): F = full restart, N = normal restart
100.00/13.31 c types(t): S = simplification begin/end, E = solution found
100.00/13.31 c restart types(rt): st = static, dy = dynamic
100.00/13.31 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
100.00/13.31 c B st 0 0 297 555 405 0 2533 102 no data no data
100.00/13.31 c E st 1 0 0 555 405 0 2533 102 no data no data
100.00/13.31 c Verified 555 clauses.
100.00/13.31 c Verified 555 clauses.
100.00/13.31 c Solved part
100.00/13.31 c =========================================================================================
100.00/13.31 c Solving part 1857
100.00/13.34 c N st 0 0 305 600 483 0 2986 236 no data no data
100.00/13.35 c asymm cl-useful: 102/600/600 lits-rem:149 time: 0.01
100.00/13.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
100.00/13.36 c Finding binary XORs T: 0.00 s found: 0
100.00/13.36 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
100.00/13.36 c calculated reachability. Time: 0.00
100.00/13.36 c Calc default polars - time: 0.00 s pos: 120 undec: 35559 neg: 140
100.00/13.36 c =========================================================================================
100.00/13.36 c types(t): F = full restart, N = normal restart
100.00/13.36 c types(t): S = simplification begin/end, E = solution found
100.00/13.36 c restart types(rt): st = static, dy = dynamic
100.00/13.36 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
100.00/13.36 c B st 0 0 305 597 486 0 2843 236 no data no data
100.00/13.36 c E st 1 0 0 597 486 0 2843 236 no data no data
100.00/13.36 c Verified 597 clauses.
100.00/13.36 c Verified 597 clauses.
100.00/13.36 c Solved part
100.00/13.36 c =========================================================================================
100.00/13.36 c Solving part 254
100.00/13.40 c N st 0 0 317 499 457 0 2542 50 no data no data
100.80/13.40 c asymm cl-useful: 34/499/499 lits-rem:34 time: 0.01
100.80/13.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01
100.80/13.41 c Finding binary XORs T: 0.00 s found: 0
100.80/13.41 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
100.80/13.41 c calculated reachability. Time: 0.00
100.80/13.41 c Calc default polars - time: 0.00 s pos: 145 undec: 35571 neg: 103
100.80/13.41 c =========================================================================================
100.80/13.41 c types(t): F = full restart, N = normal restart
100.80/13.41 c types(t): S = simplification begin/end, E = solution found
100.80/13.41 c restart types(rt): st = static, dy = dynamic
100.80/13.41 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
100.80/13.41 c B st 0 0 317 499 457 0 2508 50 no data no data
100.80/13.41 c E st 1 0 0 499 457 0 2508 50 no data no data
100.80/13.41 c Verified 499 clauses.
100.80/13.41 c Verified 499 clauses.
100.80/13.41 c Solved part
100.80/13.41 c =========================================================================================
100.80/13.41 c Solving part 695
100.80/13.45 c N st 0 0 475 776 617 0 4008 110 no data no data
100.80/13.45 c asymm cl-useful: 37/776/776 lits-rem:37 time: 0.01
100.80/13.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
100.80/13.47 c Finding binary XORs T: 0.00 s found: 0
100.80/13.47 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
100.80/13.47 c calculated reachability. Time: 0.00
100.80/13.47 c Calc default polars - time: 0.00 s pos: 163 undec: 35496 neg: 160
100.80/13.47 c =========================================================================================
100.80/13.47 c types(t): F = full restart, N = normal restart
100.80/13.47 c types(t): S = simplification begin/end, E = solution found
100.80/13.47 c restart types(rt): st = static, dy = dynamic
100.80/13.47 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
100.80/13.47 c B st 0 0 475 776 617 0 3971 110 no data no data
100.80/13.47 c E st 1 0 0 776 617 0 3971 110 no data no data
100.80/13.47 c Verified 776 clauses.
100.80/13.47 c Verified 776 clauses.
100.80/13.47 c Solved part
100.80/13.47 c =========================================================================================
100.80/13.47 c Solving part 1858
101.60/13.51 c N st 0 0 629 2163 726 0 10544 36 no data no data
101.60/13.53 c asymm cl-useful: 292/2163/2163 lits-rem:371 time: 0.02
101.60/13.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.01
101.60/13.54 c Finding binary XORs T: 0.00 s found: 0
101.60/13.54 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
101.60/13.54 c calculated reachability. Time: 0.00
101.60/13.54 c Calc default polars - time: 0.00 s pos: 165 undec: 35506 neg: 148
101.60/13.54 c =========================================================================================
101.60/13.54 c types(t): F = full restart, N = normal restart
101.60/13.54 c types(t): S = simplification begin/end, E = solution found
101.60/13.54 c restart types(rt): st = static, dy = dynamic
101.60/13.54 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
101.60/13.54 c B st 0 0 629 2163 726 0 10173 36 no data no data
101.60/13.54 c E st 1 0 0 2163 726 0 10173 36 no data no data
101.60/13.55 c Verified 2163 clauses.
101.60/13.55 c Verified 2163 clauses.
101.60/13.55 c Solved part
101.60/13.55 c =========================================================================================
101.60/13.55 c Solving part 1251
101.60/13.59 c N st 0 0 810 9090 1670 0 37221 1150 no data no data
103.99/13.85 c asymm cl-useful: 766/4052/9090 lits-rem:799 time: 0.26
104.79/13.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 42 Bins: 0 BRemL: 0 BRemN: 0 P: 3.0M T: 0.05
104.79/13.91 c Finding binary XORs T: 0.00 s found: 3
104.79/13.91 c Replacing 45 vars Replaced 3518 lits Time: 0.00 s
104.79/13.91 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
104.79/13.91 c calculated reachability. Time: 0.00
104.79/13.91 c Calc default polars - time: 0.00 s pos: 300 undec: 35247 neg: 272
104.79/13.91 c =========================================================================================
104.79/13.91 c types(t): F = full restart, N = normal restart
104.79/13.91 c types(t): S = simplification begin/end, E = solution found
104.79/13.91 c restart types(rt): st = static, dy = dynamic
104.79/13.91 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
104.79/13.91 c B st 0 0 765 8341 1631 0 33463 1148 no data no data
104.79/13.91 c E st 1 0 0 8341 1631 0 33463 1148 no data no data
104.79/13.91 c Verified 8341 clauses.
104.79/13.91 c Verified 8341 clauses.
104.79/13.91 c Solved part
104.79/13.91 c =========================================================================================
104.79/13.92 c Solving part 1856
104.79/13.95 c N st 0 0 833 4173 1021 0 18110 30 no data no data
105.59/14.02 c asymm cl-useful: 51/4173/4173 lits-rem:51 time: 0.07
105.59/14.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.02
105.59/14.04 c Finding binary XORs T: 0.00 s found: 0
105.59/14.04 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
105.59/14.04 c calculated reachability. Time: 0.00
105.59/14.04 c Calc default polars - time: 0.00 s pos: 279 undec: 35288 neg: 252
105.59/14.04 c =========================================================================================
105.59/14.04 c types(t): F = full restart, N = normal restart
105.59/14.04 c types(t): S = simplification begin/end, E = solution found
105.59/14.04 c restart types(rt): st = static, dy = dynamic
105.59/14.04 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
105.59/14.04 c B st 0 0 833 4173 1021 0 18059 30 no data no data
105.59/14.04 c E st 1 0 0 4173 1021 0 18059 30 no data no data
105.59/14.04 c Verified 4173 clauses.
105.59/14.04 c Verified 4173 clauses.
105.59/14.04 c Solved part
105.59/14.04 c =========================================================================================
105.59/14.05 c Solving part 1828
105.59/14.08 c N st 0 0 948 5035 1275 0 21719 102 no data no data
106.39/14.18 c asymm cl-useful: 128/5035/5035 lits-rem:140 time: 0.10
106.39/14.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.02
106.39/14.21 c Finding binary XORs T: 0.00 s found: 0
106.39/14.21 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
106.39/14.21 c calculated reachability. Time: 0.00
106.39/14.21 c Calc default polars - time: 0.00 s pos: 366 undec: 35116 neg: 337
106.39/14.21 c =========================================================================================
106.39/14.21 c types(t): F = full restart, N = normal restart
106.39/14.21 c types(t): S = simplification begin/end, E = solution found
106.39/14.21 c restart types(rt): st = static, dy = dynamic
106.39/14.21 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
106.39/14.21 c B st 0 0 948 5030 1280 0 21589 102 no data no data
106.39/14.21 c E st 1 0 0 5030 1280 0 21589 102 no data no data
106.39/14.21 c Verified 5030 clauses.
106.39/14.21 c Verified 5030 clauses.
106.39/14.21 c Solved part
106.39/14.21 c =========================================================================================
106.39/14.21 c Solving part 1071
107.23/14.25 c N st 0 0 1070 7514 1527 0 31687 154 no data no data
108.77/14.42 c asymm cl-useful: 171/7514/7514 lits-rem:171 time: 0.18
108.77/14.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.1M T: 0.03
108.77/14.46 c Finding binary XORs T: 0.00 s found: 0
108.77/14.46 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
108.77/14.46 c calculated reachability. Time: 0.00
108.77/14.46 c Calc default polars - time: 0.00 s pos: 426 undec: 34940 neg: 453
108.77/14.46 c =========================================================================================
108.77/14.46 c types(t): F = full restart, N = normal restart
108.77/14.46 c types(t): S = simplification begin/end, E = solution found
108.77/14.46 c restart types(rt): st = static, dy = dynamic
108.77/14.46 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
108.77/14.46 c B st 0 0 1070 7514 1527 0 31516 154 no data no data
108.77/14.46 c E st 1 1 0 7514 1527 1 31516 159 no data no data
108.77/14.47 c Verified 7514 clauses.
108.77/14.47 c Verified 7514 clauses.
108.77/14.47 c Solved part
108.77/14.47 c =========================================================================================
108.77/14.47 c Solving part 1716
109.56/14.50 c N st 0 0 1231 3049 1531 0 14742 58 no data no data
109.56/14.55 c asymm cl-useful: 233/3049/3049 lits-rem:267 time: 0.05
109.56/14.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.03
109.56/14.58 c Finding binary XORs T: 0.00 s found: 0
109.56/14.58 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
109.56/14.58 c calculated reachability. Time: 0.00
109.56/14.59 c Calc default polars - time: 0.00 s pos: 386 undec: 35009 neg: 424
109.56/14.59 c =========================================================================================
109.56/14.59 c types(t): F = full restart, N = normal restart
109.56/14.59 c types(t): S = simplification begin/end, E = solution found
109.56/14.59 c restart types(rt): st = static, dy = dynamic
109.56/14.59 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
109.56/14.59 c B st 0 0 1231 3048 1532 0 14477 58 no data no data
109.56/14.59 c E st 1 0 0 3048 1532 0 14477 58 no data no data
109.56/14.59 c Verified 3048 clauses.
109.56/14.59 c Verified 3048 clauses.
109.56/14.59 c Solved part
109.56/14.59 c =========================================================================================
109.56/14.59 c Solving part 1567
110.36/14.63 c N st 0 0 4524 13809 5022 0 66911 382 no data no data
111.94/14.88 c asymm cl-useful: 1257/13809/13809 lits-rem:1956 time: 0.25
112.74/14.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 0 BRemL: 0 BRemN: 0 P: 4.5M T: 0.09
112.74/14.97 c Finding binary XORs T: 0.01 s found: 0
112.74/14.98 c Replacing 2 vars Replaced 46 lits Time: 0.00 s
112.74/14.98 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
112.74/14.98 c calculated reachability. Time: 0.00
112.74/14.98 c Calc default polars - time: 0.00 s pos: 1148 undec: 33541 neg: 1130
112.74/14.98 c =========================================================================================
112.74/14.98 c types(t): F = full restart, N = normal restart
112.74/14.98 c types(t): S = simplification begin/end, E = solution found
112.74/14.98 c restart types(rt): st = static, dy = dynamic
112.74/14.98 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
112.74/14.98 c B st 0 0 4522 13807 5021 0 64948 382 no data no data
112.74/14.98 c E st 1 0 0 13807 5021 0 64948 382 no data no data
112.74/14.98 c Verified 13807 clauses.
112.74/14.98 c Verified 13807 clauses.
112.74/14.98 c Solved part
112.74/14.98 c =========================================================================================
112.74/14.99 c Solving part 1746
114.33/15.14 c N st 0 0 4875 189022 7300 13593 745541 146880 no data no data
115.12/15.21 c asymm cl-useful: 6/354/189022 lits-rem:6 time: 0.07
118.30/15.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 73.7M T: 0.48
119.09/15.70 c Finding binary XORs T: 0.01 s found: 0
119.09/15.79 c Finding non-binary XORs: 0.08 s (found: 0, avg size: nan)
119.09/15.79 c calculated reachability. Time: 0.00
119.09/15.80 c Calc default polars - time: 0.01 s pos: 1567 undec: 32696 neg: 1556
119.09/15.80 c =========================================================================================
119.09/15.80 c types(t): F = full restart, N = normal restart
119.09/15.80 c types(t): S = simplification begin/end, E = solution found
119.09/15.80 c restart types(rt): st = static, dy = dynamic
119.09/15.80 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
119.09/15.80 c B st 0 0 4875 189022 7300 13593 745535 146880 no data no data
128.67/16.90 c N dy 16 4105 4874 189022 7307 17642 745535 197628 6.52 6.91
139.07/18.26 c N dy 41 8420 4874 189022 7312 21917 745535 251319 6.95 7.34
149.44/19.54 c N dy 55 12525 4873 189022 7323 25967 745535 301289 6.83 7.20
159.88/20.82 c N dy 71 16789 4873 189022 7325 30209 745535 357920 6.78 7.14
171.01/22.22 c N dy 90 20959 4873 189022 7328 17653 745534 161854 6.80 7.22
180.58/23.48 c F st 118 25000 4873 189022 7328 21666 745533 215023 6.89 6.61
180.58/23.48 c N st 118 25000 4873 189022 7328 21666 745533 215023 6.89 6.61
191.76/24.85 c N dy 124 30192 4873 189022 7331 26834 745532 290659 6.89 no data
202.95/26.25 c N dy 152 34269 4873 189022 7333 30872 745532 343298 6.99 7.83
214.13/27.68 c N dy 165 38484 4872 189022 7344 35051 745532 400639 6.94 7.34
227.71/29.32 c N dy 186 42677 4871 189022 7352 20447 745532 166917 6.96 7.39
238.08/30.66 c N dy 208 46818 4871 189022 7356 24543 745531 217772 6.96 7.36
249.25/32.05 c N dy 226 50883 4870 189022 7364 28555 745531 267229 6.95 8.74
258.83/33.27 c N dy 246 54981 4870 189022 7367 32625 745531 323478 6.96 7.41
269.22/34.55 c N dy 264 59121 4870 189022 7371 36743 745531 377495 6.97 7.34
280.40/35.96 c N dy 292 63218 4870 189022 7373 20516 745531 151465 7.01 7.44
286.78/36.78 c Finding binary XORs T: 0.01 s found: 0
291.63/37.34 c N dy 310 67317 4869 188106 7203 19424 741902 167156 7.01 8.09
301.94/38.69 c N dy 327 71663 4867 188106 7224 23710 741902 222287 7.00 8.38
314.72/40.26 c N dy 351 76697 4867 188106 7226 28711 741902 291262 7.01 7.45
329.09/42.02 c N dy 371 81605 4867 188106 7230 33560 741902 355571 7.01 7.47
343.47/43.84 c N dy 408 86929 4867 188106 7236 19887 741902 149396 7.05 7.55
344.31/44.01 c F st 411 87501 4867 188106 7236 20457 741902 158949 7.05 4.73
357.85/45.62 c N dy 417 92697 4867 188106 7237 25625 741902 240178 7.05 no data
373.01/47.58 c N dy 449 99392 4867 188106 7240 32282 741902 335473 7.06 7.45
392.97/50.02 c N dy 473 106639 4867 188106 7249 39466 741902 430675 7.03 7.42
412.14/52.42 c N dy 503 113752 4865 188106 7269 25121 741902 191355 7.03 7.51
416.93/53.02 c Finding binary XORs T: 0.01 s found: 0
431.31/54.82 c N dy 542 121073 4864 187052 7161 26479 737769 237775 7.03 7.68
452.06/57.43 c N dy 569 128972 4863 187052 7178 34308 737769 339922 7.02 7.42
474.43/60.29 c N dy 627 137207 4862 187052 7188 22331 737769 156810 7.07 8.30
500.78/63.54 c N dy 678 146063 4862 187052 7193 31122 737769 278579 7.09 7.52
525.53/66.69 c N dy 731 155471 4861 187052 7207 40460 737769 415168 7.11 7.97
551.09/69.89 c N dy 785 165436 4861 187052 7215 27385 737769 204452 7.12 8.88
581.48/73.69 c N dy 841 176192 4860 187052 7230 38055 737769 354314 7.13 7.88
588.63/74.52 c Finding binary XORs T: 0.01 s found: 1
616.60/78.04 c N dy 904 187810 4859 186449 7211 45786 735460 484919 7.14 7.53
650.11/82.24 c N dy 974 200001 4858 186449 7230 34894 735460 321097 7.17 7.59
686.03/86.79 c N dy 1054 212830 4858 186449 7241 47635 735459 504121 7.20 9.43
723.55/91.46 c N dy 1138 226461 4855 186449 7263 35752 735458 308302 7.24 10.31
767.46/96.99 c N dy 1247 240990 4855 186449 7265 50202 735458 525628 7.29 8.96
783.49/98.97 c Finding binary XORs T: 0.01 s found: 0
813.78/102.78 c N dy 1327 256902 4854 185449 7195 35859 731618 317871 7.30 7.80
863.42/108.97 c N dy 1428 273322 4852 185449 7207 52177 731618 561768 7.33 7.84
918.39/115.83 c N dy 1543 291003 4852 185449 7212 42844 731617 396609 7.37 7.80
965.50/121.72 c F st 1623 306250 4849 185449 7230 29126 731617 171830 7.37 no data
979.07/123.41 c N dy 1629 311442 4849 185449 7231 34286 731617 256288 7.37 no data
1040.55/131.19 c N dy 1764 331635 4848 185449 7239 54375 731617 562998 7.42 7.81
1107.63/139.51 c N dy 1893 351699 4848 185449 7242 43987 731617 378887 7.45 9.24
1171.51/147.53 c N dy 2031 371715 4848 185449 7244 32309 731616 186286 7.49 8.44
1236.19/155.66 c N dy 2178 391817 4848 185449 7252 52293 731616 502257 7.53 8.30
1300.88/163.73 c N dy 2307 412098 4848 185449 7256 39770 731615 287862 7.56 8.01
1364.08/171.66 c N dy 2427 432587 4848 185449 7259 60163 731615 609827 7.58 7.99
1431.02/180.01 c N dy 2538 452619 4848 185449 7264 46304 731615 379726 7.59 8.22
1497.30/188.32 c N dy 2653 472666 4848 185449 7268 66237 731615 698905 7.61 8.16
1530.96/192.54 c Finding binary XORs T: 0.01 s found: 4
1561.18/196.35 c N dy 2774 492728 4847 184522 7129 50502 727926 446777 7.63 8.89
1631.40/205.10 c N dy 2861 512884 4846 184522 7148 70525 727926 753233 7.63 8.09
1696.09/213.20 c N dy 2964 533193 4846 184522 7151 55439 727926 510626 7.63 8.07
1766.34/222.03 c N dy 3088 554051 4846 184522 7157 39611 727926 243540 7.65 8.10
1831.01/230.13 c N dy 3188 574084 4846 184522 7159 59541 727926 564314 7.66 8.11
1900.48/238.81 c N dy 3320 594166 4846 184522 7161 41847 727926 270547 7.68 9.40
1967.56/247.26 c N dy 3443 614250 4846 184522 7162 61847 727926 603631 7.69 9.52
2044.21/256.83 c N dy 3553 634353 4846 184522 7168 43222 727925 283458 7.70 8.11
2118.52/266.16 c N dy 3681 654414 4846 184522 7170 63187 727925 614651 7.72 8.20
2193.53/275.54 c N dy 3795 674534 4846 184522 7174 43895 727925 280329 7.73 8.14
2259.05/283.79 c N dy 3906 694595 4846 184522 7183 63832 727925 612561 7.73 8.20
2303.84/289.35 c Finding binary XORs T: 0.01 s found: 12
2334.06/293.17 c N dy 4010 714840 4841 183328 7087 43450 722994 255904 7.74 8.16
2400.46/301.49 c N dy 4095 734850 4836 183328 7113 63309 722994 580785 7.74 8.21
2472.19/310.44 c N dy 4205 754930 4836 183328 7118 83271 722994 906784 7.75 10.89
2540.98/319.07 c N dy 4324 775012 4830 183328 7133 62371 722994 554459 7.75 8.17
2613.52/328.18 c N dy 4423 795292 4830 183328 7138 82551 722993 900287 7.76 8.23
2692.58/338.09 c N dy 4508 815380 4824 183328 7162 60759 722993 502370 7.76 9.59
2714.14/340.71 c Finding binary XORs T: 0.01 s found: 10
2768.48/347.58 c N dy 4598 835389 4824 179269 6977 78303 706351 827300 7.76 9.16
2853.06/358.11 c N dy 4699 856232 4801 179269 7008 57183 706351 435890 7.76 8.29
2906.56/364.87 c Finding binary XORs T: 0.01 s found: 10
2927.45/367.43 c N dy 4766 876282 4791 174362 6876 71041 686488 695056 7.75 8.17
3007.18/377.47 c N dy 4830 896401 4787 174362 6900 51527 686488 342422 7.74 8.21
3076.78/386.12 c Finding binary XORs T: 0.01 s found: 16
3076.78/386.16 c Replacing 53 vars Replaced 45277 lits Time: 0.04 s
3077.44/386.23 c N dy 4897 917588 4699 163119 6780 57641 641688 507715 7.73 8.20
3132.17/394.14 c N dy 4968 937628 4697 163119 6800 77576 641688 853481 7.72 8.19
3160.97/398.95 c Finding binary XORs T: 0.01 s found: 62
3160.97/398.98 c Replacing 62 vars Replaced 40553 lits Time: 0.03 s
3162.80/399.31 c E dy 5005 952860 4417 122634 6443 32236 482369 218257 7.71 4.34
3218.47/418.69 c Following stats are for *FIRST FINISHED THREAD ONLY*
3218.47/418.69 c num threads : 8
3218.47/418.69 c restarts : 121
3218.47/418.69 c dynamic restarts : 115
3218.47/418.69 c static restarts : 6
3218.47/418.69 c full restarts : 0
3218.47/418.69 c total simplify time : 0.13
3218.47/418.69 c learnts DL2 : 0
3218.47/418.69 c learnts size 2 : 68324
3218.47/418.69 c learnts size 1 : 476 (1.33 % of vars)
3218.47/418.69 c filedLit time : 1.79 (0.43 % time)
3218.47/418.69 c v-elim SatELite : 2678 (7.48 % vars)
3218.47/418.69 c SatELite time : 1.26 (0.30 % time)
3218.47/418.69 c v-elim xor : 0 (0.00 % vars)
3218.47/418.69 c xor elim time : 0.00 (0.00 % time)
3218.47/418.69 c num binary xor trees : 22
3218.47/418.69 c binxor trees' crown : 326 (14.82 leafs/tree)
3218.47/418.69 c bin xor find time : 0.14
3218.47/418.69 c OTF clause improved : 240 (0.01 clauses/conflict)
3218.47/418.69 c OTF impr. size diff : 317 (1.32 lits/clause)
3218.47/418.69 c OTF cl watch-shrink : 15784 (0.63 clauses/conflict)
3218.47/418.69 c OTF cl watch-sh-lit : 36048 (2.28 lits/clause)
3218.47/418.69 c tried to recurMin cls : 4884 (19.53 % of conflicts)
3218.47/418.69 c updated cache : 0 (0.00 lits/tried recurMin)
3218.47/418.69 c unit cls recevied : 2 (0.42 % of units)
3218.47/418.69 c unit cls sent : 1 (0.21 % of units)
3218.47/418.69 c bin cls recevied : 6031
3218.47/418.69 c bin cls sent : 113
3218.47/418.69 c clauses over max glue : 0 (0.00 % of all clauses)
3218.47/418.69 c conflicts : 25003 (59.91 / sec)
3218.47/418.69 c decisions : 31209 (0.00 % random)
3218.47/418.69 c bogo-props : 1367208606 (3275970.89 / sec)
3218.47/418.69 c conflict literals : 299679 (55.57 % deleted)
3218.47/418.69 c Memory used : 2279.49 MB
3218.47/418.69 c single-thread CPU time : 417.34 s
3218.47/418.69 c all-threads sum CPU time : 3214.23 s
3218.47/418.69 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-3394322-1306094263/watcher-3394322-1306094263 -o /tmp/evaluation-result-3394322-1306094263/solver-3394322-1306094263 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394322-1306094263.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 6.83 7.90 7.13 2/451 3857
/proc/meminfo: memFree=29653716/32951124 swapFree=60688556/67111528
[pid=3857] ppid=3855 vsize=92144 CPUtime=0 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) R 3855 3857 3669 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 8 0 721024543 94355456 352 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340850 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 23036 352 299 95 0 18018 0
[pid=3857/tid=3858] ppid=3855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 721024543 94355456 352 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340840 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 721024543 94355456 352 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340850 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=92144 CPUtime=0 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721024543 94355456 352 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=92144 CPUtime=0 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721024543 94355456 352 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=92144 CPUtime=0 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721024543 94355456 352 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 721024543 94355456 352 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340850 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=92144 CPUtime=0.01 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 721024543 94355456 352 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340850 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.0583329 s]
/proc/loadavg: 6.83 7.90 7.13 2/451 3857
/proc/meminfo: memFree=29653716/32951124 swapFree=60688556/67111528
[pid=3857] ppid=3855 vsize=577764 CPUtime=0.27 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) R 3855 3857 3669 0 -1 4202496 14763 0 0 0 22 5 0 0 18 0 8 0 721024543 591630336 12787 33554432000 4194304 4580107 140737393079328 18446744073709551615 4512395 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 144441 12872 335 95 0 139423 0
[pid=3857/tid=3858] ppid=3855 vsize=577764 CPUtime=0.03 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 1837 0 0 0 3 0 0 0 18 0 8 0 721024543 591630336 12906 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=579976 CPUtime=0.03 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 1773 0 0 0 3 0 0 0 18 0 8 0 721024543 593895424 12941 33554432000 4194304 4580107 140737393079328 18446744073709551615 4307377 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=582028 CPUtime=0 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) D 3855 3857 3669 0 -1 4202560 1905 0 0 0 0 0 0 0 18 0 8 0 721024543 595996672 13015 33554432000 4194304 4580107 140737393079328 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=582028 CPUtime=0.01 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) D 3855 3857 3669 0 -1 4202560 1883 0 0 0 1 0 0 0 18 0 8 0 721024543 595996672 13015 33554432000 4194304 4580107 140737393079328 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=582028 CPUtime=0.01 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 1827 0 0 0 1 0 0 0 18 0 8 0 721024543 595996672 13017 33554432000 4194304 4580107 140737393079328 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=582028 CPUtime=0.03 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) D 3855 3857 3669 0 -1 4202560 1766 0 0 0 3 0 0 0 18 0 8 0 721024543 595996672 13018 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=582028 CPUtime=0.03 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) D 3855 3857 3669 0 -1 4202560 1880 0 0 0 3 0 0 0 18 0 8 0 721024543 595996672 13023 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335589568 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 577764
[startup+0.101339 s]
/proc/loadavg: 6.83 7.90 7.13 2/451 3857
/proc/meminfo: memFree=29653716/32951124 swapFree=60688556/67111528
[pid=3857] ppid=3855 vsize=686520 CPUtime=0.46 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) R 3855 3857 3669 0 -1 4202496 35485 0 0 0 32 14 0 0 17 0 8 0 721024543 702996480 27184 33554432000 4194304 4580107 140737393079328 18446744073709551615 4511029 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 171630 27219 337 95 0 166612 0
[pid=3857/tid=3858] ppid=3855 vsize=686520 CPUtime=0.06 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 4371 0 0 0 5 1 0 0 18 0 8 0 721024543 702996480 27281 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=686520 CPUtime=0.06 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 4230 0 0 0 5 1 0 0 18 0 8 0 721024543 702996480 27282 33554432000 4194304 4580107 140737393079328 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=686520 CPUtime=0.03 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 4638 0 0 0 1 2 0 0 18 0 8 0 721024543 702996480 27382 33554432000 4194304 4580107 140737393079328 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=686520 CPUtime=0.04 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 4263 0 0 0 3 1 0 0 18 0 8 0 721024543 702996480 27393 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997422 0 0 4096 2 18446604463042844672 0 0 -1 7 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=686520 CPUtime=0.03 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 4527 0 0 0 2 1 0 0 18 0 8 0 721024543 702996480 27395 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997422 0 0 4096 2 18446604463042844672 0 0 -1 3 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=686520 CPUtime=0.06 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 4236 0 0 0 5 1 0 0 18 0 8 0 721024543 702996480 27403 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=686520 CPUtime=0.05 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 4769 0 0 0 4 1 0 0 18 0 8 0 721024543 702996480 27435 33554432000 4194304 4580107 140737393079328 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 686520
[startup+0.301292 s]
/proc/loadavg: 6.83 7.90 7.13 2/451 3857
/proc/meminfo: memFree=29653716/32951124 swapFree=60688556/67111528
[pid=3857] ppid=3855 vsize=716504 CPUtime=1.64 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) R 3855 3857 3669 0 -1 4202496 65721 0 0 0 107 57 0 0 17 0 8 0 721024543 733700096 55476 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 179126 55513 337 95 0 174108 0
[pid=3857/tid=3858] ppid=3855 vsize=716504 CPUtime=0.22 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 8298 0 0 0 15 7 0 0 17 0 8 0 721024543 733700096 55518 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=716504 CPUtime=0.21 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 8040 0 0 0 14 7 0 0 17 0 8 0 721024543 733700096 55520 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=716504 CPUtime=0.18 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 8109 0 0 0 11 7 0 0 17 0 8 0 721024543 733700096 55525 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=716504 CPUtime=0.19 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 7902 0 0 0 12 7 0 0 17 0 8 0 721024543 733700096 55549 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997422 0 0 4096 2 18446604463042844672 0 0 -1 7 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=716504 CPUtime=0.18 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 8157 0 0 0 11 7 0 0 17 0 8 0 721024543 733700096 55565 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=716504 CPUtime=0.21 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 8079 0 0 0 14 7 0 0 17 0 8 0 721024543 733700096 55578 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=716504 CPUtime=0.19 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 8902 0 0 0 13 6 0 0 17 0 8 0 721024543 733700096 55583 33554432000 4194304 4580107 140737393079328 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 716504
[startup+0.70121 s]
/proc/loadavg: 6.83 7.90 7.13 2/451 3857
/proc/meminfo: memFree=29653716/32951124 swapFree=60688556/67111528
[pid=3857] ppid=3855 vsize=1031380 CPUtime=4.15 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) R 3855 3857 3669 0 -1 4202496 121177 0 0 0 304 111 0 0 17 0 8 0 721024543 1056133120 110931 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335560945 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 257845 110933 359 95 0 252827 0
[pid=3857/tid=3858] ppid=3855 vsize=1031380 CPUtime=0.55 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 14696 0 0 0 42 13 0 0 17 0 8 0 721024543 1056133120 110934 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=1031380 CPUtime=0.52 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 15369 0 0 0 38 14 0 0 17 0 8 0 721024543 1056133120 110935 33554432000 4194304 4580107 140737393079328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=1031380 CPUtime=0.48 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 15003 0 0 0 34 14 0 0 17 0 8 0 721024543 1056133120 110938 33554432000 4194304 4580107 140737393079328 18446744073709551615 4501030 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=1031380 CPUtime=0.51 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 14286 0 0 0 38 13 0 0 17 0 8 0 721024543 1056133120 110938 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=1031380 CPUtime=0.5 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 14747 0 0 0 37 13 0 0 17 0 8 0 721024543 1056133120 110938 33554432000 4194304 4580107 140737393079328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=1031380 CPUtime=0.52 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 15118 0 0 0 39 13 0 0 17 0 8 0 721024543 1056133120 110941 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335553569 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=1031380 CPUtime=0.49 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 16454 0 0 0 37 12 0 0 17 0 8 0 721024543 1056133120 110942 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 1031380
[startup+1.50107 s]
/proc/loadavg: 6.83 7.90 7.13 9/459 3865
/proc/meminfo: memFree=29153436/32951124 swapFree=60688556/67111528
[pid=3857] ppid=3855 vsize=1049896 CPUtime=10.29 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) R 3855 3857 3669 0 -1 4202496 159788 0 0 0 894 135 0 0 18 0 8 0 721024543 1075093504 149542 33554432000 4194304 4580107 140737393079328 18446744073709551615 4293108 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 262474 149546 360 95 0 257456 0
[pid=3857/tid=3858] ppid=3855 vsize=1049896 CPUtime=1.32 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 20016 0 0 0 116 16 0 0 18 0 8 0 721024543 1075093504 149548 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=1049896 CPUtime=1.29 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 20746 0 0 0 112 17 0 0 18 0 8 0 721024543 1075093504 149548 33554432000 4194304 4580107 140737393079328 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=1049896 CPUtime=1.24 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 20265 0 0 0 107 17 0 0 18 0 8 0 721024543 1075093504 149550 33554432000 4194304 4580107 140737393079328 18446744073709551615 4235184 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=1049896 CPUtime=1.27 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 19556 0 0 0 111 16 0 0 18 0 8 0 721024543 1075093504 149551 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=1049896 CPUtime=1.27 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 20212 0 0 0 110 17 0 0 18 0 8 0 721024543 1075093504 149553 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335553221 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=1049896 CPUtime=1.28 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 20464 0 0 0 112 16 0 0 18 0 8 0 721024543 1075093504 149554 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=1049896 CPUtime=1.28 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 17779 0 0 0 115 13 0 0 18 0 8 0 721024543 1075093504 149556 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 1049896
[startup+3.10079 s]
/proc/loadavg: 6.92 7.90 7.14 11/459 3865
/proc/meminfo: memFree=28949332/32951124 swapFree=60688556/67111528
[pid=3857] ppid=3855 vsize=1401944 CPUtime=21.57 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) R 3855 3857 3669 0 -1 4202496 224094 0 0 0 1962 195 0 0 17 0 8 0 721024543 1435590656 213841 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335553221 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 350486 213854 366 95 0 345468 0
[pid=3857/tid=3858] ppid=3855 vsize=1401944 CPUtime=2.72 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) D 3855 3857 3669 0 -1 4202560 31061 0 0 0 245 27 0 0 18 0 8 0 721024543 1435590656 213856 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335553569 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=1401944 CPUtime=2.66 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 27443 0 0 0 242 24 0 0 16 0 8 0 721024543 1435590656 213860 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997422 0 0 4096 2 18446604463042844672 0 0 -1 1 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=1401944 CPUtime=2.62 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 26660 0 0 0 236 26 0 0 16 0 8 0 721024543 1435590656 213863 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997422 0 0 4096 2 18446604463042844672 0 0 -1 5 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=1401944 CPUtime=2.67 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 30436 0 0 0 242 25 0 0 17 0 8 0 721024543 1435590656 213867 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=1401944 CPUtime=2.67 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 31027 0 0 0 240 27 0 0 17 0 8 0 721024543 1435590656 213869 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=1401944 CPUtime=2.66 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 27350 0 0 0 242 24 0 0 17 0 8 0 721024543 1435590656 213874 33554432000 4194304 4580107 140737393079328 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=1401944 CPUtime=2.83 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 18615 0 0 0 270 13 0 0 18 0 8 0 721024543 1435590656 213877 33554432000 4194304 4580107 140737393079328 18446744073709551615 4324244 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.57
Current children cumulated vsize (KiB) 1401944
[startup+6.30122 s]
/proc/loadavg: 6.92 7.90 7.14 9/459 3865
/proc/meminfo: memFree=28204484/32951124 swapFree=60688556/67111528
[pid=3857] ppid=3855 vsize=1933692 CPUtime=44.11 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) R 3855 3857 3669 0 -1 4202496 441454 0 0 0 4097 314 0 0 21 0 8 0 721024543 1980100608 340164 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 483423 340164 378 95 0 478405 0
[pid=3857/tid=3858] ppid=3855 vsize=1933692 CPUtime=5.61 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 59314 0 0 0 519 42 0 0 21 0 8 0 721024543 1980100608 340164 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=1933692 CPUtime=5.33 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 61290 0 0 0 488 45 0 0 18 0 8 0 721024543 1980100608 340164 33554432000 4194304 4580107 140737393079328 18446744073709551615 4368182 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=1933692 CPUtime=5.27 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 61954 0 0 0 479 48 0 0 18 0 8 0 721024543 1980100608 340164 33554432000 4194304 4580107 140737393079328 18446744073709551615 4368141 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=1933692 CPUtime=5.47 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 60079 0 0 0 508 39 0 0 21 0 8 0 721024543 1980100608 340164 33554432000 4194304 4580107 140737393079328 18446744073709551615 4293145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=1933692 CPUtime=5.55 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 61756 0 0 0 512 43 0 0 21 0 8 0 721024543 1980100608 340164 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=1933692 CPUtime=5.27 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 56497 0 0 0 484 43 0 0 18 0 8 0 721024543 1980100608 340164 33554432000 4194304 4580107 140737393079328 18446744073709551615 4363782 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=1933692 CPUtime=6 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 18854 0 0 0 586 14 0 0 18 0 8 0 721024543 1980100608 340164 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=3857] ppid=3855 vsize=2609304 CPUtime=2726.91 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) R 3855 3857 3669 0 -1 4202496 858032 0 0 0 272256 435 0 0 25 0 8 0 721024543 2671927296 475190 33554432000 4194304 4580107 140737393079328 18446744073709551615 4293138 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 652326 475190 380 95 0 647308 0
[pid=3857/tid=3858] ppid=3855 vsize=2609304 CPUtime=341.52 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 112945 0 0 0 34094 58 0 0 25 0 8 0 721024543 2671927296 475190 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=2609304 CPUtime=336.42 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 111773 0 0 0 33581 61 0 0 25 0 8 0 721024543 2671927296 475190 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=2609304 CPUtime=341.26 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 117606 0 0 0 34061 65 0 0 25 0 8 0 721024543 2671927296 475190 33554432000 4194304 4580107 140737393079328 18446744073709551615 4317530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=2609304 CPUtime=341.33 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 102030 0 0 0 34081 52 0 0 25 0 8 0 721024543 2671927296 475190 33554432000 4194304 4580107 140737393079328 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=2609304 CPUtime=341.54 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 102642 0 0 0 34095 59 0 0 25 0 8 0 721024543 2671927296 475190 33554432000 4194304 4580107 140737393079328 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=2609304 CPUtime=341.23 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 108677 0 0 0 34065 58 0 0 25 0 8 0 721024543 2671927296 475190 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=2609304 CPUtime=342 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 81158 0 0 0 34170 30 0 0 25 0 8 0 721024543 2671927296 475190 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2726.91
Current children cumulated vsize (KiB) 2609304
[startup+402.301 s]
/proc/loadavg: 7.70 8.00 7.46 6/459 3887
/proc/meminfo: memFree=27834264/32951124 swapFree=60688556/67111528
[pid=3857] ppid=3855 vsize=2399732 CPUtime=3178.07 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) S 3855 3857 3669 0 -1 4202496 876941 0 0 0 317365 442 0 0 25 0 8 0 721024543 2457325568 451804 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 599933 451804 380 95 0 594915 0
[pid=3857/tid=3858] ppid=3855 vsize=2399732 CPUtime=401.5 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 118112 0 0 0 40091 59 0 0 25 0 8 0 721024543 2457325568 451804 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=2399732 CPUtime=395.3 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 112788 0 0 0 39468 62 0 0 25 0 8 0 721024543 2457325568 451804 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 1 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=2399732 CPUtime=389.3 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 120920 0 0 0 38864 66 0 0 25 0 8 0 721024543 2457325568 451804 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 5 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=2399732 CPUtime=388.47 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 104895 0 0 0 38794 53 0 0 25 0 8 0 721024543 2457325568 451804 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 1 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=2399732 CPUtime=401.54 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 103144 0 0 0 40095 59 0 0 25 0 8 0 721024543 2457325568 451804 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177316036 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=2399732 CPUtime=401.23 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 111422 0 0 0 40064 59 0 0 25 0 8 0 721024543 2457325568 451804 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=2399732 CPUtime=402 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 84229 0 0 0 40169 31 0 0 25 0 8 0 721024543 2457325568 451804 33554432000 4194304 4580107 140737393079328 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3178.07
Current children cumulated vsize (KiB) 2399732
Solver just ended. Dumping a history of the last processes samples
[startup+409.501 s]
/proc/loadavg: 7.32 7.92 7.43 3/459 3887
/proc/meminfo: memFree=27880768/32951124 swapFree=60688556/67111528
[pid=3857] ppid=3855 vsize=2351160 CPUtime=3200.27 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) S 3855 3857 3669 0 -1 4202496 879182 0 0 0 319584 443 0 0 25 0 8 0 721024543 2407587840 440558 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 587790 440558 380 95 0 582772 0
[pid=3857/tid=3858] ppid=3855 vsize=2351160 CPUtime=404.03 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 118189 0 0 0 40344 59 0 0 25 0 8 0 721024543 2407587840 440558 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=2351160 CPUtime=395.3 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 112788 0 0 0 39468 62 0 0 25 0 8 0 721024543 2407587840 440558 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 1 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=2351160 CPUtime=389.3 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 120920 0 0 0 38864 66 0 0 25 0 8 0 721024543 2407587840 440558 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 5 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=2351160 CPUtime=388.47 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 104895 0 0 0 38794 53 0 0 25 0 8 0 721024543 2407587840 440558 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 1 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=2351160 CPUtime=408.74 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 103144 0 0 0 40815 59 0 0 25 0 8 0 721024543 2407587840 440558 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177316036 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=2351160 CPUtime=406.49 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 111422 0 0 0 40590 59 0 0 25 0 8 0 721024543 2407587840 440558 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 5 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=2351160 CPUtime=409.2 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 86393 0 0 0 40889 31 0 0 25 0 8 0 721024543 2407587840 440558 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3200.27
Current children cumulated vsize (KiB) 2351160
[startup+412.701 s]
/proc/loadavg: 6.98 7.84 7.41 3/460 3888
/proc/meminfo: memFree=27850136/32951124 swapFree=60688564/67111528
[pid=3857] ppid=3855 vsize=2351160 CPUtime=3206.67 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) S 3855 3857 3669 0 -1 4202496 879352 0 0 0 320224 443 0 0 25 0 8 0 721024543 2407587840 440728 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 587790 440728 380 95 0 582772 0
[pid=3857/tid=3858] ppid=3855 vsize=2351160 CPUtime=404.03 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 118189 0 0 0 40344 59 0 0 25 0 8 0 721024543 2407587840 440728 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=2351160 CPUtime=395.3 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 112788 0 0 0 39468 62 0 0 25 0 8 0 721024543 2407587840 440728 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 1 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=2351160 CPUtime=389.3 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 120920 0 0 0 38864 66 0 0 25 0 8 0 721024543 2407587840 440728 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 5 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=2351160 CPUtime=388.47 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 104895 0 0 0 38794 53 0 0 25 0 8 0 721024543 2407587840 440728 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 1 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=2351160 CPUtime=411.94 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 103144 0 0 0 41135 59 0 0 25 0 8 0 721024543 2407587840 440728 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177316036 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=2351160 CPUtime=406.49 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 111422 0 0 0 40590 59 0 0 25 0 8 0 721024543 2407587840 440728 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 5 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=2351160 CPUtime=412.4 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 86563 0 0 0 41209 31 0 0 25 0 8 0 721024543 2407587840 440728 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3206.67
Current children cumulated vsize (KiB) 2351160
[startup+415.9 s]
/proc/loadavg: 6.98 7.84 7.41 3/459 3888
/proc/meminfo: memFree=27831856/32951124 swapFree=60688564/67111528
[pid=3857] ppid=3855 vsize=2351160 CPUtime=3213.07 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) S 3855 3857 3669 0 -1 4202496 879501 0 0 0 320864 443 0 0 25 0 8 0 721024543 2407587840 440877 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 587790 440877 380 95 0 582772 0
[pid=3857/tid=3858] ppid=3855 vsize=2351160 CPUtime=404.03 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 118189 0 0 0 40344 59 0 0 25 0 8 0 721024543 2407587840 440877 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=2351160 CPUtime=395.3 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 112788 0 0 0 39468 62 0 0 25 0 8 0 721024543 2407587840 440877 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 1 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=2351160 CPUtime=389.3 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 120920 0 0 0 38864 66 0 0 25 0 8 0 721024543 2407587840 440877 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 5 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=2351160 CPUtime=388.47 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 104895 0 0 0 38794 53 0 0 25 0 8 0 721024543 2407587840 440877 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 1 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=2351160 CPUtime=415.14 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 103144 0 0 0 41455 59 0 0 25 0 8 0 721024543 2407587840 440877 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177316036 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=2351160 CPUtime=406.49 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 111422 0 0 0 40590 59 0 0 25 0 8 0 721024543 2407587840 440877 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 5 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=2351160 CPUtime=415.59 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 86712 0 0 0 41528 31 0 0 25 0 8 0 721024543 2407587840 440877 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3213.07
Current children cumulated vsize (KiB) 2351160
[startup+417.501 s]
/proc/loadavg: 6.58 7.74 7.38 3/459 3888
/proc/meminfo: memFree=27831844/32951124 swapFree=60688564/67111528
[pid=3857] ppid=3855 vsize=2351160 CPUtime=3216.27 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) S 3855 3857 3669 0 -1 4202496 879593 0 0 0 321184 443 0 0 25 0 8 0 721024543 2407587840 440969 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 587790 440969 380 95 0 582772 0
[pid=3857/tid=3858] ppid=3855 vsize=2351160 CPUtime=404.03 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 118189 0 0 0 40344 59 0 0 25 0 8 0 721024543 2407587840 440969 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=2351160 CPUtime=395.3 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 112788 0 0 0 39468 62 0 0 25 0 8 0 721024543 2407587840 440969 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 1 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=2351160 CPUtime=389.3 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 120920 0 0 0 38864 66 0 0 25 0 8 0 721024543 2407587840 440969 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 5 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=2351160 CPUtime=388.47 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 104895 0 0 0 38794 53 0 0 25 0 8 0 721024543 2407587840 440969 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 1 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=2351160 CPUtime=416.74 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 103144 0 0 0 41615 59 0 0 25 0 8 0 721024543 2407587840 440969 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177315883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=2351160 CPUtime=406.49 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 111422 0 0 0 40590 59 0 0 25 0 8 0 721024543 2407587840 440969 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 5 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=2351160 CPUtime=417.2 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 86804 0 0 0 41689 31 0 0 25 0 8 0 721024543 2407587840 440969 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3216.27
Current children cumulated vsize (KiB) 2351160
[startup+418.301 s]
/proc/loadavg: 6.58 7.74 7.38 3/459 3888
/proc/meminfo: memFree=27831736/32951124 swapFree=60688564/67111528
[pid=3857] ppid=3855 vsize=2351160 CPUtime=3217.87 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) S 3855 3857 3669 0 -1 4202496 879628 0 0 0 321344 443 0 0 25 0 8 0 721024543 2407587840 441004 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 587790 441004 380 95 0 582772 0
[pid=3857/tid=3858] ppid=3855 vsize=2351160 CPUtime=404.03 cores=0-7
/proc/3857/task/3858/stat : 3858 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 118189 0 0 0 40344 59 0 0 25 0 8 0 721024543 2407587840 441004 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 6 0 0 0
[pid=3857/tid=3859] ppid=3855 vsize=2351160 CPUtime=395.3 cores=0-7
/proc/3857/task/3859/stat : 3859 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 112788 0 0 0 39468 62 0 0 25 0 8 0 721024543 2407587840 441004 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 1 0 0 0
[pid=3857/tid=3860] ppid=3855 vsize=2351160 CPUtime=389.3 cores=0-7
/proc/3857/task/3860/stat : 3860 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 120920 0 0 0 38864 66 0 0 25 0 8 0 721024543 2407587840 441004 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 5 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=2351160 CPUtime=388.47 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 104895 0 0 0 38794 53 0 0 25 0 8 0 721024543 2407587840 441004 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 1 0 0 0
[pid=3857/tid=3862] ppid=3855 vsize=2351160 CPUtime=417.54 cores=0-7
/proc/3857/task/3862/stat : 3862 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 103144 0 0 0 41695 59 0 0 25 0 8 0 721024543 2407587840 441004 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177316036 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3857/tid=3863] ppid=3855 vsize=2351160 CPUtime=406.49 cores=0-7
/proc/3857/task/3863/stat : 3863 (strangenight2-m) S 3855 3857 3669 0 -1 4202560 111422 0 0 0 40590 59 0 0 25 0 8 0 721024543 2407587840 441004 33554432000 4194304 4580107 140737393079328 18446744073709551615 46959177340468 0 0 4096 2 18446604463042844672 0 0 -1 5 0 0 0
[pid=3857/tid=3864] ppid=3855 vsize=2351160 CPUtime=418 cores=0-7
/proc/3857/task/3864/stat : 3864 (strangenight2-m) R 3855 3857 3669 0 -1 4202560 86839 0 0 0 41769 31 0 0 25 0 8 0 721024543 2407587840 441004 33554432000 4194304 4580107 140737393079328 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3217.87
Current children cumulated vsize (KiB) 2351160
[startup+418.701 s]
/proc/loadavg: 6.58 7.74 7.38 3/459 3888
/proc/meminfo: memFree=27831736/32951124 swapFree=60688564/67111528
[pid=3857] ppid=3855 vsize=0 CPUtime=3218.66 cores=0-7
/proc/3857/stat : 3857 (strangenight2-m) Z 3855 3857 3669 0 -1 4203548 879649 0 0 0 321422 444 0 0 18 0 2 0 721024543 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/3857/statm: 0 0 0 0 0 0 0
[pid=3857/tid=3861] ppid=3855 vsize=0 CPUtime=388.48 cores=0-7
/proc/3857/task/3861/stat : 3861 (strangenight2-m) R 3855 3857 3669 0 -1 4203588 104895 0 0 0 38794 54 0 0 18 0 2 0 721024543 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3218.66
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 418.789
CPU time (s): 3218.76
CPU user time (s): 3214.23
CPU system time (s): 4.52931
CPU usage (%): 768.586
Max. virtual memory (cumulated for all children) (KiB): 2689468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3214.23
system time used= 4.52931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 879649
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= 381438
involuntary context switches= 34172
runsolver used 1.78273 second user time and 4.49832 second system time
The end
Begin job on node132 at 2011-05-22 21:57:44
IDJOB=3394322
IDBENCH=82494
IDSOLVER=1878
FILE ID=node132/3394322-1306094263
RUNJOBID= node132-1306092445-3683
PBS_JOBID= 13387944
Free space on /tmp= 73248 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_fb_unknown.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394322-1306094263/watcher-3394322-1306094263 -o /tmp/evaluation-result-3394322-1306094263/solver-3394322-1306094263 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394322-1306094263.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 2385047c56f7801a7fd110b2ffe2f293
RANDOM SEED=217887047
node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29654004 kB
Buffers: 2568 kB
Cached: 62176 kB
SwapCached: 12752 kB
Active: 32392 kB
Inactive: 3086712 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29654004 kB
SwapTotal: 67111528 kB
SwapFree: 60688556 kB
Dirty: 24480 kB
Writeback: 84 kB
AnonPages: 3049076 kB
Mapped: 17612 kB
Slab: 57136 kB
PageTables: 50040 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 109199624 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73244 MiB
End job on node132 at 2011-05-22 22:04:43