0.00/0.00 c Outputting solution to console
0.00/0.04 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400906-1307130300.cnf'
0.00/0.08 c -- header says num vars: 202253
0.00/0.08 c -- header says num clauses: 4313014
243.60/14.52 c -- clauses added: 0 learnts, 4313014 normals, 0 xors
243.60/14.52 c -- vars added 202253
243.60/14.52 c Parsing time: 3.63 s
243.60/14.52 c N st 0 0 202253 377373 3935640 0 12562187 0 no data no data
262.61/15.64 c asymm cl-useful: 72/644/377372 lits-rem:690 time: 0.77
544.09/24.58 c Flit: 1967 Blit: 2662 bXBeca: 0 bXProp: 151 Bins: 0 BRemL: 0 BRemN: 0 P: 200.1M T: 8.82
550.52/24.77 c Cleaning up after failed var search: 0.18 s
563.28/25.15 c Replacing 153 vars Replaced 20504 lits Time: 0.37 s
601.49/26.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
617.92/27.70 c bin-w-bin subsume rem 29 bins time: 0.81 s
819.27/34.84 c subs with bin: 324 lits-rem: 45560 v-fix: 0 time: 7.04 s
926.53/39.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 1 done: 8918 time: 4.24 s
935.52/39.94 c Removed useless bin: 39 fixed: 0 props: 20.06M time: 0.32 s
1276.27/50.91 c lits-rem: 1393 cl-subs: 9871 v-elim: 14363 v-fix: 0 time: 10.49 s
1279.41/51.09 c Finding binary XORs T: 0.18 s found: 0
1333.22/52.72 c Finding non-binary XORs: 1.46 s (found: 0, avg size: nan)
1333.22/52.72 c calculated reachability. Time: 0.01
1336.98/52.88 c Calc default polars - time: 0.16 s pos: 6246 undec: 20318 neg: 175689
1336.98/52.88 c =========================================================================================
1336.98/52.88 c types(t): F = full restart, N = normal restart
1336.98/52.88 c types(t): S = simplification begin/end, E = solution found
1336.98/52.88 c restart types(rt): st = static, dy = dynamic
1336.98/52.88 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1336.98/52.88 c B st 0 0 182300 392065 3705618 0 12490440 0 no data no data
1614.10/61.55 c N dy 17 4021 182256 392065 3705991 3570 12490438 367924 9.37 9.89
1930.53/71.48 c N dy 49 8152 179077 387227 3661453 7349 12321359 653475 11.47 12.13
2227.76/80.79 c N dy 67 12206 179075 387227 3661670 11142 12321355 941293 11.39 12.13
2537.81/90.42 c N dy 98 16226 177551 387227 3669342 15016 12321354 1247860 12.21 15.60
2819.10/99.20 c N dy 124 20323 177026 384177 3636443 9623 12205060 252203 12.49 13.18
3103.56/108.18 c N dy 140 24629 177023 384177 3636509 13817 12205055 557275 12.36 13.22
3129.74/108.94 c F st 144 25000 176913 384177 3640822 14175 12205053 593034 12.37 no data
3451.98/119.09 c N dy 150 30001 176077 383198 3616001 19041 12132427 1138671 12.37 no data
3451.98/119.10 c S st 150 30001 176077 383198 3616001 19041 12132427 1138671 12.37 no data
3519.74/121.20 c S st 150 30503 176064 383198 3616031 19497 12132427 1154189 12.37 no data
3528.70/121.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.27
4117.43/139.86 c Flit: 1937 Blit: 1408 bXBeca: 0 bXProp: 98 Bins: 854367 BRemL: 6122 BRemN: 93 P: 200.0M T: 18.36
4123.18/140.09 c Cleaning up after failed var search: 0.22 s
4180.73/141.84 c Replacing 98 vars Replaced 582849 lits Time: 1.74 s
4209.47/142.76 c blocked clauses removed: 490 vars: 295 tried: 171263 T: 0.33 s
4225.43/143.23 c bin-w-bin subsume rem 26384 bins time: 0.47 s
4439.52/149.98 c subs with bin: 439 lits-rem: 45448 v-fix: 0 time: 6.75 s
4589.76/154.67 c Subs w/ non-existent bins: 217 l-rem: 1807 v-fix: 2 done: 12284 time: 4.56 s
4606.33/155.16 c Removed useless bin: 185 fixed: 0 props: 20.03M time: 0.36 s
4829.47/162.14 c lits-rem: 1869 cl-subs: 8030 v-elim: 1128 v-fix: 0 time: 6.97 s
4896.60/164.29 c subs with bin: 128 lits-rem: 11626 v-fix: 0 time: 1.85 s
4963.71/166.34 c lits-rem: 726 cl-subs: 1065 v-elim: 0 v-fix: 0 time: 1.57 s
4989.27/167.21 c asymm cl-useful: 191/342/370002 lits-rem:11954 time: 0.87
4996.28/167.39 c calculated reachability. Time: 0.02
4998.84/167.40 c N dy 150 30503 169227 370002 4082927 15907 11563194 1965886 12.37 no data
5002.04/167.60 c Finding binary XORs T: 0.20 s found: 18
5230.92/177.64 c N dy 177 34561 168747 370002 4094695 19863 11563187 2254013 12.53 13.69
5653.35/275.51 c Finding binary XORs T: 0.19 s found: 41
5655.35/275.98 c N dy 187 38969 168155 369889 4137315 24122 11494987 2608684 12.27 12.96
5695.24/281.78 c N dy 211 43358 168152 369889 4137369 14986 11494975 1738220 12.29 13.00
6059.63/401.49 c Finding binary XORs T: 0.19 s found: 83
6070.02/404.09 c S st 228 45754 167100 369656 4258368 17247 11438646 2189868 12.42 no data
6074.82/405.27 c S st 228 46255 166892 369656 4258394 17713 11438646 2207341 12.42 no data
6075.77/405.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.31
6113.20/414.25 c Flit: 454 Blit: 84 bXBeca: 0 bXProp: 45 Bins: 624088 BRemL: 3400 BRemN: 16 P: 200.1M T: 8.63
6113.20/414.25 c Cleaning up after failed var search: 0.00 s
6118.21/415.29 c Replacing 187 vars Replaced 169650 lits Time: 1.03 s
6121.30/415.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
6125.07/416.82 c bin-w-bin subsume rem 61797 bins time: 0.93 s
6145.64/422.66 c subs with bin: 113 lits-rem: 17094 v-fix: 0 time: 5.84 s
6158.81/426.35 c Subs w/ non-existent bins: 55 l-rem: 169 v-fix: 0 done: 14093 time: 3.69 s
6159.70/426.68 c Removed useless bin: 222 fixed: 0 props: 20.05M time: 0.30 s
6188.04/432.72 c lits-rem: 2267 cl-subs: 521 v-elim: 124 v-fix: 0 time: 6.03 s
6200.11/434.55 c subs with bin: 99 lits-rem: 5284 v-fix: 0 time: 1.63 s
6211.80/436.16 c lits-rem: 165 cl-subs: 372 v-elim: 0 v-fix: 0 time: 1.20 s
6218.01/436.85 c asymm cl-useful: 234/447/368562 lits-rem:9198 time: 0.68
6219.64/437.04 c calculated reachability. Time: 0.02
6219.64/437.05 c N dy 228 46255 166027 368560 4744576 17171 11344569 3207713 12.42 no data
6221.44/437.25 c Finding binary XORs T: 0.20 s found: 0
6509.38/450.36 c N dy 259 50409 165600 368560 4748594 21241 11344567 3509497 12.55 13.51
6650.15/458.10 c N dy 287 54446 165294 368560 4748612 25236 11344561 3746812 12.62 13.34
7067.85/547.17 c N dy 323 58458 165230 368560 4752689 29158 11344553 4036721 12.91 14.46
7349.09/555.95 c N dy 347 62482 165177 368560 4754834 33091 11344550 4283767 13.00 16.57
7627.04/564.67 c N dy 376 66490 165038 368560 4754868 19702 11344545 3176132 13.08 18.01
7809.25/570.33 c S st 397 69382 165016 368560 4756182 22556 11344543 3398878 13.17 9.18
7876.37/572.49 c S st 397 69885 165015 368560 4756201 23037 11344542 3416405 13.17 no data
7889.16/572.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.32
8375.04/588.01 c Flit: 242 Blit: 80 bXBeca: 0 bXProp: 7 Bins: 673272 BRemL: 1049 BRemN: 25 P: 200.0M T: 15.19
8375.04/588.02 c Cleaning up after failed var search: 0.00 s
8394.84/588.69 c Replacing 7 vars Replaced 848 lits Time: 0.66 s
8416.59/589.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
8435.76/589.97 c bin-w-bin subsume rem 1870 bins time: 0.64 s
8662.69/597.02 c subs with bin: 2276 lits-rem: 69958 v-fix: 0 time: 7.04 s
8831.68/602.32 c Subs w/ non-existent bins: 55 l-rem: 755 v-fix: 0 done: 10958 time: 5.28 s
8843.82/602.80 c Removed useless bin: 396 fixed: 0 props: 20.01M time: 0.45 s
8997.08/610.12 c lits-rem: 1471 cl-subs: 468 v-elim: 333 v-fix: 0 time: 7.31 s
9014.87/611.94 c subs with bin: 0 lits-rem: 87 v-fix: 0 time: 1.60 s
9027.25/613.68 c lits-rem: 64 cl-subs: 447 v-elim: 0 v-fix: 0 time: 1.33 s
9030.05/614.08 c asymm cl-useful: 124/403/366194 lits-rem:1127 time: 0.40
9031.45/614.29 c calculated reachability. Time: 0.01
9031.45/614.29 c N dy 397 69885 164353 366193 5304265 22450 11187196 4574987 13.17 no data
9033.55/614.50 c Finding binary XORs T: 0.21 s found: 48
9411.79/695.46 c N dy 432 74516 164123 366193 5881258 27021 11187191 6029715 13.33 14.11
9415.46/696.37 c Finding binary XORs T: 0.22 s found: 30
9434.14/701.31 c N dy 461 79335 163806 366124 5827346 31771 11155547 6209488 13.36 14.19
10033.83/1014.68 c Finding binary XORs T: 0.24 s found: 14
10042.63/1019.09 c N dy 485 84618 162729 365467 6672890 36967 11078492 8277626 13.33 14.50
10288.64/1079.88 c F st 508 87502 162404 365467 6677032 19945 11078488 7060044 13.41 13.38
10317.41/1080.71 c Replacing 92 vars Replaced 381697 lits Time: 0.60 s
10505.99/1086.63 c N st 513 90798 162312 365429 6655957 23198 11058973 7317541 13.41 no data
10838.39/1097.05 c N dy 537 96659 162283 365429 6657399 28993 11058964 7911246 13.46 22.72
11225.15/1109.17 c N dy 575 102857 162220 365429 6658663 35107 11058962 8331367 13.53 14.77
11349.78/1113.02 c S st 583 104829 162220 365429 6658728 36974 11058958 8425300 13.51 no data
11420.11/1115.25 c S st 583 105331 162219 365429 6659671 37451 11058958 8445345 13.51 no data
11432.88/1115.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.38
11896.35/1130.18 c Flit: 236 Blit: 24 bXBeca: 0 bXProp: 3 Bins: 642869 BRemL: 3733 BRemN: 14 P: 200.1M T: 14.55
11896.35/1130.19 c Cleaning up after failed var search: 0.00 s
11925.12/1131.01 c Replacing 4 vars Replaced 3630 lits Time: 0.81 s
11944.31/1131.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
11979.48/1132.72 c bin-w-bin subsume rem 22553 bins time: 1.03 s
12200.55/1139.69 c subs with bin: 598 lits-rem: 39870 v-fix: 0 time: 6.97 s
12359.77/1144.69 c Subs w/ non-existent bins: 22 l-rem: 234 v-fix: 0 done: 14714 time: 5.00 s
12376.34/1145.20 c Removed useless bin: 236 fixed: 0 props: 20.01M time: 0.49 s
12631.34/1153.10 c lits-rem: 672 cl-subs: 316 v-elim: 128 v-fix: 0 time: 7.90 s
12708.03/1155.50 c subs with bin: 12 lits-rem: 5895 v-fix: 0 time: 1.93 s
12858.27/1160.22 c lits-rem: 71 cl-subs: 746 v-elim: 0 v-fix: 0 time: 4.24 s
12890.02/1161.25 c asymm cl-useful: 107/329/364753 lits-rem:329 time: 1.03
12899.24/1161.52 c calculated reachability. Time: 0.02
12899.24/1161.53 c N dy 583 105331 161784 364753 7235383 36091 10985335 9520997 13.51 no data
12905.80/1161.79 c Finding binary XORs T: 0.26 s found: 14
13496.08/1219.99 c Finding binary XORs T: 0.26 s found: 17
13501.61/1221.33 c N dy 630 112226 161007 364682 8038124 21520 10935025 9889522 13.60 14.56
14013.85/1420.35 c N dy 671 119444 160524 364682 8067465 28652 10935010 10393598 13.62 14.35
14382.89/1438.47 c N dy 728 127097 160301 364682 8080440 36193 10935004 10994559 13.76 14.56
14929.46/1455.56 c N dy 777 135300 160286 364682 8081315 44302 10934999 11507487 13.85 15.84
15533.51/1474.43 c N dy 816 144019 160139 364682 8083941 29902 10934991 10390060 13.83 14.90
16163.19/1494.11 c N dy 871 153241 160083 364682 8085272 39005 10934988 11021014 13.89 14.64
16482.86/1504.10 c S st 901 157996 159949 364682 8086623 43691 10934979 11345138 13.92 13.34
16565.98/1506.77 c S st 901 158497 159948 364682 8086655 44157 10934979 11360718 13.92 no data
16581.96/1507.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.45
17259.60/1528.41 c Flit: 186 Blit: 49 bXBeca: 0 bXProp: 20 Bins: 476904 BRemL: 2464 BRemN: 91 P: 200.0M T: 20.56
17259.60/1528.42 c Cleaning up after failed var search: 0.00 s
17291.55/1529.43 c Replacing 51 vars Replaced 142753 lits Time: 0.96 s
17314.53/1530.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
17355.47/1531.45 c bin-w-bin subsume rem 20736 bins time: 1.25 s
17588.79/1538.74 c subs with bin: 11 lits-rem: 4840 v-fix: 0 time: 7.09 s
17764.58/1544.27 c Subs w/ non-existent bins: 12 l-rem: 102 v-fix: 0 done: 10841 time: 5.21 s
17783.75/1544.82 c Removed useless bin: 206 fixed: 0 props: 20.02M time: 0.52 s
18061.81/1553.56 c lits-rem: 676 cl-subs: 218 v-elim: 31 v-fix: 0 time: 8.49 s
18134.29/1555.82 c subs with bin: 0 lits-rem: 77 v-fix: 0 time: 1.70 s
18211.17/1558.69 c lits-rem: 120 cl-subs: 660 v-elim: 0 v-fix: 0 time: 2.36 s
18238.99/1559.74 c asymm cl-useful: 101/301/364316 lits-rem:271 time: 1.05
18245.91/1560.04 c calculated reachability. Time: 0.02
18245.91/1560.05 c N dy 901 158497 159629 364316 8418690 43468 10845545 12060787 13.92 no data
18253.03/1560.33 c Finding binary XORs T: 0.29 s found: 54
18960.39/1607.50 c Finding binary XORs T: 0.27 s found: 15
18988.87/1609.78 c N dy 960 168964 158946 364182 8584620 29458 10807623 11421418 13.95 14.77
19633.23/1631.87 c N dy 1016 179931 158762 364182 8586903 40262 10807619 12192194 13.94 14.93
20445.13/1657.26 c N dy 1091 192052 158753 364182 8588612 26822 10807608 11169116 14.04 14.85
21212.25/1681.30 c N dy 1157 204340 158739 364182 8589943 38924 10807597 11914229 14.04 16.17
22094.50/1708.82 c N dy 1249 217418 158533 364182 8609297 51837 10807583 12837906 14.13 14.99
23018.23/1737.76 c N dy 1331 231415 158517 364182 8610957 39120 10807569 12036383 14.16 15.43
23583.95/1755.45 c S st 1357 237745 158510 364182 8611718 45384 10807568 12493092 14.14 no data
23644.68/1757.37 c S st 1357 238246 158510 364182 8611732 45870 10807568 12514940 14.14 no data
23657.47/1757.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.44
24232.81/1775.73 c Flit: 105 Blit: 8 bXBeca: 0 bXProp: 0 Bins: 273416 BRemL: 7283 BRemN: 65 P: 200.2M T: 17.91
24232.81/1775.74 c Cleaning up after failed var search: 0.00 s
24262.22/1776.68 c Replacing 70 vars Replaced 30916 lits Time: 0.93 s
24283.96/1777.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
24322.33/1778.56 c bin-w-bin subsume rem 18677 bins time: 1.17 s
24562.06/1786.04 c subs with bin: 1516 lits-rem: 23983 v-fix: 0 time: 7.48 s
24731.47/1791.35 c Subs w/ non-existent bins: 7 l-rem: 232 v-fix: 0 done: 10269 time: 5.30 s
24747.46/1791.86 c Removed useless bin: 123 fixed: 0 props: 20.04M time: 0.50 s
25003.12/1799.82 c lits-rem: 608 cl-subs: 452 v-elim: 129 v-fix: 0 time: 7.96 s
25076.65/1802.16 c subs with bin: 21 lits-rem: 167 v-fix: 0 time: 1.90 s
25176.38/1805.24 c lits-rem: 669 cl-subs: 1090 v-elim: 0 v-fix: 0 time: 2.64 s
25208.30/1806.29 c asymm cl-useful: 95/281/362424 lits-rem:212 time: 1.05
25220.50/1806.61 c calculated reachability. Time: 0.02
25220.50/1806.62 c N dy 1357 238246 158198 362424 8720330 44819 10735997 12721571 14.14 no data
25230.09/1806.92 c Finding binary XORs T: 0.30 s found: 13
25856.47/1912.28 c Finding binary XORs T: 0.29 s found: 17
26206.73/1937.34 c N dy 1433 253584 158061 362416 9095473 32512 10731096 12519635 14.13 14.95
26833.80/1956.96 c Finding binary XORs T: 0.31 s found: 1
27379.76/1974.03 c N dy 1531 269775 158039 362416 9015475 48528 10728095 13551847 14.21 15.33
28498.46/2009.05 c N dy 1617 287842 158011 362416 9017538 37836 10728086 12590159 14.20 15.65
29566.44/2052.80 c Finding binary XORs T: 0.31 s found: 3
29953.18/2064.95 c F st 1729 306250 157903 362407 9041818 56058 10720040 13864367 14.26 no data
29982.59/2065.84 c Replacing 34 vars Replaced 138663 lits Time: 0.89 s
30013.93/2066.83 c N st 1729 306250 157869 362403 9041749 56047 10720023 13864151 14.26 no data
31209.40/2104.27 c N dy 1809 326226 157824 362403 9044485 46240 10720008 13225357 14.27 15.20
32573.01/2146.99 c N dy 1935 346312 157715 362403 9064978 35438 10719996 12426341 14.33 15.26
33014.41/2163.92 c Finding binary XORs T: 0.29 s found: 13
33356.90/2243.51 c S st 2003 357370 157559 362398 9633612 46388 10707183 14420509 14.36 no data
33377.63/2244.94 c S st 2003 357870 157559 362398 9633620 46879 10707183 14449307 14.36 no data
33383.23/2245.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.46
33503.13/2256.27 c Flit: 164 Blit: 14 bXBeca: 0 bXProp: 1 Bins: 344459 BRemL: 5019 BRemN: 72 P: 200.1M T: 10.85
33503.13/2256.27 c Cleaning up after failed var search: 0.00 s
33511.25/2257.24 c Replacing 14 vars Replaced 4099 lits Time: 0.95 s
33516.26/2257.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
33524.84/2259.10 c bin-w-bin subsume rem 8580 bins time: 1.18 s
33575.30/2265.34 c subs with bin: 18 lits-rem: 4048 v-fix: 0 time: 6.24 s
33608.47/2269.48 c Subs w/ non-existent bins: 7 l-rem: 111 v-fix: 0 done: 12065 time: 4.13 s
33612.32/2269.95 c Removed useless bin: 376 fixed: 0 props: 20.05M time: 0.47 s
33664.47/2276.53 c lits-rem: 929 cl-subs: 319 v-elim: 5 v-fix: 0 time: 6.58 s
33679.67/2278.48 c subs with bin: 12 lits-rem: 79 v-fix: 0 time: 1.55 s
33700.07/2280.80 c lits-rem: 457 cl-subs: 646 v-elim: 0 v-fix: 0 time: 1.90 s
33705.01/2281.46 c asymm cl-useful: 114/271/362018 lits-rem:263 time: 0.66
33707.26/2281.80 c calculated reachability. Time: 0.01
33708.07/2281.80 c N dy 2003 357870 157361 362018 9934808 46241 10675691 15044226 14.36 no data
33710.78/2282.11 c Finding binary XORs T: 0.31 s found: 4
34028.02/2311.52 c Finding binary XORs T: 0.32 s found: 4
34923.09/2367.47 c N dy 2114 378520 157191 362018 10671841 35028 10672503 15501624 14.38 15.21
36201.65/2407.48 c N dy 2234 398548 157172 362018 10673631 54865 10672501 16938507 14.42 16.23
37524.93/2448.88 c N dy 2364 418625 157150 362018 10676170 42098 10672488 16075667 14.49 18.36
38672.45/2484.78 c N dy 2467 438726 157102 362018 10677747 62012 10672478 17549234 14.49 24.67
39549.51/2521.36 c Finding binary XORs T: 0.33 s found: 8
39915.95/2601.14 c N dy 2560 458733 156927 362005 11187692 48190 10657334 17342504 14.48 15.57
41304.55/2645.12 c N dy 2694 478786 156901 362005 11191603 68035 10657303 18771532 14.56 15.35
42608.65/2685.94 c N dy 2803 498939 156884 362005 11193754 53380 10657292 17779798 14.59 15.43
43538.41/2715.03 c Finding binary XORs T: 0.35 s found: 24
43950.75/2728.02 c N dy 2897 518948 156625 361971 11178196 37468 10638474 16498574 14.59 22.59
45040.69/2762.09 c S st 2977 536806 156582 361971 11180054 55175 10638474 17695398 14.56 12.14
45114.80/2764.33 c S st 2977 537307 156563 361971 11180067 55660 10638473 17718785 14.56 no data
45130.18/2764.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.51
45805.97/2786.04 c Flit: 97 Blit: 27 bXBeca: 0 bXProp: 7 Bins: 464904 BRemL: 4609 BRemN: 71 P: 200.0M T: 21.19
45805.97/2786.05 c Cleaning up after failed var search: 0.00 s
45839.07/2787.29 c Replacing 48 vars Replaced 104819 lits Time: 1.23 s
45861.18/2788.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
45901.96/2789.57 c bin-w-bin subsume rem 24391 bins time: 1.55 s
46118.76/2796.98 c subs with bin: 374 lits-rem: 3716 v-fix: 0 time: 7.41 s
46332.02/2803.65 c Subs w/ non-existent bins: 17 l-rem: 49 v-fix: 0 done: 11610 time: 6.67 s
46354.39/2804.32 c Removed useless bin: 244 fixed: 0 props: 20.01M time: 0.67 s
46603.70/2812.11 c lits-rem: 206 cl-subs: 274 v-elim: 41 v-fix: 0 time: 7.79 s
46680.34/2814.58 c subs with bin: 29 lits-rem: 340 v-fix: 0 time: 1.98 s
46779.42/2817.62 c lits-rem: 474 cl-subs: 845 v-elim: 0 v-fix: 0 time: 2.61 s
46811.38/2818.66 c asymm cl-useful: 116/241/361318 lits-rem:259 time: 1.04
46824.18/2819.06 c calculated reachability. Time: 0.02
46824.18/2819.07 c N dy 2977 537307 156349 361318 11591508 54642 10613721 18518206 14.56 no data
46837.55/2819.43 c Finding binary XORs T: 0.35 s found: 0
47487.85/2845.68 c Finding binary XORs T: 0.34 s found: 7
47895.38/2888.48 c N dy 3088 557344 155706 361298 11891683 37932 10587820 17938323 14.59 17.58
48212.44/2931.11 c Finding binary XORs T: 0.34 s found: 5
49242.04/2965.35 c N dy 3182 581034 155392 361295 11902577 61411 10564141 19919028 14.55 15.51
50445.60/3010.83 c Finding binary XORs T: 0.34 s found: 6
50844.76/3028.53 c N dy 3303 601276 155104 361239 12026241 43865 10551903 18648011 14.58 15.35
52049.72/3066.23 c N dy 3394 621305 155013 361239 12033672 63706 10551890 20036926 14.57 18.48
52945.40/3100.84 c Finding binary XORs T: 0.35 s found: 6
53329.92/3154.84 c N dy 3524 641657 154377 361230 12481347 45259 10531460 19588223 14.61 15.42
53636.75/3173.02 c Finding binary XORs T: 0.36 s found: 16
54782.84/3209.09 c N dy 3658 661702 154359 361102 12379926 65084 10505721 20829509 14.64 16.73
54962.14/3230.75 c Finding binary XORs T: 0.36 s found: 4
56179.45/3332.79 c N dy 3764 681726 154228 361102 12773367 45323 10498421 20073763 14.64 15.54
57515.54/3374.55 c N dy 3888 701957 154200 361102 12774854 65395 10498413 21637449 14.67 15.52
59021.01/3421.64 c N dy 4007 722634 154181 361102 12776148 45272 10498400 19963622 14.69 15.53
59639.48/3455.77 c Finding binary XORs T: 0.35 s found: 10
60208.81/3480.40 c N dy 4111 742883 154002 361057 12764187 65311 10485818 21400875 14.70 15.52
61560.86/3522.70 c N dy 4222 762941 153981 361057 12765698 43612 10485810 19863896 14.72 20.51
62772.28/3560.59 c N dy 4320 783041 153961 361057 12766794 63531 10485802 21250661 14.71 21.49
63430.50/3593.28 c Finding binary XORs T: 0.35 s found: 6
64083.35/3623.64 c N dy 4429 803395 153779 361057 13001146 83705 10473314 23186547 14.72 15.52
64294.31/3630.21 c S st 4444 805961 153771 361057 13001148 43645 10473313 20355251 14.72 no data
64355.05/3632.21 c S st 4444 806463 153771 361057 13001157 44135 10473313 20384449 14.72 no data
64374.23/3632.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.55
65026.91/3653.18 c Flit: 117 Blit: 6 bXBeca: 0 bXProp: 4 Bins: 174742 BRemL: 5486 BRemN: 46 P: 200.1M T: 20.42
65026.91/3653.19 c Cleaning up after failed var search: 0.00 s
65071.03/3654.56 c Replacing 64 vars Replaced 238311 lits Time: 1.36 s
65093.42/3655.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
65179.71/3657.94 c bin-w-bin subsume rem 70619 bins time: 2.63 s
65409.88/3665.11 c subs with bin: 8 lits-rem: 6120 v-fix: 0 time: 7.17 s
65589.42/3670.79 c Subs w/ non-existent bins: 14 l-rem: 45 v-fix: 0 done: 11176 time: 5.64 s
65611.19/3671.42 c Removed useless bin: 189 fixed: 0 props: 20.05M time: 0.63 s
65870.75/3679.57 c lits-rem: 5618 cl-subs: 1072 v-elim: 26 v-fix: 0 time: 8.15 s
65950.03/3682.09 c subs with bin: 464 lits-rem: 2163 v-fix: 0 time: 2.17 s
66060.40/3685.84 c lits-rem: 319 cl-subs: 460 v-elim: 0 v-fix: 0 time: 3.33 s
66081.39/3686.76 c asymm cl-useful: 132/246/359974 lits-rem:350 time: 0.92
66090.68/3687.18 c calculated reachability. Time: 0.02
66090.68/3687.19 c N dy 4444 806463 153556 359974 12938653 43143 10422206 20253414 14.72 no data
66100.27/3687.55 c Finding binary XORs T: 0.36 s found: 0
66711.12/3729.96 c Finding binary XORs T: 0.37 s found: 11
67451.62/3753.55 c N dy 4576 826804 153367 359972 13208540 63285 10412397 22280559 14.74 15.61
68730.17/3793.54 c N dy 4666 846879 153360 359972 13210125 83190 10412394 23771038 14.73 21.75
70015.09/3833.76 c N dy 4739 866892 153345 359972 13211402 59503 10412391 21851204 14.70 16.13
71405.50/3877.25 c N dy 4844 886972 153329 359972 13212592 79430 10412384 23238900 14.70 15.65
72808.70/3921.16 c N dy 4950 906986 153308 359972 13213855 54693 10412371 21399594 14.70 16.82
74173.52/3963.83 c N dy 5064 927051 153289 359972 13215085 74600 10412363 23049589 14.71 20.59
74798.61/3984.38 c Finding binary XORs T: 0.37 s found: 8
75596.70/4040.23 c Finding binary XORs T: 0.37 s found: 8
75823.63/4047.35 c N dy 5178 947123 153152 359969 13641680 48883 10399362 21786441 14.72 15.90
77022.25/4084.89 c N dy 5306 967412 153090 359969 13664171 69036 10399356 23310133 14.75 15.64
78304.00/4124.96 c N dy 5427 987413 153035 359969 13686437 88879 10399352 24771265 14.77 29.27
79531.45/4163.37 c N dy 5546 1007938 152936 359969 13687759 62642 10399342 22863506 14.79 15.64
79737.61/4169.81 c Finding binary XORs T: 0.37 s found: 12
80770.38/4202.13 c N dy 5659 1028408 152809 359947 13571591 82888 10381368 23975362 14.79 15.81
82052.81/4246.81 c N dy 5759 1048662 152477 359947 13719849 55371 10381362 22290668 14.78 15.58
82064.82/4247.53 c Finding binary XORs T: 0.37 s found: 5
83032.38/4295.59 c Finding binary XORs T: 0.37 s found: 7
83785.98/4322.44 c N dy 5878 1070207 152169 359930 14119598 76660 10353368 24803651 14.79 15.67
83897.85/4325.90 c F st 5887 1071875 152166 359930 14120181 78312 10353368 24920519 14.79 no data
83949.63/4327.59 c Replacing 51 vars Replaced 111861 lits Time: 1.31 s
84425.30/4342.41 c Finding binary XORs T: 0.40 s found: 4
85173.23/4365.91 c N dy 5955 1091353 152090 359924 14081537 49043 10341445 22563439 14.79 15.65
85795.23/4385.51 c Finding binary XORs T: 0.40 s found: 0
86583.52/4410.59 c N dy 6053 1112256 151788 359908 14177807 69797 10331047 24234937 14.78 15.60
87469.51/4438.73 c Finding binary XORs T: 0.39 s found: 10
87975.93/4457.70 c N dy 6176 1132344 151668 359908 14323619 89711 10316617 25905711 14.80 15.70
88731.04/4517.78 c Finding binary XORs T: 0.41 s found: 11
89695.85/4563.38 c N dy 6261 1153176 151335 359908 15024093 60771 10311194 25139685 14.79 15.66
90009.10/4573.17 c Finding binary XORs T: 0.42 s found: 3
91095.85/4607.12 c N dy 6354 1173275 151319 359875 14939241 80701 10297993 26562413 14.78 15.64
92489.54/4650.75 c N dy 6472 1193309 151309 359875 14940316 100577 10297989 28033841 14.80 20.94
93604.66/4685.88 c S st 6570 1209695 151271 359875 15031061 66300 10297983 25549357 14.81 no data
93668.60/4687.85 c S st 6570 1210196 151270 359875 15031068 66792 10297983 25572741 14.81 no data
93687.77/4688.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.62
94400.40/4710.72 c Flit: 31 Blit: 10 bXBeca: 0 bXProp: 5 Bins: 58961 BRemL: 7519 BRemN: 45 P: 200.0M T: 22.24
94441.96/4712.04 c Replacing 33 vars Replaced 29410 lits Time: 1.30 s
94467.52/4712.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
94541.04/4715.11 c bin-w-bin subsume rem 51440 bins time: 2.27 s
94780.75/4722.69 c subs with bin: 134 lits-rem: 8048 v-fix: 0 time: 7.57 s
94937.38/4727.59 c Subs w/ non-existent bins: 83 l-rem: 435 v-fix: 0 done: 6853 time: 4.89 s
94962.95/4728.33 c Removed useless bin: 309 fixed: 0 props: 20.03M time: 0.73 s
95232.07/4736.76 c lits-rem: 733 cl-subs: 592 v-elim: 9 v-fix: 0 time: 8.43 s
95308.16/4739.15 c subs with bin: 44 lits-rem: 71 v-fix: 0 time: 1.85 s
95397.69/4741.91 c lits-rem: 35 cl-subs: 879 v-elim: 0 v-fix: 0 time: 2.33 s
95429.66/4742.94 c asymm cl-useful: 168/226/359037 lits-rem:613 time: 1.03
95445.62/4743.45 c calculated reachability. Time: 0.02
95445.62/4743.46 c N dy 6570 1210196 151186 359037 14955590 65911 10269621 25410294 14.81 no data
95458.42/4743.88 c Finding binary XORs T: 0.42 s found: 3
96839.55/4787.20 c N dy 6668 1230498 151160 359037 14958277 86070 10269615 26795557 14.80 15.97
98153.39/4857.83 c Finding binary XORs T: 0.38 s found: 3
98196.26/4861.38 c N dy 6760 1250628 151051 359037 14894665 54469 10262118 24441207 14.80 15.68
99514.41/4903.36 c N dy 6860 1270688 150933 359037 14896233 74405 10262106 26049580 14.80 30.62
101061.04/4951.74 c N dy 6947 1292196 150920 359037 14897226 95730 10262102 27657595 14.80 15.65
101101.62/4953.09 c Finding binary XORs T: 0.41 s found: 3
102637.05/5009.42 c Finding binary XORs T: 0.41 s found: 2
102685.00/5010.80 c N dy 7060 1312380 150752 359008 15009222 63165 10247100 25208274 14.80 15.64
104097.82/5055.02 c N dy 7161 1332690 150743 359008 15010197 83303 10247089 26591517 14.80 15.77
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3400906-1307130300/watcher-3400906-1307130300 -o /tmp/evaluation-result-3400906-1307130300/solver-3400906-1307130300 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400906-1307130300.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): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 21.82 29.37 25.63 1/413 17493
/proc/meminfo: memFree=262704432/264257624 swapFree=67054988/67111528
[pid=17493] ppid=17491 vsize=338000 CPUtime=0.87 cores=0-31
/proc/17493/stat : 17493 (strangenight2-m) R 17491 17493 17467 0 -1 4202496 439 0 0 0 87 0 0 0 22 0 32 0 18942749 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17493/statm: 84500 378 297 95 0 79482 0
[pid=17493/tid=17494] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17494/stat : 17494 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17493/tid=17495] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17495/stat : 17495 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17493/tid=17496] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17496/stat : 17496 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17493/tid=17497] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17497/stat : 17497 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17493/tid=17498] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17498/stat : 17498 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17493/tid=17499] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17499/stat : 17499 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17493/tid=17500] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17500/stat : 17500 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205424 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17493/tid=17501] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17501/stat : 17501 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17493/tid=17502] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17502/stat : 17502 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17493/tid=17503] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17503/stat : 17503 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17493/tid=17504] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17504/stat : 17504 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17493/tid=17505] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17505/stat : 17505 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17493/tid=17506] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17506/stat : 17506 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205430 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17493/tid=17507] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17507/stat : 17507 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17493/tid=17508] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17508/stat : 17508 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17493/tid=17509] ppid=17491 vsize=338000 CPUtime=0 cores=0-31
/proc/17493/task/17509/stat : 17509 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17493/tid=17510] ppid=17491 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17493/task/17510/stat : 17510 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17493/tid=17511] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17511/stat : 17511 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17493/tid=17512] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17512/stat : 17512 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17493/tid=17513] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17513/stat : 17513 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17493/tid=17514] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17514/stat : 17514 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17493/tid=17515] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17515/stat : 17515 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17493/tid=17516] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17516/stat : 17516 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17493/tid=17517] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17517/stat : 17517 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17493/tid=17518] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17518/stat : 17518 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17493/tid=17519] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17519/stat : 17519 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205424 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17493/tid=17520] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17520/stat : 17520 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17493/tid=17521] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17521/stat : 17521 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17493/tid=17522] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17522/stat : 17522 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17493/tid=17523] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17523/stat : 17523 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17493/tid=17524] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17524/stat : 17524 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 26 0 0 0
[startup+0.122761 s]
/proc/loadavg: 21.82 29.37 25.63 1/413 17493
/proc/meminfo: memFree=262704432/264257624 swapFree=67054988/67111528
[pid=17493] ppid=17491 vsize=1258636 CPUtime=2.46 cores=0-31
/proc/17493/stat : 17493 (strangenight2-m) S 17491 17493 17467 0 -1 4202496 11529 0 0 0 141 105 0 0 17 0 32 0 18942749 1288843264 11365 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17493/statm: 314659 11373 334 95 0 309641 0
[pid=17493/tid=17494] ppid=17491 vsize=1258636 CPUtime=0.07 cores=0-31
/proc/17493/task/17494/stat : 17494 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 307 0 0 0 4 3 0 0 17 0 32 0 18942750 1288843264 11375 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604454439583200 0 0 -1 1 0 0 0
[pid=17493/tid=17495] ppid=17491 vsize=1258636 CPUtime=0.07 cores=0-31
/proc/17493/task/17495/stat : 17495 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 409 0 0 0 4 3 0 0 17 0 32 0 18942750 1288843264 11384 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17493/tid=17496] ppid=17491 vsize=1258636 CPUtime=0.07 cores=0-31
/proc/17493/task/17496/stat : 17496 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 329 0 0 0 4 3 0 0 17 0 32 0 18942750 1288843264 11387 268435456000 4194304 4580107 140736518161584 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17493/tid=17497] ppid=17491 vsize=1258636 CPUtime=0.06 cores=0-31
/proc/17493/task/17497/stat : 17497 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 347 0 0 0 4 2 0 0 17 0 32 0 18942750 1288843264 11391 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604482306039264 0 0 -1 20 0 0 0
[pid=17493/tid=17498] ppid=17491 vsize=1258636 CPUtime=0.07 cores=0-31
/proc/17493/task/17498/stat : 17498 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 372 0 0 0 4 3 0 0 17 0 32 0 18942750 1288843264 11400 268435456000 4194304 4580107 140736518161584 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17493/tid=17499] ppid=17491 vsize=1258636 CPUtime=0.08 cores=0-31
/proc/17493/task/17499/stat : 17499 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 453 0 0 0 5 3 0 0 17 0 32 0 18942750 1288843264 11415 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744071566933904 0 0 -1 12 0 0 0
[pid=17493/tid=17500] ppid=17491 vsize=1258636 CPUtime=0.07 cores=0-31
/proc/17493/task/17500/stat : 17500 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 348 0 0 0 4 3 0 0 17 0 32 0 18942750 1288843264 11480 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504222825952 0 0 -1 28 0 0 0
[pid=17493/tid=17501] ppid=17491 vsize=1258636 CPUtime=0.07 cores=0-31
/proc/17493/task/17501/stat : 17501 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 306 0 0 0 4 3 0 0 17 0 32 0 18942750 1288843264 11482 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17493/tid=17502] ppid=17491 vsize=1258636 CPUtime=0.07 cores=0-31
/proc/17493/task/17502/stat : 17502 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 378 0 0 0 4 3 0 0 17 0 32 0 18942750 1288843264 11489 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504224808416 0 0 -1 6 0 0 0
[pid=17493/tid=17503] ppid=17491 vsize=1258768 CPUtime=0.09 cores=0-31
/proc/17493/task/17503/stat : 17503 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 364 0 0 0 5 4 0 0 17 0 32 0 18942750 1288978432 11501 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17493/tid=17504] ppid=17491 vsize=1258768 CPUtime=0.07 cores=0-31
/proc/17493/task/17504/stat : 17504 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 308 0 0 0 4 3 0 0 17 0 32 0 18942750 1288978432 11537 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17493/tid=17505] ppid=17491 vsize=1258768 CPUtime=0.07 cores=0-31
/proc/17493/task/17505/stat : 17505 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 329 0 0 0 4 3 0 0 17 0 32 0 18942750 1288978432 11550 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604566202416608 0 0 -1 10 0 0 0
[pid=17493/tid=17506] ppid=17491 vsize=1258768 CPUtime=0.07 cores=0-31
/proc/17493/task/17506/stat : 17506 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 310 0 0 0 4 3 0 0 17 0 32 0 18942750 1288978432 11579 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604482306039264 0 0 -1 7 0 0 0
[pid=17493/tid=17507] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17507/stat : 17507 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 324 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11583 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504224734688 0 0 -1 13 0 0 0
[pid=17493/tid=17508] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17508/stat : 17508 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 352 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11603 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504224759264 0 0 -1 8 0 0 0
[pid=17493/tid=17509] ppid=17491 vsize=1258944 CPUtime=0.03 cores=0-31
/proc/17493/task/17509/stat : 17509 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 357 0 0 0 0 3 0 0 17 0 32 0 18942750 1289158656 11635 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744071566925904 0 0 -1 31 0 0 0
[pid=17493/tid=17510] ppid=17491 vsize=1258944 CPUtime=0.05 cores=0-31
/proc/17493/task/17510/stat : 17510 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 294 0 0 0 3 2 0 0 17 0 32 0 18942750 1289158656 11643 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17493/tid=17511] ppid=17491 vsize=1258944 CPUtime=0.06 cores=0-31
/proc/17493/task/17511/stat : 17511 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 312 0 0 0 3 3 0 0 17 0 32 0 18942750 1289158656 11667 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744071566925464 0 0 -1 23 0 0 0
[pid=17493/tid=17512] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17512/stat : 17512 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 422 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11693 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744071566925904 0 0 -1 30 0 0 0
[pid=17493/tid=17513] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17513/stat : 17513 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 338 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11700 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17493/tid=17514] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17514/stat : 17514 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 364 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11706 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17493/tid=17515] ppid=17491 vsize=1258944 CPUtime=0.08 cores=0-31
/proc/17493/task/17515/stat : 17515 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 446 0 0 0 4 4 0 0 17 0 32 0 18942750 1289158656 11707 268435456000 4194304 4580107 140736518161584 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17493/tid=17516] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17516/stat : 17516 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 311 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11711 268435456000 4194304 4580107 140736518161584 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17493/tid=17517] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17517/stat : 17517 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 335 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11727 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504224808416 0 0 -1 17 0 0 0
[pid=17493/tid=17518] ppid=17491 vsize=1258944 CPUtime=0.06 cores=0-31
/proc/17493/task/17518/stat : 17518 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 365 0 0 0 4 2 0 0 17 0 32 0 18942750 1289158656 11745 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17493/tid=17519] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17519/stat : 17519 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 343 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11745 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504222809568 0 0 -1 15 0 0 0
[pid=17493/tid=17520] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17520/stat : 17520 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 317 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11759 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504224808416 0 0 -1 21 0 0 0
[pid=17493/tid=17521] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17521/stat : 17521 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 391 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11768 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744071566933904 0 0 -1 22 0 0 0
[pid=17493/tid=17522] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17522/stat : 17522 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 363 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11773 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604499453795808 0 0 -1 19 0 0 0
[pid=17493/tid=17523] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17523/stat : 17523 (strangenight2-m) D 17491 17493 17467 0 -1 4202560 341 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11782 268435456000 4194304 4580107 140736518161584 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17493/tid=17524] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17524/stat : 17524 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 398 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11802 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504222801376 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 1258636
[startup+0.207546 s]
/proc/loadavg: 21.82 29.37 25.63 1/413 17493
/proc/meminfo: memFree=262704432/264257624 swapFree=67054988/67111528
[pid=17493] ppid=17491 vsize=1269992 CPUtime=4.14 cores=0-31
/proc/17493/stat : 17493 (strangenight2-m) R 17491 17493 17467 0 -1 4202496 19943 0 0 0 192 222 0 0 17 0 32 0 18942749 1300471808 19112 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17493/statm: 317546 19131 334 95 0 312528 0
[pid=17493/tid=17494] ppid=17491 vsize=1270184 CPUtime=0.12 cores=0-31
/proc/17493/task/17494/stat : 17494 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 566 0 0 0 6 6 0 0 17 0 32 0 18942750 1300668416 19150 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604482306039264 0 0 -1 1 0 0 0
[pid=17493/tid=17495] ppid=17491 vsize=1270184 CPUtime=0.14 cores=0-31
/proc/17493/task/17495/stat : 17495 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 647 0 0 0 6 8 0 0 17 0 32 0 18942750 1300668416 19159 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17493/tid=17496] ppid=17491 vsize=1270184 CPUtime=0.12 cores=0-31
/proc/17493/task/17496/stat : 17496 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 598 0 0 0 6 6 0 0 17 0 32 0 18942750 1300668416 19170 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744071566924704 0 0 -1 4 0 0 0
[pid=17493/tid=17497] ppid=17491 vsize=1270184 CPUtime=0.11 cores=0-31
/proc/17493/task/17497/stat : 17497 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 670 0 0 0 5 6 0 0 17 0 32 0 18942750 1300668416 19173 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17493/tid=17498] ppid=17491 vsize=1270444 CPUtime=0.12 cores=0-31
/proc/17493/task/17498/stat : 17498 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 694 0 0 0 5 7 0 0 17 0 32 0 18942750 1300934656 19333 268435456000 4194304 4580107 140736518161584 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17493/tid=17499] ppid=17491 vsize=1270444 CPUtime=0.12 cores=0-31
/proc/17493/task/17499/stat : 17499 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 849 0 0 0 7 5 0 0 17 0 32 0 18942750 1300934656 19385 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17493/tid=17500] ppid=17491 vsize=1270444 CPUtime=0.12 cores=0-31
/proc/17493/task/17500/stat : 17500 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 625 0 0 0 6 6 0 0 17 0 32 0 18942750 1300934656 19387 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17493/tid=17501] ppid=17491 vsize=1270960 CPUtime=0.13 cores=0-31
/proc/17493/task/17501/stat : 17501 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 532 0 0 0 6 7 0 0 17 0 32 0 18942750 1301463040 19474 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17493/tid=17502] ppid=17491 vsize=1270700 CPUtime=0.12 cores=0-31
/proc/17493/task/17502/stat : 17502 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 660 0 0 0 5 7 0 0 17 0 32 0 18942750 1301196800 19433 268435456000 4194304 4580107 140736518161584 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17493/tid=17503] ppid=17491 vsize=1270700 CPUtime=0.14 cores=0-31
/proc/17493/task/17503/stat : 17503 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 636 0 0 0 7 7 0 0 17 0 32 0 18942750 1301196800 19492 268435456000 4194304 4580107 140736518161584 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17493/tid=17504] ppid=17491 vsize=1270700 CPUtime=0.12 cores=0-31
/proc/17493/task/17504/stat : 17504 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 528 0 0 0 6 6 0 0 17 0 32 0 18942750 1301196800 19532 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17493/tid=17505] ppid=17491 vsize=1270700 CPUtime=0.12 cores=0-31
/proc/17493/task/17505/stat : 17505 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 593 0 0 0 6 6 0 0 17 0 32 0 18942750 1301196800 19548 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504222825952 0 0 -1 10 0 0 0
[pid=17493/tid=17506] ppid=17491 vsize=1270700 CPUtime=0.12 cores=0-31
/proc/17493/task/17506/stat : 17506 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 523 0 0 0 5 7 0 0 17 0 32 0 18942750 1301196800 19591 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504804482528 0 0 -1 7 0 0 0
[pid=17493/tid=17507] ppid=17491 vsize=1270700 CPUtime=0.12 cores=0-31
/proc/17493/task/17507/stat : 17507 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 569 0 0 0 5 7 0 0 17 0 32 0 18942750 1301196800 19626 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604482306039264 0 0 -1 13 0 0 0
[pid=17493/tid=17508] ppid=17491 vsize=1270700 CPUtime=0.12 cores=0-31
/proc/17493/task/17508/stat : 17508 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 697 0 0 0 6 6 0 0 17 0 32 0 18942750 1301196800 19631 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604499453787616 0 0 -1 8 0 0 0
[pid=17493/tid=17509] ppid=17491 vsize=1270700 CPUtime=0.09 cores=0-31
/proc/17493/task/17509/stat : 17509 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 601 0 0 0 2 7 0 0 17 0 32 0 18942750 1301196800 19646 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604503955357152 0 0 -1 31 0 0 0
[pid=17493/tid=17510] ppid=17491 vsize=1270700 CPUtime=0.11 cores=0-31
################
# More data... #
################
/proc/17493/task/17497/stat : 17497 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 495673 0 0 0 327623 650 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17493/tid=17498] ppid=17491 vsize=28685864 CPUtime=3287.79 cores=0-31
/proc/17493/task/17498/stat : 17498 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 524717 0 0 0 328010 769 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17493/tid=17499] ppid=17491 vsize=28685864 CPUtime=3303.56 cores=0-31
/proc/17493/task/17499/stat : 17499 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 530249 0 0 0 329664 692 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17493/tid=17500] ppid=17491 vsize=28685864 CPUtime=3300.99 cores=0-31
/proc/17493/task/17500/stat : 17500 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 520009 0 0 0 329414 685 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17493/tid=17501] ppid=17491 vsize=28685864 CPUtime=3241.6 cores=0-31
/proc/17493/task/17501/stat : 17501 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 525463 0 0 0 323401 759 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17493/tid=17502] ppid=17491 vsize=28685864 CPUtime=3236.65 cores=0-31
/proc/17493/task/17502/stat : 17502 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 506865 0 0 0 322934 731 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17493/tid=17503] ppid=17491 vsize=28685864 CPUtime=3228.02 cores=0-31
/proc/17493/task/17503/stat : 17503 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 528907 0 0 0 322054 748 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17493/tid=17504] ppid=17491 vsize=28685864 CPUtime=3354.1 cores=0-31
/proc/17493/task/17504/stat : 17504 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 525742 0 0 0 334717 693 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17493/tid=17505] ppid=17491 vsize=28685864 CPUtime=3286.91 cores=0-31
/proc/17493/task/17505/stat : 17505 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 511543 0 0 0 327946 745 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17493/tid=17506] ppid=17491 vsize=28685864 CPUtime=3269.88 cores=0-31
/proc/17493/task/17506/stat : 17506 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 511660 0 0 0 326240 748 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17493/tid=17507] ppid=17491 vsize=28685864 CPUtime=3305.49 cores=0-31
/proc/17493/task/17507/stat : 17507 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 536071 0 0 0 329739 810 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17493/tid=17508] ppid=17491 vsize=28685864 CPUtime=3257.73 cores=0-31
/proc/17493/task/17508/stat : 17508 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 496209 0 0 0 325096 677 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17493/tid=17509] ppid=17491 vsize=28685864 CPUtime=3268.69 cores=0-31
/proc/17493/task/17509/stat : 17509 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 503607 0 0 0 326104 765 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17493/tid=17510] ppid=17491 vsize=28685864 CPUtime=3263.15 cores=0-31
/proc/17493/task/17510/stat : 17510 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 497374 0 0 0 325512 803 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17493/tid=17511] ppid=17491 vsize=28685864 CPUtime=3289.33 cores=0-31
/proc/17493/task/17511/stat : 17511 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 498680 0 0 0 328168 765 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17493/tid=17512] ppid=17491 vsize=28685864 CPUtime=3273.72 cores=0-31
/proc/17493/task/17512/stat : 17512 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 513191 0 0 0 326606 766 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17493/tid=17513] ppid=17491 vsize=28685864 CPUtime=3278.41 cores=0-31
/proc/17493/task/17513/stat : 17513 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 495496 0 0 0 327085 756 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17493/tid=17514] ppid=17491 vsize=28685864 CPUtime=3261.57 cores=0-31
/proc/17493/task/17514/stat : 17514 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 521627 0 0 0 325432 725 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17493/tid=17515] ppid=17491 vsize=28685864 CPUtime=3308.39 cores=0-31
/proc/17493/task/17515/stat : 17515 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 506312 0 0 0 330057 782 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4306352 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17493/tid=17516] ppid=17491 vsize=28685864 CPUtime=3303.07 cores=0-31
/proc/17493/task/17516/stat : 17516 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 505031 0 0 0 329537 770 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17493/tid=17517] ppid=17491 vsize=28685864 CPUtime=3302.55 cores=0-31
/proc/17493/task/17517/stat : 17517 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 504823 0 0 0 329551 704 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17493/tid=17518] ppid=17491 vsize=28685864 CPUtime=3253.54 cores=0-31
/proc/17493/task/17518/stat : 17518 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 494213 0 0 0 324596 758 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17493/tid=17519] ppid=17491 vsize=28685864 CPUtime=3279.22 cores=0-31
/proc/17493/task/17519/stat : 17519 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 496585 0 0 0 327159 763 0 0 22 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17493/tid=17520] ppid=17491 vsize=28685864 CPUtime=3258.77 cores=0-31
/proc/17493/task/17520/stat : 17520 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 526247 0 0 0 325147 730 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17493/tid=17521] ppid=17491 vsize=28685864 CPUtime=3310.2 cores=0-31
/proc/17493/task/17521/stat : 17521 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 535365 0 0 0 330196 824 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17493/tid=17522] ppid=17491 vsize=28685864 CPUtime=3281 cores=0-31
/proc/17493/task/17522/stat : 17522 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 527625 0 0 0 327353 747 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17493/tid=17523] ppid=17491 vsize=28685864 CPUtime=3268.82 cores=0-31
/proc/17493/task/17523/stat : 17523 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 499203 0 0 0 326187 695 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17493/tid=17524] ppid=17491 vsize=28685864 CPUtime=3304.42 cores=0-31
/proc/17493/task/17524/stat : 17524 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 854801 0 0 0 329625 817 0 0 25 0 32 0 18942750 29374324736 6177301 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294248 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 104970
Current children cumulated vsize (KiB) 28685864
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+5100 s]
/proc/loadavg: 31.26 28.78 26.85 33/445 17682
/proc/meminfo: memFree=237857664/264257624 swapFree=67054988/67111528
[pid=17493] ppid=17491 vsize=29207808 CPUtime=105537 cores=0-31
/proc/17493/stat : 17493 (strangenight2-m) R 17491 17493 17467 0 -1 4202496 16894007 0 0 0 10529781 23900 0 0 25 0 32 0 18942749 29908795392 6199787 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17493/statm: 7301952 6199787 378 95 0 7296934 0
[pid=17493/tid=17494] ppid=17491 vsize=29207808 CPUtime=3289.56 cores=0-31
/proc/17493/task/17494/stat : 17494 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 535219 0 0 0 328204 752 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17493/tid=17495] ppid=17491 vsize=29207808 CPUtime=3285.87 cores=0-31
/proc/17493/task/17495/stat : 17495 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 525926 0 0 0 327809 778 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=17493/tid=17496] ppid=17491 vsize=29207808 CPUtime=3301.83 cores=0-31
/proc/17493/task/17496/stat : 17496 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 530778 0 0 0 329491 692 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17493/tid=17497] ppid=17491 vsize=29207808 CPUtime=3300.45 cores=0-31
/proc/17493/task/17497/stat : 17497 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 496360 0 0 0 329395 650 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17493/tid=17498] ppid=17491 vsize=29207808 CPUtime=3305.51 cores=0-31
/proc/17493/task/17498/stat : 17498 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 525366 0 0 0 329781 770 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17493/tid=17499] ppid=17491 vsize=29207808 CPUtime=3321.27 cores=0-31
/proc/17493/task/17499/stat : 17499 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 530944 0 0 0 331434 693 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17493/tid=17500] ppid=17491 vsize=29207808 CPUtime=3318.71 cores=0-31
/proc/17493/task/17500/stat : 17500 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 520718 0 0 0 331184 687 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4318491 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17493/tid=17501] ppid=17491 vsize=29207808 CPUtime=3259.32 cores=0-31
/proc/17493/task/17501/stat : 17501 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 532563 0 0 0 325171 761 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4484464 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17493/tid=17502] ppid=17491 vsize=29207808 CPUtime=3254.37 cores=0-31
/proc/17493/task/17502/stat : 17502 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 507567 0 0 0 324705 732 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17493/tid=17503] ppid=17491 vsize=29207808 CPUtime=3245.74 cores=0-31
/proc/17493/task/17503/stat : 17503 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 529512 0 0 0 323825 749 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17493/tid=17504] ppid=17491 vsize=29207808 CPUtime=3371.83 cores=0-31
/proc/17493/task/17504/stat : 17504 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 526369 0 0 0 336489 694 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17493/tid=17505] ppid=17491 vsize=29207808 CPUtime=3304.63 cores=0-31
/proc/17493/task/17505/stat : 17505 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 512222 0 0 0 329718 745 0 0 25 0 32 0 18942750 29908795392 6199789 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17493/tid=17506] ppid=17491 vsize=29207808 CPUtime=3287.6 cores=0-31
/proc/17493/task/17506/stat : 17506 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 512256 0 0 0 328012 748 0 0 25 0 32 0 18942750 29908795392 6199789 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17493/tid=17507] ppid=17491 vsize=29207808 CPUtime=3323.21 cores=0-31
/proc/17493/task/17507/stat : 17507 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 536715 0 0 0 331510 811 0 0 25 0 32 0 18942750 29908795392 6199789 268435456000 4194304 4580107 140736518161584 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17493/tid=17508] ppid=17491 vsize=29207808 CPUtime=3275.45 cores=0-31
/proc/17493/task/17508/stat : 17508 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 503221 0 0 0 326866 679 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17493/tid=17509] ppid=17491 vsize=29207808 CPUtime=3286.4 cores=0-31
/proc/17493/task/17509/stat : 17509 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 504216 0 0 0 327875 765 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294163 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17493/tid=17510] ppid=17491 vsize=29207808 CPUtime=3280.87 cores=0-31
/proc/17493/task/17510/stat : 17510 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 498043 0 0 0 327283 804 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17493/tid=17511] ppid=17491 vsize=29207808 CPUtime=3307.06 cores=0-31
/proc/17493/task/17511/stat : 17511 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 499208 0 0 0 329940 766 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17493/tid=17512] ppid=17491 vsize=29207808 CPUtime=3291.45 cores=0-31
/proc/17493/task/17512/stat : 17512 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 520009 0 0 0 328377 768 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4484453 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17493/tid=17513] ppid=17491 vsize=29207808 CPUtime=3296.13 cores=0-31
/proc/17493/task/17513/stat : 17513 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 502518 0 0 0 328855 758 0 0 18 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17493/tid=17514] ppid=17491 vsize=29207808 CPUtime=3279.28 cores=0-31
/proc/17493/task/17514/stat : 17514 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 522285 0 0 0 327203 725 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17493/tid=17515] ppid=17491 vsize=29207808 CPUtime=3326.1 cores=0-31
/proc/17493/task/17515/stat : 17515 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 507139 0 0 0 331828 782 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17493/tid=17516] ppid=17491 vsize=29207808 CPUtime=3320.78 cores=0-31
/proc/17493/task/17516/stat : 17516 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 505720 0 0 0 331308 770 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17493/tid=17517] ppid=17491 vsize=29207808 CPUtime=3320.26 cores=0-31
/proc/17493/task/17517/stat : 17517 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 505560 0 0 0 331322 704 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17493/tid=17518] ppid=17491 vsize=29207808 CPUtime=3271.25 cores=0-31
/proc/17493/task/17518/stat : 17518 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 494856 0 0 0 326367 758 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17493/tid=17519] ppid=17491 vsize=29207808 CPUtime=3296.94 cores=0-31
/proc/17493/task/17519/stat : 17519 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 497185 0 0 0 328930 764 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17493/tid=17520] ppid=17491 vsize=29207808 CPUtime=3276.49 cores=0-31
/proc/17493/task/17520/stat : 17520 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 526918 0 0 0 326918 731 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17493/tid=17521] ppid=17491 vsize=29207808 CPUtime=3327.92 cores=0-31
/proc/17493/task/17521/stat : 17521 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 535938 0 0 0 331967 825 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17493/tid=17522] ppid=17491 vsize=29207808 CPUtime=3298.71 cores=0-31
/proc/17493/task/17522/stat : 17522 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 528344 0 0 0 329124 747 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17493/tid=17523] ppid=17491 vsize=29207808 CPUtime=3286.54 cores=0-31
/proc/17493/task/17523/stat : 17523 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 499881 0 0 0 327958 696 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4316644 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17493/tid=17524] ppid=17491 vsize=29207808 CPUtime=3322.14 cores=0-31
/proc/17493/task/17524/stat : 17524 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 856037 0 0 0 331396 818 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 105537
Current children cumulated vsize (KiB) 29207808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5100.7 s]
/proc/loadavg: 31.26 28.78 26.85 2/416 17683
/proc/meminfo: memFree=246786640/264257624 swapFree=67054988/67111528
[pid=17493] ppid=17491 vsize=0 CPUtime=105538 cores=0-31
/proc/17493/stat : 17493 (strangenight2-m) Z 17491 17493 17467 0 -1 4203548 16894018 0 0 0 10529803 23971 0 0 25 0 2 0 18942749 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17493/statm: 0 0 0 0 0 0 0
[pid=17493/tid=17522] ppid=17491 vsize=0 CPUtime=3299.42 cores=0-31
/proc/17493/task/17522/stat : 17522 (strangenight2-m) R 17491 17493 17467 0 -1 4203588 528344 0 0 0 329124 818 0 0 25 0 2 0 18942750 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 105538
Current children cumulated vsize (KiB) 0
[startup+5101.5 s]
/proc/loadavg: 31.26 28.78 26.85 2/416 17683
/proc/meminfo: memFree=246786640/264257624 swapFree=67054988/67111528
[pid=17493] ppid=17491 vsize=0 CPUtime=105538 cores=0-31
/proc/17493/stat : 17493 (strangenight2-m) Z 17491 17493 17467 0 -1 4203548 16894018 0 0 0 10529803 24047 0 0 25 0 2 0 18942749 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17493/statm: 0 0 0 0 0 0 0
[pid=17493/tid=17522] ppid=17491 vsize=0 CPUtime=3300.18 cores=0-31
/proc/17493/task/17522/stat : 17522 (strangenight2-m) R 17491 17493 17467 0 -1 4203588 528344 0 0 0 329124 894 0 0 25 0 2 0 18942750 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 105538
Current children cumulated vsize (KiB) 0
[startup+5101.94 s]
/proc/loadavg: 28.84 28.32 26.71 2/416 17683
/proc/meminfo: memFree=260544688/264257624 swapFree=67054988/67111528
[pid=17493] ppid=17491 vsize=0 CPUtime=105539 cores=0-31
/proc/17493/stat : 17493 (strangenight2-m) Z 17491 17493 17467 0 -1 4203548 16894018 0 0 0 10529803 24091 0 0 25 0 2 0 18942749 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17493/statm: 0 0 0 0 0 0 0
[pid=17493/tid=17522] ppid=17491 vsize=0 CPUtime=3300.62 cores=0-31
/proc/17493/task/17522/stat : 17522 (strangenight2-m) R 17491 17493 17467 0 -1 4203588 528344 0 0 0 329124 938 0 0 25 0 2 0 18942750 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 105539
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5102
CPU time (s): 105539
CPU user time (s): 105298
CPU system time (s): 240.972
CPU usage (%): 2068.58
Max. virtual memory (cumulated for all children) (KiB): 29571204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105298
system time used= 240.972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16894018
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= 7690471
involuntary context switches= 257535
runsolver used 31.0273 second user time and 117.814 second system time
The end
Begin job on node200 at 2011-06-03 21:45:04
IDJOB=3400906
IDBENCH=88165
IDSOLVER=1886
FILE ID=node200/3400906-1307130300
RUNJOBID= node200-1307130300-17481
PBS_JOBID= 13498418
Free space on /tmp= 61652 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/2dlx_ca_bp_f_liveness.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400906-1307130300/watcher-3400906-1307130300 -o /tmp/evaluation-result-3400906-1307130300/solver-3400906-1307130300 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400906-1307130300.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 99cd8de7f06ce8c087a5c7fb299dfb62
RANDOM SEED=794054761
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.043
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.043
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.05
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.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.043
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.05
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.043
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.11
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.043
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.05
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.043
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.07
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.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.06
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.043
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 : 3989.96
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.043
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.09
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.043
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.05
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.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.07
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.043
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.08
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.043
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.03
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.043
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.07
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.043
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.11
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.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.02
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.043
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.11
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.043
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.06
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.043
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.07
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.043
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 : 3989.99
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.043
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.07
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.043
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.07
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.043
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.10
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.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
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.043
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.35
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.043
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: 262704580 kB
Buffers: 134844 kB
Cached: 1223320 kB
SwapCached: 8472 kB
Active: 209596 kB
Inactive: 1167040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262704580 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 98736 kB
Writeback: 0 kB
AnonPages: 15444 kB
Mapped: 8472 kB
Slab: 94976 kB
PageTables: 4428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 185444 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= 61648 MiB
End job on node200 at 2011-06-03 23:10:06