0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.06 c This is CryptoMiniSat 3.0.0
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c Reading file 'HOME/instance-3400784-1306783506.cnf'
0.00/0.10 c -- header says num vars: 98935
0.00/0.10 c -- header says num clauses: 296405
45.99/3.15 c -- clauses added: 0 learnts, 296405 normals, 0 xors
45.99/3.15 c -- vars added 98935
45.99/3.15 c Parsing time: 0.48 s
45.99/3.15 c N st 0 0 98935 98801 197602 0 691607 0 no data no data
80.02/4.24 c asymm cl-useful: 0/56250/98800 lits-rem:0 time: 1.04
166.20/6.96 c Flit: 477 Blit: 4520 bXBeca: 0 bXProp: 6100 Bins: 0 BRemL: 0 BRemN: 0 P: 36.9M T: 2.75
166.20/6.99 c Cleaning up after failed var search: 0.03 s
169.23/7.08 c Replacing 6100 vars Replaced 109854 lits Time: 0.07 s
180.49/7.62 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
180.49/7.67 c bin-w-bin subsume rem 237 bins time: 0.05 s
183.46/7.81 c subs with bin: 1 lits-rem: 1 v-fix: 0 time: 0.12 s
197.09/8.33 c Subs w/ non-existent bins: 2 l-rem: 2 v-fix: 0 done: 87292 time: 0.44 s
206.09/8.66 c Removed useless bin: 933 fixed: 0 props: 20.00M time: 0.33 s
250.00/10.35 c lits-rem: 977 cl-subs: 1170 v-elim: 29097 v-fix: 0 time: 0.90 s
250.00/10.40 c Finding binary XORs T: 0.05 s found: 29
253.06/10.45 c Replacing 29 vars Replaced 273 lits Time: 0.05 s
256.20/10.54 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan)
256.20/10.54 c calculated reachability. Time: 0.00
256.20/10.56 c Calc default polars - time: 0.03 s pos: 3704 undec: 41567 neg: 53664
256.20/10.56 c =========================================================================================
256.20/10.56 c types(t): F = full restart, N = normal restart
256.20/10.56 c types(t): S = simplification begin/end, E = solution found
256.20/10.56 c restart types(rt): st = static, dy = dynamic
256.20/10.56 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
256.20/10.56 c B st 0 0 58166 80422 122527 0 514916 0 no data no data
294.49/11.76 c N dy 14 4689 58027 80422 122782 4354 514911 43251 4.66 4.92
336.04/13.06 c N dy 31 8750 56830 73930 124172 7536 484609 75182 4.58 5.68
378.19/14.41 c N dy 58 12796 56774 73930 129132 11404 484608 128725 4.76 5.04
387.14/14.67 c Finding binary XORs T: 0.04 s found: 2033
390.34/14.74 c Replacing 2033 vars Replaced 62285 lits Time: 0.07 s
431.85/16.01 c N dy 84 16885 53953 69435 121724 14959 456551 161589 4.84 5.34
479.74/17.58 c N dy 107 20911 53888 69435 128140 9896 456551 83560 4.89 5.87
530.77/19.12 c N dy 137 24959 53685 69435 133767 13828 456551 141574 4.97 5.29
530.77/19.13 c F st 138 25000 53685 69435 133767 13868 456551 141980 4.97 no data
585.05/20.91 c Finding binary XORs T: 0.04 s found: 855
588.86/20.97 c Replacing 855 vars Replaced 28684 lits Time: 0.06 s
613.79/21.77 c N dy 144 30000 52700 67653 130193 18614 445944 237414 4.97 no data
613.79/21.78 c S st 144 30000 52700 67653 130193 18614 445944 237414 4.97 no data
632.96/22.34 c S st 144 30502 52698 67653 134177 19002 445944 247711 4.97 no data
632.96/22.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
910.91/31.00 c Flit: 326 Blit: 237 bXBeca: 0 bXProp: 1543 Bins: 294508 BRemL: 64770 BRemN: 113 P: 56.0M T: 8.44
910.91/31.03 c Cleaning up after failed var search: 0.03 s
914.11/31.12 c Replacing 1543 vars Replaced 237015 lits Time: 0.08 s
914.11/31.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
936.44/31.85 c bin-w-bin subsume rem 66577 bins time: 0.66 s
940.25/31.93 c subs with bin: 4166 lits-rem: 2593 v-fix: 0 time: 0.08 s
946.03/32.17 c Subs w/ non-existent bins: 385 l-rem: 1090 v-fix: 0 done: 50458 time: 0.23 s
952.43/32.34 c Removed useless bin: 1100 fixed: 0 props: 5.76M time: 0.17 s
975.30/33.08 c lits-rem: 2371 cl-subs: 4367 v-elim: 30123 v-fix: 0 time: 0.63 s
978.52/33.12 c subs with bin: 667 lits-rem: 1362 v-fix: 0 time: 0.03 s
981.08/33.20 c lits-rem: 111 cl-subs: 603 v-elim: 0 v-fix: 0 time: 0.05 s
993.90/33.64 c asymm cl-useful: 1/24290/80540 lits-rem:3 time: 0.44
993.90/33.68 c calculated reachability. Time: 0.02
993.90/33.68 c N dy 144 30502 20335 80539 80981 5189 346760 127583 4.97 no data
997.06/33.76 c Finding binary XORs T: 0.08 s found: 49
1029.02/34.72 c N dy 156 34695 20334 80539 81279 9037 346755 166970 4.89 5.16
1063.70/35.85 c N dy 176 38903 20221 80539 87042 12990 346752 218287 4.86 5.16
1107.89/37.37 c N dy 194 43182 20217 80539 173427 9733 346744 338224 4.84 5.39
1127.84/38.01 c Finding binary XORs T: 0.05 s found: 184
1127.84/38.06 c Replacing 233 vars Replaced 11373 lits Time: 0.04 s
1135.21/38.30 c S st 206 45753 19965 79841 171572 12136 342648 361815 4.84 4.93
1140.69/38.60 c S st 206 46255 19965 79841 171657 12535 342648 364431 4.84 no data
1143.26/38.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
1183.28/40.25 c Flit: 98 Blit: 21 bXBeca: 0 bXProp: 116 Bins: 5897 BRemL: 17805 BRemN: 47 P: 15.1M T: 1.60
1183.28/40.25 c Cleaning up after failed var search: 0.00 s
1186.16/40.31 c Replacing 116 vars Replaced 8652 lits Time: 0.06 s
1186.16/40.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1195.07/40.71 c bin-w-bin subsume rem 69932 bins time: 0.35 s
1198.89/40.76 c subs with bin: 5968 lits-rem: 7834 v-fix: 0 time: 0.05 s
1201.95/40.84 c Subs w/ non-existent bins: 2109 l-rem: 4587 v-fix: 0 done: 19711 time: 0.08 s
1201.95/40.89 c Removed useless bin: 1071 fixed: 0 props: 1.14M time: 0.04 s
1210.69/41.14 c lits-rem: 719 cl-subs: 2202 v-elim: 2058 v-fix: 0 time: 0.23 s
1210.69/41.19 c subs with bin: 270 lits-rem: 649 v-fix: 0 time: 0.03 s
1213.80/41.28 c lits-rem: 138 cl-subs: 428 v-elim: 0 v-fix: 0 time: 0.06 s
1216.98/41.34 c vivif2 -- cl tried 71891 cl shrink 3261 lits rem 3566 time: 0.05
1216.98/41.35 c vivif2 -- cl tried 9952 cl shrink 1701 lits rem 3481 time: 0.02
1274.40/43.18 c asymm cl-useful: 1819/51095/70763 lits-rem:2181 time: 1.82
1277.61/43.20 c calculated reachability. Time: 0.01
1277.61/43.21 c N dy 206 46255 17653 70705 71318 9760 297960 135762 4.84 no data
1277.61/43.26 c Finding binary XORs T: 0.05 s found: 32
1322.33/44.67 c N dy 235 50446 17648 70705 129957 13746 297959 301861 4.88 5.18
1331.85/44.94 c Finding binary XORs T: 0.05 s found: 70
1373.59/46.27 c N dy 264 54453 17614 70575 129513 17583 297176 366054 4.96 10.26
1457.17/48.93 c Finding binary XORs T: 0.05 s found: 100
1457.17/48.97 c Replacing 202 vars Replaced 74283 lits Time: 0.05 s
1463.15/49.13 c N dy 292 58474 17376 70210 192511 21411 295307 541619 5.00 5.27
1522.78/51.13 c N dy 323 62504 17341 70210 211917 25288 295306 637273 5.05 9.17
1569.18/52.78 c N dy 354 66652 17341 70210 212020 17262 295297 464663 5.10 5.39
1597.03/53.64 c Finding binary XORs T: 0.05 s found: 82
1612.99/54.11 c S st 376 69383 17313 70066 218836 19856 294252 522377 5.13 no data
1622.58/54.46 c S st 376 69883 17313 70066 218898 20288 294252 525710 5.13 no data
1622.58/54.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
1680.70/56.25 c Flit: 33 Blit: 9 bXBeca: 0 bXProp: 91 Bins: 2068 BRemL: 18199 BRemN: 28 P: 15.8M T: 1.76
1683.29/56.32 c Replacing 174 vars Replaced 18155 lits Time: 0.06 s
1683.29/56.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1708.87/57.17 c bin-w-bin subsume rem 111838 bins time: 0.81 s
1708.87/57.22 c subs with bin: 3091 lits-rem: 687 v-fix: 0 time: 0.04 s
1712.66/57.29 c Subs w/ non-existent bins: 625 l-rem: 326 v-fix: 0 done: 17092 time: 0.07 s
1715.89/57.33 c Removed useless bin: 769 fixed: 0 props: 1.00M time: 0.04 s
1718.45/57.50 c lits-rem: 510 cl-subs: 1606 v-elim: 783 v-fix: 0 time: 0.16 s
1721.65/57.56 c subs with bin: 442 lits-rem: 793 v-fix: 0 time: 0.04 s
1724.84/57.67 c lits-rem: 345 cl-subs: 710 v-elim: 0 v-fix: 0 time: 0.07 s
1728.05/57.72 c vivif2 -- cl tried 64819 cl shrink 810 lits rem 865 time: 0.05
1728.05/57.75 c vivif2 -- cl tried 17995 cl shrink 1717 lits rem 3637 time: 0.03
1744.04/58.21 c asymm cl-useful: 660/13426/64521 lits-rem:1980 time: 0.46
1744.04/58.23 c calculated reachability. Time: 0.01
1744.04/58.23 c N dy 376 69883 16309 63861 84070 17897 270998 213638 5.13 no data
1791.96/59.72 c Finding binary XORs T: 0.05 s found: 147
1801.54/60.04 c N dy 409 74373 16296 63837 94509 22268 270780 309077 5.18 5.47
1865.42/62.09 c N dy 448 79179 16296 63837 95982 26952 270776 404848 5.26 8.52
1938.95/64.30 c N dy 490 84235 16288 63837 96056 31902 270775 508841 5.35 7.87
1983.63/65.78 c F st 519 87500 16264 63837 99233 35114 270774 592796 5.42 no data
1986.83/65.84 c Replacing 147 vars Replaced 7512 lits Time: 0.04 s
2018.78/66.83 c Finding binary XORs T: 0.05 s found: 77
2032.20/67.26 c N st 524 90796 16116 63620 98585 23532 269312 331624 5.42 no data
2114.68/69.85 c N dy 557 96641 16104 63620 103145 29286 269310 485973 5.46 7.00
2208.01/72.77 c N dy 611 102883 16096 63620 104062 35436 269310 631109 5.55 8.03
2236.15/73.61 c Finding binary XORs T: 0.05 s found: 68
2243.16/73.87 c S st 630 104824 16096 63579 105067 37354 269022 687587 5.59 no data
2255.31/74.21 c S st 630 105324 16095 63579 105108 37809 269022 690855 5.59 no data
2255.31/74.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
2338.43/76.88 c Flit: 19 Blit: 2 bXBeca: 0 bXProp: 96 Bins: 20224 BRemL: 46994 BRemN: 259 P: 16.2M T: 2.63
2341.62/76.95 c Replacing 241 vars Replaced 19304 lits Time: 0.07 s
2341.62/77.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2345.42/77.02 c bin-w-bin subsume rem 9556 bins time: 0.02 s
2345.42/77.06 c subs with bin: 2201 lits-rem: 589 v-fix: 0 time: 0.04 s
2348.65/77.13 c Subs w/ non-existent bins: 355 l-rem: 201 v-fix: 0 done: 15829 time: 0.06 s
2348.65/77.16 c Removed useless bin: 674 fixed: 0 props: 0.84M time: 0.04 s
2354.40/77.31 c lits-rem: 214 cl-subs: 723 v-elim: 454 v-fix: 0 time: 0.14 s
2360.79/77.53 c subs with bin: 764 lits-rem: 6207 v-fix: 0 time: 0.14 s
2367.18/77.78 c lits-rem: 1283 cl-subs: 1003 v-elim: 0 v-fix: 0 time: 0.22 s
2370.38/77.84 c vivif2 -- cl tried 60257 cl shrink 511 lits rem 552 time: 0.05
2373.58/77.93 c vivif2 -- cl tried 33767 cl shrink 5641 lits rem 57214 time: 0.10
2405.54/78.90 c asymm cl-useful: 2356/16896/60059 lits-rem:3502 time: 0.97
2405.54/78.93 c calculated reachability. Time: 0.01
2405.54/78.93 c N dy 630 105324 15375 59767 62685 33700 252845 421739 5.59 no data
2405.54/78.98 c Finding binary XORs T: 0.05 s found: 45
2511.01/82.25 c N dy 684 112189 15375 59767 65417 40469 252845 580586 5.67 5.98
2619.68/85.61 c N dy 741 119426 15367 59767 82704 31313 252844 349334 5.74 6.85
2622.88/85.79 c Finding binary XORs T: 0.05 s found: 84
2747.50/89.67 c N dy 805 127671 15363 59747 83899 39437 252654 552802 5.84 6.19
2878.54/93.72 c Finding binary XORs T: 0.05 s found: 67
2878.54/93.77 c Replacing 196 vars Replaced 14294 lits Time: 0.05 s
2884.91/93.97 c N dy 875 135837 15157 59484 87664 47464 251308 759608 5.95 6.27
3009.57/97.89 c Finding binary XORs T: 0.05 s found: 89
3041.54/98.89 c N dy 952 144547 15152 59468 97395 37339 251208 455971 6.06 6.47
3194.97/103.60 c N dy 1017 153817 15151 59468 100450 46529 251208 681233 6.13 6.50
3265.29/105.86 c S st 1051 157986 15146 59468 100475 50646 251207 786736 6.16 no data
3281.29/106.30 c S st 1051 158489 15146 59468 100502 51119 251206 791097 6.16 no data
3281.29/106.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
3389.94/109.75 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 72 Bins: 22452 BRemL: 30865 BRemN: 165 P: 20.5M T: 3.41
3393.13/109.83 c Replacing 161 vars Replaced 10964 lits Time: 0.07 s
3393.13/109.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3393.13/109.90 c bin-w-bin subsume rem 16207 bins time: 0.03 s
3396.33/109.94 c subs with bin: 2144 lits-rem: 439 v-fix: 0 time: 0.04 s
3396.33/110.00 c Subs w/ non-existent bins: 233 l-rem: 89 v-fix: 0 done: 14982 time: 0.07 s
3400.15/110.04 c Removed useless bin: 473 fixed: 0 props: 0.78M time: 0.04 s
3403.35/110.19 c lits-rem: 197 cl-subs: 910 v-elim: 509 v-fix: 0 time: 0.14 s
3412.30/110.47 c subs with bin: 733 lits-rem: 5634 v-fix: 0 time: 0.21 s
3425.09/110.81 c lits-rem: 1890 cl-subs: 1210 v-elim: 0 v-fix: 0 time: 0.31 s
3425.09/110.87 c vivif2 -- cl tried 56521 cl shrink 414 lits rem 438 time: 0.05
3431.49/111.02 c vivif2 -- cl tried 47059 cl shrink 8064 lits rem 69849 time: 0.15
3457.06/111.89 c asymm cl-useful: 368/7808/56430 lits-rem:1010 time: 0.87
3460.26/111.92 c calculated reachability. Time: 0.01
3460.26/111.92 c N dy 1051 158489 14473 56118 69558 47003 238281 561718 6.16 no data
3460.26/111.98 c Finding binary XORs T: 0.06 s found: 45
3579.10/115.66 c Finding binary XORs T: 0.05 s found: 59
3629.64/117.22 c N dy 1122 168618 14464 56082 86268 37415 238108 344217 6.23 10.34
3799.00/122.50 c N dy 1203 179473 14462 56082 88721 48172 238106 610862 6.31 6.81
3888.51/125.41 c Finding binary XORs T: 0.05 s found: 16
3997.78/128.80 c N dy 1292 190931 14456 56077 90546 59520 238059 918183 6.41 11.38
4204.90/135.29 c N dy 1379 203180 14443 56077 92058 49969 238058 595850 6.49 12.14
4227.27/135.93 c Finding binary XORs T: 0.05 s found: 66
4227.27/135.98 c Replacing 186 vars Replaced 13471 lits Time: 0.05 s
4409.45/141.68 c Finding binary XORs T: 0.05 s found: 54
4431.82/142.32 c N dy 1471 216195 14251 55813 96944 62801 236623 946374 6.57 9.66
4633.81/148.63 c Finding binary XORs T: 0.05 s found: 19
4674.74/149.94 c N dy 1569 230086 14249 55809 101819 53591 236589 604117 6.65 7.05
4812.18/154.22 c S st 1624 237734 14248 55809 102182 61180 236588 822342 6.68 no data
4824.97/154.66 c S st 1624 238234 14248 55809 102192 61670 236588 828921 6.68 no data
4824.97/154.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
4943.25/158.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 17 Bins: 13119 BRemL: 25855 BRemN: 111 P: 24.1M T: 3.65
4943.25/158.41 c Replacing 90 vars Replaced 8328 lits Time: 0.07 s
4947.04/158.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4947.04/158.48 c bin-w-bin subsume rem 13517 bins time: 0.02 s
4947.04/158.52 c subs with bin: 1246 lits-rem: 251 v-fix: 0 time: 0.04 s
4950.27/158.58 c Subs w/ non-existent bins: 118 l-rem: 62 v-fix: 0 done: 14158 time: 0.06 s
4952.82/158.61 c Removed useless bin: 281 fixed: 0 props: 0.75M time: 0.03 s
4956.02/158.74 c lits-rem: 100 cl-subs: 476 v-elim: 214 v-fix: 0 time: 0.13 s
4965.62/159.02 c subs with bin: 840 lits-rem: 7570 v-fix: 0 time: 0.22 s
4975.22/159.33 c lits-rem: 1867 cl-subs: 1323 v-elim: 0 v-fix: 0 time: 0.29 s
4975.22/159.39 c vivif2 -- cl tried 54033 cl shrink 230 lits rem 245 time: 0.06
4982.20/159.59 c vivif2 -- cl tried 57418 cl shrink 7548 lits rem 37452 time: 0.20
5010.37/160.41 c asymm cl-useful: 85/7024/53999 lits-rem:255 time: 0.82
5010.37/160.44 c calculated reachability. Time: 0.01
5010.37/160.44 c N dy 1624 238234 13944 53914 73335 57379 229368 588155 6.68 no data
5010.37/160.50 c Finding binary XORs T: 0.06 s found: 10
5119.05/163.88 c Finding binary XORs T: 0.06 s found: 63
5224.53/167.18 c Finding binary XORs T: 0.06 s found: 21
5285.26/169.01 c N dy 1738 253519 13929 53857 89525 70497 229148 979312 6.77 10.84
5416.30/173.19 c Finding binary XORs T: 0.06 s found: 11
5547.95/177.28 c N dy 1845 269735 13923 53831 93396 64466 228947 853119 6.83 10.42
5761.46/183.91 c Finding binary XORs T: 0.06 s found: 26
5857.37/186.96 c N dy 1973 287019 13908 53774 94123 56655 228627 532795 6.92 7.34
6186.61/197.25 c N dy 2114 305434 13893 53774 95664 74929 228627 1093028 7.00 7.44
6202.60/197.76 c F st 2123 306250 13893 53774 96528 75733 228627 1120728 7.01 no data
6205.80/197.85 c Replacing 131 vars Replaced 14187 lits Time: 0.06 s
6231.36/198.68 c Finding binary XORs T: 0.06 s found: 34
6455.10/205.62 c Finding binary XORs T: 0.06 s found: 56
6535.03/208.11 c N dy 2208 324982 13712 53474 101896 65733 226892 730292 7.03 8.30
6710.97/230.24 c Following stats are for *FIRST FINISHED THREAD ONLY*
6710.97/230.24 c num threads : 32
6710.97/230.24 c restarts : 1751
6710.97/230.24 c dynamic restarts : 1733
6710.97/230.24 c static restarts : 18
6710.97/230.24 c full restarts : 2
6710.97/230.24 c total simplify time : 2.43
6710.97/230.24 c learnts DL2 : 0
6710.97/230.24 c learnts size 2 : 1225979
6710.97/230.24 c learnts size 1 : 10311 (10.42 % of vars)
6710.97/230.24 c filedLit time : 16.17 (7.20 % time)
6710.97/230.24 c v-elim SatELite : 58705 (59.34 % vars)
6710.97/230.24 c SatELite time : 8.18 (3.64 % time)
6710.97/230.24 c v-elim xor : 0 (0.00 % vars)
6710.97/230.24 c xor elim time : 0.06 (0.03 % time)
6710.97/230.24 c num binary xor trees : 5920
6710.97/230.24 c binxor trees' crown : 13950 (2.36 leafs/tree)
6710.97/230.24 c bin xor find time : 1.15
6710.97/230.24 c OTF clause improved : 1410 (0.01 clauses/conflict)
6710.97/230.24 c OTF impr. size diff : 1679 (1.19 lits/clause)
6710.97/230.24 c OTF cl watch-shrink : 152341 (0.57 clauses/conflict)
6710.97/230.24 c OTF cl watch-sh-lit : 554594 (3.64 lits/clause)
6710.97/230.24 c tried to recurMin cls : 76891 (29.00 % of conflicts)
6710.97/230.24 c updated cache : 0 (0.00 lits/tried recurMin)
6710.97/230.24 c unit cls recevied : 1974 (19.14 % of units)
6710.97/230.24 c unit cls sent : 50 (0.48 % of units)
6710.97/230.24 c bin cls recevied : 989059
6710.97/230.24 c bin cls sent : 8914
6710.97/230.24 c clauses over max glue : 0 (0.00 % of all clauses)
6710.97/230.24 c conflicts : 265150 (1180.64 / sec)
6710.97/230.24 c decisions : 859599 (5.67 % random)
6710.97/230.24 c bogo-props : 3529231105 (15714675.87 / sec)
6710.97/230.24 c conflict literals : 5621747 (28.13 % deleted)
6710.97/230.24 c Memory used : 6680.96 MB
6710.97/230.24 c single-thread CPU time : 224.58 s
6710.97/230.24 c all-threads sum CPU time : 6649.14 s
6710.97/230.24 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400784-1306783506/watcher-3400784-1306783506 -o /tmp/evaluation-result-3400784-1306783506/solver-3400784-1306783506 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400784-1306783506.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.58 31.60 31.88 2/413 19110
/proc/meminfo: memFree=263726500/264257624 swapFree=67044744/67111528
[pid=19110] ppid=19108 vsize=338000 CPUtime=0.82 cores=0-31
/proc/19110/stat : 19110 (strangenight2-m) R 19108 19110 19084 0 -1 4202496 435 0 0 0 82 0 0 0 25 0 32 0 4316607 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757106 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/19110/statm: 84500 376 297 95 0 79482 0
[pid=19110/tid=19111] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19111/stat : 19111 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4316607 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757106 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19110/tid=19112] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19112/stat : 19112 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4316607 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757100 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19113/stat : 19113 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4316607 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757106 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19110/tid=19114] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19114/stat : 19114 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4316607 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757100 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19110/tid=19115] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19115/stat : 19115 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4316607 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757100 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19110/tid=19116] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19116/stat : 19116 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4316607 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757106 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19110/tid=19117] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19117/stat : 19117 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19110/tid=19118] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19118/stat : 19118 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757104 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19110/tid=19119] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19119/stat : 19119 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757110 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19110/tid=19120] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19120/stat : 19120 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757100 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19110/tid=19121] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19121/stat : 19121 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19110/tid=19122] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19122/stat : 19122 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757106 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19110/tid=19123] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19123/stat : 19123 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757106 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19110/tid=19124] ppid=19108 vsize=338000 CPUtime=0 cores=0-31
/proc/19110/task/19124/stat : 19124 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19110/tid=19125] ppid=19108 vsize=338000 CPUtime=0 cores=0-31
/proc/19110/task/19125/stat : 19125 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757096 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19110/tid=19126] ppid=19108 vsize=338000 CPUtime=0.01 cores=0-31
/proc/19110/task/19126/stat : 19126 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757106 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19110/tid=19127] ppid=19108 vsize=338000 CPUtime=0.01 cores=0-31
/proc/19110/task/19127/stat : 19127 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757100 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19110/tid=19128] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19128/stat : 19128 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757100 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19110/tid=19129] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19129/stat : 19129 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757100 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19110/tid=19130] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19130/stat : 19130 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757106 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19110/tid=19131] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19131/stat : 19131 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757100 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19110/tid=19132] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19132/stat : 19132 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757100 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19110/tid=19133] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19133/stat : 19133 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757106 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19110/tid=19134] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19134/stat : 19134 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757104 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19110/tid=19135] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19135/stat : 19135 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757104 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19110/tid=19136] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19136/stat : 19136 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757106 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19110/tid=19137] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19137/stat : 19137 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757104 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19110/tid=19138] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19138/stat : 19138 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757100 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19110/tid=19139] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19139/stat : 19139 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757106 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=19110/tid=19140] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19140/stat : 19140 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757106 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=19110/tid=19141] ppid=19108 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19110/task/19141/stat : 19141 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 4316608 346112000 376 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641757106 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.132199 s]
/proc/loadavg: 29.58 31.60 31.88 2/413 19110
/proc/meminfo: memFree=263726500/264257624 swapFree=67044744/67111528
[pid=19110] ppid=19108 vsize=1259784 CPUtime=2.67 cores=0-31
/proc/19110/stat : 19110 (strangenight2-m) R 19108 19110 19084 0 -1 4202496 12134 0 0 0 142 125 0 0 17 0 32 0 4316607 1290018816 12017 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/19110/statm: 314984 12049 334 95 0 309966 0
[pid=19110/tid=19111] ppid=19108 vsize=1260068 CPUtime=0.08 cores=0-31
/proc/19110/task/19111/stat : 19111 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 336 0 0 0 5 3 0 0 17 0 32 0 4316607 1290309632 12061 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446744071566925104 0 0 -1 1 0 0 0
[pid=19110/tid=19112] ppid=19108 vsize=1260068 CPUtime=0.08 cores=0-31
/proc/19110/task/19112/stat : 19112 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 447 0 0 0 4 4 0 0 17 0 32 0 4316607 1290309632 12149 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=1260068 CPUtime=0.08 cores=0-31
/proc/19110/task/19113/stat : 19113 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 451 0 0 0 4 4 0 0 17 0 32 0 4316607 1290309632 12160 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19110/tid=19114] ppid=19108 vsize=1260068 CPUtime=0.07 cores=0-31
/proc/19110/task/19114/stat : 19114 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 395 0 0 0 4 3 0 0 17 0 32 0 4316607 1290309632 12167 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19110/tid=19115] ppid=19108 vsize=1260068 CPUtime=0.07 cores=0-31
/proc/19110/task/19115/stat : 19115 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 378 0 0 0 4 3 0 0 17 0 32 0 4316607 1290309632 12168 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604450389777888 0 0 -1 0 0 0 0
[pid=19110/tid=19116] ppid=19108 vsize=1260068 CPUtime=0.08 cores=0-31
/proc/19110/task/19116/stat : 19116 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 363 0 0 0 5 3 0 0 17 0 32 0 4316607 1290309632 12182 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604502322183648 0 0 -1 5 0 0 0
[pid=19110/tid=19117] ppid=19108 vsize=1260068 CPUtime=0.07 cores=0-31
/proc/19110/task/19117/stat : 19117 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 360 0 0 0 4 3 0 0 17 0 32 0 4316608 1290309632 12189 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604506356710880 0 0 -1 6 0 0 0
[pid=19110/tid=19118] ppid=19108 vsize=1260068 CPUtime=0.08 cores=0-31
/proc/19110/task/19118/stat : 19118 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 448 0 0 0 4 4 0 0 17 0 32 0 4316608 1290309632 12201 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19110/tid=19119] ppid=19108 vsize=1260332 CPUtime=0.08 cores=0-31
/proc/19110/task/19119/stat : 19119 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 346 0 0 0 4 4 0 0 17 0 32 0 4316608 1290579968 12212 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604506316447200 0 0 -1 9 0 0 0
[pid=19110/tid=19120] ppid=19108 vsize=1260464 CPUtime=0.07 cores=0-31
/proc/19110/task/19120/stat : 19120 (strangenight2-m) D 19108 19110 19084 0 -1 4202560 333 0 0 0 4 3 0 0 17 0 32 0 4316608 1290715136 12223 268435456000 4194304 4580107 140733556357456 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19110/tid=19121] ppid=19108 vsize=1260596 CPUtime=0.09 cores=0-31
/proc/19110/task/19121/stat : 19121 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 374 0 0 0 5 4 0 0 17 0 32 0 4316608 1290850304 12230 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604506194836960 0 0 -1 7 0 0 0
[pid=19110/tid=19122] ppid=19108 vsize=1260728 CPUtime=0.07 cores=0-31
/proc/19110/task/19122/stat : 19122 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 332 0 0 0 4 3 0 0 17 0 32 0 4316608 1290985472 12265 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19110/tid=19123] ppid=19108 vsize=1260728 CPUtime=0.07 cores=0-31
/proc/19110/task/19123/stat : 19123 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 338 0 0 0 4 3 0 0 17 0 32 0 4316608 1290985472 12291 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19110/tid=19124] ppid=19108 vsize=1260728 CPUtime=0.04 cores=0-31
/proc/19110/task/19124/stat : 19124 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 329 0 0 0 0 4 0 0 17 0 32 0 4316608 1290985472 12313 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604506194836960 0 0 -1 31 0 0 0
[pid=19110/tid=19125] ppid=19108 vsize=1260860 CPUtime=0.05 cores=0-31
/proc/19110/task/19125/stat : 19125 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 376 0 0 0 2 3 0 0 17 0 32 0 4316608 1291120640 12340 268435456000 4194304 4580107 140733556357456 18446744073709551615 4353245 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19110/tid=19126] ppid=19108 vsize=1260860 CPUtime=0.07 cores=0-31
/proc/19110/task/19126/stat : 19126 (strangenight2-m) D 19108 19110 19084 0 -1 4202560 322 0 0 0 3 4 0 0 17 0 32 0 4316608 1291120640 12356 268435456000 4194304 4580107 140733556357456 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19110/tid=19127] ppid=19108 vsize=1260860 CPUtime=0.07 cores=0-31
/proc/19110/task/19127/stat : 19127 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 390 0 0 0 3 4 0 0 17 0 32 0 4316608 1291120640 12386 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19110/tid=19128] ppid=19108 vsize=1260860 CPUtime=0.07 cores=0-31
/proc/19110/task/19128/stat : 19128 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 343 0 0 0 4 3 0 0 17 0 32 0 4316608 1291120640 12395 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19110/tid=19129] ppid=19108 vsize=1260992 CPUtime=0.08 cores=0-31
/proc/19110/task/19129/stat : 19129 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 393 0 0 0 4 4 0 0 17 0 32 0 4316608 1291255808 12441 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446744071566933704 0 0 -1 8 0 0 0
[pid=19110/tid=19130] ppid=19108 vsize=1260992 CPUtime=0.07 cores=0-31
/proc/19110/task/19130/stat : 19130 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 358 0 0 0 4 3 0 0 17 0 32 0 4316608 1291255808 12447 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604504095522272 0 0 -1 13 0 0 0
[pid=19110/tid=19131] ppid=19108 vsize=1261124 CPUtime=0.07 cores=0-31
/proc/19110/task/19131/stat : 19131 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 453 0 0 0 4 3 0 0 17 0 32 0 4316608 1291390976 12472 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19110/tid=19132] ppid=19108 vsize=1261124 CPUtime=0.08 cores=0-31
/proc/19110/task/19132/stat : 19132 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 378 0 0 0 4 4 0 0 17 0 32 0 4316608 1291390976 12482 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604450311757280 0 0 -1 11 0 0 0
[pid=19110/tid=19133] ppid=19108 vsize=1261124 CPUtime=0.08 cores=0-31
/proc/19110/task/19133/stat : 19133 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 347 0 0 0 4 4 0 0 17 0 32 0 4316608 1291390976 12486 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604502322183648 0 0 -1 17 0 0 0
[pid=19110/tid=19134] ppid=19108 vsize=1261124 CPUtime=0.08 cores=0-31
/proc/19110/task/19134/stat : 19134 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 422 0 0 0 4 4 0 0 17 0 32 0 4316608 1291390976 12495 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604481489370592 0 0 -1 18 0 0 0
[pid=19110/tid=19135] ppid=19108 vsize=1261124 CPUtime=0.08 cores=0-31
/proc/19110/task/19135/stat : 19135 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 441 0 0 0 4 4 0 0 17 0 32 0 4316608 1291390976 12508 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604450100084192 0 0 -1 15 0 0 0
[pid=19110/tid=19136] ppid=19108 vsize=1261124 CPUtime=0.08 cores=0-31
/proc/19110/task/19136/stat : 19136 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 381 0 0 0 4 4 0 0 17 0 32 0 4316608 1291390976 12522 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604489475472864 0 0 -1 21 0 0 0
[pid=19110/tid=19137] ppid=19108 vsize=1261256 CPUtime=0.07 cores=0-31
/proc/19110/task/19137/stat : 19137 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 382 0 0 0 4 3 0 0 17 0 32 0 4316608 1291526144 12534 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19110/tid=19138] ppid=19108 vsize=1261256 CPUtime=0.08 cores=0-31
/proc/19110/task/19138/stat : 19138 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 354 0 0 0 4 4 0 0 17 0 32 0 4316608 1291526144 12553 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19110/tid=19139] ppid=19108 vsize=1261388 CPUtime=0.08 cores=0-31
/proc/19110/task/19139/stat : 19139 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 396 0 0 0 4 4 0 0 17 0 32 0 4316608 1291661312 12598 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=19110/tid=19140] ppid=19108 vsize=1261388 CPUtime=0.08 cores=0-31
/proc/19110/task/19140/stat : 19140 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 392 0 0 0 4 4 0 0 17 0 32 0 4316608 1291661312 12619 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604481489370592 0 0 -1 26 0 0 0
[pid=19110/tid=19141] ppid=19108 vsize=1261520 CPUtime=0.07 cores=0-31
/proc/19110/task/19141/stat : 19141 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 336 0 0 0 4 3 0 0 17 0 32 0 4316608 1291796480 12626 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604497608678880 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 1259784
[startup+0.207189 s]
/proc/loadavg: 29.58 31.60 31.88 2/413 19110
/proc/meminfo: memFree=263726500/264257624 swapFree=67044744/67111528
[pid=19110] ppid=19108 vsize=1338032 CPUtime=3.99 cores=0-31
/proc/19110/stat : 19110 (strangenight2-m) S 19108 19110 19084 0 -1 4202496 22253 0 0 0 179 220 0 0 17 0 32 0 4316607 1370144768 20840 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/19110/statm: 334637 20856 334 95 0 329619 0
[pid=19110/tid=19111] ppid=19108 vsize=1338548 CPUtime=0.12 cores=0-31
/proc/19110/task/19111/stat : 19111 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 560 0 0 0 6 6 0 0 17 0 32 0 4316607 1370673152 20877 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19110/tid=19112] ppid=19108 vsize=1338548 CPUtime=0.12 cores=0-31
/proc/19110/task/19112/stat : 19112 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 783 0 0 0 6 6 0 0 17 0 32 0 4316607 1370673152 20895 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604450637102560 0 0 -1 2 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=1338548 CPUtime=0.12 cores=0-31
/proc/19110/task/19113/stat : 19113 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 966 0 0 0 5 7 0 0 17 0 32 0 4316607 1370673152 20923 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604454238879200 0 0 -1 24 0 0 0
[pid=19110/tid=19114] ppid=19108 vsize=1338548 CPUtime=0.12 cores=0-31
/proc/19110/task/19114/stat : 19114 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 904 0 0 0 5 7 0 0 17 0 32 0 4316607 1370673152 20945 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446744071566932984 0 0 -1 20 0 0 0
[pid=19110/tid=19115] ppid=19108 vsize=1338548 CPUtime=0.12 cores=0-31
/proc/19110/task/19115/stat : 19115 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 773 0 0 0 6 6 0 0 17 0 32 0 4316607 1370673152 20965 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604506198482400 0 0 -1 0 0 0 0
[pid=19110/tid=19116] ppid=19108 vsize=1338288 CPUtime=0.12 cores=0-31
/proc/19110/task/19116/stat : 19116 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 549 0 0 0 6 6 0 0 17 0 32 0 4316607 1370406912 20964 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604481489370592 0 0 -1 5 0 0 0
[pid=19110/tid=19117] ppid=19108 vsize=1338288 CPUtime=0.11 cores=0-31
/proc/19110/task/19117/stat : 19117 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 655 0 0 0 5 6 0 0 17 0 32 0 4316608 1370406912 20983 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604447058648544 0 0 -1 6 0 0 0
[pid=19110/tid=19118] ppid=19108 vsize=1338288 CPUtime=0.12 cores=0-31
/proc/19110/task/19118/stat : 19118 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 863 0 0 0 5 7 0 0 17 0 32 0 4316608 1370406912 21019 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604504095522272 0 0 -1 3 0 0 0
[pid=19110/tid=19119] ppid=19108 vsize=1338288 CPUtime=0.12 cores=0-31
/proc/19110/task/19119/stat : 19119 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 602 0 0 0 6 6 0 0 17 0 32 0 4316608 1370406912 21020 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19110/tid=19120] ppid=19108 vsize=1338288 CPUtime=0.11 cores=0-31
/proc/19110/task/19120/stat : 19120 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 571 0 0 0 5 6 0 0 17 0 32 0 4316608 1370406912 21047 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604497608678880 0 0 -1 10 0 0 0
[pid=19110/tid=19121] ppid=19108 vsize=1338804 CPUtime=0.12 cores=0-31
/proc/19110/task/19121/stat : 19121 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 635 0 0 0 6 6 0 0 17 0 32 0 4316608 1370935296 21057 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604453725314528 0 0 -1 7 0 0 0
[pid=19110/tid=19122] ppid=19108 vsize=1338804 CPUtime=0.12 cores=0-31
/proc/19110/task/19122/stat : 19122 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 623 0 0 0 6 6 0 0 17 0 32 0 4316608 1370935296 21096 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19110/tid=19123] ppid=19108 vsize=1338804 CPUtime=0.11 cores=0-31
/proc/19110/task/19123/stat : 19123 (strangenight2-m) D 19108 19110 19084 0 -1 4202560 555 0 0 0 5 6 0 0 17 0 32 0 4316608 1370935296 21158 268435456000 4194304 4580107 140733556357456 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19110/tid=19124] ppid=19108 vsize=1338804 CPUtime=0.07 cores=0-31
/proc/19110/task/19124/stat : 19124 (strangenight2-m) D 19108 19110 19084 0 -1 4202560 523 0 0 0 1 6 0 0 17 0 32 0 4316608 1370935296 21127 268435456000 4194304 4580107 140733556357456 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=19110/tid=19125] ppid=19108 vsize=1338544 CPUtime=0.09 cores=0-31
/proc/19110/task/19125/stat : 19125 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 676 0 0 0 3 6 0 0 17 0 32 0 4316608 1370669056 21132 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604505137995232 0 0 -1 30 0 0 0
[pid=19110/tid=19126] ppid=19108 vsize=1338544 CPUtime=0.11 cores=0-31
/proc/19110/task/19126/stat : 19126 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 594 0 0 0 5 6 0 0 17 0 32 0 4316608 1370669056 21133 268435456000 4194304 4580107 140733556357456 18446744073709551615 258651060958 0 0 4096 2 18446604491140529632 0 0 -1 27 0 0 0
[pid=19110/tid=19127] ppid=19108 vsize=1338544 CPUtime=0.1 cores=0-31
################
# More data... #
################
[pid=19110/tid=19140] ppid=19108 vsize=6839956 CPUtime=207.68 cores=0-31
/proc/19110/task/19140/stat : 19140 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 121927 0 0 0 20572 196 0 0 25 0 32 0 4316608 7004114944 1366032 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604569966067168 0 0 -1 10 0 0 0
[pid=19110/tid=19141] ppid=19108 vsize=6839956 CPUtime=209.38 cores=0-31
/proc/19110/task/19141/stat : 19141 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 43435 0 0 0 20817 121 0 0 25 0 32 0 4316608 7004114944 1366032 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604506198482400 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 6704.98
Current children cumulated vsize (KiB) 6839956
[startup+228.802 s]
/proc/loadavg: 25.88 30.34 31.38 3/445 19148
/proc/meminfo: memFree=258253272/264257624 swapFree=67044744/67111528
[pid=19110] ppid=19108 vsize=6839956 CPUtime=6708.24 cores=0-31
/proc/19110/stat : 19110 (strangenight2-m) S 19108 19110 19084 0 -1 4202496 4211790 0 0 0 664633 6191 0 0 25 0 32 0 4316607 7004114944 1367102 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/19110/statm: 1709989 1367103 379 95 0 1704971 0
[pid=19110/tid=19111] ppid=19108 vsize=6839956 CPUtime=205.69 cores=0-31
/proc/19110/task/19111/stat : 19111 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 91535 0 0 0 20368 201 0 0 21 0 32 0 4316607 7004114944 1367105 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604506385022432 0 0 -1 26 0 0 0
[pid=19110/tid=19112] ppid=19108 vsize=6839956 CPUtime=206.06 cores=0-31
/proc/19110/task/19112/stat : 19112 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 94598 0 0 0 20408 198 0 0 25 0 32 0 4316607 7004114944 1367107 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604481489370592 0 0 -1 20 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=6839956 CPUtime=208.75 cores=0-31
/proc/19110/task/19113/stat : 19113 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 93444 0 0 0 20692 183 0 0 25 0 32 0 4316607 7004114944 1367108 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604488468905440 0 0 -1 24 0 0 0
[pid=19110/tid=19114] ppid=19108 vsize=6839956 CPUtime=208.94 cores=0-31
/proc/19110/task/19114/stat : 19114 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 86927 0 0 0 20712 182 0 0 25 0 32 0 4316607 7004114944 1367109 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604482252914144 0 0 -1 13 0 0 0
[pid=19110/tid=19115] ppid=19108 vsize=6839956 CPUtime=206.02 cores=0-31
/proc/19110/task/19115/stat : 19115 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 128103 0 0 0 20433 169 0 0 25 0 32 0 4316607 7004114944 1367110 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604458607631840 0 0 -1 31 0 0 0
[pid=19110/tid=19116] ppid=19108 vsize=6839956 CPUtime=209.1 cores=0-31
/proc/19110/task/19116/stat : 19116 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 90736 0 0 0 20734 176 0 0 25 0 32 0 4316607 7004114944 1367111 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604505137962464 0 0 -1 27 0 0 0
[pid=19110/tid=19117] ppid=19108 vsize=6839956 CPUtime=208.71 cores=0-31
/proc/19110/task/19117/stat : 19117 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 121826 0 0 0 20677 194 0 0 25 0 32 0 4316608 7004114944 1367112 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604442465844704 0 0 -1 18 0 0 0
[pid=19110/tid=19118] ppid=19108 vsize=6839956 CPUtime=206.79 cores=0-31
/proc/19110/task/19118/stat : 19118 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 121285 0 0 0 20476 203 0 0 25 0 32 0 4316608 7004114944 1367113 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604497608678880 0 0 -1 1 0 0 0
[pid=19110/tid=19119] ppid=19108 vsize=6839956 CPUtime=206.02 cores=0-31
/proc/19110/task/19119/stat : 19119 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 94926 0 0 0 20403 199 0 0 25 0 32 0 4316608 7004114944 1367114 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604504095522272 0 0 -1 21 0 0 0
[pid=19110/tid=19120] ppid=19108 vsize=6839956 CPUtime=208.45 cores=0-31
/proc/19110/task/19120/stat : 19120 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 169068 0 0 0 20657 188 0 0 25 0 32 0 4316608 7004114944 1367116 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604455928135136 0 0 -1 5 0 0 0
[pid=19110/tid=19121] ppid=19108 vsize=6839956 CPUtime=225.21 cores=0-31
/proc/19110/task/19121/stat : 19121 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 121642 0 0 0 22317 204 0 0 25 0 32 0 4316608 7004114944 1367117 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641732139 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19110/tid=19122] ppid=19108 vsize=6839956 CPUtime=208.02 cores=0-31
/proc/19110/task/19122/stat : 19122 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 112491 0 0 0 20609 193 0 0 25 0 32 0 4316608 7004114944 1367118 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604453725314528 0 0 -1 28 0 0 0
[pid=19110/tid=19123] ppid=19108 vsize=6839956 CPUtime=206.12 cores=0-31
/proc/19110/task/19123/stat : 19123 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 133904 0 0 0 20409 203 0 0 25 0 32 0 4316608 7004114944 1367119 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446744071566933864 0 0 -1 8 0 0 0
[pid=19110/tid=19124] ppid=19108 vsize=6839956 CPUtime=207.17 cores=0-31
/proc/19110/task/19124/stat : 19124 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 126304 0 0 0 20513 204 0 0 25 0 32 0 4316608 7004114944 1367120 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604441669516768 0 0 -1 7 0 0 0
[pid=19110/tid=19125] ppid=19108 vsize=6839956 CPUtime=207.61 cores=0-31
/proc/19110/task/19125/stat : 19125 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 152489 0 0 0 20577 184 0 0 25 0 32 0 4316608 7004114944 1367121 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604472826936800 0 0 -1 4 0 0 0
[pid=19110/tid=19126] ppid=19108 vsize=6839956 CPUtime=207.36 cores=0-31
/proc/19110/task/19126/stat : 19126 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 196338 0 0 0 20517 219 0 0 25 0 32 0 4316608 7004114944 1367122 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604450389777888 0 0 -1 0 0 0 0
[pid=19110/tid=19127] ppid=19108 vsize=6839956 CPUtime=208.24 cores=0-31
/proc/19110/task/19127/stat : 19127 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 137097 0 0 0 20616 208 0 0 25 0 32 0 4316608 7004114944 1367124 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604450311757280 0 0 -1 29 0 0 0
[pid=19110/tid=19128] ppid=19108 vsize=6839956 CPUtime=207.84 cores=0-31
/proc/19110/task/19128/stat : 19128 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 126375 0 0 0 20569 215 0 0 25 0 32 0 4316608 7004114944 1367125 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604489475472864 0 0 -1 12 0 0 0
[pid=19110/tid=19129] ppid=19108 vsize=6839956 CPUtime=207.74 cores=0-31
/proc/19110/task/19129/stat : 19129 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 188439 0 0 0 20567 207 0 0 25 0 32 0 4316608 7004114944 1367126 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604500100718048 0 0 -1 11 0 0 0
[pid=19110/tid=19130] ppid=19108 vsize=6839956 CPUtime=206.35 cores=0-31
/proc/19110/task/19130/stat : 19130 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 150146 0 0 0 20424 211 0 0 25 0 32 0 4316608 7004114944 1367127 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604450100084192 0 0 -1 2 0 0 0
[pid=19110/tid=19131] ppid=19108 vsize=6839956 CPUtime=207.37 cores=0-31
/proc/19110/task/19131/stat : 19131 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 228052 0 0 0 20541 196 0 0 25 0 32 0 4316608 7004114944 1367128 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604506194836960 0 0 -1 6 0 0 0
[pid=19110/tid=19132] ppid=19108 vsize=6839956 CPUtime=208.81 cores=0-31
/proc/19110/task/19132/stat : 19132 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 154029 0 0 0 20657 224 0 0 25 0 32 0 4316608 7004114944 1367129 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604506254564832 0 0 -1 19 0 0 0
[pid=19110/tid=19133] ppid=19108 vsize=6839956 CPUtime=220.89 cores=0-31
/proc/19110/task/19133/stat : 19133 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 110049 0 0 0 21902 187 0 0 25 0 32 0 4316608 7004114944 1367130 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604505137995232 0 0 -1 23 0 0 0
[pid=19110/tid=19134] ppid=19108 vsize=6839956 CPUtime=225.78 cores=0-31
/proc/19110/task/19134/stat : 19134 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 159154 0 0 0 22397 181 0 0 25 0 32 0 4316608 7004114944 1367131 268435456000 4194304 4580107 140733556357456 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19110/tid=19135] ppid=19108 vsize=6839956 CPUtime=208.81 cores=0-31
/proc/19110/task/19135/stat : 19135 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 176360 0 0 0 20693 188 0 0 25 0 32 0 4316608 7004114944 1367133 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604506316447200 0 0 -1 25 0 0 0
[pid=19110/tid=19136] ppid=19108 vsize=6839956 CPUtime=224.41 cores=0-31
/proc/19110/task/19136/stat : 19136 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 213624 0 0 0 22260 181 0 0 25 0 32 0 4316608 7004114944 1367134 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604447058648544 0 0 -1 17 0 0 0
[pid=19110/tid=19137] ppid=19108 vsize=6839956 CPUtime=206.92 cores=0-31
/proc/19110/task/19137/stat : 19137 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 131633 0 0 0 20500 192 0 0 25 0 32 0 4316608 7004114944 1367135 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604502322183648 0 0 -1 3 0 0 0
[pid=19110/tid=19138] ppid=19108 vsize=6839956 CPUtime=206.51 cores=0-31
/proc/19110/task/19138/stat : 19138 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 129654 0 0 0 20460 191 0 0 25 0 32 0 4316608 7004114944 1367136 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604450637102560 0 0 -1 22 0 0 0
[pid=19110/tid=19139] ppid=19108 vsize=6839956 CPUtime=207.06 cores=0-31
/proc/19110/task/19139/stat : 19139 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 118105 0 0 0 20536 170 0 0 25 0 32 0 4316608 7004114944 1367137 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604454238879200 0 0 -1 15 0 0 0
[pid=19110/tid=19140] ppid=19108 vsize=6839956 CPUtime=207.68 cores=0-31
/proc/19110/task/19140/stat : 19140 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 121927 0 0 0 20572 196 0 0 25 0 32 0 4316608 7004114944 1367138 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604569966067168 0 0 -1 10 0 0 0
[pid=19110/tid=19141] ppid=19108 vsize=6839956 CPUtime=209.38 cores=0-31
/proc/19110/task/19141/stat : 19141 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 43435 0 0 0 20817 121 0 0 25 0 32 0 4316608 7004114944 1367139 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604506198482400 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 6708.24
Current children cumulated vsize (KiB) 6839956
[startup+229.602 s]
/proc/loadavg: 25.88 30.34 31.38 3/445 19148
/proc/meminfo: memFree=258253272/264257624 swapFree=67044744/67111528
[pid=19110] ppid=19108 vsize=6841300 CPUtime=6709.77 cores=0-31
/proc/19110/stat : 19110 (strangenight2-m) S 19108 19110 19084 0 -1 4202496 4215424 0 0 0 664785 6192 0 0 25 0 32 0 4316607 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/19110/statm: 1710325 1368775 379 95 0 1705307 0
[pid=19110/tid=19111] ppid=19108 vsize=6841300 CPUtime=205.69 cores=0-31
/proc/19110/task/19111/stat : 19111 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 91535 0 0 0 20368 201 0 0 21 0 32 0 4316607 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604506385022432 0 0 -1 26 0 0 0
[pid=19110/tid=19112] ppid=19108 vsize=6841300 CPUtime=206.06 cores=0-31
/proc/19110/task/19112/stat : 19112 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 94598 0 0 0 20408 198 0 0 25 0 32 0 4316607 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604481489370592 0 0 -1 20 0 0 0
[pid=19110/tid=19113] ppid=19108 vsize=6841300 CPUtime=208.75 cores=0-31
/proc/19110/task/19113/stat : 19113 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 93444 0 0 0 20692 183 0 0 25 0 32 0 4316607 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604488468905440 0 0 -1 24 0 0 0
[pid=19110/tid=19114] ppid=19108 vsize=6841300 CPUtime=208.94 cores=0-31
/proc/19110/task/19114/stat : 19114 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 86927 0 0 0 20712 182 0 0 25 0 32 0 4316607 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604482252914144 0 0 -1 13 0 0 0
[pid=19110/tid=19115] ppid=19108 vsize=6841300 CPUtime=206.02 cores=0-31
/proc/19110/task/19115/stat : 19115 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 128103 0 0 0 20433 169 0 0 25 0 32 0 4316607 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604458607631840 0 0 -1 31 0 0 0
[pid=19110/tid=19116] ppid=19108 vsize=6841300 CPUtime=209.1 cores=0-31
/proc/19110/task/19116/stat : 19116 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 90736 0 0 0 20734 176 0 0 25 0 32 0 4316607 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604505137962464 0 0 -1 27 0 0 0
[pid=19110/tid=19117] ppid=19108 vsize=6841300 CPUtime=208.71 cores=0-31
/proc/19110/task/19117/stat : 19117 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 121826 0 0 0 20677 194 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604442465844704 0 0 -1 18 0 0 0
[pid=19110/tid=19118] ppid=19108 vsize=6841300 CPUtime=206.79 cores=0-31
/proc/19110/task/19118/stat : 19118 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 121285 0 0 0 20476 203 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604497608678880 0 0 -1 1 0 0 0
[pid=19110/tid=19119] ppid=19108 vsize=6841300 CPUtime=206.02 cores=0-31
/proc/19110/task/19119/stat : 19119 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 94926 0 0 0 20403 199 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604504095522272 0 0 -1 21 0 0 0
[pid=19110/tid=19120] ppid=19108 vsize=6841300 CPUtime=208.45 cores=0-31
/proc/19110/task/19120/stat : 19120 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 169068 0 0 0 20657 188 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604455928135136 0 0 -1 5 0 0 0
[pid=19110/tid=19121] ppid=19108 vsize=6841300 CPUtime=225.97 cores=0-31
/proc/19110/task/19121/stat : 19121 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 121642 0 0 0 22393 204 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641732139 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19110/tid=19122] ppid=19108 vsize=6841300 CPUtime=208.02 cores=0-31
/proc/19110/task/19122/stat : 19122 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 112491 0 0 0 20609 193 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604453725314528 0 0 -1 28 0 0 0
[pid=19110/tid=19123] ppid=19108 vsize=6841300 CPUtime=206.12 cores=0-31
/proc/19110/task/19123/stat : 19123 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 133904 0 0 0 20409 203 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446744071566933864 0 0 -1 8 0 0 0
[pid=19110/tid=19124] ppid=19108 vsize=6841300 CPUtime=207.17 cores=0-31
/proc/19110/task/19124/stat : 19124 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 126304 0 0 0 20513 204 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604441669516768 0 0 -1 7 0 0 0
[pid=19110/tid=19125] ppid=19108 vsize=6841300 CPUtime=207.61 cores=0-31
/proc/19110/task/19125/stat : 19125 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 152489 0 0 0 20577 184 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604472826936800 0 0 -1 4 0 0 0
[pid=19110/tid=19126] ppid=19108 vsize=6841300 CPUtime=207.36 cores=0-31
/proc/19110/task/19126/stat : 19126 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 196338 0 0 0 20517 219 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604450389777888 0 0 -1 0 0 0 0
[pid=19110/tid=19127] ppid=19108 vsize=6841300 CPUtime=208.24 cores=0-31
/proc/19110/task/19127/stat : 19127 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 137097 0 0 0 20616 208 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604450311757280 0 0 -1 29 0 0 0
[pid=19110/tid=19128] ppid=19108 vsize=6841300 CPUtime=207.84 cores=0-31
/proc/19110/task/19128/stat : 19128 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 126375 0 0 0 20569 215 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604489475472864 0 0 -1 12 0 0 0
[pid=19110/tid=19129] ppid=19108 vsize=6841300 CPUtime=207.74 cores=0-31
/proc/19110/task/19129/stat : 19129 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 188439 0 0 0 20567 207 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604500100718048 0 0 -1 11 0 0 0
[pid=19110/tid=19130] ppid=19108 vsize=6841300 CPUtime=206.35 cores=0-31
/proc/19110/task/19130/stat : 19130 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 150146 0 0 0 20424 211 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604450100084192 0 0 -1 2 0 0 0
[pid=19110/tid=19131] ppid=19108 vsize=6841300 CPUtime=207.37 cores=0-31
/proc/19110/task/19131/stat : 19131 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 228052 0 0 0 20541 196 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604506194836960 0 0 -1 6 0 0 0
[pid=19110/tid=19132] ppid=19108 vsize=6841300 CPUtime=208.81 cores=0-31
/proc/19110/task/19132/stat : 19132 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 154029 0 0 0 20657 224 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604506254564832 0 0 -1 19 0 0 0
[pid=19110/tid=19133] ppid=19108 vsize=6841300 CPUtime=220.89 cores=0-31
/proc/19110/task/19133/stat : 19133 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 110049 0 0 0 21902 187 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604505137995232 0 0 -1 23 0 0 0
[pid=19110/tid=19134] ppid=19108 vsize=6841300 CPUtime=226.55 cores=0-31
/proc/19110/task/19134/stat : 19134 (strangenight2-m) R 19108 19110 19084 0 -1 4202560 162759 0 0 0 22473 182 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 4400844 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19110/tid=19135] ppid=19108 vsize=6841300 CPUtime=208.81 cores=0-31
/proc/19110/task/19135/stat : 19135 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 176360 0 0 0 20693 188 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604506316447200 0 0 -1 25 0 0 0
[pid=19110/tid=19136] ppid=19108 vsize=6841300 CPUtime=224.41 cores=0-31
/proc/19110/task/19136/stat : 19136 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 213624 0 0 0 22260 181 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604447058648544 0 0 -1 17 0 0 0
[pid=19110/tid=19137] ppid=19108 vsize=6841300 CPUtime=206.92 cores=0-31
/proc/19110/task/19137/stat : 19137 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 131633 0 0 0 20500 192 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604502322183648 0 0 -1 3 0 0 0
[pid=19110/tid=19138] ppid=19108 vsize=6841300 CPUtime=206.51 cores=0-31
/proc/19110/task/19138/stat : 19138 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 129654 0 0 0 20460 191 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604450637102560 0 0 -1 22 0 0 0
[pid=19110/tid=19139] ppid=19108 vsize=6841300 CPUtime=207.06 cores=0-31
/proc/19110/task/19139/stat : 19139 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 118105 0 0 0 20536 170 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604454238879200 0 0 -1 15 0 0 0
[pid=19110/tid=19140] ppid=19108 vsize=6841300 CPUtime=207.68 cores=0-31
/proc/19110/task/19140/stat : 19140 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 121927 0 0 0 20572 196 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604569966067168 0 0 -1 10 0 0 0
[pid=19110/tid=19141] ppid=19108 vsize=6841300 CPUtime=209.38 cores=0-31
/proc/19110/task/19141/stat : 19141 (strangenight2-m) S 19108 19110 19084 0 -1 4202560 43435 0 0 0 20817 121 0 0 25 0 32 0 4316608 7005491200 1368775 268435456000 4194304 4580107 140733556357456 18446744073709551615 47636641756724 0 0 4096 2 18446604506198482400 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 6709.77
Current children cumulated vsize (KiB) 6841300
[startup+230.401 s]
/proc/loadavg: 25.88 30.34 31.38 3/445 19148
/proc/meminfo: memFree=258241244/264257624 swapFree=67044744/67111528
[pid=19110] ppid=19108 vsize=0 CPUtime=6711.26 cores=0-31
/proc/19110/stat : 19110 (strangenight2-m) Z 19108 19110 19084 0 -1 4203548 4215724 0 0 0 664914 6212 0 0 18 0 2 0 4316607 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/19110/statm: 0 0 0 0 0 0 0
[pid=19110/tid=19134] ppid=19108 vsize=0 CPUtime=227.35 cores=0-31
/proc/19110/task/19134/stat : 19134 (strangenight2-m) R 19108 19110 19084 0 -1 4203588 163055 0 0 0 22537 198 0 0 25 0 2 0 4316608 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 6711.26
Current children cumulated vsize (KiB) 0
[startup+230.6 s]
/proc/loadavg: 25.88 30.34 31.38 3/445 19148
/proc/meminfo: memFree=258241244/264257624 swapFree=67044744/67111528
[pid=19110] ppid=19108 vsize=0 CPUtime=6711.46 cores=0-31
/proc/19110/stat : 19110 (strangenight2-m) Z 19108 19110 19084 0 -1 4203548 4215724 0 0 0 664914 6232 0 0 18 0 2 0 4316607 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/19110/statm: 0 0 0 0 0 0 0
[pid=19110/tid=19134] ppid=19108 vsize=0 CPUtime=227.55 cores=0-31
/proc/19110/task/19134/stat : 19134 (strangenight2-m) R 19108 19110 19084 0 -1 4203588 163055 0 0 0 22537 218 0 0 25 0 2 0 4316608 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 6711.46
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 230.61
CPU time (s): 6711.48
CPU user time (s): 6649.14
CPU system time (s): 62.3335
CPU usage (%): 2910.31
Max. virtual memory (cumulated for all children) (KiB): 6841300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6649.14
system time used= 62.3335
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4215724
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= 1327770
involuntary context switches= 25812
runsolver used 1.3408 second user time and 5.34319 second system time
The end
Begin job on node200 at 2011-05-30 21:25:06
IDJOB=3400784
IDBENCH=82482
IDSOLVER=1886
FILE ID=node200/3400784-1306783506
RUNJOBID= node200-1306783506-19098
PBS_JOBID= 13471870
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400784-1306783506/watcher-3400784-1306783506 -o /tmp/evaluation-result-3400784-1306783506/solver-3400784-1306783506 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400784-1306783506.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 3fad4722cb319d6fee4192f2fe2c31ed
RANDOM SEED=930534858
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.13
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.95
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3996.76
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263727036 kB
Buffers: 52824 kB
Cached: 300072 kB
SwapCached: 29816 kB
Active: 120544 kB
Inactive: 264704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263727036 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 10280 kB
Writeback: 0 kB
AnonPages: 27836 kB
Mapped: 8316 kB
Slab: 59672 kB
PageTables: 4416 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 192632 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= 61568 MiB
End job on node200 at 2011-05-30 21:28:57