0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 32 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3400621-1306242574.cnf'
0.00/0.04 c -- header says num vars: 3114
0.00/0.04 c -- header says num clauses: 10827
1.27/0.17 c -- clauses added: 0 learnts, 10827 normals, 0 xors
1.27/0.17 c -- vars added 3114
1.27/0.17 c Parsing time: 0.01 s
1.27/0.17 c N st 0 0 3114 5891 4689 0 27785 0 no data no data
1.27/0.19 c asymm cl-useful: 0/5891/5891 lits-rem:0 time: 0.02
3.46/0.23 c Flit: 9 Blit: 6 bXBeca: 0 bXProp: 138 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01
3.46/0.23 c Replacing 138 vars Replaced 2761 lits Time: 0.00 s
3.46/0.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3.46/0.27 c bin-w-bin subsume rem 0 bins time: 0.00 s
3.46/0.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
3.46/0.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2921 time: 0.00 s
3.46/0.29 c Removed useless bin: 0 fixed: 0 props: 0.06M time: 0.00 s
5.10/0.36 c lits-rem: 0 cl-subs: 855 v-elim: 973 v-fix: 0 time: 0.03 s
5.10/0.36 c Finding binary XORs T: 0.00 s found: 40
5.10/0.37 c Replacing 40 vars Replaced 565 lits Time: 0.00 s
5.10/0.38 c Finding non-binary XORs: 0.01 s (found: 976, avg size: 3.0)
5.10/0.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 330 locsubst: 22 time: 0.00
5.10/0.38 c calculated reachability. Time: 0.00
5.10/0.38 c Calc default polars - time: 0.00 s pos: 420 undec: 1622 neg: 1072
5.10/0.38 c =========================================================================================
5.10/0.38 c types(t): F = full restart, N = normal restart
5.10/0.38 c types(t): S = simplification begin/end, E = solution found
5.10/0.38 c restart types(rt): st = static, dy = dynamic
5.10/0.38 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
5.10/0.38 c B st 0 0 1578 2446 1702 0 13965 0 no data no data
7.49/0.57 c Decided on static restart strategy
7.49/0.95 c N st 8 4916 1578 2446 1825 4690 13965 146571 no data no data
7.49/1.75 c N st 10 11298 1578 2446 2270 4888 13965 94831 no data no data
7.49/1.75 c Finding binary XORs T: 0.00 s found: 1
71.86/2.45 c N st 11 17041 1578 2446 2273 10540 13965 557133 no data no data
103.16/3.40 c F st 12 25000 1578 2446 2631 13144 13965 340490 no data no data
103.16/3.41 c Replacing 12 vars Replaced 7329 lits Time: 0.01 s
103.16/3.41 c N st 12 25000 1566 2446 2607 13144 13921 340472 no data no data
103.16/3.42 c Finding binary XORs T: 0.00 s found: 0
122.31/4.00 c Decided on static restart strategy
122.31/4.00 c N st 18 30000 1566 2446 2656 11615 13921 319770 no data no data
122.31/4.00 c S st 18 30000 1566 2446 2656 11615 13921 319770 no data no data
122.31/4.06 c S st 18 30501 1566 2446 2663 12104 13921 326675 no data no data
122.31/4.07 c x-sub: 11 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
122.31/4.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 787 BRemL: 640 BRemN: 0 P: 0.6M T: 0.03
122.31/4.10 c Replacing 1 vars Replaced 284 lits Time: 0.00 s
122.31/4.10 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
122.31/4.10 c bin-w-bin subsume rem 145 bins time: 0.00 s
125.51/4.10 c subs with bin: 154 lits-rem: 229 v-fix: 0 time: 0.00 s
125.51/4.10 c Subs w/ non-existent bins: 2 l-rem: 2 v-fix: 0 done: 1565 time: 0.00 s
125.51/4.10 c Removed useless bin: 2 fixed: 0 props: 0.02M time: 0.00 s
125.51/4.11 c lits-rem: 0 cl-subs: 29 v-elim: 206 v-fix: 0 time: 0.01 s
125.51/4.17 c subs with bin: 92 lits-rem: 5553 v-fix: 0 time: 0.04 s
128.71/4.28 c lits-rem: 3000 cl-subs: 356 v-elim: 0 v-fix: 0 time: 0.11 s
131.91/4.30 c asymm cl-useful: 2/2457/2457 lits-rem:2 time: 0.01
131.91/4.30 c calculated reachability. Time: 0.00
131.91/4.30 c N st 18 30501 1359 2457 2025 9247 12545 213997 no data no data
151.07/4.95 c N st 20 37612 1359 2457 2043 9796 12545 211987 no data no data
151.07/4.96 c Finding binary XORs T: 0.00 s found: 0
170.26/5.53 c N st 21 44013 1359 2457 2043 16107 12545 467108 no data no data
173.46/5.72 c S st 22 45751 1359 2457 2363 9808 12545 151742 no data no data
177.27/5.77 c S st 22 46255 1359 2457 2365 10307 12545 158102 no data no data
177.27/5.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
177.27/5.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 105 BRemL: 337 BRemN: 0 P: 0.4M T: 0.02
177.27/5.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
177.27/5.80 c bin-w-bin subsume rem 38 bins time: 0.00 s
177.27/5.80 c subs with bin: 64 lits-rem: 0 v-fix: 0 time: 0.00 s
177.27/5.80 c Subs w/ non-existent bins: 3 l-rem: 3 v-fix: 0 done: 1359 time: 0.00 s
177.27/5.80 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
177.27/5.80 c lits-rem: 0 cl-subs: 0 v-elim: 2 v-fix: 0 time: 0.00 s
180.50/5.82 c subs with bin: 7 lits-rem: 310 v-fix: 0 time: 0.01 s
180.50/5.85 c lits-rem: 452 cl-subs: 218 v-elim: 0 v-fix: 0 time: 0.02 s
180.50/5.85 c vivif2 -- cl tried 2396 cl shrink 6 lits rem 8 time: 0.00
180.50/5.86 c vivif2 -- cl tried 10063 cl shrink 1388 lits rem 2087 time: 0.01
180.50/5.88 c asymm cl-useful: 2/2394/2394 lits-rem:2 time: 0.02
180.50/5.88 c calculated reachability. Time: 0.00
180.50/5.88 c N st 22 46255 1357 2394 2099 10056 12432 150954 no data no data
230.97/7.43 c N st 23 60654 1357 2394 2100 14904 12432 350825 no data no data
230.97/7.43 c Finding binary XORs T: 0.00 s found: 0
269.33/8.69 c N st 24 69383 1356 2394 2348 13024 12423 212118 no data no data
269.33/8.69 c S st 24 69383 1356 2394 2348 13024 12423 212118 no data no data
272.52/8.76 c S st 24 69888 1356 2394 2359 13528 12423 218868 no data no data
272.52/8.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
272.52/8.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 15 BRemL: 234 BRemN: 2 P: 0.5M T: 0.02
272.52/8.79 c Replacing 1 vars Replaced 99 lits Time: 0.00 s
272.52/8.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
272.52/8.79 c bin-w-bin subsume rem 11 bins time: 0.00 s
272.52/8.79 c subs with bin: 17 lits-rem: 0 v-fix: 0 time: 0.00 s
272.52/8.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1355 time: 0.00 s
272.52/8.79 c Removed useless bin: 1 fixed: 0 props: 0.02M time: 0.00 s
272.52/8.80 c lits-rem: 2 cl-subs: 2 v-elim: 5 v-fix: 0 time: 0.00 s
275.72/8.83 c subs with bin: 6 lits-rem: 513 v-fix: 0 time: 0.02 s
275.72/8.87 c lits-rem: 427 cl-subs: 131 v-elim: 0 v-fix: 0 time: 0.04 s
275.72/8.88 c vivif2 -- cl tried 2392 cl shrink 10 lits rem 14 time: 0.00
275.72/8.88 c vivif2 -- cl tried 13202 cl shrink 709 lits rem 1631 time: 0.01
278.92/8.91 c asymm cl-useful: 2/2388/2388 lits-rem:6 time: 0.02
278.92/8.91 c calculated reachability. Time: 0.00
278.92/8.91 c N st 24 69888 1350 2386 2112 13202 12387 199547 no data no data
358.81/11.46 c F st 25 87501 1350 2386 2112 19138 12387 457016 no data no data
358.81/11.46 c N st 25 87501 1350 2386 2112 19138 12387 457016 no data no data
358.81/11.47 c Finding binary XORs T: 0.00 s found: 1
381.19/12.18 c Decided on static restart strategy
393.96/12.54 c N st 32 95538 1349 2381 2197 26971 12370 815633 no data no data
441.92/14.07 c N st 34 104832 1349 2381 2272 23599 12370 635771 no data no data
441.92/14.07 c S st 34 104832 1349 2381 2272 23599 12370 635771 no data no data
441.92/14.07 c Finding binary XORs T: 0.00 s found: 3
445.12/14.18 c S st 34 105339 1349 2381 2346 24102 12370 643344 no data no data
445.12/14.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.00
448.32/14.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 10 BRemL: 116 BRemN: 3 P: 0.8M T: 0.03
448.32/14.22 c Replacing 4 vars Replaced 3723 lits Time: 0.01 s
448.32/14.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
448.32/14.23 c bin-w-bin subsume rem 17 bins time: 0.00 s
448.32/14.23 c subs with bin: 2 lits-rem: 0 v-fix: 0 time: 0.00 s
448.32/14.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1344 time: 0.00 s
448.32/14.23 c Removed useless bin: 1 fixed: 0 props: 0.02M time: 0.00 s
448.32/14.24 c lits-rem: 2 cl-subs: 4 v-elim: 5 v-fix: 0 time: 0.01 s
451.51/14.37 c subs with bin: 190 lits-rem: 3874 v-fix: 0 time: 0.10 s
467.48/14.84 c lits-rem: 2230 cl-subs: 843 v-elim: 0 v-fix: 0 time: 0.47 s
467.48/14.84 c vivif2 -- cl tried 2390 cl shrink 6 lits rem 8 time: 0.00
467.48/14.88 c vivif2 -- cl tried 22575 cl shrink 2731 lits rem 6284 time: 0.03
470.65/14.92 c asymm cl-useful: 2/2388/2388 lits-rem:2 time: 0.04
470.65/14.92 c calculated reachability. Time: 0.00
470.65/14.92 c N st 34 105339 1339 2388 2193 22575 12346 577605 no data no data
521.80/16.56 c N st 35 114937 1339 2388 2193 18702 12346 372070 no data no data
599.11/18.93 c N st 36 129334 1338 2388 2231 18372 12346 291919 no data no data
716.76/22.68 c N st 37 150930 1337 2388 2237 24149 12346 559500 no data no data
716.76/22.69 c Finding binary XORs T: 0.00 s found: 6
755.11/23.88 c S st 38 158008 1336 2382 2286 30968 12298 818677 no data no data
761.50/24.02 c S st 38 158511 1335 2382 2301 31463 12298 825345 no data no data
761.50/24.02 c x-sub: 1 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.00
761.50/24.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 64 BRemL: 70 BRemN: 7 P: 1.1M T: 0.04
761.50/24.08 c Replacing 9 vars Replaced 1272 lits Time: 0.01 s
761.50/24.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
761.50/24.08 c bin-w-bin subsume rem 20 bins time: 0.00 s
761.50/24.08 c subs with bin: 8 lits-rem: 1 v-fix: 0 time: 0.00 s
761.50/24.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1325 time: 0.00 s
761.50/24.08 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
761.50/24.09 c lits-rem: 0 cl-subs: 19 v-elim: 13 v-fix: 0 time: 0.01 s
767.89/24.25 c subs with bin: 31 lits-rem: 1520 v-fix: 0 time: 0.11 s
793.46/25.03 c lits-rem: 2093 cl-subs: 1713 v-elim: 0 v-fix: 0 time: 0.78 s
793.46/25.03 c vivif2 -- cl tried 2371 cl shrink 4 lits rem 4 time: 0.00
793.46/25.08 c vivif2 -- cl tried 29621 cl shrink 4068 lits rem 8661 time: 0.05
796.66/25.14 c asymm cl-useful: 6/2371/2371 lits-rem:16 time: 0.06
796.66/25.14 c calculated reachability. Time: 0.00
796.66/25.14 c N st 38 158511 1312 2366 2213 29621 12134 760265 no data no data
1081.12/34.01 c N st 39 207099 1312 2366 2213 24776 12134 486299 no data no data
1081.12/34.01 c Finding binary XORs T: 0.00 s found: 1
1263.28/39.77 c N st 40 237766 1310 2354 2370 35418 12101 1005014 no data no data
1263.28/39.77 c S st 40 237766 1310 2354 2370 35418 12101 1005014 no data no data
1263.28/39.78 c Finding binary XORs T: 0.00 s found: 7
1270.29/39.93 c S st 40 238270 1309 2353 2540 35918 12096 1012768 no data no data
1270.29/39.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.00
1270.29/39.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 87 BRemL: 267 BRemN: 0 P: 1.2M T: 0.05
1272.85/40.01 c Replacing 8 vars Replaced 2573 lits Time: 0.01 s
1272.85/40.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1272.85/40.01 c bin-w-bin subsume rem 63 bins time: 0.00 s
1272.85/40.01 c subs with bin: 3 lits-rem: 3 v-fix: 0 time: 0.00 s
1272.85/40.01 c Subs w/ non-existent bins: 1 l-rem: 0 v-fix: 0 done: 1300 time: 0.00 s
1272.85/40.01 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
1272.85/40.03 c lits-rem: 0 cl-subs: 7 v-elim: 5 v-fix: 0 time: 0.02 s
1279.23/40.26 c subs with bin: 82 lits-rem: 5227 v-fix: 0 time: 0.16 s
1320.78/41.53 c lits-rem: 3574 cl-subs: 1459 v-elim: 0 v-fix: 0 time: 1.27 s
1320.78/41.53 c vivif2 -- cl tried 2350 cl shrink 0 lits rem 0 time: 0.00
1320.78/41.59 c vivif2 -- cl tried 34236 cl shrink 4332 lits rem 9014 time: 0.06
1323.99/41.65 c asymm cl-useful: 3/2350/2350 lits-rem:9 time: 0.07
1323.99/41.66 c calculated reachability. Time: 0.00
1323.99/41.66 c N st 40 238270 1295 2347 2265 34235 12008 947514 no data no data
1774.59/55.77 c F st 41 306252 1295 2347 2265 36552 12008 858103 no data no data
1774.59/55.77 c N st 41 306252 1295 2347 2265 36552 12008 858103 no data no data
1774.59/55.78 c Finding binary XORs T: 0.00 s found: 18
1777.78/55.83 c Replacing 18 vars Replaced 13579 lits Time: 0.04 s
1809.75/56.88 c Decided on static restart strategy
1864.71/58.52 c Finding binary XORs T: 0.00 s found: 0
1970.18/61.87 c N st 51 334556 1269 2318 2605 40711 11852 856494 no data no data
2068.64/64.95 c Finding binary XORs T: 0.00 s found: 3
2119.77/66.53 c N st 53 357405 1267 2309 2725 38788 11829 1012766 no data no data
2119.77/66.53 c S st 53 357405 1267 2309 2725 38788 11829 1012766 no data no data
2122.97/66.69 c S st 53 357907 1267 2309 2734 39287 11829 1020070 no data no data
2122.97/66.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
2126.17/66.75 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 44 BRemL: 299 BRemN: 10 P: 1.3M T: 0.05
2126.17/66.77 c Replacing 6 vars Replaced 2390 lits Time: 0.02 s
2126.17/66.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2126.17/66.77 c bin-w-bin subsume rem 159 bins time: 0.00 s
2126.17/66.77 c subs with bin: 8 lits-rem: 14 v-fix: 0 time: 0.00 s
2126.17/66.78 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1260 time: 0.00 s
2126.17/66.78 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
2126.17/66.79 c lits-rem: 0 cl-subs: 1 v-elim: 5 v-fix: 0 time: 0.02 s
2135.76/67.02 c subs with bin: 164 lits-rem: 3655 v-fix: 0 time: 0.17 s
2167.73/68.08 c lits-rem: 3685 cl-subs: 659 v-elim: 0 v-fix: 0 time: 1.06 s
2167.73/68.08 c vivif2 -- cl tried 2293 cl shrink 0 lits rem 0 time: 0.00
2170.92/68.15 c vivif2 -- cl tried 38357 cl shrink 5422 lits rem 12268 time: 0.06
2174.13/68.22 c asymm cl-useful: 4/2293/2293 lits-rem:4 time: 0.07
2174.13/68.22 c calculated reachability. Time: 0.00
2174.13/68.22 c N st 53 357907 1255 2293 2226 38355 11699 978068 no data no data
2314.70/72.69 c N st 54 390299 1255 2293 2226 43995 11699 542315 no data no data
2314.70/72.69 c Finding binary XORs T: 0.00 s found: 0
2685.45/84.27 c N st 55 438889 1254 2292 2165 38323 11694 685591 no data no data
2685.45/84.28 c Finding binary XORs T: 0.00 s found: 3
3251.10/101.98 c N st 56 511772 1251 2289 2218 52205 11663 1298238 no data no data
3251.10/102.00 c Finding binary XORs T: 0.00 s found: 0
3452.43/108.24 c N st 57 536860 1249 2282 2390 46445 11637 952075 no data no data
3452.43/108.24 c S st 57 536860 1249 2282 2390 46445 11637 952075 no data no data
3458.83/108.43 c S st 57 537360 1247 2282 2414 46939 11637 959139 no data no data
3458.83/108.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.01
3458.83/108.49 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 168 BRemL: 222 BRemN: 0 P: 1.4M T: 0.06
3462.03/108.54 c Replacing 7 vars Replaced 13695 lits Time: 0.05 s
3462.03/108.54 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3462.03/108.55 c bin-w-bin subsume rem 65 bins time: 0.00 s
3462.03/108.55 c subs with bin: 15 lits-rem: 3 v-fix: 0 time: 0.00 s
3462.03/108.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1239 time: 0.00 s
3462.03/108.55 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
3462.03/108.56 c lits-rem: 2 cl-subs: 3 v-elim: 2 v-fix: 0 time: 0.02 s
3471.62/108.82 c subs with bin: 339 lits-rem: 8367 v-fix: 0 time: 0.19 s
3529.15/110.63 c lits-rem: 2608 cl-subs: 4054 v-elim: 0 v-fix: 0 time: 1.81 s
3529.15/110.63 c vivif2 -- cl tried 2263 cl shrink 0 lits rem 0 time: 0.00
3529.15/110.68 c vivif2 -- cl tried 42329 cl shrink 3581 lits rem 6385 time: 0.05
3532.34/110.79 c asymm cl-useful: 1/2263/2263 lits-rem:1 time: 0.11
3532.34/110.79 c calculated reachability. Time: 0.00
3532.34/110.79 c N st 57 537360 1237 2263 2194 42328 11534 761417 no data no data
4130.06/129.46 c Finding binary XORs T: 0.00 s found: 0
4874.72/152.72 c N st 58 701344 1235 2257 2164 72321 11512 2015798 no data no data
4874.72/152.74 c Finding binary XORs T: 0.00 s found: 10
5807.98/181.98 c N st 59 806042 1224 2227 2317 66067 11363 1629855 no data no data
5807.98/181.98 c S st 59 806042 1224 2227 2317 66067 11363 1629855 no data no data
5811.17/182.00 c Finding binary XORs T: 0.00 s found: 13
5811.17/182.08 c Replacing 24 vars Replaced 19112 lits Time: 0.08 s
5823.96/182.46 c S st 59 806545 1188 2208 2510 66118 11218 1620947 no data no data
5823.96/182.47 c x-sub: 1 x-cut: 0 vfix: 0 v-elim: 6 locsubst: 0 time: 0.01
5827.16/182.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 161 BRemL: 384 BRemN: 0 P: 2.2M T: 0.11
5827.16/182.59 c Replacing 3 vars Replaced 92 lits Time: 0.01 s
5827.16/182.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5827.16/182.60 c bin-w-bin subsume rem 248 bins time: 0.00 s
5827.16/182.60 c subs with bin: 34 lits-rem: 2 v-fix: 0 time: 0.00 s
5827.16/182.60 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 1179 time: 0.00 s
5827.16/182.60 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
5830.36/182.63 c lits-rem: 0 cl-subs: 5 v-elim: 4 v-fix: 0 time: 0.03 s
5862.29/183.62 c subs with bin: 1241 lits-rem: 14818 v-fix: 0 time: 0.88 s
6105.18/191.27 c lits-rem: 7828 cl-subs: 7454 v-elim: 0 v-fix: 0 time: 7.65 s
6105.18/191.27 c vivif2 -- cl tried 2175 cl shrink 0 lits rem 0 time: 0.00
6108.38/191.37 c vivif2 -- cl tried 56777 cl shrink 6992 lits rem 13084 time: 0.09
6114.77/191.54 c asymm cl-useful: 6/2175/2175 lits-rem:17 time: 0.16
6114.77/191.54 c calculated reachability. Time: 0.00
6114.77/191.54 c N st 59 806545 1175 2170 2023 56775 11058 1237570 no data no data
6114.77/191.54 c Finding binary XORs T: 0.00 s found: 0
7297.35/228.52 c Following stats are for *FIRST FINISHED THREAD ONLY*
7297.35/228.52 c num threads : 32
7297.35/228.52 c restarts : 58
7297.35/228.52 c dynamic restarts : 0
7297.35/228.52 c static restarts : 58
7297.35/228.52 c full restarts : 3
7297.35/228.52 c total simplify time : 0.45
7297.35/228.52 c learnts DL2 : 0
7297.35/228.52 c learnts size 2 : 11627
7297.35/228.52 c learnts size 1 : 536 (17.21 % of vars)
7297.35/228.52 c filedLit time : 0.12 (0.05 % time)
7297.35/228.52 c v-elim SatELite : 1210 (38.86 % vars)
7297.35/228.52 c SatELite time : 0.42 (0.19 % time)
7297.35/228.52 c v-elim xor : 334 (10.73 % vars)
7297.35/228.52 c xor elim time : 0.01 (0.00 % time)
7297.35/228.52 c num binary xor trees : 253
7297.35/228.52 c binxor trees' crown : 376 (1.49 leafs/tree)
7297.35/228.52 c bin xor find time : 0.02
7297.35/228.52 c OTF clause improved : 11733 (0.01 clauses/conflict)
7297.35/228.52 c OTF impr. size diff : 16050 (1.37 lits/clause)
7297.35/228.52 c OTF cl watch-shrink : 754471 (0.78 clauses/conflict)
7297.35/228.52 c OTF cl watch-sh-lit : 3725725 (4.94 lits/clause)
7297.35/228.52 c tried to recurMin cls : 486977 (50.23 % of conflicts)
7297.35/228.52 c updated cache : 6954 (0.01 lits/tried recurMin)
7297.35/228.52 c unit cls recevied : 94 (17.54 % of units)
7297.35/228.52 c unit cls sent : 15 (2.80 % of units)
7297.35/228.52 c bin cls recevied : 6148
7297.35/228.52 c bin cls sent : 225
7297.35/228.52 c clauses over max glue : 0 (0.00 % of all clauses)
7297.35/228.52 c conflicts : 969546 (4252.48 / sec)
7297.35/228.52 c decisions : 1356783 (4.41 % random)
7297.35/228.52 c bogo-props : 20126868082 (88277541.86 / sec)
7297.35/228.52 c conflict literals : 48025378 (42.96 % deleted)
7297.35/228.52 c Memory used : 2604.59 MB
7297.35/228.52 c single-thread CPU time : 228.00 s
7297.35/228.52 c all-threads sum CPU time : 7289.02 s
7297.35/228.52 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400621-1306242574/watcher-3400621-1306242574 -o /tmp/evaluation-result-3400621-1306242574/solver-3400621-1306242574 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400621-1306242574.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: 29.48 31.52 31.83 1/413 8440
/proc/meminfo: memFree=255172692/264257624 swapFree=67111528/67111528
[pid=8440] ppid=8438 vsize=797964 CPUtime=0.56 cores=0-31
/proc/8440/stat : 8440 (strangenight2-m) D 8438 8440 8414 0 -1 4202496 1699 0 0 0 46 10 0 0 25 0 32 0 735743821 817115136 1515 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/8440/statm: 199491 1516 330 95 0 194473 0
[pid=8440/tid=8441] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8441/stat : 8441 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 60 0 0 0 1 0 0 0 17 0 32 0 735743821 817115136 1564 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446744071566931824 0 0 -1 1 0 0 0
[pid=8440/tid=8442] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8442/stat : 8442 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 65 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1600 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8440/tid=8443] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8443/stat : 8443 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 66 0 0 0 1 0 0 0 17 0 32 0 735743821 817115136 1600 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8440/tid=8444] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8444/stat : 8444 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 71 0 0 0 1 0 0 0 18 0 32 0 735743821 817115136 1600 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650999207 0 0 4096 2 204800 0 0 -1 12 0 0 0
[pid=8440/tid=8445] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8445/stat : 8445 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 58 0 0 0 1 0 0 0 18 0 32 0 735743821 817115136 1614 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8440/tid=8446] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8446/stat : 8446 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 39 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1616 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8440/tid=8447] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8447/stat : 8447 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 53 0 0 0 1 0 0 0 18 0 32 0 735743821 817115136 1635 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604505632857568 0 0 -1 8 0 0 0
[pid=8440/tid=8448] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8448/stat : 8448 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 59 0 0 0 1 0 0 0 18 0 32 0 735743821 817115136 1650 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8440/tid=8449] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8449/stat : 8449 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 28 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1650 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8440/tid=8450] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8450/stat : 8450 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 29 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1657 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8440/tid=8451] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8451/stat : 8451 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 28 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1666 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8452/stat : 8452 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 30 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1687 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8453/stat : 8453 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 39 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1713 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8454/stat : 8454 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 50 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1713 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8440/tid=8455] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8455/stat : 8455 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 60 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1721 268435456000 4194304 4580107 140736415712224 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8440/tid=8456] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8456/stat : 8456 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 20 0 0 0 1 0 0 0 18 0 32 0 735743821 817115136 1726 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8440/tid=8457] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8457/stat : 8457 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 37 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1731 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8440/tid=8458] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8458/stat : 8458 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 36 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1741 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8440/tid=8459] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8459/stat : 8459 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 35 0 0 0 1 0 0 0 25 0 32 0 735743821 817115136 1759 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8440/tid=8460] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8460/stat : 8460 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 60 0 0 0 1 0 0 0 17 0 32 0 735743821 817115136 1760 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604487574085088 0 0 -1 15 0 0 0
[pid=8440/tid=8461] ppid=8438 vsize=863500 CPUtime=0.01 cores=0-31
/proc/8440/task/8461/stat : 8461 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 57 0 0 0 1 0 0 0 25 0 32 0 735743821 884224000 1766 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8440/tid=8462] ppid=8438 vsize=863500 CPUtime=0.01 cores=0-31
/proc/8440/task/8462/stat : 8462 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 54 0 0 0 1 0 0 0 25 0 32 0 735743822 884224000 1773 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650604389 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8440/tid=8463] ppid=8438 vsize=863500 CPUtime=0.01 cores=0-31
/proc/8440/task/8463/stat : 8463 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 44 0 0 0 1 0 0 0 25 0 32 0 735743822 884224000 1783 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8440/tid=8464] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8464/stat : 8464 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 27 0 0 0 1 0 0 0 25 0 32 0 735743822 817115136 1788 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8440/tid=8465] ppid=8438 vsize=797964 CPUtime=0.01 cores=0-31
/proc/8440/task/8465/stat : 8465 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 67 0 0 0 1 0 0 0 17 0 32 0 735743822 817115136 1807 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604479082421728 0 0 -1 25 0 0 0
[pid=8440/tid=8466] ppid=8438 vsize=929036 CPUtime=0.01 cores=0-31
/proc/8440/task/8466/stat : 8466 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 36 0 0 0 1 0 0 0 25 0 32 0 735743822 951332864 1813 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8440/tid=8467] ppid=8438 vsize=929036 CPUtime=0.01 cores=0-31
/proc/8440/task/8467/stat : 8467 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 36 0 0 0 1 0 0 0 25 0 32 0 735743822 951332864 1814 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8440/tid=8468] ppid=8438 vsize=929036 CPUtime=0 cores=0-31
/proc/8440/task/8468/stat : 8468 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 32 0 0 0 0 0 0 0 25 0 32 0 735743822 951332864 1824 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8440/tid=8469] ppid=8438 vsize=863532 CPUtime=0.01 cores=0-31
/proc/8440/task/8469/stat : 8469 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 53 0 0 0 1 0 0 0 18 0 32 0 735743822 884256768 1833 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650604389 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8440/tid=8470] ppid=8438 vsize=863532 CPUtime=0.01 cores=0-31
/proc/8440/task/8470/stat : 8470 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 45 0 0 0 1 0 0 0 25 0 32 0 735743822 884256768 1836 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8440/tid=8471] ppid=8438 vsize=863532 CPUtime=0.01 cores=0-31
/proc/8440/task/8471/stat : 8471 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 67 0 0 0 1 0 0 0 25 0 32 0 735743822 884256768 1847 268435456000 4194304 4580107 140736415712224 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 27 0 0 0
[startup+0.0598589 s]
/proc/loadavg: 29.48 31.52 31.83 1/413 8440
/proc/meminfo: memFree=255172692/264257624 swapFree=67111528/67111528
[pid=8440] ppid=8438 vsize=1128348 CPUtime=0.76 cores=0-31
/proc/8440/stat : 8440 (strangenight2-m) D 8438 8440 8414 0 -1 4202496 4317 0 0 0 49 27 0 0 17 0 32 0 735743821 1155428352 4133 268435456000 4194304 4580107 140736415712224 18446744073709551615 4307821 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/8440/statm: 282087 4140 331 95 0 277069 0
[pid=8440/tid=8441] ppid=8438 vsize=1128348 CPUtime=0.01 cores=0-31
/proc/8440/task/8441/stat : 8441 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 95 0 0 0 1 0 0 0 17 0 32 0 735743821 1155428352 4148 268435456000 4194304 4580107 140736415712224 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8440/tid=8442] ppid=8438 vsize=1128348 CPUtime=0.02 cores=0-31
/proc/8440/task/8442/stat : 8442 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 200 0 0 0 1 1 0 0 17 0 32 0 735743821 1155428352 4148 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8440/tid=8443] ppid=8438 vsize=1128348 CPUtime=0.02 cores=0-31
/proc/8440/task/8443/stat : 8443 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 138 0 0 0 1 1 0 0 17 0 32 0 735743821 1155428352 4161 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8440/tid=8444] ppid=8438 vsize=1128348 CPUtime=0.02 cores=0-31
/proc/8440/task/8444/stat : 8444 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 187 0 0 0 1 1 0 0 17 0 32 0 735743821 1155428352 4163 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604501989842400 0 0 -1 12 0 0 0
[pid=8440/tid=8445] ppid=8438 vsize=1128348 CPUtime=0.02 cores=0-31
/proc/8440/task/8445/stat : 8445 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 161 0 0 0 1 1 0 0 17 0 32 0 735743821 1155428352 4176 268435456000 4194304 4580107 140736415712224 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8440/tid=8446] ppid=8438 vsize=1128348 CPUtime=0.02 cores=0-31
/proc/8440/task/8446/stat : 8446 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 137 0 0 0 1 1 0 0 17 0 32 0 735743821 1155428352 4191 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446744071566926024 0 0 -1 24 0 0 0
[pid=8440/tid=8447] ppid=8438 vsize=1128348 CPUtime=0.01 cores=0-31
/proc/8440/task/8447/stat : 8447 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 54 0 0 0 1 0 0 0 17 0 32 0 735743821 1155428352 4191 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604479242935776 0 0 -1 8 0 0 0
[pid=8440/tid=8448] ppid=8438 vsize=1128348 CPUtime=0.02 cores=0-31
/proc/8440/task/8448/stat : 8448 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 230 0 0 0 1 1 0 0 18 0 32 0 735743821 1155428352 4199 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8440/tid=8449] ppid=8438 vsize=1128348 CPUtime=0.01 cores=0-31
/proc/8440/task/8449/stat : 8449 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 53 0 0 0 1 0 0 0 17 0 32 0 735743821 1155428352 4207 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604487546093024 0 0 -1 6 0 0 0
[pid=8440/tid=8450] ppid=8438 vsize=1128348 CPUtime=0.01 cores=0-31
/proc/8440/task/8450/stat : 8450 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 85 0 0 0 1 0 0 0 17 0 32 0 735743821 1155428352 4221 268435456000 4194304 4580107 140736415712224 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8440/tid=8451] ppid=8438 vsize=1128348 CPUtime=0.01 cores=0-31
/proc/8440/task/8451/stat : 8451 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 72 0 0 0 1 0 0 0 17 0 32 0 735743821 1155428352 4225 268435456000 4194304 4580107 140736415712224 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8452/stat : 8452 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 78 0 0 0 1 0 0 0 17 0 32 0 735743821 1155584000 4225 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=1128500 CPUtime=0.02 cores=0-31
/proc/8440/task/8453/stat : 8453 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 165 0 0 0 1 1 0 0 17 0 32 0 735743821 1155584000 4239 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446744071566928664 0 0 -1 7 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=1128500 CPUtime=0.02 cores=0-31
/proc/8440/task/8454/stat : 8454 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 155 0 0 0 1 1 0 0 17 0 32 0 735743821 1155584000 4245 268435456000 4194304 4580107 140736415712224 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8440/tid=8455] ppid=8438 vsize=1128500 CPUtime=0.02 cores=0-31
/proc/8440/task/8455/stat : 8455 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 195 0 0 0 1 1 0 0 17 0 32 0 735743821 1155584000 4245 268435456000 4194304 4580107 140736415712224 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8440/tid=8456] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8456/stat : 8456 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 99 0 0 0 1 0 0 0 17 0 32 0 735743821 1155584000 4253 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446744071566933224 0 0 -1 14 0 0 0
[pid=8440/tid=8457] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8457/stat : 8457 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 99 0 0 0 1 0 0 0 17 0 32 0 735743821 1155584000 4269 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8440/tid=8458] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8458/stat : 8458 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 60 0 0 0 1 0 0 0 17 0 32 0 735743821 1155584000 4269 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604499751468512 0 0 -1 17 0 0 0
[pid=8440/tid=8459] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8459/stat : 8459 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 198 0 0 0 1 0 0 0 25 0 32 0 735743821 1155584000 4277 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8440/tid=8460] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8460/stat : 8460 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 60 0 0 0 1 0 0 0 17 0 32 0 735743821 1155584000 4286 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604504470281696 0 0 -1 15 0 0 0
[pid=8440/tid=8461] ppid=8438 vsize=1128500 CPUtime=0.02 cores=0-31
/proc/8440/task/8461/stat : 8461 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 162 0 0 0 1 1 0 0 17 0 32 0 735743821 1155584000 4286 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604501863620064 0 0 -1 16 0 0 0
[pid=8440/tid=8462] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8462/stat : 8462 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 131 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4305 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8440/tid=8463] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8463/stat : 8463 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 146 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4334 268435456000 4194304 4580107 140736415712224 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8440/tid=8464] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8464/stat : 8464 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 52 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4337 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604487574085088 0 0 -1 19 0 0 0
[pid=8440/tid=8465] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8465/stat : 8465 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 67 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4341 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604479082421728 0 0 -1 25 0 0 0
[pid=8440/tid=8466] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8466/stat : 8466 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 141 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4354 268435456000 4194304 4580107 140736415712224 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8440/tid=8467] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8467/stat : 8467 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 53 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4377 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446744071566923784 0 0 -1 23 0 0 0
[pid=8440/tid=8468] ppid=8438 vsize=1128500 CPUtime=0 cores=0-31
/proc/8440/task/8468/stat : 8468 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 202 0 0 0 0 0 0 0 18 0 32 0 735743822 1155584000 4377 268435456000 4194304 4580107 140736415712224 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8440/tid=8469] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8469/stat : 8469 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 140 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4386 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8440/tid=8470] ppid=8438 vsize=1128500 CPUtime=0.01 cores=0-31
/proc/8440/task/8470/stat : 8470 (strangenight2-m) S 8438 8440 8414 0 -1 4202560 65 0 0 0 1 0 0 0 17 0 32 0 735743822 1155584000 4392 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446604503045029344 0 0 -1 30 0 0 0
[pid=8440/tid=8471] ppid=8438 vsize=1128500 CPUtime=0.02 cores=0-31
/proc/8440/task/8471/stat : 8471 (strangenight2-m) D 8438 8440 8414 0 -1 4202560 236 0 0 0 1 1 0 0 17 0 32 0 735743822 1155584000 4392 268435456000 4194304 4580107 140736415712224 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 1128348
[startup+0.102865 s]
/proc/loadavg: 29.48 31.52 31.83 1/413 8440
/proc/meminfo: memFree=255172692/264257624 swapFree=67111528/67111528
[pid=8440] ppid=8438 vsize=1399624 CPUtime=1.27 cores=0-31
/proc/8440/stat : 8440 (strangenight2-m) R 8438 8440 8414 0 -1 4202496 11121 0 0 0 61 66 0 0 17 0 32 0 735743821 1433214976 10274 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/8440/statm: 349906 10277 335 95 0 344888 0
[pid=8440/tid=8441] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8441/stat : 8441 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 280 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10278 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8440/tid=8442] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8442/stat : 8442 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 397 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10279 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8440/tid=8443] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8443/stat : 8443 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 356 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10279 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8440/tid=8444] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8444/stat : 8444 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 434 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10279 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8440/tid=8445] ppid=8438 vsize=1399624 CPUtime=0.03 cores=0-31
/proc/8440/task/8445/stat : 8445 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 411 0 0 0 1 2 0 0 17 0 32 0 735743821 1433214976 10280 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8440/tid=8446] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8446/stat : 8446 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 346 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10282 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8440/tid=8447] ppid=8438 vsize=1399624 CPUtime=0.02 cores=0-31
/proc/8440/task/8447/stat : 8447 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 180 0 0 0 1 1 0 0 17 0 32 0 735743821 1433214976 10284 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8440/tid=8448] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8448/stat : 8448 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 406 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10284 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8440/tid=8449] ppid=8438 vsize=1399624 CPUtime=0.03 cores=0-31
/proc/8440/task/8449/stat : 8449 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 235 0 0 0 2 1 0 0 17 0 32 0 735743821 1433214976 10284 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8440/tid=8450] ppid=8438 vsize=1399624 CPUtime=0.03 cores=0-31
/proc/8440/task/8450/stat : 8450 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 309 0 0 0 1 2 0 0 17 0 32 0 735743821 1433214976 10286 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8440/tid=8451] ppid=8438 vsize=1399624 CPUtime=0.03 cores=0-31
/proc/8440/task/8451/stat : 8451 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 267 0 0 0 2 1 0 0 17 0 32 0 735743821 1433214976 10286 268435456000 4194304 4580107 140736415712224 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=1399624 CPUtime=0.03 cores=0-31
/proc/8440/task/8452/stat : 8452 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 238 0 0 0 1 2 0 0 17 0 32 0 735743821 1433214976 10291 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8453/stat : 8453 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 436 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10291 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8454/stat : 8454 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 388 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10294 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8440/tid=8455] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8455/stat : 8455 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 397 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10295 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8440/tid=8456] ppid=8438 vsize=1399624 CPUtime=0.04 cores=0-31
/proc/8440/task/8456/stat : 8456 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 289 0 0 0 2 2 0 0 17 0 32 0 735743821 1433214976 10295 268435456000 4194304 4580107 140736415712224 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8440/tid=8457] ppid=8438 vsize=1399624 CPUtime=0.03 cores=0-31
################
# More data... #
################
/proc/8440/task/8464/stat : 8464 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 36304 0 0 0 22717 25 0 0 25 0 32 0 735743822 2731102208 442878 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8440/tid=8465] ppid=8438 vsize=2667092 CPUtime=227.44 cores=0-31
/proc/8440/task/8465/stat : 8465 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 41012 0 0 0 22718 26 0 0 25 0 32 0 735743822 2731102208 442878 268435456000 4194304 4580107 140736415712224 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8440/tid=8466] ppid=8438 vsize=2667092 CPUtime=227.4 cores=0-31
/proc/8440/task/8466/stat : 8466 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 47396 0 0 0 22711 29 0 0 25 0 32 0 735743822 2731102208 442878 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8440/tid=8467] ppid=8438 vsize=2667092 CPUtime=227.42 cores=0-31
/proc/8440/task/8467/stat : 8467 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 44225 0 0 0 22715 27 0 0 25 0 32 0 735743822 2731102208 442878 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8440/tid=8468] ppid=8438 vsize=2667092 CPUtime=227.4 cores=0-31
/proc/8440/task/8468/stat : 8468 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 36110 0 0 0 22720 20 0 0 25 0 32 0 735743822 2731102208 442878 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8440/tid=8469] ppid=8438 vsize=2667092 CPUtime=227.44 cores=0-31
/proc/8440/task/8469/stat : 8469 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 35757 0 0 0 22719 25 0 0 25 0 32 0 735743822 2731102208 442879 268435456000 4194304 4580107 140736415712224 18446744073709551615 4320565 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8440/tid=8470] ppid=8438 vsize=2667092 CPUtime=227.43 cores=0-31
/proc/8440/task/8470/stat : 8470 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 46814 0 0 0 22712 31 0 0 25 0 32 0 735743822 2731102208 442879 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294993 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8440/tid=8471] ppid=8438 vsize=2667092 CPUtime=227.54 cores=0-31
/proc/8440/task/8471/stat : 8471 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 17847 0 0 0 22742 12 0 0 25 0 32 0 735743822 2731102208 442880 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 7271.79
Current children cumulated vsize (KiB) 2667092
[startup+228.102 s]
/proc/loadavg: 32.00 31.83 31.88 33/445 8478
/proc/meminfo: memFree=253398188/264257624 swapFree=67111528/67111528
[pid=8440] ppid=8438 vsize=2667092 CPUtime=7284.56 cores=0-31
/proc/8440/stat : 8440 (strangenight2-m) R 8438 8440 8414 0 -1 4202496 1445154 0 0 0 727553 903 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295272 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/8440/statm: 666773 444261 379 95 0 661755 0
[pid=8440/tid=8441] ppid=8438 vsize=2667092 CPUtime=227.87 cores=0-31
/proc/8440/task/8441/stat : 8441 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 45244 0 0 0 22762 25 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295157 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8440/tid=8442] ppid=8438 vsize=2667092 CPUtime=227.84 cores=0-31
/proc/8440/task/8442/stat : 8442 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 54814 0 0 0 22749 35 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4318494 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8440/tid=8443] ppid=8438 vsize=2667092 CPUtime=226.6 cores=0-31
/proc/8440/task/8443/stat : 8443 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43444 0 0 0 22632 28 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8440/tid=8444] ppid=8438 vsize=2667092 CPUtime=227.87 cores=0-31
/proc/8440/task/8444/stat : 8444 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 48207 0 0 0 22761 26 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8440/tid=8445] ppid=8438 vsize=2667092 CPUtime=227.82 cores=0-31
/proc/8440/task/8445/stat : 8445 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 42437 0 0 0 22757 25 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8440/tid=8446] ppid=8438 vsize=2667092 CPUtime=227.83 cores=0-31
/proc/8440/task/8446/stat : 8446 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 48180 0 0 0 22757 26 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8440/tid=8447] ppid=8438 vsize=2667092 CPUtime=227.72 cores=0-31
/proc/8440/task/8447/stat : 8447 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43251 0 0 0 22742 30 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8440/tid=8448] ppid=8438 vsize=2667092 CPUtime=227.87 cores=0-31
/proc/8440/task/8448/stat : 8448 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 40754 0 0 0 22762 25 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8440/tid=8449] ppid=8438 vsize=2667092 CPUtime=227.87 cores=0-31
/proc/8440/task/8449/stat : 8449 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 42354 0 0 0 22758 29 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8440/tid=8450] ppid=8438 vsize=2667092 CPUtime=227.82 cores=0-31
/proc/8440/task/8450/stat : 8450 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 42685 0 0 0 22754 28 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8440/tid=8451] ppid=8438 vsize=2667092 CPUtime=227.85 cores=0-31
/proc/8440/task/8451/stat : 8451 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43253 0 0 0 22757 28 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294986 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=2667092 CPUtime=227.82 cores=0-31
/proc/8440/task/8452/stat : 8452 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 48516 0 0 0 22751 31 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4324126 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=2667092 CPUtime=227.86 cores=0-31
/proc/8440/task/8453/stat : 8453 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 41105 0 0 0 22761 25 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293261 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=2667092 CPUtime=227.85 cores=0-31
/proc/8440/task/8454/stat : 8454 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 45448 0 0 0 22757 28 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295561 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8440/tid=8455] ppid=8438 vsize=2667092 CPUtime=227.89 cores=0-31
/proc/8440/task/8455/stat : 8455 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 44892 0 0 0 22762 27 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8440/tid=8456] ppid=8438 vsize=2667092 CPUtime=227.7 cores=0-31
/proc/8440/task/8456/stat : 8456 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 60329 0 0 0 22736 34 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8440/tid=8457] ppid=8438 vsize=2667092 CPUtime=223.19 cores=0-31
/proc/8440/task/8457/stat : 8457 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 58935 0 0 0 22283 36 0 0 25 0 32 0 735743821 2731102208 444261 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8440/tid=8458] ppid=8438 vsize=2667092 CPUtime=227.83 cores=0-31
/proc/8440/task/8458/stat : 8458 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43588 0 0 0 22755 28 0 0 25 0 32 0 735743821 2731102208 444262 268435456000 4194304 4580107 140736415712224 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8440/tid=8459] ppid=8438 vsize=2667092 CPUtime=227.85 cores=0-31
/proc/8440/task/8459/stat : 8459 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 56469 0 0 0 22757 28 0 0 25 0 32 0 735743821 2731102208 444262 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8440/tid=8460] ppid=8438 vsize=2667092 CPUtime=227.41 cores=0-31
/proc/8440/task/8460/stat : 8460 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 55741 0 0 0 22706 35 0 0 25 0 32 0 735743821 2731102208 444262 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8440/tid=8461] ppid=8438 vsize=2667092 CPUtime=227.71 cores=0-31
/proc/8440/task/8461/stat : 8461 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 47472 0 0 0 22744 27 0 0 25 0 32 0 735743821 2731102208 444262 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8440/tid=8462] ppid=8438 vsize=2667092 CPUtime=227.85 cores=0-31
/proc/8440/task/8462/stat : 8462 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 54387 0 0 0 22749 36 0 0 25 0 32 0 735743822 2731102208 444262 268435456000 4194304 4580107 140736415712224 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8440/tid=8463] ppid=8438 vsize=2667092 CPUtime=227.85 cores=0-31
/proc/8440/task/8463/stat : 8463 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43140 0 0 0 22759 26 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8440/tid=8464] ppid=8438 vsize=2667092 CPUtime=227.82 cores=0-31
/proc/8440/task/8464/stat : 8464 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 36364 0 0 0 22757 25 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8440/tid=8465] ppid=8438 vsize=2667092 CPUtime=227.84 cores=0-31
/proc/8440/task/8465/stat : 8465 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 41012 0 0 0 22758 26 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8440/tid=8466] ppid=8438 vsize=2667092 CPUtime=227.8 cores=0-31
/proc/8440/task/8466/stat : 8466 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 47453 0 0 0 22751 29 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8440/tid=8467] ppid=8438 vsize=2667092 CPUtime=227.82 cores=0-31
/proc/8440/task/8467/stat : 8467 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 44225 0 0 0 22755 27 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8440/tid=8468] ppid=8438 vsize=2667092 CPUtime=227.8 cores=0-31
/proc/8440/task/8468/stat : 8468 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 36110 0 0 0 22760 20 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8440/tid=8469] ppid=8438 vsize=2667092 CPUtime=227.83 cores=0-31
/proc/8440/task/8469/stat : 8469 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 35824 0 0 0 22758 25 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8440/tid=8470] ppid=8438 vsize=2667092 CPUtime=227.83 cores=0-31
/proc/8440/task/8470/stat : 8470 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 46908 0 0 0 22752 31 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8440/tid=8471] ppid=8438 vsize=2667092 CPUtime=227.94 cores=0-31
/proc/8440/task/8471/stat : 8471 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 17857 0 0 0 22782 12 0 0 25 0 32 0 735743822 2731102208 444263 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 7284.56
Current children cumulated vsize (KiB) 2667092
[startup+228.502 s]
/proc/loadavg: 32.00 31.83 31.88 33/445 8478
/proc/meminfo: memFree=253398188/264257624 swapFree=67111528/67111528
[pid=8440] ppid=8438 vsize=2667092 CPUtime=7297.35 cores=0-31
/proc/8440/stat : 8440 (strangenight2-m) R 8438 8440 8414 0 -1 4202496 1446451 0 0 0 728831 904 0 0 25 0 32 0 735743821 2731102208 445558 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/8440/statm: 666773 445558 379 95 0 661755 0
[pid=8440/tid=8441] ppid=8438 vsize=2667092 CPUtime=228.27 cores=0-31
/proc/8440/task/8441/stat : 8441 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 45313 0 0 0 22802 25 0 0 25 0 32 0 735743821 2731102208 445558 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8440/tid=8442] ppid=8438 vsize=2667092 CPUtime=228.24 cores=0-31
/proc/8440/task/8442/stat : 8442 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 54879 0 0 0 22789 35 0 0 25 0 32 0 735743821 2731102208 445558 268435456000 4194304 4580107 140736415712224 18446744073709551615 4292977 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8440/tid=8443] ppid=8438 vsize=2667092 CPUtime=227 cores=0-31
/proc/8440/task/8443/stat : 8443 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43492 0 0 0 22672 28 0 0 25 0 32 0 735743821 2731102208 445558 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8440/tid=8444] ppid=8438 vsize=2667092 CPUtime=228.27 cores=0-31
/proc/8440/task/8444/stat : 8444 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 48309 0 0 0 22801 26 0 0 25 0 32 0 735743821 2731102208 445558 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8440/tid=8445] ppid=8438 vsize=2667092 CPUtime=228.22 cores=0-31
/proc/8440/task/8445/stat : 8445 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 42527 0 0 0 22797 25 0 0 25 0 32 0 735743821 2731102208 445558 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8440/tid=8446] ppid=8438 vsize=2667092 CPUtime=228.23 cores=0-31
/proc/8440/task/8446/stat : 8446 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 48180 0 0 0 22797 26 0 0 25 0 32 0 735743821 2731102208 445558 268435456000 4194304 4580107 140736415712224 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8440/tid=8447] ppid=8438 vsize=2667092 CPUtime=228.12 cores=0-31
/proc/8440/task/8447/stat : 8447 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43315 0 0 0 22782 30 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8440/tid=8448] ppid=8438 vsize=2667092 CPUtime=228.27 cores=0-31
/proc/8440/task/8448/stat : 8448 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 40806 0 0 0 22802 25 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8440/tid=8449] ppid=8438 vsize=2667092 CPUtime=228.27 cores=0-31
/proc/8440/task/8449/stat : 8449 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 42354 0 0 0 22798 29 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8440/tid=8450] ppid=8438 vsize=2667092 CPUtime=228.22 cores=0-31
/proc/8440/task/8450/stat : 8450 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 42685 0 0 0 22794 28 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8440/tid=8451] ppid=8438 vsize=2667092 CPUtime=228.25 cores=0-31
/proc/8440/task/8451/stat : 8451 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43253 0 0 0 22797 28 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8440/tid=8452] ppid=8438 vsize=2667092 CPUtime=228.22 cores=0-31
/proc/8440/task/8452/stat : 8452 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 48516 0 0 0 22791 31 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8440/tid=8453] ppid=8438 vsize=2667092 CPUtime=228.26 cores=0-31
/proc/8440/task/8453/stat : 8453 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 41151 0 0 0 22801 25 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8440/tid=8454] ppid=8438 vsize=2667092 CPUtime=228.25 cores=0-31
/proc/8440/task/8454/stat : 8454 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 45558 0 0 0 22797 28 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8440/tid=8455] ppid=8438 vsize=2667092 CPUtime=228.29 cores=0-31
/proc/8440/task/8455/stat : 8455 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 44892 0 0 0 22802 27 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8440/tid=8456] ppid=8438 vsize=2667092 CPUtime=228.09 cores=0-31
/proc/8440/task/8456/stat : 8456 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 60415 0 0 0 22775 34 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8440/tid=8457] ppid=8438 vsize=2667092 CPUtime=223.59 cores=0-31
/proc/8440/task/8457/stat : 8457 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 58983 0 0 0 22323 36 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8440/tid=8458] ppid=8438 vsize=2667092 CPUtime=228.23 cores=0-31
/proc/8440/task/8458/stat : 8458 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43644 0 0 0 22795 28 0 0 25 0 32 0 735743821 2731102208 445559 268435456000 4194304 4580107 140736415712224 18446744073709551615 4321108 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8440/tid=8459] ppid=8438 vsize=2667092 CPUtime=228.25 cores=0-31
/proc/8440/task/8459/stat : 8459 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 56469 0 0 0 22797 28 0 0 25 0 32 0 735743821 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8440/tid=8460] ppid=8438 vsize=2667092 CPUtime=227.8 cores=0-31
/proc/8440/task/8460/stat : 8460 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 55828 0 0 0 22745 35 0 0 25 0 32 0 735743821 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8440/tid=8461] ppid=8438 vsize=2667092 CPUtime=228.11 cores=0-31
/proc/8440/task/8461/stat : 8461 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 47535 0 0 0 22784 27 0 0 25 0 32 0 735743821 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8440/tid=8462] ppid=8438 vsize=2667092 CPUtime=228.25 cores=0-31
/proc/8440/task/8462/stat : 8462 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 54473 0 0 0 22789 36 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8440/tid=8463] ppid=8438 vsize=2667092 CPUtime=228.25 cores=0-31
/proc/8440/task/8463/stat : 8463 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 43140 0 0 0 22799 26 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8440/tid=8464] ppid=8438 vsize=2667092 CPUtime=228.22 cores=0-31
/proc/8440/task/8464/stat : 8464 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 36414 0 0 0 22797 25 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8440/tid=8465] ppid=8438 vsize=2667092 CPUtime=228.24 cores=0-31
/proc/8440/task/8465/stat : 8465 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 41012 0 0 0 22798 26 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8440/tid=8466] ppid=8438 vsize=2667092 CPUtime=228.2 cores=0-31
/proc/8440/task/8466/stat : 8466 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 47491 0 0 0 22791 29 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8440/tid=8467] ppid=8438 vsize=2667092 CPUtime=228.22 cores=0-31
/proc/8440/task/8467/stat : 8467 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 44225 0 0 0 22795 27 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293248 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8440/tid=8468] ppid=8438 vsize=2667092 CPUtime=228.2 cores=0-31
/proc/8440/task/8468/stat : 8468 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 36110 0 0 0 22800 20 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8440/tid=8469] ppid=8438 vsize=2667092 CPUtime=228.23 cores=0-31
/proc/8440/task/8469/stat : 8469 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 35880 0 0 0 22798 25 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8440/tid=8470] ppid=8438 vsize=2667092 CPUtime=228.23 cores=0-31
/proc/8440/task/8470/stat : 8470 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 46989 0 0 0 22792 31 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4295090 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8440/tid=8471] ppid=8438 vsize=2667092 CPUtime=228.34 cores=0-31
/proc/8440/task/8471/stat : 8471 (strangenight2-m) R 8438 8440 8414 0 -1 4202560 17857 0 0 0 22822 12 0 0 25 0 32 0 735743822 2731102208 445560 268435456000 4194304 4580107 140736415712224 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 7297.35
Current children cumulated vsize (KiB) 2667092
[startup+228.602 s]
/proc/loadavg: 32.00 31.83 31.88 33/445 8478
/proc/meminfo: memFree=253398188/264257624 swapFree=67111528/67111528
[pid=8440] ppid=8438 vsize=0 CPUtime=7298.14 cores=0-31
/proc/8440/stat : 8440 (strangenight2-m) Z 8438 8440 8414 0 -1 4203548 1446525 0 0 0 728902 912 0 0 25 0 2 0 735743821 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/8440/statm: 0 0 0 0 0 0 0
[pid=8440/tid=8459] ppid=8438 vsize=0 CPUtime=228.34 cores=0-31
/proc/8440/task/8459/stat : 8459 (strangenight2-m) R 8438 8440 8414 0 -1 4203588 56469 0 0 0 22799 35 0 0 25 0 2 0 735743821 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 7298.14
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 228.687
CPU time (s): 7298.23
CPU user time (s): 7289.02
CPU system time (s): 9.2076
CPU usage (%): 3191.36
Max. virtual memory (cumulated for all children) (KiB): 2923936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7289.02
system time used= 9.2076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1446525
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= 93680
involuntary context switches= 14465
runsolver used 1.39979 second user time and 5.07023 second system time
The end
Begin job on node200 at 2011-05-24 15:09:34
IDJOB=3400621
IDBENCH=20401
IDSOLVER=1886
FILE ID=node200/3400621-1306242574
RUNJOBID= node200-1306242574-8428
PBS_JOBID= 13411755
Free space on /tmp= 62048 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-03.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400621-1306242574/watcher-3400621-1306242574 -o /tmp/evaluation-result-3400621-1306242574/solver-3400621-1306242574 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400621-1306242574.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 8c67f78ca36ec96e662a91c74844da21
RANDOM SEED=804738476
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: 255172972 kB
Buffers: 463124 kB
Cached: 8213976 kB
SwapCached: 0 kB
Active: 7765468 kB
Inactive: 980440 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255172972 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5832 kB
Writeback: 0 kB
AnonPages: 70240 kB
Mapped: 13484 kB
Slab: 255000 kB
PageTables: 3996 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189592 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= 62040 MiB
End job on node200 at 2011-05-24 15:13:23