0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3400629-1306256786.cnf'
0.00/0.06 c -- header says num vars: 1400
0.00/0.06 c -- header says num clauses: 4732
1.71/0.12 c -- clauses added: 0 learnts, 4732 normals, 0 xors
1.71/0.12 c -- vars added 1400
1.71/0.12 c Parsing time: 0.01 s
1.71/0.12 c N st 0 0 1400 2677 2052 0 12297 0 no data no data
1.71/0.13 c asymm cl-useful: 0/2677/2677 lits-rem:0 time: 0.01
2.50/0.16 c Flit: 5 Blit: 0 bXBeca: 0 bXProp: 10 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01
2.50/0.16 c Replacing 10 vars Replaced 120 lits Time: 0.00 s
2.50/0.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2.50/0.18 c bin-w-bin subsume rem 0 bins time: 0.00 s
2.50/0.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2.50/0.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1382 time: 0.00 s
2.50/0.18 c Removed useless bin: 0 fixed: 0 props: 0.04M time: 0.00 s
3.50/0.23 c lits-rem: 0 cl-subs: 136 v-elim: 425 v-fix: 0 time: 0.02 s
3.50/0.23 c Finding binary XORs T: 0.00 s found: 0
3.50/0.23 c Finding non-binary XORs: 0.00 s (found: 377, avg size: 3.0)
3.50/0.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 11 locsubst: 0 time: 0.00
3.50/0.23 c calculated reachability. Time: 0.00
3.50/0.23 c Calc default polars - time: 0.00 s pos: 139 undec: 488 neg: 773
3.50/0.23 c =========================================================================================
3.50/0.23 c types(t): F = full restart, N = normal restart
3.50/0.23 c types(t): S = simplification begin/end, E = solution found
3.50/0.23 c restart types(rt): st = static, dy = dynamic
3.50/0.23 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
3.50/0.23 c B st 0 0 946 1524 867 0 8035 0 no data no data
3.50/0.57 c Decided on static restart strategy
3.50/1.07 c N st 8 4919 946 1524 927 4774 8035 194830 no data no data
10.37/1.33 c Finding binary XORs T: 0.00 s found: 0
49.92/1.69 c N st 10 11301 940 1520 1301 4469 7983 80035 no data no data
73.37/2.44 c N st 11 17044 940 1520 1307 10144 7983 284514 no data no data
102.09/3.38 c F st 12 25002 939 1520 1461 12827 7983 341393 no data no data
102.09/3.39 c Replacing 1 vars Replaced 650 lits Time: 0.00 s
102.09/3.39 c N st 12 25002 938 1520 1454 12730 7967 339665 no data no data
102.09/3.39 c Finding binary XORs T: 0.00 s found: 0
124.48/4.05 c Decided on static restart strategy
124.48/4.05 c N st 18 30002 937 1513 1481 11267 7949 227047 no data no data
124.48/4.05 c S st 18 30002 937 1513 1481 11267 7949 227047 no data no data
128.26/4.12 c S st 18 30503 937 1513 1482 11765 7949 239607 no data no data
128.26/4.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
128.26/4.15 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 0 Bins: 325 BRemL: 220 BRemN: 0 P: 0.6M T: 0.02
128.26/4.15 c Replacing 1 vars Replaced 51 lits Time: 0.00 s
128.26/4.15 c blocked clauses removed: 0 vars: 0 tried: 238 T: 0.00 s
128.26/4.15 c bin-w-bin subsume rem 2 bins time: 0.00 s
128.26/4.15 c subs with bin: 37 lits-rem: 37 v-fix: 0 time: 0.00 s
128.26/4.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 935 time: 0.00 s
128.26/4.16 c Removed useless bin: 8 fixed: 0 props: 0.01M time: 0.00 s
128.26/4.16 c lits-rem: 0 cl-subs: 11 v-elim: 9 v-fix: 0 time: 0.00 s
128.26/4.22 c subs with bin: 24 lits-rem: 2590 v-fix: 0 time: 0.03 s
134.07/4.31 c lits-rem: 870 cl-subs: 644 v-elim: 0 v-fix: 0 time: 0.09 s
134.07/4.32 c asymm cl-useful: 4/1476/1476 lits-rem:4 time: 0.01
134.07/4.33 c calculated reachability. Time: 0.00
134.07/4.33 c N st 18 30503 926 1476 1534 10879 7783 222362 no data no data
146.83/4.72 c Finding binary XORs T: 0.00 s found: 0
166.68/5.36 c N st 20 37613 926 1476 1543 10433 7783 176281 no data no data
194.79/6.28 c N st 21 44012 926 1476 1543 16771 7783 384531 no data no data
194.79/6.28 c Finding binary XORs T: 0.00 s found: 0
204.40/6.58 c S st 22 45754 926 1476 1685 9898 7783 126150 no data no data
207.57/6.65 c S st 22 46255 926 1476 1685 10394 7783 137048 no data no data
207.57/6.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
207.57/6.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 62 BRemL: 177 BRemN: 4 P: 0.6M T: 0.02
207.57/6.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
207.57/6.68 c bin-w-bin subsume rem 4 bins time: 0.00 s
207.57/6.68 c subs with bin: 4 lits-rem: 1 v-fix: 0 time: 0.00 s
207.57/6.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 926 time: 0.00 s
207.57/6.68 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
207.57/6.68 c lits-rem: 1 cl-subs: 0 v-elim: 3 v-fix: 0 time: 0.00 s
207.57/6.70 c subs with bin: 6 lits-rem: 67 v-fix: 0 time: 0.01 s
210.76/6.71 c lits-rem: 172 cl-subs: 129 v-elim: 0 v-fix: 0 time: 0.01 s
210.76/6.71 c vivif2 -- cl tried 1478 cl shrink 0 lits rem 0 time: 0.00
210.76/6.72 c vivif2 -- cl tried 10036 cl shrink 1083 lits rem 2557 time: 0.01
210.76/6.73 c asymm cl-useful: 1/1478/1478 lits-rem:1 time: 0.01
210.76/6.73 c calculated reachability. Time: 0.00
210.76/6.73 c N st 22 46255 923 1478 1526 10036 7783 129020 no data no data
281.09/8.95 c N st 23 60653 923 1478 1526 14608 7783 236860 no data no data
281.09/8.96 c Finding binary XORs T: 0.00 s found: 0
325.83/10.38 c N st 24 69384 922 1478 1555 12358 7775 155093 no data no data
325.83/10.38 c S st 24 69384 922 1478 1555 12358 7775 155093 no data no data
329.03/10.46 c S st 24 69885 922 1478 1574 12858 7775 166752 no data no data
329.03/10.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
329.03/10.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 6 BRemL: 8 BRemN: 0 P: 0.6M T: 0.02
329.03/10.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
329.03/10.48 c bin-w-bin subsume rem 0 bins time: 0.00 s
329.03/10.48 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.00 s
329.03/10.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 922 time: 0.00 s
329.03/10.48 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
329.03/10.48 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
332.23/10.51 c subs with bin: 325 lits-rem: 113 v-fix: 0 time: 0.01 s
332.23/10.52 c lits-rem: 151 cl-subs: 130 v-elim: 0 v-fix: 0 time: 0.02 s
332.23/10.52 c vivif2 -- cl tried 1477 cl shrink 0 lits rem 0 time: 0.00
332.23/10.53 c vivif2 -- cl tried 12403 cl shrink 538 lits rem 970 time: 0.01
332.23/10.55 c asymm cl-useful: 2/1477/1477 lits-rem:4 time: 0.01
332.23/10.55 c calculated reachability. Time: 0.00
332.23/10.55 c N st 24 69885 922 1476 1573 12403 7771 160513 no data no data
421.73/13.40 c F st 25 87500 922 1476 1573 18040 7771 301239 no data no data
421.73/13.40 c N st 25 87500 922 1476 1573 18040 7771 301239 no data no data
424.92/13.40 c Finding binary XORs T: 0.00 s found: 0
450.49/14.24 c Decided on static restart strategy
466.48/14.73 c N st 32 95542 922 1476 1631 25981 7771 525514 no data no data
511.24/16.21 c N st 34 104829 922 1476 1660 22527 7771 420806 no data no data
511.24/16.21 c S st 34 104829 922 1476 1660 22527 7771 420806 no data no data
518.25/16.32 c S st 34 105331 922 1476 1660 23026 7771 430118 no data no data
518.25/16.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
518.25/16.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 43 BRemN: 0 P: 1.0M T: 0.03
518.25/16.35 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
518.25/16.36 c bin-w-bin subsume rem 0 bins time: 0.00 s
518.25/16.36 c subs with bin: 3 lits-rem: 2 v-fix: 0 time: 0.00 s
518.25/16.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 922 time: 0.00 s
518.25/16.36 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
518.25/16.36 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
520.81/16.43 c subs with bin: 33 lits-rem: 545 v-fix: 0 time: 0.04 s
527.21/16.61 c lits-rem: 797 cl-subs: 1366 v-elim: 0 v-fix: 0 time: 0.17 s
527.21/16.61 c vivif2 -- cl tried 1473 cl shrink 0 lits rem 0 time: 0.00
527.21/16.64 c vivif2 -- cl tried 21627 cl shrink 4135 lits rem 11090 time: 0.03
527.21/16.66 c asymm cl-useful: 1/1473/1473 lits-rem:1 time: 0.02
527.21/16.66 c calculated reachability. Time: 0.00
527.21/16.66 c N st 34 105331 922 1473 1618 21627 7761 398089 no data no data
585.38/18.49 c N st 35 114932 922 1473 1618 17496 7761 228430 no data no data
585.38/18.50 c Finding binary XORs T: 0.00 s found: 0
671.06/21.17 c N st 36 129329 921 1473 1630 16835 7753 208474 no data no data
802.11/25.24 c N st 37 150925 921 1473 1657 22411 7753 348646 no data no data
802.11/25.24 c Finding binary XORs T: 0.00 s found: 0
837.27/26.36 c S st 38 157996 921 1473 1663 29424 7753 542278 no data no data
840.47/26.49 c S st 38 158498 921 1473 1664 29922 7753 553586 no data no data
840.47/26.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
843.67/26.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 16 BRemN: 0 P: 1.2M T: 0.04
843.67/26.53 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
843.67/26.53 c bin-w-bin subsume rem 1 bins time: 0.00 s
843.67/26.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
843.67/26.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 921 time: 0.00 s
843.67/26.53 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
843.67/26.54 c lits-rem: 1 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
846.87/26.63 c subs with bin: 122 lits-rem: 235 v-fix: 0 time: 0.06 s
853.27/26.87 c lits-rem: 844 cl-subs: 1022 v-elim: 0 v-fix: 0 time: 0.24 s
853.27/26.87 c vivif2 -- cl tried 1473 cl shrink 0 lits rem 0 time: 0.00
856.46/26.91 c vivif2 -- cl tried 28778 cl shrink 3989 lits rem 7702 time: 0.03
856.46/26.94 c asymm cl-useful: 0/1473/1473 lits-rem:0 time: 0.03
856.46/26.94 c calculated reachability. Time: 0.00
856.46/26.94 c N st 38 158498 921 1473 1647 28778 7751 528693 no data no data
1192.06/37.44 c N st 39 207089 921 1473 1647 23824 7751 294367 no data no data
1192.06/37.45 c Finding binary XORs T: 0.00 s found: 0
1390.25/43.70 c N st 40 237747 920 1472 1712 33970 7740 534077 no data no data
1390.25/43.70 c S st 40 237747 920 1472 1712 33970 7740 534077 no data no data
1390.25/43.70 c Finding binary XORs T: 0.00 s found: 0
1397.29/43.84 c S st 40 238254 920 1472 1734 34473 7740 549426 no data no data
1397.29/43.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
1397.29/43.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 13 BRemL: 69 BRemN: 0 P: 1.4M T: 0.04
1397.29/43.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1397.29/43.89 c bin-w-bin subsume rem 1 bins time: 0.00 s
1397.29/43.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1397.29/43.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 920 time: 0.00 s
1397.29/43.89 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
1399.85/43.90 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
1399.85/43.98 c subs with bin: 95 lits-rem: 116 v-fix: 0 time: 0.04 s
1419.01/44.53 c lits-rem: 613 cl-subs: 4469 v-elim: 0 v-fix: 0 time: 0.55 s
1419.01/44.53 c vivif2 -- cl tried 1472 cl shrink 0 lits rem 0 time: 0.00
1419.01/44.56 c vivif2 -- cl tried 29909 cl shrink 3572 lits rem 7712 time: 0.03
1419.01/44.59 c asymm cl-useful: 0/1472/1472 lits-rem:0 time: 0.03
1419.01/44.60 c calculated reachability. Time: 0.00
1419.01/44.60 c N st 40 238254 920 1472 1677 29909 7740 475166 no data no data
1898.47/59.58 c F st 41 306250 920 1472 1677 32703 7740 579714 no data no data
1898.47/59.58 c N st 41 306250 920 1472 1677 32703 7740 579714 no data no data
1898.47/59.59 c Finding binary XORs T: 0.00 s found: 0
1936.82/60.70 c Decided on static restart strategy
2097.24/65.78 c N st 51 334555 919 1472 1771 36706 7732 608896 no data no data
2097.24/65.78 c Finding binary XORs T: 0.00 s found: 0
2282.00/71.50 c N st 53 357381 919 1472 1797 34580 7732 548167 no data no data
2282.00/71.50 c S st 53 357381 919 1472 1797 34580 7732 548167 no data no data
2285.20/71.68 c S st 53 357886 918 1472 1797 35083 7732 561502 no data no data
2285.20/71.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
2288.39/71.73 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 14 BRemL: 71 BRemN: 0 P: 1.5M T: 0.05
2288.39/71.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2288.39/71.73 c bin-w-bin subsume rem 1 bins time: 0.00 s
2288.39/71.73 c subs with bin: 3 lits-rem: 3 v-fix: 0 time: 0.00 s
2288.39/71.73 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 918 time: 0.00 s
2288.39/71.73 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
2288.39/71.74 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
2291.59/71.86 c subs with bin: 495 lits-rem: 948 v-fix: 0 time: 0.07 s
2301.19/72.14 c lits-rem: 684 cl-subs: 1454 v-elim: 0 v-fix: 0 time: 0.28 s
2301.19/72.14 c vivif2 -- cl tried 1468 cl shrink 0 lits rem 0 time: 0.00
2301.19/72.18 c vivif2 -- cl tried 33130 cl shrink 4710 lits rem 12753 time: 0.04
2304.39/72.22 c asymm cl-useful: 3/1468/1468 lits-rem:3 time: 0.04
2304.39/72.22 c calculated reachability. Time: 0.00
2304.39/72.22 c N st 53 357886 918 1468 1707 33127 7712 519400 no data no data
2540.93/79.70 c N st 54 390279 918 1468 1707 39091 7712 576953 no data no data
2540.93/79.70 c Finding binary XORs T: 0.00 s found: 0
2924.50/91.66 c N st 55 438868 918 1468 1711 32942 7712 417563 no data no data
3398.20/106.45 c N st 56 511750 916 1468 1724 46176 7712 712346 no data no data
3398.20/106.46 c Finding binary XORs T: 0.00 s found: 0
3595.75/112.60 c N st 57 536829 915 1465 1915 40239 7677 571970 no data no data
3595.75/112.60 c S st 57 536829 915 1465 1915 40239 7677 571970 no data no data
3602.15/112.82 c S st 57 537330 913 1465 1928 40738 7677 583218 no data no data
3602.15/112.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
3602.15/112.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 204 BRemL: 220 BRemN: 0 P: 1.7M T: 0.06
3602.15/112.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3602.15/112.88 c bin-w-bin subsume rem 7 bins time: 0.00 s
3602.15/112.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
3602.15/112.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 913 time: 0.00 s
3602.15/112.89 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
3605.35/112.90 c lits-rem: 1 cl-subs: 2 v-elim: 1 v-fix: 0 time: 0.01 s
3605.35/112.99 c subs with bin: 129 lits-rem: 373 v-fix: 0 time: 0.05 s
3621.31/113.41 c lits-rem: 1011 cl-subs: 1708 v-elim: 0 v-fix: 0 time: 0.42 s
3621.31/113.41 c vivif2 -- cl tried 1464 cl shrink 0 lits rem 0 time: 0.00
3621.31/113.44 c vivif2 -- cl tried 38778 cl shrink 2236 lits rem 3314 time: 0.03
3624.51/113.51 c asymm cl-useful: 2/1464/1464 lits-rem:2 time: 0.06
3624.51/113.51 c calculated reachability. Time: 0.00
3624.51/113.51 c N st 57 537330 912 1464 1847 38778 7638 547827 no data no data
5089.12/159.38 c N st 58 701316 912 1464 1848 68599 7638 1158558 no data no data
5091.64/159.40 c Finding binary XORs T: 0.00 s found: 0
5581.35/174.75 c Finding binary XORs T: 0.00 s found: 0
6035.22/188.98 c N st 59 805998 904 1452 2036 62725 7542 1040684 no data no data
6035.22/188.98 c S st 59 805998 904 1452 2036 62725 7542 1040684 no data no data
6035.22/188.99 c Finding binary XORs T: 0.00 s found: 0
6044.17/189.26 c S st 59 806503 903 1450 2075 63223 7530 1052556 no data no data
6044.17/189.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
6047.37/189.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 91 BRemL: 320 BRemN: 0 P: 2.7M T: 0.10
6047.37/189.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6047.37/189.37 c bin-w-bin subsume rem 7 bins time: 0.00 s
6047.37/189.37 c subs with bin: 14 lits-rem: 11 v-fix: 0 time: 0.00 s
6047.37/189.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 903 time: 0.00 s
6047.37/189.37 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s
6047.37/189.39 c lits-rem: 0 cl-subs: 6 v-elim: 5 v-fix: 0 time: 0.02 s
6053.77/189.55 c subs with bin: 133 lits-rem: 1592 v-fix: 0 time: 0.09 s
6152.85/192.60 c lits-rem: 2589 cl-subs: 6876 v-elim: 0 v-fix: 0 time: 3.05 s
6152.85/192.60 c vivif2 -- cl tried 1448 cl shrink 0 lits rem 0 time: 0.00
6152.85/192.67 c vivif2 -- cl tried 53545 cl shrink 4904 lits rem 7361 time: 0.06
6156.05/192.76 c asymm cl-useful: 1/1448/1448 lits-rem:1 time: 0.09
6156.05/192.76 c calculated reachability. Time: 0.00
6156.05/192.76 c N st 59 806503 898 1448 1779 53545 7497 872000 no data no data
6156.05/192.77 c Finding binary XORs T: 0.00 s found: 0
8694.03/272.15 c F st 60 1071877 898 1448 1780 71076 7497 1027517 no data no data
8694.03/272.15 c N st 60 1071877 898 1448 1780 71076 7497 1027517 no data no data
8694.03/272.17 c Finding binary XORs T: 0.00 s found: 1
8754.76/274.01 c Decided on static restart strategy
8831.49/276.47 c Finding binary XORs T: 0.00 s found: 0
8988.73/281.35 c N st 70 1100177 888 1435 1809 54778 7378 738987 no data no data
9365.27/293.20 c N st 72 1136169 888 1435 1818 89576 7378 1509677 no data no data
9368.48/293.21 c Finding binary XORs T: 0.00 s found: 0
9720.11/304.25 c N st 73 1168563 887 1434 1771 76789 7367 1263602 no data no data
9720.11/304.27 c Finding binary XORs T: 0.00 s found: 0
10205.99/319.47 c N st 74 1209754 885 1430 1836 71835 7344 1012724 no data no data
10205.99/319.47 c S st 74 1209754 885 1430 1836 71835 7344 1012724 no data no data
10205.99/319.48 c Finding binary XORs T: 0.00 s found: 0
10219.37/319.91 c S st 74 1210257 881 1423 1698 72069 7294 1017780 no data no data
10219.37/319.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
10225.14/320.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 41 BRemL: 224 BRemN: 0 P: 2.5M T: 0.10
10225.14/320.02 c Replacing 1 vars Replaced 594 lits Time: 0.01 s
10225.14/320.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
10225.14/320.02 c bin-w-bin subsume rem 7 bins time: 0.00 s
10225.14/320.03 c subs with bin: 14 lits-rem: 12 v-fix: 0 time: 0.00 s
10225.14/320.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 880 time: 0.00 s
10225.14/320.03 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
10225.14/320.05 c lits-rem: 1 cl-subs: 4 v-elim: 6 v-fix: 0 time: 0.02 s
10228.37/320.19 c subs with bin: 64 lits-rem: 1106 v-fix: 0 time: 0.07 s
10314.65/322.86 c lits-rem: 2311 cl-subs: 7341 v-elim: 0 v-fix: 0 time: 2.67 s
10314.65/322.86 c vivif2 -- cl tried 1423 cl shrink 2 lits rem 3 time: 0.00
10317.84/322.93 c vivif2 -- cl tried 63304 cl shrink 3651 lits rem 4434 time: 0.06
10321.04/323.04 c asymm cl-useful: 3/1423/1423 lits-rem:3 time: 0.12
10321.04/323.05 c calculated reachability. Time: 0.00
10321.04/323.05 c N st 74 1210257 874 1423 1463 63304 7314 890397 no data no data
10321.04/323.05 c Finding binary XORs T: 0.00 s found: 0
11193.67/350.31 c N st 75 1283140 874 1423 1465 89426 7314 1702545 no data no data
11193.67/350.33 c Finding binary XORs T: 0.00 s found: 2
12417.92/388.62 c N st 76 1392464 870 1412 1433 99612 7256 1585278 no data no data
12417.92/388.65 c Finding binary XORs T: 0.00 s found: 1
14080.09/440.63 c N st 77 1556450 861 1392 1373 105629 7149 1624373 no data no data
14083.30/440.70 c Finding binary XORs T: 0.00 s found: 3
15985.80/500.31 c N st 78 1710260 854 1370 1705 94989 7056 1467981 no data no data
15985.80/500.31 c S st 78 1710260 854 1370 1705 94989 7056 1467981 no data no data
15991.58/500.47 c Finding binary XORs T: 0.00 s found: 32
15994.78/500.56 c Replacing 39 vars Replaced 23509 lits Time: 0.08 s
16004.37/500.88 c S st 78 1710762 783 1272 1534 70736 6503 993051 no data no data
16004.37/500.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
16010.78/501.01 c Flit: 0 Blit: 2 bXBeca: 0 bXProp: 4 Bins: 640 BRemL: 638 BRemN: 0 P: 4.3M T: 0.12
16010.78/501.04 c Replacing 4 vars Replaced 1277 lits Time: 0.02 s
16010.78/501.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
16010.78/501.04 c bin-w-bin subsume rem 78 bins time: 0.00 s
16010.78/501.04 c subs with bin: 36 lits-rem: 35 v-fix: 0 time: 0.00 s
16010.78/501.04 c Subs w/ non-existent bins: 2 l-rem: 2 v-fix: 0 done: 777 time: 0.00 s
16010.78/501.04 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
16010.78/501.07 c lits-rem: 0 cl-subs: 17 v-elim: 7 v-fix: 0 time: 0.02 s
16097.06/503.73 c subs with bin: 9071 lits-rem: 31406 v-fix: 0 time: 2.59 s
16186.57/506.55 c lits-rem: 6695 cl-subs: 10818 v-elim: 0 v-fix: 0 time: 2.82 s
16186.57/506.55 c vivif2 -- cl tried 1232 cl shrink 8 lits rem 8 time: 0.00
16189.77/506.63 c vivif2 -- cl tried 48970 cl shrink 19420 lits rem 36412 time: 0.08
16192.96/506.72 c asymm cl-useful: 12/1227/1227 lits-rem:25 time: 0.09
16192.96/506.72 c calculated reachability. Time: 0.00
16192.96/506.72 c N st 78 1710762 770 1223 1346 48951 6289 590544 no data no data
16192.96/506.72 c Finding binary XORs T: 0.00 s found: 0
16493.00/519.16 c Following stats are for *FIRST FINISHED THREAD ONLY*
16493.00/519.16 c num threads : 32
16493.00/519.16 c restarts : 76
16493.00/519.16 c dynamic restarts : 0
16493.00/519.16 c static restarts : 76
16493.00/519.16 c full restarts : 4
16493.00/519.16 c total simplify time : 0.69
16493.00/519.16 c learnts DL2 : 0
16493.00/519.16 c learnts size 2 : 7083
16493.00/519.16 c learnts size 1 : 466 (33.29 % of vars)
16493.00/519.16 c filedLit time : 0.21 (0.04 % time)
16493.00/519.16 c v-elim SatELite : 448 (32.00 % vars)
16493.00/519.16 c SatELite time : 1.09 (0.21 % time)
16493.00/519.16 c v-elim xor : 11 (0.79 % vars)
16493.00/519.16 c xor elim time : 0.01 (0.00 % time)
16493.00/519.16 c num binary xor trees : 71
16493.00/519.16 c binxor trees' crown : 159 (2.24 leafs/tree)
16493.00/519.16 c bin xor find time : 0.02
16493.00/519.16 c OTF clause improved : 55035 (0.03 clauses/conflict)
16493.00/519.16 c OTF impr. size diff : 58803 (1.07 lits/clause)
16493.00/519.16 c OTF cl watch-shrink : 957714 (0.56 clauses/conflict)
16493.00/519.16 c OTF cl watch-sh-lit : 2549272 (2.66 lits/clause)
16493.00/519.16 c tried to recurMin cls : 394280 (23.23 % of conflicts)
16493.00/519.16 c updated cache : 8755 (0.02 lits/tried recurMin)
16493.00/519.16 c unit cls recevied : 87 (18.67 % of units)
16493.00/519.16 c unit cls sent : 142 (30.47 % of units)
16493.00/519.16 c bin cls recevied : 4085
16493.00/519.16 c bin cls sent : 516
16493.00/519.16 c clauses over max glue : 0 (0.00 % of all clauses)
16493.00/519.16 c conflicts : 1697260 (3272.15 / sec)
16493.00/519.16 c decisions : 1943952 (2.41 % random)
16493.00/519.16 c bogo-props : 67067743671 (129299892.47 / sec)
16493.00/519.16 c conflict literals : 38438432 (62.70 % deleted)
16493.00/519.16 c Memory used : 3276.13 MB
16493.00/519.16 c single-thread CPU time : 518.70 s
16493.00/519.16 c all-threads sum CPU time : 16484.59 s
16493.00/519.16 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-3400629-1306256786/watcher-3400629-1306256786 -o /tmp/evaluation-result-3400629-1306256786/solver-3400629-1306256786 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400629-1306256786.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.53 31.53 31.82 1/413 9420
/proc/meminfo: memFree=255170300/264257624 swapFree=67111528/67111528
[pid=9420] ppid=9418 vsize=338000 CPUtime=0.78 cores=0-31
/proc/9420/stat : 9420 (strangenight2-m) R 9418 9420 9394 0 -1 4202496 436 0 0 0 78 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/9420/statm: 84500 376 297 95 0 79482 0
[pid=9420/tid=9421] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9421/stat : 9421 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9420/tid=9422] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9422/stat : 9422 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9420/tid=9423] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9423/stat : 9423 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9420/tid=9424] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9424/stat : 9424 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9420/tid=9425] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9425/stat : 9425 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9420/tid=9426] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9426/stat : 9426 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663976 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9420/tid=9427] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9427/stat : 9427 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9420/tid=9428] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9428/stat : 9428 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9420/tid=9429] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9429/stat : 9429 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9420/tid=9430] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9430/stat : 9430 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9420/tid=9431] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9431/stat : 9431 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9420/tid=9432] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9432/stat : 9432 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9420/tid=9433] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9433/stat : 9433 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9420/tid=9434] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9434/stat : 9434 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9420/tid=9435] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9435/stat : 9435 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9420/tid=9436] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9436/stat : 9436 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663976 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9420/tid=9437] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9437/stat : 9437 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9420/tid=9438] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9438/stat : 9438 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9420/tid=9439] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9439/stat : 9439 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9420/tid=9440] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9440/stat : 9440 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9420/tid=9441] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9441/stat : 9441 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9420/tid=9442] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9442/stat : 9442 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9420/tid=9443] ppid=9418 vsize=338000 CPUtime=0 cores=0-31
/proc/9420/task/9443/stat : 9443 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9420/tid=9444] ppid=9418 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9420/task/9444/stat : 9444 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9420/tid=9445] ppid=9418 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9420/task/9445/stat : 9445 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663976 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9420/tid=9446] ppid=9418 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9420/task/9446/stat : 9446 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9420/tid=9447] ppid=9418 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9420/task/9447/stat : 9447 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9420/tid=9448] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9448/stat : 9448 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9420/tid=9449] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9449/stat : 9449 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9420/tid=9450] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9450/stat : 9450 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9420/tid=9451] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9451/stat : 9451 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 25 0 0 0
[startup+0.09704 s]
/proc/loadavg: 29.53 31.53 31.82 1/413 9420
/proc/meminfo: memFree=255170300/264257624 swapFree=67111528/67111528
[pid=9420] ppid=9418 vsize=1524368 CPUtime=1.71 cores=0-31
/proc/9420/stat : 9420 (strangenight2-m) R 9418 9420 9394 0 -1 4202496 5732 0 0 0 144 27 0 0 17 0 32 0 737165045 1560952832 5565 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/9420/statm: 381092 5615 336 95 0 376074 0
[pid=9420/tid=9421] ppid=9418 vsize=1524368 CPUtime=0.06 cores=0-31
/proc/9420/task/9421/stat : 9421 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 192 0 0 0 5 1 0 0 17 0 32 0 737165045 1560952832 5619 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604505507495392 0 0 -1 1 0 0 0
[pid=9420/tid=9422] ppid=9418 vsize=1524504 CPUtime=0.04 cores=0-31
/proc/9420/task/9422/stat : 9422 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 170 0 0 0 4 0 0 0 17 0 32 0 737165045 1561092096 5648 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9420/tid=9423] ppid=9418 vsize=1524504 CPUtime=0.05 cores=0-31
/proc/9420/task/9423/stat : 9423 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 184 0 0 0 5 0 0 0 17 0 32 0 737165045 1561092096 5687 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9420/tid=9424] ppid=9418 vsize=1524504 CPUtime=0.04 cores=0-31
/proc/9420/task/9424/stat : 9424 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 179 0 0 0 4 0 0 0 17 0 32 0 737165045 1561092096 5693 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446744071566924704 0 0 -1 12 0 0 0
[pid=9420/tid=9425] ppid=9418 vsize=1524504 CPUtime=0.04 cores=0-31
/proc/9420/task/9425/stat : 9425 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 187 0 0 0 4 0 0 0 17 0 32 0 737165045 1561092096 5717 268435456000 4194304 4580107 140735955672016 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9420/tid=9426] ppid=9418 vsize=1524504 CPUtime=0.04 cores=0-31
/proc/9420/task/9426/stat : 9426 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 134 0 0 0 4 0 0 0 17 0 32 0 737165045 1561092096 5770 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9420/tid=9427] ppid=9418 vsize=1524504 CPUtime=0.04 cores=0-31
/proc/9420/task/9427/stat : 9427 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 111 0 0 0 4 0 0 0 17 0 32 0 737165045 1561092096 5771 268435456000 4194304 4580107 140735955672016 18446744073709551615 4353234 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9420/tid=9428] ppid=9418 vsize=1524500 CPUtime=0.06 cores=0-31
/proc/9420/task/9428/stat : 9428 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 219 0 0 0 5 1 0 0 17 0 32 0 737165045 1561088000 5790 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604474495426016 0 0 -1 5 0 0 0
[pid=9420/tid=9429] ppid=9418 vsize=1524500 CPUtime=0.05 cores=0-31
/proc/9420/task/9429/stat : 9429 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 190 0 0 0 4 1 0 0 18 0 32 0 737165045 1561088000 5830 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9420/tid=9430] ppid=9418 vsize=1524500 CPUtime=0.04 cores=0-31
/proc/9420/task/9430/stat : 9430 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 125 0 0 0 4 0 0 0 17 0 32 0 737165045 1561088000 5850 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604505050152416 0 0 -1 9 0 0 0
[pid=9420/tid=9431] ppid=9418 vsize=1524488 CPUtime=0.05 cores=0-31
/proc/9420/task/9431/stat : 9431 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 174 0 0 0 4 1 0 0 17 0 32 0 737165045 1561075712 5886 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604505299385824 0 0 -1 6 0 0 0
[pid=9420/tid=9432] ppid=9418 vsize=1524488 CPUtime=0.06 cores=0-31
/proc/9420/task/9432/stat : 9432 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 143 0 0 0 5 1 0 0 17 0 32 0 737165045 1561075712 5915 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9420/tid=9433] ppid=9418 vsize=1524624 CPUtime=0.06 cores=0-31
/proc/9420/task/9433/stat : 9433 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 234 0 0 0 5 1 0 0 17 0 32 0 737165045 1561214976 6296 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9420/tid=9434] ppid=9418 vsize=1524624 CPUtime=0.06 cores=0-31
/proc/9420/task/9434/stat : 9434 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 215 0 0 0 4 2 0 0 17 0 32 0 737165045 1561214976 6302 268435456000 4194304 4580107 140735955672016 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9420/tid=9435] ppid=9418 vsize=1524624 CPUtime=0.06 cores=0-31
/proc/9420/task/9435/stat : 9435 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 197 0 0 0 5 1 0 0 17 0 32 0 737165045 1561214976 6309 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446744071566925344 0 0 -1 11 0 0 0
[pid=9420/tid=9436] ppid=9418 vsize=1524624 CPUtime=0.05 cores=0-31
/proc/9420/task/9436/stat : 9436 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 226 0 0 0 4 1 0 0 17 0 32 0 737165045 1561214976 6316 268435456000 4194304 4580107 140735955672016 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9420/tid=9437] ppid=9418 vsize=1524624 CPUtime=0.06 cores=0-31
/proc/9420/task/9437/stat : 9437 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 203 0 0 0 5 1 0 0 17 0 32 0 737165045 1561214976 6329 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604499159653856 0 0 -1 14 0 0 0
[pid=9420/tid=9438] ppid=9418 vsize=1524624 CPUtime=0.06 cores=0-31
/proc/9420/task/9438/stat : 9438 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 177 0 0 0 5 1 0 0 17 0 32 0 737165045 1561214976 6337 268435456000 4194304 4580107 140735955672016 18446744073709551615 258650604377 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9420/tid=9439] ppid=9418 vsize=1524620 CPUtime=0.06 cores=0-31
/proc/9420/task/9439/stat : 9439 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 205 0 0 0 5 1 0 0 17 0 32 0 737165045 1561210880 6372 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446744071566928864 0 0 -1 16 0 0 0
[pid=9420/tid=9440] ppid=9418 vsize=1524620 CPUtime=0.05 cores=0-31
/proc/9420/task/9440/stat : 9440 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 197 0 0 0 4 1 0 0 17 0 32 0 737165045 1561210880 6386 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604505269820896 0 0 -1 20 0 0 0
[pid=9420/tid=9441] ppid=9418 vsize=1524620 CPUtime=0.06 cores=0-31
/proc/9420/task/9441/stat : 9441 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 224 0 0 0 5 1 0 0 17 0 32 0 737165045 1561210880 6459 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604481910152672 0 0 -1 24 0 0 0
[pid=9420/tid=9442] ppid=9418 vsize=1524620 CPUtime=0.06 cores=0-31
/proc/9420/task/9442/stat : 9442 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 139 0 0 0 5 1 0 0 17 0 32 0 737165046 1561210880 6463 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604480995040736 0 0 -1 0 0 0 0
[pid=9420/tid=9443] ppid=9418 vsize=1524620 CPUtime=0.02 cores=0-31
/proc/9420/task/9443/stat : 9443 (strangenight2-m) D 9418 9420 9394 0 -1 4202560 197 0 0 0 1 1 0 0 18 0 32 0 737165046 1561210880 6471 268435456000 4194304 4580107 140735955672016 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9420/tid=9444] ppid=9418 vsize=1524620 CPUtime=0.05 cores=0-31
/proc/9420/task/9444/stat : 9444 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 211 0 0 0 4 1 0 0 17 0 32 0 737165046 1561210880 6495 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604505185615328 0 0 -1 29 0 0 0
[pid=9420/tid=9445] ppid=9418 vsize=1524616 CPUtime=0.04 cores=0-31
/proc/9420/task/9445/stat : 9445 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 161 0 0 0 3 1 0 0 17 0 32 0 737165046 1561206784 6518 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604505050152416 0 0 -1 23 0 0 0
[pid=9420/tid=9446] ppid=9418 vsize=1524616 CPUtime=0.06 cores=0-31
/proc/9420/task/9446/stat : 9446 (strangenight2-m) D 9418 9420 9394 0 -1 4202560 258 0 0 0 5 1 0 0 18 0 32 0 737165046 1561206784 6555 268435456000 4194304 4580107 140735955672016 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9420/tid=9447] ppid=9418 vsize=1524616 CPUtime=0.05 cores=0-31
/proc/9420/task/9447/stat : 9447 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 164 0 0 0 4 1 0 0 17 0 32 0 737165046 1561206784 6564 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9420/tid=9448] ppid=9418 vsize=1524616 CPUtime=0.05 cores=0-31
/proc/9420/task/9448/stat : 9448 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 140 0 0 0 4 1 0 0 17 0 32 0 737165046 1561206784 6565 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9420/tid=9449] ppid=9418 vsize=1524616 CPUtime=0.05 cores=0-31
/proc/9420/task/9449/stat : 9449 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 202 0 0 0 4 1 0 0 17 0 32 0 737165046 1561206784 6567 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604479089647072 0 0 -1 21 0 0 0
[pid=9420/tid=9450] ppid=9418 vsize=1524616 CPUtime=0.05 cores=0-31
/proc/9420/task/9450/stat : 9450 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 219 0 0 0 4 1 0 0 17 0 32 0 737165046 1561206784 6589 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446744071566933864 0 0 -1 18 0 0 0
[pid=9420/tid=9451] ppid=9418 vsize=1524616 CPUtime=0.04 cores=0-31
/proc/9420/task/9451/stat : 9451 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 198 0 0 0 4 0 0 0 17 0 32 0 737165046 1561206784 6628 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604505421536736 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 1524368
[startup+0.135026 s]
/proc/loadavg: 29.53 31.53 31.82 1/413 9420
/proc/meminfo: memFree=255170300/264257624 swapFree=67111528/67111528
[pid=9420] ppid=9418 vsize=1524656 CPUtime=2.5 cores=0-31
/proc/9420/stat : 9420 (strangenight2-m) R 9418 9420 9394 0 -1 4202496 7269 0 0 0 194 56 0 0 17 0 32 0 737165045 1561247744 7103 268435456000 4194304 4580107 140735955672016 18446744073709551615 4504375 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/9420/statm: 381164 7104 362 95 0 376146 0
[pid=9420/tid=9421] ppid=9418 vsize=1524656 CPUtime=0.09 cores=0-31
/proc/9420/task/9421/stat : 9421 (strangenight2-m) D 9418 9420 9394 0 -1 4202560 288 0 0 0 7 2 0 0 18 0 32 0 737165045 1561247744 7107 268435456000 4194304 4580107 140735955672016 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9420/tid=9422] ppid=9418 vsize=1524656 CPUtime=0.06 cores=0-31
/proc/9420/task/9422/stat : 9422 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 204 0 0 0 5 1 0 0 17 0 32 0 737165045 1561247744 7111 268435456000 4194304 4580107 140735955672016 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9420/tid=9423] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9423/stat : 9423 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 224 0 0 0 6 1 0 0 17 0 32 0 737165045 1561247744 7113 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006742208474 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9420/tid=9424] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9424/stat : 9424 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 221 0 0 0 6 1 0 0 17 0 32 0 737165045 1561247744 7118 268435456000 4194304 4580107 140735955672016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9420/tid=9425] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9425/stat : 9425 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 228 0 0 0 6 1 0 0 17 0 32 0 737165045 1561247744 7120 268435456000 4194304 4580107 140735955672016 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9420/tid=9426] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9426/stat : 9426 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 174 0 0 0 6 1 0 0 17 0 32 0 737165045 1561247744 7124 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446744071566928864 0 0 -1 28 0 0 0
[pid=9420/tid=9427] ppid=9418 vsize=1524656 CPUtime=0.06 cores=0-31
/proc/9420/task/9427/stat : 9427 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 151 0 0 0 5 1 0 0 17 0 32 0 737165045 1561247744 7124 268435456000 4194304 4580107 140735955672016 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9420/tid=9428] ppid=9418 vsize=1524656 CPUtime=0.08 cores=0-31
/proc/9420/task/9428/stat : 9428 (strangenight2-m) D 9418 9420 9394 0 -1 4202560 269 0 0 0 7 1 0 0 17 0 32 0 737165045 1561247744 7130 268435456000 4194304 4580107 140735955672016 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9420/tid=9429] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9429/stat : 9429 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 223 0 0 0 6 1 0 0 18 0 32 0 737165045 1561247744 7134 268435456000 4194304 4580107 140735955672016 18446744073709551615 4294163 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9420/tid=9430] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9430/stat : 9430 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 168 0 0 0 6 1 0 0 17 0 32 0 737165045 1561247744 7137 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9420/tid=9431] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9431/stat : 9431 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 209 0 0 0 5 2 0 0 17 0 32 0 737165045 1561247744 7143 268435456000 4194304 4580107 140735955672016 18446744073709551615 258650614018 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9420/tid=9432] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9432/stat : 9432 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 189 0 0 0 6 1 0 0 17 0 32 0 737165045 1561247744 7144 268435456000 4194304 4580107 140735955672016 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9420/tid=9433] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9433/stat : 9433 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 250 0 0 0 6 1 0 0 17 0 32 0 737165045 1561247744 7154 268435456000 4194304 4580107 140735955672016 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9420/tid=9434] ppid=9418 vsize=1524656 CPUtime=0.09 cores=0-31
/proc/9420/task/9434/stat : 9434 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 236 0 0 0 7 2 0 0 17 0 32 0 737165045 1561247744 7156 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446744071566925344 0 0 -1 10 0 0 0
[pid=9420/tid=9435] ppid=9418 vsize=1524656 CPUtime=0.08 cores=0-31
/proc/9420/task/9435/stat : 9435 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 217 0 0 0 7 1 0 0 17 0 32 0 737165045 1561247744 7167 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446744071566928864 0 0 -1 11 0 0 0
[pid=9420/tid=9436] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9436/stat : 9436 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 245 0 0 0 5 2 0 0 17 0 32 0 737165045 1561247744 7180 268435456000 4194304 4580107 140735955672016 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9420/tid=9437] ppid=9418 vsize=1524656 CPUtime=0.08 cores=0-31
################
# More data... #
################
[pid=9420/tid=9450] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9450/stat : 9450 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 50083 0 0 0 51538 27 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604480236985824 0 0 -1 18 0 0 0
[pid=9420/tid=9451] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9451/stat : 9451 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 32595 0 0 0 51550 15 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604481031831008 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 16486.8
Current children cumulated vsize (KiB) 3354756
[startup+517.601 s]
/proc/loadavg: 29.72 31.46 31.75 3/445 9466
/proc/meminfo: memFree=253355824/264257624 swapFree=67111528/67111528
[pid=9420] ppid=9418 vsize=3354756 CPUtime=16490 cores=0-31
/proc/9420/stat : 9420 (strangenight2-m) S 9418 9420 9394 0 -1 4202496 1589622 0 0 0 1648145 855 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/9420/statm: 838689 454388 380 95 0 833671 0
[pid=9420/tid=9421] ppid=9418 vsize=3354756 CPUtime=515.69 cores=0-31
/proc/9420/task/9421/stat : 9421 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 45697 0 0 0 51546 23 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604475850022368 0 0 -1 1 0 0 0
[pid=9420/tid=9422] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9422/stat : 9422 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 56920 0 0 0 51534 31 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604482233621984 0 0 -1 2 0 0 0
[pid=9420/tid=9423] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9423/stat : 9423 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 42564 0 0 0 51547 20 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505299385824 0 0 -1 8 0 0 0
[pid=9420/tid=9424] ppid=9418 vsize=3354756 CPUtime=515.5 cores=0-31
/proc/9420/task/9424/stat : 9424 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 39405 0 0 0 51531 19 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604499159653856 0 0 -1 12 0 0 0
[pid=9420/tid=9425] ppid=9418 vsize=3354756 CPUtime=515.42 cores=0-31
/proc/9420/task/9425/stat : 9425 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 46638 0 0 0 51510 32 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446744071566931384 0 0 -1 4 0 0 0
[pid=9420/tid=9426] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9426/stat : 9426 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 41053 0 0 0 51545 22 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604710210878944 0 0 -1 28 0 0 0
[pid=9420/tid=9427] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9427/stat : 9427 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 47313 0 0 0 51539 27 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604475858869728 0 0 -1 22 0 0 0
[pid=9420/tid=9428] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9428/stat : 9428 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 35600 0 0 0 51550 17 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505577430496 0 0 -1 5 0 0 0
[pid=9420/tid=9429] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9429/stat : 9429 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 47544 0 0 0 51542 25 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604485766069728 0 0 -1 3 0 0 0
[pid=9420/tid=9430] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9430/stat : 9430 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 54875 0 0 0 51536 30 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505269820896 0 0 -1 9 0 0 0
[pid=9420/tid=9431] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9431/stat : 9431 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 53420 0 0 0 51535 30 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604484836965856 0 0 -1 6 0 0 0
[pid=9420/tid=9432] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9432/stat : 9432 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 54198 0 0 0 51540 26 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604485300125152 0 0 -1 7 0 0 0
[pid=9420/tid=9433] ppid=9418 vsize=3354756 CPUtime=515.68 cores=0-31
/proc/9420/task/9433/stat : 9433 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 48527 0 0 0 51540 28 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604484750753248 0 0 -1 13 0 0 0
[pid=9420/tid=9434] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9434/stat : 9434 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 47649 0 0 0 51540 27 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604708295876064 0 0 -1 10 0 0 0
[pid=9420/tid=9435] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9435/stat : 9435 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 57200 0 0 0 51537 28 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604480995040736 0 0 -1 11 0 0 0
[pid=9420/tid=9436] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9436/stat : 9436 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 59417 0 0 0 51537 30 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604481910152672 0 0 -1 17 0 0 0
[pid=9420/tid=9437] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9437/stat : 9437 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 45468 0 0 0 51536 29 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604572675775968 0 0 -1 14 0 0 0
[pid=9420/tid=9438] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9438/stat : 9438 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 51732 0 0 0 51542 25 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604475090730464 0 0 -1 15 0 0 0
[pid=9420/tid=9439] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9439/stat : 9439 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 49210 0 0 0 51543 23 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604497155243488 0 0 -1 16 0 0 0
[pid=9420/tid=9440] ppid=9418 vsize=3354756 CPUtime=517.37 cores=0-31
/proc/9420/task/9440/stat : 9440 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 51961 0 0 0 51714 23 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9420/tid=9441] ppid=9418 vsize=3354756 CPUtime=515.68 cores=0-31
/proc/9420/task/9441/stat : 9441 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 65588 0 0 0 51536 32 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505209650656 0 0 -1 24 0 0 0
[pid=9420/tid=9442] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9442/stat : 9442 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 42823 0 0 0 51544 23 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505507495392 0 0 -1 0 0 0 0
[pid=9420/tid=9443] ppid=9418 vsize=3354756 CPUtime=501.12 cores=0-31
/proc/9420/task/9443/stat : 9443 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 40949 0 0 0 50092 20 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604479089647072 0 0 -1 31 0 0 0
[pid=9420/tid=9444] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9444/stat : 9444 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 49224 0 0 0 51538 27 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604481951645152 0 0 -1 29 0 0 0
[pid=9420/tid=9445] ppid=9418 vsize=3354756 CPUtime=517.37 cores=0-31
/proc/9420/task/9445/stat : 9445 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 50878 0 0 0 51713 24 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744639172 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9420/tid=9446] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9446/stat : 9446 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 58837 0 0 0 51537 30 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604474495426016 0 0 -1 26 0 0 0
[pid=9420/tid=9447] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9447/stat : 9447 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 53923 0 0 0 51535 30 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505050152416 0 0 -1 30 0 0 0
[pid=9420/tid=9448] ppid=9418 vsize=3354756 CPUtime=515.64 cores=0-31
/proc/9420/task/9448/stat : 9448 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 52895 0 0 0 51537 27 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604478711274976 0 0 -1 19 0 0 0
[pid=9420/tid=9449] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9449/stat : 9449 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 53214 0 0 0 51535 30 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505185615328 0 0 -1 21 0 0 0
[pid=9420/tid=9450] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9450/stat : 9450 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 50083 0 0 0 51538 27 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604480236985824 0 0 -1 18 0 0 0
[pid=9420/tid=9451] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9451/stat : 9451 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 32595 0 0 0 51550 15 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604481031831008 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 16490
Current children cumulated vsize (KiB) 3354756
[startup+518.401 s]
/proc/loadavg: 29.72 31.46 31.75 3/445 9466
/proc/meminfo: memFree=253355700/264257624 swapFree=67111528/67111528
[pid=9420] ppid=9418 vsize=3354756 CPUtime=16491.6 cores=0-31
/proc/9420/stat : 9420 (strangenight2-m) S 9418 9420 9394 0 -1 4202496 1589622 0 0 0 1648305 855 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/9420/statm: 838689 454388 380 95 0 833671 0
[pid=9420/tid=9421] ppid=9418 vsize=3354756 CPUtime=515.69 cores=0-31
/proc/9420/task/9421/stat : 9421 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 45697 0 0 0 51546 23 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604475850022368 0 0 -1 1 0 0 0
[pid=9420/tid=9422] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9422/stat : 9422 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 56920 0 0 0 51534 31 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604482233621984 0 0 -1 2 0 0 0
[pid=9420/tid=9423] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9423/stat : 9423 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 42564 0 0 0 51547 20 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505299385824 0 0 -1 8 0 0 0
[pid=9420/tid=9424] ppid=9418 vsize=3354756 CPUtime=515.5 cores=0-31
/proc/9420/task/9424/stat : 9424 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 39405 0 0 0 51531 19 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604499159653856 0 0 -1 12 0 0 0
[pid=9420/tid=9425] ppid=9418 vsize=3354756 CPUtime=515.42 cores=0-31
/proc/9420/task/9425/stat : 9425 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 46638 0 0 0 51510 32 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446744071566931384 0 0 -1 4 0 0 0
[pid=9420/tid=9426] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9426/stat : 9426 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 41053 0 0 0 51545 22 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604710210878944 0 0 -1 28 0 0 0
[pid=9420/tid=9427] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9427/stat : 9427 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 47313 0 0 0 51539 27 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604475858869728 0 0 -1 22 0 0 0
[pid=9420/tid=9428] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9428/stat : 9428 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 35600 0 0 0 51550 17 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505577430496 0 0 -1 5 0 0 0
[pid=9420/tid=9429] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9429/stat : 9429 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 47544 0 0 0 51542 25 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604485766069728 0 0 -1 3 0 0 0
[pid=9420/tid=9430] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9430/stat : 9430 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 54875 0 0 0 51536 30 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505269820896 0 0 -1 9 0 0 0
[pid=9420/tid=9431] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9431/stat : 9431 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 53420 0 0 0 51535 30 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604484836965856 0 0 -1 6 0 0 0
[pid=9420/tid=9432] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9432/stat : 9432 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 54198 0 0 0 51540 26 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604485300125152 0 0 -1 7 0 0 0
[pid=9420/tid=9433] ppid=9418 vsize=3354756 CPUtime=515.68 cores=0-31
/proc/9420/task/9433/stat : 9433 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 48527 0 0 0 51540 28 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604484750753248 0 0 -1 13 0 0 0
[pid=9420/tid=9434] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9434/stat : 9434 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 47649 0 0 0 51540 27 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604708295876064 0 0 -1 10 0 0 0
[pid=9420/tid=9435] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9435/stat : 9435 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 57200 0 0 0 51537 28 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604480995040736 0 0 -1 11 0 0 0
[pid=9420/tid=9436] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9436/stat : 9436 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 59417 0 0 0 51537 30 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604481910152672 0 0 -1 17 0 0 0
[pid=9420/tid=9437] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9437/stat : 9437 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 45468 0 0 0 51536 29 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604572675775968 0 0 -1 14 0 0 0
[pid=9420/tid=9438] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9438/stat : 9438 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 51732 0 0 0 51542 25 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604475090730464 0 0 -1 15 0 0 0
[pid=9420/tid=9439] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9439/stat : 9439 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 49210 0 0 0 51543 23 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604497155243488 0 0 -1 16 0 0 0
[pid=9420/tid=9440] ppid=9418 vsize=3354756 CPUtime=518.17 cores=0-31
/proc/9420/task/9440/stat : 9440 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 51961 0 0 0 51794 23 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9420/tid=9441] ppid=9418 vsize=3354756 CPUtime=515.68 cores=0-31
/proc/9420/task/9441/stat : 9441 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 65588 0 0 0 51536 32 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505209650656 0 0 -1 24 0 0 0
[pid=9420/tid=9442] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9442/stat : 9442 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 42823 0 0 0 51544 23 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505507495392 0 0 -1 0 0 0 0
[pid=9420/tid=9443] ppid=9418 vsize=3354756 CPUtime=501.12 cores=0-31
/proc/9420/task/9443/stat : 9443 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 40949 0 0 0 50092 20 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604479089647072 0 0 -1 31 0 0 0
[pid=9420/tid=9444] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9444/stat : 9444 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 49224 0 0 0 51538 27 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604481951645152 0 0 -1 29 0 0 0
[pid=9420/tid=9445] ppid=9418 vsize=3354756 CPUtime=518.17 cores=0-31
/proc/9420/task/9445/stat : 9445 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 50878 0 0 0 51793 24 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744639019 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9420/tid=9446] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9446/stat : 9446 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 58837 0 0 0 51537 30 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604474495426016 0 0 -1 26 0 0 0
[pid=9420/tid=9447] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9447/stat : 9447 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 53923 0 0 0 51535 30 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505050152416 0 0 -1 30 0 0 0
[pid=9420/tid=9448] ppid=9418 vsize=3354756 CPUtime=515.64 cores=0-31
/proc/9420/task/9448/stat : 9448 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 52895 0 0 0 51537 27 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604478711274976 0 0 -1 19 0 0 0
[pid=9420/tid=9449] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9449/stat : 9449 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 53214 0 0 0 51535 30 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505185615328 0 0 -1 21 0 0 0
[pid=9420/tid=9450] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9450/stat : 9450 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 50083 0 0 0 51538 27 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604480236985824 0 0 -1 18 0 0 0
[pid=9420/tid=9451] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9451/stat : 9451 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 32595 0 0 0 51550 15 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604481031831008 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 16491.6
Current children cumulated vsize (KiB) 3354756
[startup+519.202 s]
/proc/loadavg: 29.72 31.46 31.75 3/445 9466
/proc/meminfo: memFree=253356396/264257624 swapFree=67111528/67111528
[pid=9420] ppid=9418 vsize=0 CPUtime=16493.2 cores=0-31
/proc/9420/stat : 9420 (strangenight2-m) Z 9418 9420 9394 0 -1 4203548 1589976 0 0 0 1648458 860 0 0 18 0 2 0 737165045 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/9420/statm: 0 0 0 0 0 0 0
[pid=9420/tid=9447] ppid=9418 vsize=0 CPUtime=515.69 cores=0-31
/proc/9420/task/9447/stat : 9447 (strangenight2-m) R 9418 9420 9394 0 -1 4203588 53923 0 0 0 51535 34 0 0 18 0 2 0 737165046 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 16493.2
Current children cumulated vsize (KiB) 0
[startup+519.401 s]
/proc/loadavg: 29.72 31.46 31.75 3/445 9466
/proc/meminfo: memFree=253356396/264257624 swapFree=67111528/67111528
[pid=9420] ppid=9418 vsize=0 CPUtime=16493.4 cores=0-31
/proc/9420/stat : 9420 (strangenight2-m) Z 9418 9420 9394 0 -1 4203548 1589976 0 0 0 1648458 880 0 0 18 0 2 0 737165045 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/9420/statm: 0 0 0 0 0 0 0
[pid=9420/tid=9447] ppid=9418 vsize=0 CPUtime=515.88 cores=0-31
/proc/9420/task/9447/stat : 9447 (strangenight2-m) R 9418 9420 9394 0 -1 4203588 53923 0 0 0 51535 53 0 0 18 0 2 0 737165046 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 16493.4
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 519.408
CPU time (s): 16493.4
CPU user time (s): 16484.6
CPU system time (s): 8.80766
CPU usage (%): 3175.42
Max. virtual memory (cumulated for all children) (KiB): 3519124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16484.6
system time used= 8.80766
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1589976
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= 43183
involuntary context switches= 31286
runsolver used 3.07053 second user time and 11.5682 second system time
The end
Begin job on node200 at 2011-05-24 19:06:26
IDJOB=3400629
IDBENCH=20472
IDSOLVER=1886
FILE ID=node200/3400629-1306256786
RUNJOBID= node200-1306256786-9408
PBS_JOBID= 13411759
Free space on /tmp= 62048 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400629-1306256786/watcher-3400629-1306256786 -o /tmp/evaluation-result-3400629-1306256786/solver-3400629-1306256786 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400629-1306256786.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
RANDOM SEED=1444562360
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: 255170464 kB
Buffers: 463612 kB
Cached: 8215268 kB
SwapCached: 0 kB
Active: 7766568 kB
Inactive: 981068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255170464 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5808 kB
Writeback: 0 kB
AnonPages: 70852 kB
Mapped: 13484 kB
Slab: 255132 kB
PageTables: 4004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191368 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 19:15:06