0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3400665-1306313467.cnf'
52.25/2.71 c -- clauses added: 0 learnts, 226752 normals, 0 xors
52.25/2.71 c -- vars added 69553
52.25/2.71 c Parsing time: 0.38 s
52.25/2.71 c N st 0 0 69553 133736 92373 0 585954 0 no data no data
61.80/3.09 c asymm cl-useful: 2/133736/133736 lits-rem:6 time: 0.37
78.96/3.69 c Flit: 12 Blit: 101 bXBeca: 0 bXProp: 5504 Bins: 0 BRemL: 0 BRemN: 0 P: 2.3M T: 0.54
78.96/3.69 c Cleaning up after failed var search: 0.00 s
81.82/3.79 c Replacing 5504 vars Replaced 69987 lits Time: 0.07 s
112.71/5.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
112.71/5.37 c bin-w-bin subsume rem 10 bins time: 0.03 s
116.43/5.45 c subs with bin: 78 lits-rem: 52 v-fix: 0 time: 0.08 s
119.31/5.59 c Subs w/ non-existent bins: 12 l-rem: 8 v-fix: 0 done: 63684 time: 0.13 s
121.08/5.69 c Removed useless bin: 2 fixed: 0 props: 1.67M time: 0.11 s
161.74/7.36 c lits-rem: 0 cl-subs: 5601 v-elim: 21228 v-fix: 0 time: 0.67 s
161.74/7.39 c Finding binary XORs T: 0.03 s found: 0
167.97/7.60 c Finding non-binary XORs: 0.13 s (found: 23090, avg size: 3.0)
167.97/7.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 8762 locsubst: 58 time: 0.07
167.97/7.62 c calculated reachability. Time: 0.00
167.97/7.63 c Calc default polars - time: 0.01 s pos: 8309 undec: 35956 neg: 25288
167.97/7.63 c =========================================================================================
167.97/7.63 c types(t): F = full restart, N = normal restart
167.97/7.63 c types(t): S = simplification begin/end, E = solution found
167.97/7.63 c restart types(rt): st = static, dy = dynamic
167.97/7.63 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
167.97/7.63 c B st 0 0 33694 56266 23417 0 267373 0 no data no data
183.88/8.06 c Decided on static restart strategy
356.48/13.41 c N st 8 4914 33686 56266 23605 4590 267373 199933 no data no data
688.95/23.87 c Finding binary XORs T: 0.02 s found: 92
1046.92/35.01 c N st 10 11298 33654 56131 25821 10715 266948 911529 no data no data
1762.95/57.49 c N st 11 17041 33651 56131 25830 16320 266948 1513997 no data no data
1766.13/57.54 c Finding binary XORs T: 0.02 s found: 27
3498.62/111.79 c F st 12 25000 33631 56059 26600 15653 266698 381747 no data no data
3501.84/111.83 c Replacing 153 vars Replaced 28471 lits Time: 0.04 s
3501.84/111.89 c N st 12 25000 33480 56043 26165 15614 266140 379144 no data no data
3505.01/111.93 c Finding binary XORs T: 0.02 s found: 142
4077.82/129.87 c Decided on static restart strategy
4077.82/129.87 c N st 18 30000 33475 56033 34597 20505 266100 802631 no data no data
4077.82/129.87 c S st 18 30000 33475 56033 34597 20505 266100 802631 no data no data
4080.38/130.00 c S st 18 30502 33475 56033 34598 21003 266100 810625 no data no data
4083.57/130.03 c x-sub: 30 x-cut: 0 vfix: 0 v-elim: 242 locsubst: 8 time: 0.03
4089.98/130.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 31 Bins: 390 BRemL: 2960 BRemN: 2 P: 3.4M T: 0.26
4093.18/130.33 c Replacing 173 vars Replaced 7838 lits Time: 0.03 s
4093.18/130.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4093.18/130.38 c bin-w-bin subsume rem 672 bins time: 0.01 s
4096.37/130.41 c subs with bin: 1779 lits-rem: 25 v-fix: 0 time: 0.03 s
4096.37/130.44 c Subs w/ non-existent bins: 1 l-rem: 0 v-fix: 0 done: 33060 time: 0.03 s
4096.37/130.47 c Removed useless bin: 13 fixed: 0 props: 0.46M time: 0.03 s
4099.57/130.59 c lits-rem: 0 cl-subs: 135 v-elim: 4573 v-fix: 0 time: 0.12 s
4102.76/130.67 c subs with bin: 76 lits-rem: 6666 v-fix: 0 time: 0.04 s
4115.54/131.00 c lits-rem: 3879 cl-subs: 1154 v-elim: 0 v-fix: 0 time: 0.31 s
4118.74/131.13 c asymm cl-useful: 0/58625/58625 lits-rem:0 time: 0.13
4118.74/131.15 c calculated reachability. Time: 0.01
4118.74/131.15 c N st 18 30502 28487 58625 16641 16088 249063 331395 no data no data
4972.20/157.82 c N st 20 37615 28487 58625 16829 23110 249063 1443433 no data no data
4972.20/157.84 c Finding binary XORs T: 0.02 s found: 21
5649.85/179.02 c N st 21 44015 28487 58625 16829 17112 249063 608513 no data no data
5809.67/184.08 c S st 22 45753 28487 58625 16961 18822 249063 840006 no data no data
5812.87/184.19 c S st 22 46257 28487 58625 16961 19320 249063 847796 no data no data
5816.06/184.21 c x-sub: 5 x-cut: 0 vfix: 0 v-elim: 65 locsubst: 31 time: 0.03
5822.47/184.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 45 Bins: 221 BRemL: 307 BRemN: 9 P: 2.5M T: 0.25
5822.47/184.50 c Replacing 80 vars Replaced 1238 lits Time: 0.02 s
5825.67/184.53 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5825.67/184.54 c bin-w-bin subsume rem 201 bins time: 0.01 s
5825.67/184.56 c subs with bin: 9 lits-rem: 0 v-fix: 0 time: 0.02 s
5825.67/184.58 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 28342 time: 0.02 s
5828.86/184.61 c Removed useless bin: 0 fixed: 0 props: 0.28M time: 0.02 s
5828.86/184.65 c lits-rem: 0 cl-subs: 47 v-elim: 27 v-fix: 0 time: 0.05 s
5832.68/184.72 c subs with bin: 1 lits-rem: 57 v-fix: 0 time: 0.03 s
5838.44/184.91 c lits-rem: 591 cl-subs: 319 v-elim: 0 v-fix: 0 time: 0.17 s
5838.44/184.92 c vivif2 -- cl tried 58556 cl shrink 0 lits rem 0 time: 0.01
5838.44/184.95 c vivif2 -- cl tried 16964 cl shrink 1595 lits rem 2622 time: 0.02
5841.64/185.08 c asymm cl-useful: 2/58556/58556 lits-rem:2 time: 0.13
5841.64/185.10 c calculated reachability. Time: 0.01
5841.64/185.10 c N st 22 46257 28315 58556 16510 16961 248579 374085 no data no data
7180.95/226.98 c N st 23 60655 28315 58556 16512 31173 248579 1702977 no data no data
7184.18/227.01 c Finding binary XORs T: 0.02 s found: 17
8098.33/255.65 c N st 24 69386 28315 58556 16797 24458 248579 1255204 no data no data
8098.33/255.65 c S st 24 69386 28315 58556 16797 24458 248579 1255204 no data no data
8101.52/255.76 c S st 24 69890 28315 58556 17082 24953 248579 1262515 no data no data
8101.52/255.79 c x-sub: 14 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 10 time: 0.03
8111.13/256.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 66 Bins: 43 BRemL: 305 BRemN: 0 P: 2.7M T: 0.26
8111.13/256.08 c Replacing 88 vars Replaced 1889 lits Time: 0.02 s
8114.33/256.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
8114.33/256.13 c bin-w-bin subsume rem 141 bins time: 0.01 s
8114.33/256.14 c subs with bin: 4 lits-rem: 0 v-fix: 0 time: 0.02 s
8114.33/256.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 28226 time: 0.02 s
8114.33/256.19 c Removed useless bin: 0 fixed: 0 props: 0.28M time: 0.02 s
8118.11/256.25 c lits-rem: 0 cl-subs: 45 v-elim: 39 v-fix: 0 time: 0.06 s
8123.93/256.44 c subs with bin: 8 lits-rem: 256 v-fix: 0 time: 0.09 s
8149.48/257.29 c lits-rem: 1140 cl-subs: 566 v-elim: 0 v-fix: 0 time: 0.82 s
8149.48/257.30 c vivif2 -- cl tried 58432 cl shrink 0 lits rem 0 time: 0.01
8153.26/257.38 c vivif2 -- cl tried 24377 cl shrink 3475 lits rem 9631 time: 0.08
8159.06/257.52 c asymm cl-useful: 6/58432/58432 lits-rem:18 time: 0.14
8159.06/257.54 c calculated reachability. Time: 0.01
8159.06/257.54 c N st 24 69890 28187 58426 16420 24377 247540 1167784 no data no data
9952.33/313.61 c F st 25 87501 28187 58426 16421 41706 247540 3494857 no data no data
9952.33/313.65 c N st 25 87501 28187 58426 16421 41706 247540 3494857 no data no data
9952.33/313.68 c Finding binary XORs T: 0.02 s found: 9
10403.65/327.80 c Decided on static restart strategy
10684.93/336.53 c N st 32 95536 28187 58426 16537 31891 247540 1487333 no data no data
11681.59/367.70 c N st 34 104835 28187 58426 16576 41027 247540 2426969 no data no data
11681.59/367.70 c S st 34 104835 28187 58426 16576 41027 247540 2426969 no data no data
11684.82/367.85 c S st 34 105338 28187 58426 16696 41526 247540 2435959 no data no data
11684.82/367.89 c x-sub: 5 x-cut: 0 vfix: 0 v-elim: 9 locsubst: 30 time: 0.03
11694.39/368.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 2 BRemL: 94 BRemN: 0 P: 3.0M T: 0.28
11697.59/368.20 c Replacing 18 vars Replaced 219 lits Time: 0.03 s
11697.59/368.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
11697.59/368.24 c bin-w-bin subsume rem 39 bins time: 0.01 s
11697.59/368.26 c subs with bin: 3 lits-rem: 0 v-fix: 0 time: 0.02 s
11697.59/368.29 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 28160 time: 0.02 s
11700.79/368.31 c Removed useless bin: 0 fixed: 0 props: 0.28M time: 0.02 s
11700.79/368.38 c lits-rem: 0 cl-subs: 2 v-elim: 0 v-fix: 0 time: 0.07 s
11713.56/368.78 c subs with bin: 18 lits-rem: 1258 v-fix: 0 time: 0.19 s
11815.85/371.92 c lits-rem: 5019 cl-subs: 1332 v-elim: 0 v-fix: 0 time: 3.12 s
11815.85/371.93 c vivif2 -- cl tried 58419 cl shrink 0 lits rem 0 time: 0.01
11822.24/372.12 c vivif2 -- cl tried 40176 cl shrink 8175 lits rem 17087 time: 0.18
11825.47/372.29 c asymm cl-useful: 0/58419/58419 lits-rem:0 time: 0.17
11828.65/372.30 c calculated reachability. Time: 0.01
11828.65/372.30 c N st 34 105338 28160 58419 16543 40176 247464 2276491 no data no data
13011.35/409.37 c N st 35 114936 28160 58419 16543 29306 247464 852700 no data no data
14149.32/444.92 c N st 36 129334 28160 58419 16567 43453 247464 2765788 no data no data
16000.08/502.86 c N st 37 150929 28160 58419 16601 42719 247464 920368 no data no data
16764.05/526.77 c S st 38 158007 28160 58419 16692 49716 247464 1963108 no data no data
16771.07/526.93 c S st 38 158510 28159 58419 16719 50216 247464 1970331 no data no data
16771.07/526.96 c x-sub: 16 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
16780.03/527.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 8 Bins: 23 BRemL: 81 BRemN: 0 P: 3.3M T: 0.30
16783.23/527.32 c Replacing 9 vars Replaced 524 lits Time: 0.05 s
16783.23/527.35 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
16783.23/527.36 c bin-w-bin subsume rem 16 bins time: 0.01 s
16783.23/527.38 c subs with bin: 3 lits-rem: 0 v-fix: 0 time: 0.02 s
16786.42/527.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 28150 time: 0.02 s
16786.42/527.43 c Removed useless bin: 0 fixed: 0 props: 0.28M time: 0.02 s
16789.62/527.50 c lits-rem: 0 cl-subs: 6 v-elim: 0 v-fix: 0 time: 0.07 s
16796.02/527.79 c subs with bin: 8 lits-rem: 1550 v-fix: 0 time: 0.14 s
16876.56/530.23 c lits-rem: 4958 cl-subs: 2254 v-elim: 0 v-fix: 0 time: 2.42 s
16876.56/530.24 c vivif2 -- cl tried 58407 cl shrink 0 lits rem 0 time: 0.01
16879.12/530.39 c vivif2 -- cl tried 47912 cl shrink 7199 lits rem 12696 time: 0.15
16885.51/530.57 c asymm cl-useful: 0/58407/58407 lits-rem:0 time: 0.19
16885.51/530.59 c calculated reachability. Time: 0.01
16885.51/530.59 c N st 38 158510 28150 58407 16547 47912 247368 1861253 no data no data
22277.97/699.25 c N st 39 207100 28150 58407 16547 47736 247368 2857473 no data no data
22281.16/699.31 c Finding binary XORs T: 0.02 s found: 10
25589.52/802.81 c N st 40 237766 28149 58405 16768 52068 247360 2539354 no data no data
25589.52/802.81 c S st 40 237766 28149 58405 16768 52068 247360 2539354 no data no data
25593.34/803.00 c S st 40 238271 28149 58405 16796 52567 247360 2546144 no data no data
25596.57/803.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 12 time: 0.04
25605.49/803.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 89 BRemL: 204 BRemN: 0 P: 3.2M T: 0.34
25608.69/803.46 c Replacing 15 vars Replaced 4463 lits Time: 0.08 s
25608.69/803.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
25611.89/803.51 c bin-w-bin subsume rem 46 bins time: 0.01 s
25611.89/803.53 c subs with bin: 2 lits-rem: 2 v-fix: 0 time: 0.02 s
25611.89/803.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 28134 time: 0.02 s
25611.89/803.58 c Removed useless bin: 0 fixed: 0 props: 0.28M time: 0.02 s
25615.08/803.66 c lits-rem: 0 cl-subs: 43 v-elim: 0 v-fix: 0 time: 0.08 s
25628.51/804.10 c subs with bin: 7 lits-rem: 637 v-fix: 0 time: 0.24 s
25797.30/809.31 c lits-rem: 4367 cl-subs: 1589 v-elim: 0 v-fix: 0 time: 5.19 s
25797.30/809.32 c vivif2 -- cl tried 58355 cl shrink 0 lits rem 0 time: 0.01
25800.50/809.49 c vivif2 -- cl tried 50971 cl shrink 7787 lits rem 25762 time: 0.17
25807.52/809.69 c asymm cl-useful: 0/58355/58355 lits-rem:0 time: 0.20
25810.07/809.71 c calculated reachability. Time: 0.01
25810.07/809.71 c N st 40 238271 28134 58355 16610 50971 247199 2335137 no data no data
36077.22/1130.96 c F st 41 306252 28134 58355 16610 63146 247199 2096467 no data no data
36080.42/1131.01 c N st 41 306252 28134 58355 16610 63146 247199 2096467 no data no data
36627.02/1148.16 c Decided on static restart strategy
38462.42/1205.60 c N st 51 334557 28132 58355 16819 62589 247199 2810030 no data no data
41134.65/1289.16 c N st 53 357406 28132 58355 16829 55359 247199 2472594 no data no data
41134.65/1289.16 c S st 53 357406 28132 58355 16829 55359 247199 2472594 no data no data
41140.43/1289.33 c S st 53 357906 28132 58355 16833 55853 247199 2480596 no data no data
41140.43/1289.36 c x-sub: 4 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 15 time: 0.03
41150.03/1289.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 52 BRemL: 146 BRemN: 0 P: 3.3M T: 0.30
41153.22/1289.73 c Replacing 9 vars Replaced 285 lits Time: 0.06 s
41153.22/1289.76 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
41153.22/1289.77 c bin-w-bin subsume rem 24 bins time: 0.01 s
41153.22/1289.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s
41156.42/1289.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 28123 time: 0.03 s
41156.42/1289.85 c Removed useless bin: 0 fixed: 0 props: 0.28M time: 0.02 s
41159.62/1289.93 c lits-rem: 0 cl-subs: 15 v-elim: 0 v-fix: 0 time: 0.08 s
41169.84/1290.27 c subs with bin: 4 lits-rem: 361 v-fix: 0 time: 0.15 s
41332.23/1295.31 c lits-rem: 3165 cl-subs: 1410 v-elim: 0 v-fix: 0 time: 5.02 s
41332.23/1295.32 c vivif2 -- cl tried 58336 cl shrink 0 lits rem 0 time: 0.01
41335.44/1295.49 c vivif2 -- cl tried 54413 cl shrink 5589 lits rem 12398 time: 0.16
41341.83/1295.68 c asymm cl-useful: 0/58336/58336 lits-rem:0 time: 0.19
41341.83/1295.70 c calculated reachability. Time: 0.00
41341.83/1295.70 c N st 53 357906 28123 58336 16549 54413 247108 2258415 no data no data
45100.91/1413.30 c N st 54 390298 28123 58336 16549 55392 247108 1993222 no data no data
45104.10/1413.32 c Finding binary XORs T: 0.02 s found: 1
50474.21/1581.39 c N st 55 438886 28123 58336 16618 71351 247108 2822687 no data no data
63282.49/1982.01 c N st 56 511770 28122 58336 16624 76797 247108 1947191 no data no data
66475.78/2081.98 c N st 57 536859 28122 58336 16997 67552 247108 2607413 no data no data
66475.78/2081.98 c S st 57 536859 28122 58336 16997 67552 247108 2607413 no data no data
66482.17/2082.17 c S st 57 537362 28122 58336 17008 68046 247108 2616545 no data no data
66482.17/2082.20 c x-sub: 5 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 3 time: 0.04
66494.95/2082.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 113 BRemL: 334 BRemN: 0 P: 3.6M T: 0.34
66498.15/2082.67 c Replacing 4 vars Replaced 5635 lits Time: 0.13 s
66501.34/2082.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
66501.34/2082.72 c bin-w-bin subsume rem 44 bins time: 0.01 s
66501.34/2082.74 c subs with bin: 4 lits-rem: 0 v-fix: 0 time: 0.02 s
66501.34/2082.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 28118 time: 0.03 s
66504.54/2082.80 c Removed useless bin: 0 fixed: 0 props: 0.29M time: 0.03 s
66504.54/2082.88 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s
66517.33/2083.29 c subs with bin: 16 lits-rem: 149 v-fix: 0 time: 0.20 s
66732.14/2089.99 c lits-rem: 5553 cl-subs: 1485 v-elim: 0 v-fix: 0 time: 6.67 s
66732.14/2090.00 c vivif2 -- cl tried 58331 cl shrink 0 lits rem 0 time: 0.01
66737.89/2090.16 c vivif2 -- cl tried 66541 cl shrink 7347 lits rem 18380 time: 0.17
66744.29/2090.38 c asymm cl-useful: 0/58331/58331 lits-rem:0 time: 0.21
66744.29/2090.40 c calculated reachability. Time: 0.01
66744.29/2090.40 c N st 57 537362 28118 58331 16685 66541 247070 2463581 no data no data
80708.67/2527.24 c N st 58 701346 28118 58331 16687 83626 247070 1959662 no data no data
80708.67/2527.26 c Finding binary XORs T: 0.02 s found: 1
93597.52/2930.46 c N st 59 806043 28117 58331 16793 107799 247070 2998837 no data no data
93597.52/2930.46 c S st 59 806043 28117 58331 16793 107799 247070 2998837 no data no data
93606.48/2930.72 c S st 59 806544 28116 58331 16849 108288 247070 3006606 no data no data
93606.48/2930.76 c x-sub: 1 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
93619.27/2931.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 25 BRemL: 82 BRemN: 0 P: 4.3M T: 0.37
93622.47/2931.22 c Replacing 4 vars Replaced 765 lits Time: 0.08 s
93622.47/2931.25 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
93622.47/2931.27 c bin-w-bin subsume rem 12 bins time: 0.01 s
93622.47/2931.29 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.02 s
93625.66/2931.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 28112 time: 0.03 s
93625.66/2931.35 c Removed useless bin: 0 fixed: 0 props: 0.30M time: 0.03 s
93629.48/2931.45 c lits-rem: 0 cl-subs: 6 v-elim: 0 v-fix: 0 time: 0.10 s
93644.84/2931.90 c subs with bin: 3 lits-rem: 104 v-fix: 0 time: 0.20 s
93961.30/2941.84 c lits-rem: 11529 cl-subs: 3968 v-elim: 0 v-fix: 0 time: 9.91 s
93961.30/2941.85 c vivif2 -- cl tried 58321 cl shrink 0 lits rem 0 time: 0.01
93970.91/2942.10 c vivif2 -- cl tried 104220 cl shrink 11319 lits rem 22430 time: 0.25
93977.29/2942.39 c asymm cl-useful: 0/58321/58321 lits-rem:0 time: 0.29
93977.29/2942.41 c calculated reachability. Time: 0.01
93977.29/2942.41 c N st 59 806544 28112 58321 16637 104220 247022 2852411 no data no data
141582.64/4431.63 c F st 60 1071875 28112 58321 16638 103686 247022 1825339 no data no data
141582.64/4431.69 c N st 60 1071875 28112 58321 16638 103686 247022 1825339 no data no data
142209.12/4451.24 c Decided on static restart strategy
144635.28/4527.12 c N st 70 1100178 28109 58321 16946 84549 247022 962138 no data no data
145777.03/4562.85 c Finding binary XORs T: 0.02 s found: 29
147313.92/4610.90 c N st 72 1136174 28109 58317 16772 119978 247000 5456635 no data no data
153006.89/4789.05 c N st 73 1168566 28109 58317 16779 103652 247000 2676915 no data no data
158309.83/4954.91 c N st 74 1209817 28109 58317 16823 95362 247000 1916376 no data no data
158309.83/4954.91 c S st 74 1209817 28109 58317 16823 95362 247000 1916376 no data no data
158316.23/4955.15 c S st 74 1210322 28109 58317 16867 95863 247000 1925550 no data no data
158316.23/4955.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 3 time: 0.04
158329.67/4955.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 27 Bins: 0 BRemL: 213 BRemN: 0 P: 3.9M T: 0.39
158332.20/4955.64 c Replacing 56 vars Replaced 1173 lits Time: 0.04 s
158332.20/4955.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
158332.20/4955.69 c bin-w-bin subsume rem 57 bins time: 0.01 s
158335.41/4955.71 c subs with bin: 6 lits-rem: 0 v-fix: 0 time: 0.02 s
158335.41/4955.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 28053 time: 0.04 s
158335.41/4955.78 c Removed useless bin: 0 fixed: 0 props: 0.30M time: 0.03 s
158338.59/4955.89 c lits-rem: 0 cl-subs: 96 v-elim: 0 v-fix: 0 time: 0.10 s
158348.19/4956.19 c subs with bin: 13 lits-rem: 180 v-fix: 0 time: 0.14 s
158428.11/4958.71 c lits-rem: 3991 cl-subs: 964 v-elim: 0 v-fix: 0 time: 2.49 s
158431.94/4958.72 c vivif2 -- cl tried 58215 cl shrink 0 lits rem 0 time: 0.01
158435.14/4958.86 c vivif2 -- cl tried 94874 cl shrink 3993 lits rem 11000 time: 0.14
158444.09/4959.15 c asymm cl-useful: 0/58215/58215 lits-rem:0 time: 0.28
158444.09/4959.17 c calculated reachability. Time: 0.01
158444.09/4959.17 c N st 74 1210322 28053 58215 16484 94874 246629 1872346 no data no data
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-3400665-1306313467/watcher-3400665-1306313467 -o /tmp/evaluation-result-3400665-1306313467/solver-3400665-1306313467 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400665-1306313467.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: 26.39 29.64 30.87 1/413 14204
/proc/meminfo: memFree=255151560/264257624 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=338000 CPUtime=0.73 cores=0-31
/proc/14204/stat : 14204 (strangenight2-m) R 14202 14204 14118 0 -1 4202496 435 0 0 0 73 0 0 0 25 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966252 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14204/statm: 84500 376 297 95 0 79482 0
[pid=14204/tid=14205] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14205/stat : 14205 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14204/tid=14206] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14206/stat : 14206 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14204/tid=14207] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14207/stat : 14207 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14204/tid=14208] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14208/stat : 14208 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14204/tid=14209] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14209/stat : 14209 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966252 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14204/tid=14210] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14210/stat : 14210 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14204/tid=14211] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14211/stat : 14211 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14204/tid=14212] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14212/stat : 14212 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966262 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14204/tid=14213] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14213/stat : 14213 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966252 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14204/tid=14214] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14214/stat : 14214 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14204/tid=14215] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14215/stat : 14215 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966248 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14204/tid=14216] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14216/stat : 14216 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14204/tid=14217] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14217/stat : 14217 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966248 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14204/tid=14218] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14218/stat : 14218 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966252 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14204/tid=14219] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14219/stat : 14219 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14204/tid=14220] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14220/stat : 14220 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14204/tid=14221] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14221/stat : 14221 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14204/tid=14222] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14222/stat : 14222 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966252 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14204/tid=14223] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14223/stat : 14223 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14204/tid=14224] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14224/stat : 14224 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14204/tid=14225] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14225/stat : 14225 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14204/tid=14226] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14226/stat : 14226 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14204/tid=14227] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14227/stat : 14227 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14204/tid=14228] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14228/stat : 14228 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966252 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14204/tid=14229] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14229/stat : 14229 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14204/tid=14230] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14230/stat : 14230 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 742833174 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14204/tid=14231] ppid=14202 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14204/task/14231/stat : 14231 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 742833175 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966258 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14204/tid=14232] ppid=14202 vsize=338000 CPUtime=0 cores=0-31
/proc/14204/task/14232/stat : 14232 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 742833175 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966256 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14204/tid=14233] ppid=14202 vsize=338000 CPUtime=0.01 cores=0-31
/proc/14204/task/14233/stat : 14233 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 742833175 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14204/tid=14234] ppid=14202 vsize=338000 CPUtime=0 cores=0-31
/proc/14204/task/14234/stat : 14234 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 742833175 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14204/tid=14235] ppid=14202 vsize=338000 CPUtime=0.01 cores=0-31
/proc/14204/task/14235/stat : 14235 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 742833175 346112000 376 268435456000 4194304 4580107 140734845417856 18446744073709551615 47447101966256 0 0 4096 2 0 0 0 -1 30 0 0 0
[startup+0.0854439 s]
/proc/loadavg: 26.39 29.64 30.87 1/413 14204
/proc/meminfo: memFree=255151560/264257624 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=1125924 CPUtime=1.82 cores=0-31
/proc/14204/stat : 14204 (strangenight2-m) D 14202 14204 14118 0 -1 4202496 9326 0 0 0 102 80 0 0 25 0 32 0 742833174 1152946176 9192 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/14204/statm: 281481 9211 331 95 0 276463 0
[pid=14204/tid=14205] ppid=14202 vsize=1125924 CPUtime=0.05 cores=0-31
/proc/14204/task/14205/stat : 14205 (strangenight2-m) D 14202 14204 14118 0 -1 4202560 259 0 0 0 3 2 0 0 23 0 32 0 742833174 1152946176 9226 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14204/tid=14206] ppid=14202 vsize=1125924 CPUtime=0.05 cores=0-31
/proc/14204/task/14206/stat : 14206 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 266 0 0 0 3 2 0 0 23 0 32 0 742833174 1152946176 9239 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446744071566926264 0 0 -1 2 0 0 0
[pid=14204/tid=14207] ppid=14202 vsize=1125924 CPUtime=0.05 cores=0-31
/proc/14204/task/14207/stat : 14207 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 294 0 0 0 3 2 0 0 23 0 32 0 742833174 1152946176 9254 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14204/tid=14208] ppid=14202 vsize=1125924 CPUtime=0.05 cores=0-31
/proc/14204/task/14208/stat : 14208 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 267 0 0 0 3 2 0 0 23 0 32 0 742833174 1152946176 9258 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446604484017815008 0 0 -1 12 0 0 0
[pid=14204/tid=14209] ppid=14202 vsize=1125924 CPUtime=0.05 cores=0-31
/proc/14204/task/14209/stat : 14209 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 272 0 0 0 3 2 0 0 17 0 32 0 742833174 1152946176 9277 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446744071566924224 0 0 -1 8 0 0 0
[pid=14204/tid=14210] ppid=14202 vsize=1125924 CPUtime=0.05 cores=0-31
/proc/14204/task/14210/stat : 14210 (strangenight2-m) D 14202 14204 14118 0 -1 4202560 282 0 0 0 3 2 0 0 17 0 32 0 742833174 1152946176 9310 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14204/tid=14211] ppid=14202 vsize=1125924 CPUtime=0.05 cores=0-31
/proc/14204/task/14211/stat : 14211 (strangenight2-m) D 14202 14204 14118 0 -1 4202560 345 0 0 0 3 2 0 0 18 0 32 0 742833174 1152946176 9321 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14204/tid=14212] ppid=14202 vsize=1125924 CPUtime=0.05 cores=0-31
/proc/14204/task/14212/stat : 14212 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 270 0 0 0 3 2 0 0 18 0 32 0 742833174 1152946176 9332 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446604479913516512 0 0 -1 5 0 0 0
[pid=14204/tid=14213] ppid=14202 vsize=1125924 CPUtime=0.05 cores=0-31
/proc/14204/task/14213/stat : 14213 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 742833174 1152946176 9348 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446744071566926104 0 0 -1 3 0 0 0
[pid=14204/tid=14214] ppid=14202 vsize=1125924 CPUtime=0.05 cores=0-31
/proc/14204/task/14214/stat : 14214 (strangenight2-m) D 14202 14204 14118 0 -1 4202560 283 0 0 0 3 2 0 0 18 0 32 0 742833174 1152946176 9348 268435456000 4194304 4580107 140734845417856 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14204/tid=14215] ppid=14202 vsize=1125924 CPUtime=0.05 cores=0-31
/proc/14204/task/14215/stat : 14215 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 300 0 0 0 3 2 0 0 18 0 32 0 742833174 1152946176 9359 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14204/tid=14216] ppid=14202 vsize=1125924 CPUtime=0.05 cores=0-31
/proc/14204/task/14216/stat : 14216 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 267 0 0 0 3 2 0 0 18 0 32 0 742833174 1152946176 9381 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446744071566926264 0 0 -1 7 0 0 0
[pid=14204/tid=14217] ppid=14202 vsize=1125924 CPUtime=0.05 cores=0-31
/proc/14204/task/14217/stat : 14217 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 290 0 0 0 3 2 0 0 24 0 32 0 742833174 1152946176 9385 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14204/tid=14218] ppid=14202 vsize=1125924 CPUtime=0.05 cores=0-31
/proc/14204/task/14218/stat : 14218 (strangenight2-m) D 14202 14204 14118 0 -1 4202560 300 0 0 0 3 2 0 0 24 0 32 0 742833174 1152946176 9389 268435456000 4194304 4580107 140734845417856 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14204/tid=14219] ppid=14202 vsize=1191460 CPUtime=0.05 cores=0-31
/proc/14204/task/14219/stat : 14219 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 270 0 0 0 3 2 0 0 25 0 32 0 742833174 1220055040 9389 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446604480390421984 0 0 -1 13 0 0 0
[pid=14204/tid=14220] ppid=14202 vsize=1191460 CPUtime=0.05 cores=0-31
/proc/14204/task/14220/stat : 14220 (strangenight2-m) D 14202 14204 14118 0 -1 4202560 287 0 0 0 3 2 0 0 17 0 32 0 742833174 1220055040 9395 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14204/tid=14221] ppid=14202 vsize=1191604 CPUtime=0.05 cores=0-31
/proc/14204/task/14221/stat : 14221 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 270 0 0 0 3 2 0 0 18 0 32 0 742833174 1220202496 9399 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446604505575243232 0 0 -1 11 0 0 0
[pid=14204/tid=14222] ppid=14202 vsize=1191604 CPUtime=0.05 cores=0-31
/proc/14204/task/14222/stat : 14222 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 322 0 0 0 3 2 0 0 18 0 32 0 742833174 1220202496 9411 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14204/tid=14223] ppid=14202 vsize=1191604 CPUtime=0.05 cores=0-31
/proc/14204/task/14223/stat : 14223 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 281 0 0 0 3 2 0 0 17 0 32 0 742833174 1220202496 9424 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446744071566928344 0 0 -1 14 0 0 0
[pid=14204/tid=14224] ppid=14202 vsize=1191604 CPUtime=0.05 cores=0-31
/proc/14204/task/14224/stat : 14224 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 302 0 0 0 3 2 0 0 17 0 32 0 742833174 1220202496 9430 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446604480987127264 0 0 -1 15 0 0 0
[pid=14204/tid=14225] ppid=14202 vsize=1191604 CPUtime=0.05 cores=0-31
/proc/14204/task/14225/stat : 14225 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 273 0 0 0 3 2 0 0 17 0 32 0 742833174 1220202496 9441 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446604483019259360 0 0 -1 21 0 0 0
[pid=14204/tid=14226] ppid=14202 vsize=1191604 CPUtime=0.05 cores=0-31
/proc/14204/task/14226/stat : 14226 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 278 0 0 0 3 2 0 0 17 0 32 0 742833174 1220202496 9447 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446744071566928304 0 0 -1 18 0 0 0
[pid=14204/tid=14227] ppid=14202 vsize=1191604 CPUtime=0.05 cores=0-31
/proc/14204/task/14227/stat : 14227 (strangenight2-m) D 14202 14204 14118 0 -1 4202560 337 0 0 0 3 2 0 0 17 0 32 0 742833174 1220202496 9450 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14204/tid=14228] ppid=14202 vsize=1191604 CPUtime=0.05 cores=0-31
/proc/14204/task/14228/stat : 14228 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 301 0 0 0 3 2 0 0 17 0 32 0 742833174 1220202496 9456 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14204/tid=14229] ppid=14202 vsize=1191604 CPUtime=0.05 cores=0-31
/proc/14204/task/14229/stat : 14229 (strangenight2-m) D 14202 14204 14118 0 -1 4202560 272 0 0 0 3 2 0 0 25 0 32 0 742833174 1220202496 9464 268435456000 4194304 4580107 140734845417856 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14204/tid=14230] ppid=14202 vsize=1191604 CPUtime=0.05 cores=0-31
/proc/14204/task/14230/stat : 14230 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 267 0 0 0 3 2 0 0 25 0 32 0 742833174 1220202496 9469 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446604501641723360 0 0 -1 23 0 0 0
[pid=14204/tid=14231] ppid=14202 vsize=1191604 CPUtime=0.05 cores=0-31
/proc/14204/task/14231/stat : 14231 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 742833175 1220202496 9475 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446604484710350304 0 0 -1 16 0 0 0
[pid=14204/tid=14232] ppid=14202 vsize=1191604 CPUtime=0.02 cores=0-31
/proc/14204/task/14232/stat : 14232 (strangenight2-m) D 14202 14204 14118 0 -1 4202560 274 0 0 0 0 2 0 0 17 0 32 0 742833175 1220202496 9481 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14204/tid=14233] ppid=14202 vsize=1191604 CPUtime=0.04 cores=0-31
/proc/14204/task/14233/stat : 14233 (strangenight2-m) D 14202 14204 14118 0 -1 4202560 295 0 0 0 2 2 0 0 18 0 32 0 742833175 1220202496 9497 268435456000 4194304 4580107 140734845417856 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14204/tid=14234] ppid=14202 vsize=1191604 CPUtime=0.02 cores=0-31
/proc/14204/task/14234/stat : 14234 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 272 0 0 0 0 2 0 0 17 0 32 0 742833175 1220202496 9501 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446604482066931168 0 0 -1 31 0 0 0
[pid=14204/tid=14235] ppid=14202 vsize=1191604 CPUtime=0.03 cores=0-31
/proc/14204/task/14235/stat : 14235 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 266 0 0 0 1 2 0 0 25 0 32 0 742833175 1220202496 9505 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446604479619325408 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 1125924
[startup+0.104491 s]
/proc/loadavg: 26.39 29.64 30.87 1/413 14204
/proc/meminfo: memFree=255151560/264257624 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=1260264 CPUtime=1.95 cores=0-31
/proc/14204/stat : 14204 (strangenight2-m) D 14202 14204 14118 0 -1 4202496 11589 0 0 0 104 91 0 0 17 0 32 0 742833174 1290510336 11454 268435456000 4194304 4580107 140734845417856 18446744073709551615 4307656 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/14204/statm: 315066 11490 331 95 0 310048 0
[pid=14204/tid=14205] ppid=14202 vsize=1260264 CPUtime=0.06 cores=0-31
/proc/14204/task/14205/stat : 14205 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 366 0 0 0 3 3 0 0 22 0 32 0 742833174 1290510336 11499 268435456000 4194304 4580107 140734845417856 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14204/tid=14206] ppid=14202 vsize=1260264 CPUtime=0.05 cores=0-31
/proc/14204/task/14206/stat : 14206 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 272 0 0 0 3 2 0 0 17 0 32 0 742833174 1290510336 11499 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446744071566926264 0 0 -1 2 0 0 0
[pid=14204/tid=14207] ppid=14202 vsize=1260264 CPUtime=0.05 cores=0-31
/proc/14204/task/14207/stat : 14207 (strangenight2-m) D 14202 14204 14118 0 -1 4202560 393 0 0 0 3 2 0 0 17 0 32 0 742833174 1290510336 11505 268435456000 4194304 4580107 140734845417856 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14204/tid=14208] ppid=14202 vsize=1260264 CPUtime=0.05 cores=0-31
/proc/14204/task/14208/stat : 14208 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 268 0 0 0 3 2 0 0 17 0 32 0 742833174 1290510336 11515 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446604478472027616 0 0 -1 12 0 0 0
[pid=14204/tid=14209] ppid=14202 vsize=1260264 CPUtime=0.05 cores=0-31
/proc/14204/task/14209/stat : 14209 (strangenight2-m) D 14202 14204 14118 0 -1 4202560 380 0 0 0 3 2 0 0 17 0 32 0 742833174 1290510336 11521 268435456000 4194304 4580107 140734845417856 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14204/tid=14210] ppid=14202 vsize=1260264 CPUtime=0.06 cores=0-31
/proc/14204/task/14210/stat : 14210 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 362 0 0 0 3 3 0 0 17 0 32 0 742833174 1290510336 11534 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446744071566928624 0 0 -1 26 0 0 0
[pid=14204/tid=14211] ppid=14202 vsize=1260264 CPUtime=0.05 cores=0-31
/proc/14204/task/14211/stat : 14211 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 474 0 0 0 3 2 0 0 17 0 32 0 742833174 1290510336 11581 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14204/tid=14212] ppid=14202 vsize=1260264 CPUtime=0.05 cores=0-31
/proc/14204/task/14212/stat : 14212 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 305 0 0 0 3 2 0 0 17 0 32 0 742833174 1290510336 11588 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446604480987127264 0 0 -1 5 0 0 0
[pid=14204/tid=14213] ppid=14202 vsize=1260264 CPUtime=0.05 cores=0-31
/proc/14204/task/14213/stat : 14213 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 300 0 0 0 3 2 0 0 17 0 32 0 742833174 1290510336 11592 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14204/tid=14214] ppid=14202 vsize=1260396 CPUtime=0.06 cores=0-31
/proc/14204/task/14214/stat : 14214 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 397 0 0 0 3 3 0 0 17 0 32 0 742833174 1290645504 11597 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14204/tid=14215] ppid=14202 vsize=1260396 CPUtime=0.05 cores=0-31
/proc/14204/task/14215/stat : 14215 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 372 0 0 0 3 2 0 0 17 0 32 0 742833174 1290645504 11618 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14204/tid=14216] ppid=14202 vsize=1260396 CPUtime=0.05 cores=0-31
/proc/14204/task/14216/stat : 14216 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 268 0 0 0 3 2 0 0 17 0 32 0 742833174 1290645504 11633 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446744071566928264 0 0 -1 7 0 0 0
[pid=14204/tid=14217] ppid=14202 vsize=1260396 CPUtime=0.06 cores=0-31
/proc/14204/task/14217/stat : 14217 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 430 0 0 0 3 3 0 0 18 0 32 0 742833174 1290645504 11644 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14204/tid=14218] ppid=14202 vsize=1260528 CPUtime=0.05 cores=0-31
/proc/14204/task/14218/stat : 14218 (strangenight2-m) D 14202 14204 14118 0 -1 4202560 423 0 0 0 3 2 0 0 24 0 32 0 742833174 1290780672 11650 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14204/tid=14219] ppid=14202 vsize=1260660 CPUtime=0.06 cores=0-31
/proc/14204/task/14219/stat : 14219 (strangenight2-m) S 14202 14204 14118 0 -1 4202560 327 0 0 0 3 3 0 0 17 0 32 0 742833174 1290915840 11666 268435456000 4194304 4580107 140734845417856 18446744073709551615 258651060958 0 0 4096 2 18446744071566933744 0 0 -1 13 0 0 0
[pid=14204/tid=14220] ppid=14202 vsize=1260660 CPUtime=0.06 cores=0-31
/proc/14204/task/14220/stat : 14220 (strangenight2-m) D 14202 14204 14118 0 -1 4202560 397 0 0 0 3 3 0 0 17 0 32 0 742833174 1290915840 11670 268435456000 4194304 4580107 140734845417856 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14204/tid=14221] ppid=14202 vsize=1260660 CPUtime=0.06 cores=0-31
################
# More data... #
################
/proc/meminfo: memFree=249042236/264257624 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=8575900 CPUtime=158546 cores=0-31
/proc/14204/stat : 14204 (strangenight2-m) R 14202 14204 14118 0 -1 4202496 4821508 0 0 0 15845570 9068 0 0 25 0 32 0 742833174 8781721600 1528509 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/14204/statm: 2143975 1528509 397 95 0 2138957 0
[pid=14204/tid=14205] ppid=14202 vsize=8575900 CPUtime=4958.55 cores=0-31
/proc/14204/task/14205/stat : 14205 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 151198 0 0 0 495607 248 0 0 25 0 32 0 742833174 8781721600 1528509 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14204/tid=14206] ppid=14202 vsize=8575900 CPUtime=4958.73 cores=0-31
/proc/14204/task/14206/stat : 14206 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 157680 0 0 0 495559 314 0 0 25 0 32 0 742833174 8781721600 1528509 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14204/tid=14207] ppid=14202 vsize=8575900 CPUtime=4959.27 cores=0-31
/proc/14204/task/14207/stat : 14207 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 131922 0 0 0 495683 244 0 0 25 0 32 0 742833174 8781721600 1528509 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14204/tid=14208] ppid=14202 vsize=8575900 CPUtime=4957.02 cores=0-31
/proc/14204/task/14208/stat : 14208 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 134102 0 0 0 495439 263 0 0 25 0 32 0 742833174 8781721600 1528509 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14204/tid=14209] ppid=14202 vsize=8575900 CPUtime=4958.96 cores=0-31
/proc/14204/task/14209/stat : 14209 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 165179 0 0 0 495587 309 0 0 25 0 32 0 742833174 8781721600 1528509 268435456000 4194304 4580107 140734845417856 18446744073709551615 4316709 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14204/tid=14210] ppid=14202 vsize=8575900 CPUtime=4957.7 cores=0-31
/proc/14204/task/14210/stat : 14210 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 159544 0 0 0 495461 309 0 0 25 0 32 0 742833174 8781721600 1528509 268435456000 4194304 4580107 140734845417856 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14204/tid=14211] ppid=14202 vsize=8575900 CPUtime=4959.81 cores=0-31
/proc/14204/task/14211/stat : 14211 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 149508 0 0 0 495732 249 0 0 25 0 32 0 742833174 8781721600 1528509 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14204/tid=14212] ppid=14202 vsize=8575900 CPUtime=4958.67 cores=0-31
/proc/14204/task/14212/stat : 14212 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 149203 0 0 0 495564 303 0 0 25 0 32 0 742833174 8781721600 1528509 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14204/tid=14213] ppid=14202 vsize=8575900 CPUtime=4932.74 cores=0-31
/proc/14204/task/14213/stat : 14213 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 153266 0 0 0 492956 318 0 0 25 0 32 0 742833174 8781721600 1528509 268435456000 4194304 4580107 140734845417856 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14204/tid=14214] ppid=14202 vsize=8575900 CPUtime=4958.84 cores=0-31
/proc/14204/task/14214/stat : 14214 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 145410 0 0 0 495594 290 0 0 25 0 32 0 742833174 8781721600 1528509 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14204/tid=14215] ppid=14202 vsize=8575900 CPUtime=4958.83 cores=0-31
/proc/14204/task/14215/stat : 14215 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 130775 0 0 0 495594 289 0 0 25 0 32 0 742833174 8781721600 1528509 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14204/tid=14216] ppid=14202 vsize=8575900 CPUtime=4958.77 cores=0-31
/proc/14204/task/14216/stat : 14216 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 174622 0 0 0 495549 328 0 0 25 0 32 0 742833174 8781721600 1528509 268435456000 4194304 4580107 140734845417856 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14204/tid=14217] ppid=14202 vsize=8575900 CPUtime=4959.91 cores=0-31
/proc/14204/task/14217/stat : 14217 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 185693 0 0 0 495743 248 0 0 25 0 32 0 742833174 8781721600 1528509 268435456000 4194304 4580107 140734845417856 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14204/tid=14218] ppid=14202 vsize=8575900 CPUtime=4958.58 cores=0-31
/proc/14204/task/14218/stat : 14218 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 157947 0 0 0 495565 293 0 0 25 0 32 0 742833174 8781721600 1528510 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14204/tid=14219] ppid=14202 vsize=8575900 CPUtime=4958.75 cores=0-31
/proc/14204/task/14219/stat : 14219 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 128389 0 0 0 495585 290 0 0 25 0 32 0 742833174 8781721600 1528510 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14204/tid=14220] ppid=14202 vsize=8575900 CPUtime=4959.62 cores=0-31
/proc/14204/task/14220/stat : 14220 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 168015 0 0 0 495683 279 0 0 25 0 32 0 742833174 8781721600 1528510 268435456000 4194304 4580107 140734845417856 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14204/tid=14221] ppid=14202 vsize=8575900 CPUtime=4959 cores=0-31
/proc/14204/task/14221/stat : 14221 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 146195 0 0 0 495602 298 0 0 25 0 32 0 742833174 8781721600 1528510 268435456000 4194304 4580107 140734845417856 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14204/tid=14222] ppid=14202 vsize=8575900 CPUtime=4958.61 cores=0-31
/proc/14204/task/14222/stat : 14222 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 135707 0 0 0 495560 301 0 0 25 0 32 0 742833174 8781721600 1528510 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14204/tid=14223] ppid=14202 vsize=8575900 CPUtime=4959.65 cores=0-31
/proc/14204/task/14223/stat : 14223 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 144265 0 0 0 495714 251 0 0 25 0 32 0 742833174 8781721600 1528510 268435456000 4194304 4580107 140734845417856 18446744073709551615 4316638 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14204/tid=14224] ppid=14202 vsize=8575900 CPUtime=4957.09 cores=0-31
/proc/14204/task/14224/stat : 14224 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 121683 0 0 0 495423 286 0 0 25 0 32 0 742833174 8781721600 1528510 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14204/tid=14225] ppid=14202 vsize=8575900 CPUtime=4958.93 cores=0-31
/proc/14204/task/14225/stat : 14225 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 101974 0 0 0 495640 253 0 0 25 0 32 0 742833174 8781721600 1528510 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14204/tid=14226] ppid=14202 vsize=8575900 CPUtime=4938.84 cores=0-31
/proc/14204/task/14226/stat : 14226 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 147706 0 0 0 493641 243 0 0 25 0 32 0 742833174 8781721600 1528510 268435456000 4194304 4580107 140734845417856 18446744073709551615 4321310 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14204/tid=14227] ppid=14202 vsize=8575900 CPUtime=4912 cores=0-31
/proc/14204/task/14227/stat : 14227 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 156115 0 0 0 490884 316 0 0 25 0 32 0 742833174 8781721600 1528510 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14204/tid=14228] ppid=14202 vsize=8575900 CPUtime=4958.93 cores=0-31
/proc/14204/task/14228/stat : 14228 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 142884 0 0 0 495575 318 0 0 25 0 32 0 742833174 8781721600 1528510 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14204/tid=14229] ppid=14202 vsize=8575900 CPUtime=4959.29 cores=0-31
/proc/14204/task/14229/stat : 14229 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 143591 0 0 0 495660 269 0 0 25 0 32 0 742833174 8781721600 1528510 268435456000 4194304 4580107 140734845417856 18446744073709551615 4321176 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14204/tid=14230] ppid=14202 vsize=8575900 CPUtime=4914.5 cores=0-31
/proc/14204/task/14230/stat : 14230 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 138653 0 0 0 491147 303 0 0 25 0 32 0 742833174 8781721600 1528511 268435456000 4194304 4580107 140734845417856 18446744073709551615 4316411 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14204/tid=14231] ppid=14202 vsize=8575900 CPUtime=4958.4 cores=0-31
/proc/14204/task/14231/stat : 14231 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 129492 0 0 0 495557 283 0 0 25 0 32 0 742833175 8781721600 1528511 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14204/tid=14232] ppid=14202 vsize=8575900 CPUtime=4958.7 cores=0-31
/proc/14204/task/14232/stat : 14232 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 151397 0 0 0 495556 314 0 0 25 0 32 0 742833175 8781721600 1528511 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14204/tid=14233] ppid=14202 vsize=8575900 CPUtime=4960.06 cores=0-31
/proc/14204/task/14233/stat : 14233 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 145678 0 0 0 495803 203 0 0 25 0 32 0 742833175 8781721600 1528511 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14204/tid=14234] ppid=14202 vsize=8575900 CPUtime=4958.72 cores=0-31
/proc/14204/task/14234/stat : 14234 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 119842 0 0 0 495601 271 0 0 25 0 32 0 742833175 8781721600 1528511 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14204/tid=14235] ppid=14202 vsize=8575900 CPUtime=4959.91 cores=0-31
/proc/14204/task/14235/stat : 14235 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 294629 0 0 0 495745 246 0 0 25 0 32 0 742833175 8781721600 1528511 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 158546
Current children cumulated vsize (KiB) 8575900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5007.8 s]
/proc/loadavg: 32.02 32.04 32.02 33/445 14391
/proc/meminfo: memFree=249014876/264257624 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=8523768 CPUtime=160001 cores=0-31
/proc/14204/stat : 14204 (strangenight2-m) R 14202 14204 14118 0 -1 4202496 4852921 0 0 0 15991045 9098 0 0 25 0 32 0 742833174 8728338432 1534819 268435456000 4194304 4580107 140734845417856 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/14204/statm: 2130942 1534819 381 95 0 2125924 0
[pid=14204/tid=14205] ppid=14202 vsize=8523768 CPUtime=5004.05 cores=0-31
/proc/14204/task/14205/stat : 14205 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 154031 0 0 0 500155 250 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14204/tid=14206] ppid=14202 vsize=8523768 CPUtime=5004.25 cores=0-31
/proc/14204/task/14206/stat : 14206 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 158731 0 0 0 500110 315 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14204/tid=14207] ppid=14202 vsize=8523768 CPUtime=5004.78 cores=0-31
/proc/14204/task/14207/stat : 14207 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 131994 0 0 0 500234 244 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4295010 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14204/tid=14208] ppid=14202 vsize=8523768 CPUtime=5002.52 cores=0-31
/proc/14204/task/14208/stat : 14208 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 135040 0 0 0 499987 265 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=14204/tid=14209] ppid=14202 vsize=8523768 CPUtime=5004.47 cores=0-31
/proc/14204/task/14209/stat : 14209 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 165957 0 0 0 500137 310 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4295036 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14204/tid=14210] ppid=14202 vsize=8523768 CPUtime=5003.22 cores=0-31
/proc/14204/task/14210/stat : 14210 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 161185 0 0 0 500010 312 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14204/tid=14211] ppid=14202 vsize=8523768 CPUtime=5005.32 cores=0-31
/proc/14204/task/14211/stat : 14211 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 149508 0 0 0 500283 249 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14204/tid=14212] ppid=14202 vsize=8523768 CPUtime=5004.18 cores=0-31
/proc/14204/task/14212/stat : 14212 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 150211 0 0 0 500114 304 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4295146 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14204/tid=14213] ppid=14202 vsize=8523768 CPUtime=4978.25 cores=0-31
/proc/14204/task/14213/stat : 14213 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 153878 0 0 0 497506 319 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14204/tid=14214] ppid=14202 vsize=8523768 CPUtime=5004.36 cores=0-31
/proc/14204/task/14214/stat : 14214 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 146473 0 0 0 500144 292 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14204/tid=14215] ppid=14202 vsize=8523768 CPUtime=5004.34 cores=0-31
/proc/14204/task/14215/stat : 14215 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 132841 0 0 0 500144 290 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14204/tid=14216] ppid=14202 vsize=8523768 CPUtime=5004.29 cores=0-31
/proc/14204/task/14216/stat : 14216 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 175096 0 0 0 500100 329 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14204/tid=14217] ppid=14202 vsize=8523768 CPUtime=5005.42 cores=0-31
/proc/14204/task/14217/stat : 14217 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 187181 0 0 0 500294 248 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14204/tid=14218] ppid=14202 vsize=8523768 CPUtime=5004.09 cores=0-31
/proc/14204/task/14218/stat : 14218 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 158310 0 0 0 500115 294 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4316725 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14204/tid=14219] ppid=14202 vsize=8523768 CPUtime=5004.27 cores=0-31
/proc/14204/task/14219/stat : 14219 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 129002 0 0 0 500136 291 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14204/tid=14220] ppid=14202 vsize=8523768 CPUtime=5005.13 cores=0-31
/proc/14204/task/14220/stat : 14220 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 168806 0 0 0 500233 280 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14204/tid=14221] ppid=14202 vsize=8523768 CPUtime=5004.51 cores=0-31
/proc/14204/task/14221/stat : 14221 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 147811 0 0 0 500152 299 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293927 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14204/tid=14222] ppid=14202 vsize=8523768 CPUtime=5004.12 cores=0-31
/proc/14204/task/14222/stat : 14222 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 135981 0 0 0 500111 301 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14204/tid=14223] ppid=14202 vsize=8523768 CPUtime=5005.17 cores=0-31
/proc/14204/task/14223/stat : 14223 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 146151 0 0 0 500265 252 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14204/tid=14224] ppid=14202 vsize=8523768 CPUtime=5002.6 cores=0-31
/proc/14204/task/14224/stat : 14224 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 123391 0 0 0 499972 288 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14204/tid=14225] ppid=14202 vsize=8523768 CPUtime=5004.44 cores=0-31
/proc/14204/task/14225/stat : 14225 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 103640 0 0 0 500188 256 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14204/tid=14226] ppid=14202 vsize=8523768 CPUtime=4984.35 cores=0-31
/proc/14204/task/14226/stat : 14226 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 147706 0 0 0 498192 243 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14204/tid=14227] ppid=14202 vsize=8523768 CPUtime=4957.51 cores=0-31
/proc/14204/task/14227/stat : 14227 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 156412 0 0 0 495435 316 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14204/tid=14228] ppid=14202 vsize=8523768 CPUtime=5004.45 cores=0-31
/proc/14204/task/14228/stat : 14228 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 143021 0 0 0 500127 318 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14204/tid=14229] ppid=14202 vsize=8523768 CPUtime=5004.8 cores=0-31
/proc/14204/task/14229/stat : 14229 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 144972 0 0 0 500210 270 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14204/tid=14230] ppid=14202 vsize=8523768 CPUtime=4958.72 cores=0-31
/proc/14204/task/14230/stat : 14230 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 140017 0 0 0 495567 305 0 0 25 0 32 0 742833174 8728338432 1534821 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14204/tid=14231] ppid=14202 vsize=8523768 CPUtime=5003.91 cores=0-31
/proc/14204/task/14231/stat : 14231 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 129672 0 0 0 500108 283 0 0 25 0 32 0 742833175 8728338432 1534822 268435456000 4194304 4580107 140734845417856 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14204/tid=14232] ppid=14202 vsize=8523768 CPUtime=5004.21 cores=0-31
/proc/14204/task/14232/stat : 14232 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 151548 0 0 0 500106 315 0 0 25 0 32 0 742833175 8728338432 1534822 268435456000 4194304 4580107 140734845417856 18446744073709551615 4295131 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14204/tid=14233] ppid=14202 vsize=8523768 CPUtime=5005.57 cores=0-31
/proc/14204/task/14233/stat : 14233 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 146675 0 0 0 500353 204 0 0 25 0 32 0 742833175 8728338432 1534822 268435456000 4194304 4580107 140734845417856 18446744073709551615 4320660 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14204/tid=14234] ppid=14202 vsize=8523768 CPUtime=5004.22 cores=0-31
/proc/14204/task/14234/stat : 14234 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 121285 0 0 0 500151 271 0 0 25 0 32 0 742833175 8728338432 1534822 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14204/tid=14235] ppid=14202 vsize=8523768 CPUtime=5005.43 cores=0-31
/proc/14204/task/14235/stat : 14235 (strangenight2-m) R 14202 14204 14118 0 -1 4202560 295850 0 0 0 500296 247 0 0 25 0 32 0 742833175 8728338432 1534822 268435456000 4194304 4580107 140734845417856 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 8523768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5008.2 s]
/proc/loadavg: 32.02 32.04 32.02 2/416 14392
/proc/meminfo: memFree=252936236/264257624 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=0 CPUtime=160002 cores=0-31
/proc/14204/stat : 14204 (strangenight2-m) Z 14202 14204 14118 0 -1 4203548 4852928 0 0 0 15991068 9137 0 0 25 0 2 0 742833174 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/14204/statm: 0 0 0 0 0 0 0
[pid=14204/tid=14230] ppid=14202 vsize=0 CPUtime=4959.12 cores=0-31
/proc/14204/task/14230/stat : 14230 (strangenight2-m) R 14202 14204 14118 0 -1 4203588 140017 0 0 0 495568 344 0 0 25 0 2 0 742833174 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0
[startup+5008.32 s]
/proc/loadavg: 32.02 32.04 32.02 2/416 14392
/proc/meminfo: memFree=252936236/264257624 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=0 CPUtime=160002 cores=0-31
/proc/14204/stat : 14204 (strangenight2-m) Z 14202 14204 14118 0 -1 4203548 4852928 0 0 0 15991068 9147 0 0 25 0 2 0 742833174 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/14204/statm: 0 0 0 0 0 0 0
[pid=14204/tid=14230] ppid=14202 vsize=0 CPUtime=4959.22 cores=0-31
/proc/14204/task/14230/stat : 14230 (strangenight2-m) R 14202 14204 14118 0 -1 4203588 140017 0 0 0 495568 354 0 0 25 0 2 0 742833174 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5008.38
CPU time (s): 160002
CPU user time (s): 159911
CPU system time (s): 91.5361
CPU usage (%): 3194.69
Max. virtual memory (cumulated for all children) (KiB): 8827436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159911
system time used= 91.5361
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4852928
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= 1372725
involuntary context switches= 330700
runsolver used 30.5564 second user time and 110.865 second system time
The end
Begin job on node200 at 2011-05-25 10:51:08
IDJOB=3400665
IDBENCH=70829
IDSOLVER=1886
FILE ID=node200/3400665-1306313467
RUNJOBID= node200-1306313430-14132
PBS_JOBID= 13411783
Free space on /tmp= 62044 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-12.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400665-1306313467/watcher-3400665-1306313467 -o /tmp/evaluation-result-3400665-1306313467/solver-3400665-1306313467 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400665-1306313467.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 0621e557bffdc18ca509447665adecda
RANDOM SEED=1190202025
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.049
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.09
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.049
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.049
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.08
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.049
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.09
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.049
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.17
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.049
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.049
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.06
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.049
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.049
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.04
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.049
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.09
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.049
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.09
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.049
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.02
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.049
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.17
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.049
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.09
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.049
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 : 3989.98
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.049
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.06
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.049
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.04
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.049
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.09
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.049
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.049
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 : 3990.09
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.049
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.09
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.049
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.08
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.049
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.09
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.049
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 : 3990.05
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.049
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.09
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.049
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.049
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.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255152096 kB
Buffers: 466248 kB
Cached: 8224884 kB
SwapCached: 0 kB
Active: 7775948 kB
Inactive: 983920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255152096 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 9504 kB
Writeback: 0 kB
AnonPages: 70192 kB
Mapped: 14932 kB
Slab: 255556 kB
PageTables: 4816 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 186724 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= 62036 MiB
End job on node200 at 2011-05-25 12:14:37