0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3321226-1304332711.cnf'
0.00/0.02 c -- header says num vars: 15364
0.00/0.02 c -- header says num clauses: 2133873
8.83/1.21 c -- clauses added: 0 learnts, 2133873 normals, 0 xors
8.83/1.21 c -- vars added 15364
8.83/1.21 c Parsing time: 0.97 s
8.83/1.21 c N st 0 0 15364 2092882 40002 0 18028837 0 no data no data
11.98/1.63 c asymm cl-useful: 0/5431/2092294 lits-rem:0 time: 0.32
58.29/7.46 c Flit: 84 Blit: 0 bXBeca: 0 bXProp: 92 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 5.81
75.07/9.54 c Replacing 92 vars Replaced 1174400 lits Time: 2.07 s
84.87/11.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
84.87/11.24 c bin-w-bin subsume rem 404 bins time: 0.01 s
173.54/22.34 c subs with bin: 20077 lits-rem: 20 v-fix: 0 time: 11.01 s
173.54/22.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 3818 time: 0.04 s
174.34/22.43 c Removed useless bin: 0 fixed: 0 props: 4.22M time: 0.05 s
3871.20/485.10 c lits-rem: 0 cl-subs: 1287 v-elim: 1150 v-fix: 0 time: 458.87 s
3872.01/485.13 c Finding binary XORs T: 0.03 s found: 0
3872.74/485.23 c calculated reachability. Time: 0.01
3873.54/485.32 c Calc default polars - time: 0.09 s pos: 466 undec: 1833 neg: 13065
3873.54/485.32 c =========================================================================================
3873.54/485.32 c types(t): F = full restart, N = normal restart
3873.54/485.32 c types(t): S = simplification begin/end, E = solution found
3873.54/485.32 c restart types(rt): st = static, dy = dynamic
3873.54/485.32 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
3873.54/485.32 c B st 0 0 13531 2050179 35387 0 17652550 0 no data no data
3890.33/487.40 c N dy 19 4090 13526 2050179 35561 3838 17652550 152995 8.59 9.33
3929.48/492.31 c Finding binary XORs T: 0.03 s found: 15
3935.88/493.17 c N dy 50 8183 13168 1909682 39497 6634 16372373 305602 9.58 10.20
3965.44/496.86 c N dy 69 12255 13168 1909682 39566 10584 16372372 466874 9.55 10.06
3993.42/500.38 c N dy 95 16268 13168 1909682 39615 14496 16372372 650414 9.95 10.82
4017.39/503.32 c N dy 117 20402 13168 1909682 39648 9487 16372372 196441 10.08 10.77
4042.97/506.52 c N dy 149 24764 13168 1909682 39672 13798 16372372 437734 10.44 11.20
4044.57/506.70 c F st 150 25001 13168 1909682 39674 14031 16372372 446829 10.42 7.85
4046.17/506.97 c Replacing 15 vars Replaced 15403 lits Time: 0.27 s
4076.54/510.70 c N dy 156 30001 13152 1909677 39678 18940 16372311 774952 10.42 no data
4076.54/510.70 c S st 156 30001 13152 1909677 39678 18940 16372311 774952 10.42 no data
4100.57/513.77 c S st 156 30501 13151 1909677 39702 19415 16372311 786383 10.42 no data
4101.30/513.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
4219.59/528.65 c Flit: 13 Blit: 7 bXBeca: 0 bXProp: 8 Bins: 568179 BRemL: 107775 BRemN: 2 P: 200.0M T: 14.65
4228.38/529.74 c Replacing 8 vars Replaced 43200 lits Time: 1.08 s
4235.57/530.67 c blocked clauses removed: 0 vars: 0 tried: 13121 T: 0.01 s
4236.37/530.74 c bin-w-bin subsume rem 391 bins time: 0.06 s
4377.02/548.30 c subs with bin: 36617 lits-rem: 53015 v-fix: 0 time: 17.42 s
4407.45/552.13 c Subs w/ non-existent bins: 4279 l-rem: 5 v-fix: 0 done: 85 time: 3.79 s
4408.25/552.23 c Removed useless bin: 16 fixed: 0 props: 1.21M time: 0.04 s
7616.94/953.71 c lits-rem: 0 cl-subs: 48637 v-elim: 256 v-fix: 0 time: 398.14 s
7620.87/954.20 c subs with bin: 101 lits-rem: 5458 v-fix: 0 time: 0.45 s
11103.72/1390.09 c lits-rem: 11 cl-subs: 1103 v-elim: 0 v-fix: 0 time: 431.84 s
11110.91/1390.91 c asymm cl-useful: 0/1526/1820036 lits-rem:0 time: 0.81
11111.71/1391.02 c calculated reachability. Time: 0.02
11111.71/1391.02 c N dy 156 30501 12865 1820036 457102 10561 15732353 1090458 10.42 no data
11111.71/1391.07 c Finding binary XORs T: 0.05 s found: 0
11126.09/1392.81 c Finding binary XORs T: 0.05 s found: 3
11144.48/1395.13 c N dy 174 34825 12716 1805912 633066 14671 15590319 1669872 10.35 11.09
11170.85/1398.44 c N dy 197 38975 12716 1805912 633655 18782 15590319 1896863 10.39 11.00
11196.42/1401.69 c N dy 221 43449 12715 1805912 633673 12460 15590318 1448018 10.37 11.00
11212.47/1403.66 c S st 238 45752 12715 1805912 633677 14752 15590318 1577791 10.43 no data
11233.18/1406.24 c S st 238 46254 12715 1805912 633682 15249 15590318 1591509 10.43 no data
11233.98/1406.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12
11361.11/1422.30 c Flit: 17 Blit: 4 bXBeca: 0 bXProp: 0 Bins: 20821 BRemL: 49473 BRemN: 0 P: 200.0M T: 15.80
11363.44/1422.56 c Replacing 3 vars Replaced 1139 lits Time: 0.26 s
11371.44/1423.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
11372.24/1423.63 c bin-w-bin subsume rem 3677 bins time: 0.08 s
11500.11/1439.60 c subs with bin: 22527 lits-rem: 20 v-fix: 0 time: 15.84 s
11500.11/1439.69 c Subs w/ non-existent bins: 21 l-rem: 3 v-fix: 0 done: 75 time: 0.09 s
11500.91/1439.73 c Removed useless bin: 2 fixed: 0 props: 1.06M time: 0.04 s
15113.04/1891.82 c lits-rem: 0 cl-subs: 3711 v-elim: 14 v-fix: 0 time: 448.43 s
15121.83/1892.93 c subs with bin: 238 lits-rem: 4218 v-fix: 0 time: 1.06 s
18637.47/2332.86 c lits-rem: 8720 cl-subs: 3453 v-elim: 0 v-fix: 0 time: 435.80 s
18647.91/2334.15 c vivif2 -- cl tried 968525 cl shrink 19618 lits rem 23570 time: 1.27
18648.72/2334.24 c vivif2 -- cl tried 14035 cl shrink 3068 lits rem 17192 time: 0.09
18650.24/2334.49 c asymm cl-useful: 0/491/1776298 lits-rem:0 time: 0.25
18651.85/2334.60 c calculated reachability. Time: 0.02
18651.85/2334.60 c N dy 238 46254 12677 1776298 594975 14018 15179740 1444606 10.43 no data
18651.85/2334.65 c Finding binary XORs T: 0.05 s found: 0
18691.87/2339.69 c Finding binary XORs T: 0.05 s found: 19
18692.68/2339.78 c N dy 246 51000 12447 1746322 621211 18000 14902946 1989106 10.14 10.89
18716.59/2342.74 c N dy 269 55047 12447 1746322 621220 22012 14902946 2193413 10.14 10.87
18746.95/2346.54 c N dy 297 59331 12446 1746322 621263 26275 14902946 2436197 10.16 10.93
18772.51/2349.70 c N dy 320 63410 12446 1746322 621273 30329 14902946 2704477 10.20 12.58
18808.48/2354.29 c N dy 347 67637 12446 1746322 621278 18947 14902944 1662156 10.23 10.85
18819.66/2355.68 c S st 355 69381 12446 1746322 621283 20684 14902944 1769779 10.23 no data
18838.84/2358.06 c S st 355 69886 12445 1746322 621286 21186 14902944 1787016 10.23 no data
18839.64/2358.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.13
18962.71/2373.50 c Flit: 13 Blit: 2 bXBeca: 0 bXProp: 1 Bins: 33051 BRemL: 186359 BRemN: 32 P: 200.0M T: 15.18
18973.17/2374.82 c Replacing 20 vars Replaced 72578 lits Time: 1.30 s
18981.10/2375.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
18981.10/2375.89 c bin-w-bin subsume rem 4053 bins time: 0.06 s
19128.95/2394.35 c subs with bin: 56673 lits-rem: 36616 v-fix: 0 time: 18.31 s
19129.75/2394.43 c Subs w/ non-existent bins: 21 l-rem: 1 v-fix: 0 done: 578 time: 0.08 s
19132.94/2394.81 c Removed useless bin: 30 fixed: 0 props: 0.91M time: 0.03 s
22641.32/2833.83 c lits-rem: 0 cl-subs: 87583 v-elim: 176 v-fix: 0 time: 435.42 s
22650.90/2835.08 c subs with bin: 340 lits-rem: 4833 v-fix: 0 time: 1.20 s
25433.70/3183.22 c lits-rem: 11 cl-subs: 991 v-elim: 0 v-fix: 0 time: 347.25 s
25441.70/3184.22 c vivif2 -- cl tried 911266 cl shrink 7757 lits rem 8917 time: 0.99
25442.49/3184.30 c vivif2 -- cl tried 16919 cl shrink 2636 lits rem 10212 time: 0.08
25445.69/3184.78 c asymm cl-useful: 40/1963/1599416 lits-rem:120 time: 0.49
25446.49/3184.88 c calculated reachability. Time: 0.02
25446.49/3184.88 c N dy 355 69886 12234 1599376 440183 16881 13613252 1187713 10.23 no data
25447.28/3184.93 c Finding binary XORs T: 0.05 s found: 0
25471.25/3187.99 c N dy 371 74475 12230 1599376 440192 21427 13613252 1629949 10.19 10.92
25484.04/3189.50 c Finding binary XORs T: 0.05 s found: 14
25501.64/3191.76 c N dy 401 79545 11977 1590167 495225 25791 13518342 2094222 10.21 10.76
25530.40/3195.30 c N dy 427 84670 11977 1590167 495515 30876 13518341 2410414 10.21 10.76
25547.99/3197.58 c F st 450 87500 11976 1590167 495517 33679 13518339 2598252 10.29 no data
25553.59/3198.21 c Replacing 14 vars Replaced 32510 lits Time: 0.53 s
25573.57/3200.76 c N st 455 90798 11962 1590158 495428 19892 13518270 1464117 10.29 no data
25601.61/3204.28 c N dy 482 96731 11962 1590158 495444 25773 13518270 1919703 10.37 10.93
25629.51/3207.78 c N dy 522 102912 11960 1590158 495461 31910 13518270 2302102 10.44 11.61
25639.11/3208.96 c S st 532 104833 11960 1590158 495462 33824 13518270 2457669 10.43 no data
25651.10/3210.49 c S st 532 105335 11960 1590158 495462 34324 13518266 2475930 10.43 no data
25651.90/3210.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
25719.82/3219.05 c Flit: 2 Blit: 4 bXBeca: 0 bXProp: 3 Bins: 5396 BRemL: 145100 BRemN: 2 P: 200.0M T: 8.47
25723.02/3219.49 c Replacing 3 vars Replaced 17778 lits Time: 0.44 s
25728.62/3220.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
25729.42/3220.24 c bin-w-bin subsume rem 4083 bins time: 0.05 s
25878.06/3238.83 c subs with bin: 61233 lits-rem: 17527 v-fix: 0 time: 18.59 s
26037.90/3258.83 c Subs w/ non-existent bins: 37614 l-rem: 22 v-fix: 0 done: 466 time: 20.00 s
26041.96/3259.32 c Removed useless bin: 9 fixed: 0 props: 0.99M time: 0.03 s
28011.15/3505.73 c lits-rem: 0 cl-subs: 48401 v-elim: 98 v-fix: 0 time: 246.39 s
28023.07/3507.29 c subs with bin: 439 lits-rem: 3491 v-fix: 0 time: 1.49 s
29557.57/3699.30 c lits-rem: 36 cl-subs: 850 v-elim: 0 v-fix: 0 time: 191.53 s
29578.28/3701.86 c vivif2 -- cl tried 1441452 cl shrink 46380 lits rem 65317 time: 2.56
29579.88/3702.06 c vivif2 -- cl tried 27901 cl shrink 7619 lits rem 66565 time: 0.19
29583.09/3702.47 c asymm cl-useful: 5/1951/1441364 lits-rem:15 time: 0.41
29583.94/3702.56 c calculated reachability. Time: 0.02
29583.94/3702.56 c N dy 532 105335 11853 1441359 338504 27824 12194836 1612995 10.43 no data
29584.75/3702.61 c Finding binary XORs T: 0.05 s found: 0
29592.73/3703.67 c Finding binary XORs T: 0.05 s found: 9
29613.46/3706.24 c N dy 557 112204 11756 1435226 370680 34514 12145650 2243265 10.37 10.98
29639.01/3709.46 c N dy 589 119866 11755 1435226 370820 24378 12145649 1338075 10.34 10.90
29663.85/3712.59 c N dy 618 127612 11755 1435226 370842 32070 12145649 1895211 10.27 10.83
29697.37/3716.70 c N dy 654 136084 11755 1435226 370872 40495 12145649 2530654 10.25 10.96
29727.73/3720.56 c N dy 682 144940 11754 1435226 370907 27971 12145648 1399866 10.19 10.88
29762.10/3724.80 c N dy 735 154367 11752 1435226 370925 37347 12145645 2171656 10.20 10.77
29776.50/3726.70 c S st 757 158004 11752 1435226 370939 40969 12145645 2484786 10.21 no data
29784.49/3727.64 c S st 757 158505 11752 1435226 370942 41467 12145645 2501325 10.21 no data
29785.29/3727.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
29838.90/3734.49 c Flit: 0 Blit: 2 bXBeca: 0 bXProp: 0 Bins: 19760 BRemL: 45202 BRemN: 8 P: 200.0M T: 6.77
29840.44/3734.67 c Replacing 9 vars Replaced 4203 lits Time: 0.18 s
29846.03/3735.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
29846.03/3735.34 c bin-w-bin subsume rem 2475 bins time: 0.04 s
29926.81/3745.48 c subs with bin: 26494 lits-rem: 68 v-fix: 0 time: 10.14 s
29956.32/3749.11 c Subs w/ non-existent bins: 10917 l-rem: 0 v-fix: 0 done: 436 time: 3.63 s
29956.32/3749.13 c Removed useless bin: 8 fixed: 0 props: 0.88M time: 0.02 s
31197.47/3904.42 c lits-rem: 0 cl-subs: 27382 v-elim: 250 v-fix: 0 time: 155.29 s
31211.12/3906.12 c subs with bin: 5 lits-rem: 473 v-fix: 0 time: 1.61 s
33077.16/4139.60 c lits-rem: 115 cl-subs: 866 v-elim: 0 v-fix: 0 time: 232.98 s
33093.95/4141.78 c vivif2 -- cl tried 1370710 cl shrink 9583 lits rem 10308 time: 2.18
33096.35/4142.01 c vivif2 -- cl tried 31839 cl shrink 7276 lits rem 80652 time: 0.23
33099.55/4142.40 c asymm cl-useful: 139/2487/1370603 lits-rem:417 time: 0.39
33099.55/4142.48 c calculated reachability. Time: 0.02
33099.55/4142.48 c N dy 757 158505 11491 1370464 316201 31776 11562610 1762428 10.21 no data
33100.40/4142.54 c Finding binary XORs T: 0.06 s found: 0
33125.92/4145.71 c Finding binary XORs T: 0.05 s found: 7
33152.30/4149.10 c N dy 801 168690 11414 1369426 347303 21973 11547236 1095768 10.16 10.76
33183.46/4152.99 c Finding binary XORs T: 0.05 s found: 1
33201.04/4155.19 c N dy 847 180142 11413 1369423 344181 33360 11547195 1894557 10.15 10.74
33254.59/4161.89 c N dy 911 191667 11409 1369423 344221 44806 11547192 2650103 10.17 11.33
33313.73/4169.22 c N dy 979 203914 11408 1369423 344269 34454 11547184 1622094 10.20 10.76
33376.08/4177.00 c N dy 1060 216970 11404 1369423 344321 47441 11547181 2380980 10.23 11.12
33441.61/4185.25 c N dy 1142 230872 11404 1369423 344357 36110 11547178 1504701 10.26 10.80
33475.19/4189.49 c S st 1172 237758 11404 1369423 344374 42950 11547178 1914576 10.24 9.24
33485.58/4190.70 c S st 1172 238259 11404 1369423 344376 43449 11547178 1932892 10.24 no data
33485.58/4190.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08
33563.09/4200.43 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 11 Bins: 30199 BRemL: 130751 BRemN: 0 P: 200.0M T: 9.65
33579.88/4202.56 c Replacing 19 vars Replaced 92916 lits Time: 2.13 s
33585.47/4203.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
33585.47/4203.24 c bin-w-bin subsume rem 2424 bins time: 0.03 s
33735.71/4222.03 c subs with bin: 43185 lits-rem: 7473 v-fix: 0 time: 18.79 s
33842.82/4235.49 c Subs w/ non-existent bins: 30916 l-rem: 0 v-fix: 0 done: 118 time: 13.46 s
33843.62/4235.54 c Removed useless bin: 18 fixed: 0 props: 0.86M time: 0.03 s
35137.48/4397.48 c lits-rem: 0 cl-subs: 6414 v-elim: 96 v-fix: 0 time: 161.94 s
35151.06/4399.16 c subs with bin: 223 lits-rem: 3192 v-fix: 0 time: 1.60 s
36140.47/4522.91 c lits-rem: 8 cl-subs: 1355 v-elim: 0 v-fix: 0 time: 123.31 s
36159.71/4525.36 c vivif2 -- cl tried 1288332 cl shrink 34608 lits rem 35155 time: 2.45
36161.25/4525.58 c vivif2 -- cl tried 38143 cl shrink 7963 lits rem 64205 time: 0.21
36164.44/4525.94 c asymm cl-useful: 0/839/1288289 lits-rem:0 time: 0.36
36165.24/4526.02 c calculated reachability. Time: 0.02
36165.24/4526.02 c N dy 1172 238259 11288 1288289 229836 38069 10818141 1330650 10.24 no data
36165.24/4526.08 c Finding binary XORs T: 0.06 s found: 2
36181.24/4528.03 c Finding binary XORs T: 0.06 s found: 8
36225.19/4533.51 c Finding binary XORs T: 0.05 s found: 0
36228.39/4533.96 c N dy 1244 253547 11241 1279131 269997 28327 10752725 979563 10.23 10.81
36281.14/4540.57 c N dy 1339 269743 11237 1279131 270059 44449 10752722 2036723 10.27 18.03
36342.68/4548.22 c N dy 1447 287238 11236 1279131 270101 34571 10752721 1198795 10.32 10.92
36405.02/4556.00 c N dy 1545 305579 11234 1279131 270139 52817 10752720 2274067 10.36 10.96
36407.41/4556.36 c F st 1551 306250 11234 1279131 270139 53478 10752719 2302180 10.36 no data
36409.02/4556.54 c Replacing 10 vars Replaced 5356 lits Time: 0.10 s
36476.22/4564.91 c N dy 1632 325089 11221 1279118 268663 43154 10752551 1572711 10.39 10.99
36554.48/4574.80 c N dy 1727 345143 11221 1279118 268709 32657 10752548 885465 10.38 17.14
36598.44/4580.24 c S st 1803 357388 11218 1279118 268731 44837 10752546 1636034 10.41 no data
36605.65/4581.19 c S st 1803 357890 11218 1279118 268733 45335 10752546 1650936 10.41 no data
36606.45/4581.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
36666.39/4588.72 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 10960 BRemL: 118107 BRemN: 102 P: 200.2M T: 7.46
36667.19/4588.87 c Replacing 2 vars Replaced 1194 lits Time: 0.15 s
36671.98/4589.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
36671.98/4589.46 c bin-w-bin subsume rem 2400 bins time: 0.02 s
36738.32/4597.74 c subs with bin: 46303 lits-rem: 2901 v-fix: 0 time: 8.28 s
36741.51/4598.19 c Subs w/ non-existent bins: 2604 l-rem: 0 v-fix: 0 done: 482 time: 0.44 s
36742.31/4598.21 c Removed useless bin: 16 fixed: 0 props: 1.04M time: 0.02 s
37861.98/4738.39 c lits-rem: 0 cl-subs: 64830 v-elim: 59 v-fix: 0 time: 140.17 s
37875.57/4740.07 c subs with bin: 416 lits-rem: 3824 v-fix: 0 time: 1.61 s
39267.05/4914.15 c lits-rem: 5 cl-subs: 1227 v-elim: 0 v-fix: 0 time: 173.71 s
39281.51/4915.96 c vivif2 -- cl tried 1165107 cl shrink 6116 lits rem 6566 time: 1.81
39283.04/4916.19 c vivif2 -- cl tried 41938 cl shrink 6517 lits rem 73337 time: 0.23
39287.84/4916.77 c asymm cl-useful: 54/982/1165080 lits-rem:162 time: 0.58
39288.64/4916.84 c calculated reachability. Time: 0.02
39288.64/4916.84 c N dy 1803 357890 11156 1165026 150688 41903 9836483 1164359 10.41 no data
39288.64/4916.90 c Finding binary XORs T: 0.05 s found: 0
39303.82/4918.73 c Finding binary XORs T: 0.05 s found: 5
39395.00/4930.16 c N dy 1907 377898 11032 1164253 159476 30669 9818017 542821 10.42 10.98
39395.80/4930.29 c Finding binary XORs T: 0.05 s found: 0
39486.03/4941.52 c N dy 2008 397971 11026 1164250 158979 50610 9817965 1750646 10.43 11.59
39578.72/4953.14 c N dy 2089 418011 11013 1164250 159044 38671 9817962 1016657 10.40 11.13
39645.06/4961.42 c Finding binary XORs T: 0.05 s found: 1
39670.63/4964.65 c N dy 2186 438826 11007 1164221 163280 59243 9816100 2269042 10.39 11.09
39764.19/4976.35 c N dy 2297 459217 10993 1164221 164060 46226 9816088 1331218 10.39 11.04
39854.45/4987.66 c N dy 2387 479668 10975 1164221 164096 66557 9816085 2319198 10.38 10.93
39940.84/4998.41 c N dy 2480 499783 10970 1164221 164158 52049 9816081 1615033 10.38 11.10
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3321226-1304332711/watcher-3321226-1304332711 -o /tmp/evaluation-result-3321226-1304332711/solver-3321226-1304332711 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321226-1304332711.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.45 2.98 2/233 7688
/proc/meminfo: memFree=24710848/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=92188 CPUtime=0.01 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) R 7686 7688 7662 0 -1 4202496 413 0 0 0 1 0 0 0 22 0 8 0 544870191 94400512 352 33554432000 4194304 4627427 140735578463904 18446744073709551615 46948751144882 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7688/statm: 23047 352 299 106 0 18018 0
[pid=7688/tid=7689] ppid=7686 vsize=92188 CPUtime=0 cores=0-7
/proc/7688/task/7689/stat : 7689 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 544870191 94400512 352 33554432000 4194304 4627427 140735578463904 18446744073709551615 46948751144886 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7690] ppid=7686 vsize=92188 CPUtime=0 cores=0-7
/proc/7688/task/7690/stat : 7690 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544870191 94400512 352 33554432000 4194304 4627427 140735578463904 18446744073709551615 46948751144882 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=92188 CPUtime=0 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544870191 94400512 352 33554432000 4194304 4627427 140735578463904 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=92188 CPUtime=0 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544870191 94400512 352 33554432000 4194304 4627427 140735578463904 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=92188 CPUtime=0 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544870191 94400512 352 33554432000 4194304 4627427 140735578463904 18446744073709551615 46948751144882 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=92188 CPUtime=0 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544870191 94400512 352 33554432000 4194304 4627427 140735578463904 18446744073709551615 46948751144872 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=92188 CPUtime=0 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544870191 94400512 352 33554432000 4194304 4627427 140735578463904 18446744073709551615 46948751144882 0 0 4096 2 0 0 0 -1 6 0 0 0
[startup+0.05999 s]
/proc/loadavg: 0.00 0.45 2.98 2/233 7688
/proc/meminfo: memFree=24710848/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=490180 CPUtime=0.35 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) D 7686 7688 7662 0 -1 4202496 8250 0 0 0 29 6 0 0 18 0 8 0 544870191 501944320 8123 33554432000 4194304 4627427 140735578463904 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7688/statm: 122599 8494 339 106 0 117570 0
[pid=7688/tid=7689] ppid=7686 vsize=490688 CPUtime=0.04 cores=0-7
/proc/7688/task/7689/stat : 7689 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 991 0 0 0 4 0 0 0 18 0 8 0 544870191 502464512 8535 33554432000 4194304 4627427 140735578463904 18446744073709551615 4531708 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7690] ppid=7686 vsize=490760 CPUtime=0.04 cores=0-7
/proc/7688/task/7690/stat : 7690 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 1050 0 0 0 4 0 0 0 18 0 8 0 544870191 502538240 8568 33554432000 4194304 4627427 140735578463904 18446744073709551615 4360584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=490760 CPUtime=0.03 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 1094 0 0 0 3 0 0 0 18 0 8 0 544870191 502538240 8568 33554432000 4194304 4627427 140735578463904 18446744073709551615 4530656 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=490832 CPUtime=0.04 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) D 7686 7688 7662 0 -1 4202560 1006 0 0 0 3 1 0 0 18 0 8 0 544870191 502611968 8592 33554432000 4194304 4627427 140735578463904 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=491236 CPUtime=0.05 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) D 7686 7688 7662 0 -1 4202560 1407 0 0 0 5 0 0 0 18 0 8 0 544870191 503025664 11678 33554432000 4194304 4627427 140735578463904 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=492052 CPUtime=0.05 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) D 7686 7688 7662 0 -1 4202560 1523 0 0 0 4 1 0 0 18 0 8 0 544870191 503861248 12087 33554432000 4194304 4627427 140735578463904 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=492432 CPUtime=0.05 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) D 7686 7688 7662 0 -1 4202560 1438 0 0 0 5 0 0 0 18 0 8 0 544870191 504250368 12142 33554432000 4194304 4627427 140735578463904 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 490180
[startup+0.146606 s]
/proc/loadavg: 0.00 0.45 2.98 2/233 7688
/proc/meminfo: memFree=24710848/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=761932 CPUtime=1.04 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) R 7686 7688 7662 0 -1 4202496 25493 0 0 0 92 12 0 0 18 0 8 0 544870191 780218368 25347 33554432000 4194304 4627427 140735578463904 18446744073709551615 251813936907 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7688/statm: 190483 25816 341 106 0 185454 0
[pid=7688/tid=7689] ppid=7686 vsize=762100 CPUtime=0.14 cores=0-7
/proc/7688/task/7689/stat : 7689 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 3244 0 0 0 13 1 0 0 18 0 8 0 544870191 780390400 26426 33554432000 4194304 4627427 140735578463904 18446744073709551615 4257728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7690] ppid=7686 vsize=762100 CPUtime=0.13 cores=0-7
/proc/7688/task/7690/stat : 7690 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 3338 0 0 0 12 1 0 0 18 0 8 0 544870191 780390400 26650 33554432000 4194304 4627427 140735578463904 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=762232 CPUtime=0.13 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 3363 0 0 0 13 0 0 0 18 0 8 0 544870191 780525568 27510 33554432000 4194304 4627427 140735578463904 18446744073709551615 251813899552 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=762232 CPUtime=0.13 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 3499 0 0 0 12 1 0 0 18 0 8 0 544870191 780525568 27942 33554432000 4194304 4627427 140735578463904 18446744073709551615 251813937360 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=762408 CPUtime=0.14 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) S 7686 7688 7662 0 -1 4202560 3509 0 0 0 13 1 0 0 18 0 8 0 544870191 780705792 28266 33554432000 4194304 4627427 140735578463904 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=762408 CPUtime=0.13 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 3552 0 0 0 11 2 0 0 18 0 8 0 544870191 780705792 28508 33554432000 4194304 4627427 140735578463904 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=762408 CPUtime=0.14 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 3551 0 0 0 13 1 0 0 18 0 8 0 544870191 780705792 29266 33554432000 4194304 4627427 140735578463904 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 761932
[startup+0.302126 s]
/proc/loadavg: 0.00 0.45 2.98 2/233 7688
/proc/meminfo: memFree=24710848/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=940340 CPUtime=2.09 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) R 7686 7688 7662 0 -1 4202496 66326 0 0 0 178 31 0 0 18 0 8 0 544870191 962908160 64326 33554432000 4194304 4627427 140735578463904 18446744073709551615 4531745 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7688/statm: 235085 64344 341 106 0 230056 0
[pid=7688/tid=7689] ppid=7686 vsize=940340 CPUtime=0.25 cores=0-7
/proc/7688/task/7689/stat : 7689 (strangenight2-m) D 7686 7688 7662 0 -1 4202560 8251 0 0 0 22 3 0 0 17 0 8 0 544870191 962908160 64359 33554432000 4194304 4627427 140735578463904 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7690] ppid=7686 vsize=940340 CPUtime=0.25 cores=0-7
/proc/7688/task/7690/stat : 7690 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 8414 0 0 0 21 4 0 0 18 0 8 0 544870191 962908160 64373 33554432000 4194304 4627427 140735578463904 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=940340 CPUtime=0.26 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 8417 0 0 0 23 3 0 0 18 0 8 0 544870191 962908160 64657 33554432000 4194304 4627427 140735578463904 18446744073709551615 4303006 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=940340 CPUtime=0.26 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 8210 0 0 0 22 4 0 0 18 0 8 0 544870191 962908160 64657 33554432000 4194304 4627427 140735578463904 18446744073709551615 251814298026 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=940744 CPUtime=0.26 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) D 7686 7688 7662 0 -1 4202560 8299 0 0 0 23 3 0 0 17 0 8 0 544870191 963321856 64898 33554432000 4194304 4627427 140735578463904 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=941148 CPUtime=0.25 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) D 7686 7688 7662 0 -1 4202560 8289 0 0 0 21 4 0 0 18 0 8 0 544870191 963735552 65039 33554432000 4194304 4627427 140735578463904 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=941148 CPUtime=0.25 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) D 7686 7688 7662 0 -1 4202560 8295 0 0 0 22 3 0 0 17 0 8 0 544870191 963735552 65039 33554432000 4194304 4627427 140735578463904 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 940340
[startup+0.700882 s]
/proc/loadavg: 0.00 0.45 2.98 2/233 7688
/proc/meminfo: memFree=24710848/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=2121328 CPUtime=5 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) R 7686 7688 7662 0 -1 4202496 185600 0 0 0 440 60 0 0 18 0 8 0 544870191 2172239872 183542 33554432000 4194304 4627427 140735578463904 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7688/statm: 530332 183568 341 106 0 525303 0
[pid=7688/tid=7689] ppid=7686 vsize=2121328 CPUtime=0.62 cores=0-7
/proc/7688/task/7689/stat : 7689 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 23165 0 0 0 56 6 0 0 18 0 8 0 544870191 2172239872 183596 33554432000 4194304 4627427 140735578463904 18446744073709551615 4302991 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7690] ppid=7686 vsize=2121328 CPUtime=0.62 cores=0-7
/proc/7688/task/7690/stat : 7690 (strangenight2-m) S 7686 7688 7662 0 -1 4202560 23366 0 0 0 54 8 0 0 18 0 8 0 544870191 2172239872 183612 33554432000 4194304 4627427 140735578463904 18446744073709551615 251814345198 0 0 4096 2 18446604471158782144 0 0 -1 4 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=2121328 CPUtime=0.62 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 23318 0 0 0 54 8 0 0 18 0 8 0 544870191 2172239872 183630 33554432000 4194304 4627427 140735578463904 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=2121328 CPUtime=0.62 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 22957 0 0 0 54 8 0 0 18 0 8 0 544870191 2172239872 183644 33554432000 4194304 4627427 140735578463904 18446744073709551615 251813936907 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=2121328 CPUtime=0.62 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 23547 0 0 0 56 6 0 0 18 0 8 0 544870191 2172239872 183654 33554432000 4194304 4627427 140735578463904 18446744073709551615 4530613 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=2121328 CPUtime=0.62 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) S 7686 7688 7662 0 -1 4202560 23139 0 0 0 54 8 0 0 18 0 8 0 544870191 2172239872 183685 33554432000 4194304 4627427 140735578463904 18446744073709551615 251814345198 0 0 4096 2 18446604471158782144 0 0 -1 5 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=2121328 CPUtime=0.61 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 22947 0 0 0 55 6 0 0 18 0 8 0 544870191 2172239872 183708 33554432000 4194304 4627427 140735578463904 18446744073709551615 4530642 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5
Current children cumulated vsize (KiB) 2121328
[startup+1.50075 s]
/proc/loadavg: 0.64 0.58 3.01 9/241 7696
/proc/meminfo: memFree=23636324/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=2576200 CPUtime=11.19 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) R 7686 7688 7662 0 -1 4202496 353333 0 0 0 1020 99 0 0 18 0 8 0 544870191 2638028800 351274 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7688/statm: 644050 351275 365 106 0 639021 0
[pid=7688/tid=7689] ppid=7686 vsize=2576200 CPUtime=1.39 cores=0-7
/proc/7688/task/7689/stat : 7689 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 44357 0 0 0 129 10 0 0 19 0 8 0 544870191 2638028800 351275 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7690] ppid=7686 vsize=2576200 CPUtime=1.39 cores=0-7
/proc/7688/task/7690/stat : 7690 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 44224 0 0 0 127 12 0 0 19 0 8 0 544870191 2638028800 351275 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309344 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=2576200 CPUtime=1.39 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 43880 0 0 0 127 12 0 0 18 0 8 0 544870191 2638028800 351275 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=2576200 CPUtime=1.4 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 43977 0 0 0 127 13 0 0 18 0 8 0 544870191 2638028800 351275 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=2576200 CPUtime=1.38 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 44527 0 0 0 127 11 0 0 18 0 8 0 544870191 2638028800 351275 33554432000 4194304 4627427 140735578463904 18446744073709551615 4297761 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=2576200 CPUtime=1.39 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 43983 0 0 0 126 13 0 0 18 0 8 0 544870191 2638028800 351275 33554432000 4194304 4627427 140735578463904 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=2576200 CPUtime=1.39 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 44146 0 0 0 128 11 0 0 18 0 8 0 544870191 2638028800 351275 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.19
Current children cumulated vsize (KiB) 2576200
[startup+3.10049 s]
/proc/loadavg: 0.64 0.58 3.01 9/241 7696
/proc/meminfo: memFree=23213376/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=2593224 CPUtime=23.94 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) R 7686 7688 7662 0 -1 4202496 381741 0 0 0 2286 108 0 0 21 0 8 0 544870191 2655461376 379682 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7688/statm: 648306 379682 367 106 0 643277 0
[pid=7688/tid=7689] ppid=7686 vsize=2593224 CPUtime=2.98 cores=0-7
/proc/7688/task/7689/stat : 7689 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 48224 0 0 0 285 13 0 0 22 0 8 0 544870191 2655461376 379682 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7690] ppid=7686 vsize=2593224 CPUtime=2.99 cores=0-7
/proc/7688/task/7690/stat : 7690 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 47786 0 0 0 286 13 0 0 22 0 8 0 544870191 2655461376 379682 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=2593224 CPUtime=2.98 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 47096 0 0 0 285 13 0 0 21 0 8 0 544870191 2655461376 379682 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=2593224 CPUtime=3 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 47263 0 0 0 286 14 0 0 20 0 8 0 544870191 2655461376 379682 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=2593224 CPUtime=2.98 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 48077 0 0 0 286 12 0 0 20 0 8 0 544870191 2655461376 379682 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=2593224 CPUtime=2.99 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 47343 0 0 0 284 15 0 0 21 0 8 0 544870191 2655461376 379682 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309327 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=2593224 CPUtime=2.99 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 48339 0 0 0 287 12 0 0 20 0 8 0 544870191 2655461376 379682 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.94
Current children cumulated vsize (KiB) 2593224
[startup+6.30095 s]
/proc/loadavg: 0.64 0.58 3.01 9/241 7696
/proc/meminfo: memFree=23107000/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=2743400 CPUtime=49.51 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) R 7686 7688 7662 0 -1 4202496 413989 0 0 0 4833 118 0 0 25 0 8 0 544870191 2809241600 411930 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309217 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/7688/statm: 685850 411930 368 106 0 680821 0
[pid=7688/tid=7689] ppid=7686 vsize=2743400 CPUtime=6.18 cores=0-7
/proc/7688/task/7689/stat : 7689 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 52266 0 0 0 602 16 0 0 25 0 8 0 544870191 2809241600 411930 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7690] ppid=7686 vsize=2743400 CPUtime=6.19 cores=0-7
/proc/7688/task/7690/stat : 7690 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 52310 0 0 0 605 14 0 0 25 0 8 0 544870191 2809241600 411930 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=2743400 CPUtime=6.17 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 50746 0 0 0 603 14 0 0 25 0 8 0 544870191 2809241600 411930 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=2743400 CPUtime=6.19 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 51215 0 0 0 604 15 0 0 25 0 8 0 544870191 2809241600 411930 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=2743400 CPUtime=6.15 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 52131 0 0 0 602 13 0 0 25 0 8 0 544870191 2809241600 411930 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=2743400 CPUtime=6.19 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 51226 0 0 0 603 16 0 0 25 0 8 0 544870191 2809241600 411930 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=2743400 CPUtime=6.19 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 52603 0 0 0 606 13 0 0 25 0 8 0 544870191 2809241600 411930 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=7688/tid=7691] ppid=7686 vsize=7359096 CPUtime=4661.79 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 735203 0 0 0 465895 284 0 0 25 0 8 0 544870191 7535714304 1459765 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=7359096 CPUtime=4660.8 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 591394 0 0 0 465898 182 0 0 25 0 8 0 544870191 7535714304 1459765 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467719 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=7359096 CPUtime=4661.63 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 671137 0 0 0 465900 263 0 0 25 0 8 0 544870191 7535714304 1459765 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467838 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=7359096 CPUtime=4646.7 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 624142 0 0 0 464407 263 0 0 25 0 8 0 544870191 7535714304 1459765 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=7359096 CPUtime=4661.92 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 652754 0 0 0 465975 217 0 0 25 0 8 0 544870191 7535714304 1459765 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37254.6
Current children cumulated vsize (KiB) 7359096
[startup+4722.31 s]
/proc/loadavg: 8.03 8.03 7.97 9/241 7834
/proc/meminfo: memFree=18809640/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=7883828 CPUtime=37734.2 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) R 7686 7688 7662 0 -1 4202496 4792937 0 0 0 3771761 1656 0 0 25 0 8 0 544870191 8073039872 1472998 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7688/statm: 1970957 1472998 388 106 0 1965928 0
[pid=7688/tid=7689] ppid=7686 vsize=7883828 CPUtime=4721.77 cores=0-7
/proc/7688/task/7689/stat : 7689 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 545872 0 0 0 472033 144 0 0 25 0 8 0 544870191 8073039872 1472998 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7688/tid=7690] ppid=7686 vsize=7883828 CPUtime=4721.52 cores=0-7
/proc/7688/task/7690/stat : 7690 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 544188 0 0 0 471984 168 0 0 25 0 8 0 544870191 8073039872 1472998 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=7883828 CPUtime=4721.79 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 739389 0 0 0 471891 288 0 0 25 0 8 0 544870191 8073039872 1472998 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=7883828 CPUtime=4720.8 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 593969 0 0 0 471896 184 0 0 25 0 8 0 544870191 8073039872 1472998 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=7883828 CPUtime=4721.64 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 671137 0 0 0 471901 263 0 0 25 0 8 0 544870191 8073039872 1472998 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=7883828 CPUtime=4706.24 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 644229 0 0 0 470353 271 0 0 25 0 8 0 544870191 8073039872 1472998 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=7883828 CPUtime=4721.93 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 657582 0 0 0 471972 221 0 0 25 0 8 0 544870191 8073039872 1472998 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37734.2
Current children cumulated vsize (KiB) 7883828
[startup+4782.3 s]
/proc/loadavg: 8.01 8.02 7.97 9/241 7835
/proc/meminfo: memFree=18829436/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=7420240 CPUtime=38213.6 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) R 7686 7688 7662 0 -1 4202496 4891606 0 0 0 3819678 1686 0 0 25 0 8 0 544870191 7598325760 1468429 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467832 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7688/statm: 1855060 1468429 388 106 0 1850031 0
[pid=7688/tid=7689] ppid=7686 vsize=7420240 CPUtime=4781.75 cores=0-7
/proc/7688/task/7689/stat : 7689 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 566124 0 0 0 478024 151 0 0 25 0 8 0 544870191 7598325760 1468429 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7688/tid=7690] ppid=7686 vsize=7420240 CPUtime=4781.51 cores=0-7
/proc/7688/task/7690/stat : 7690 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 544188 0 0 0 477983 168 0 0 25 0 8 0 544870191 7598325760 1468429 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=7420240 CPUtime=4781.78 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 760170 0 0 0 477885 293 0 0 25 0 8 0 544870191 7598325760 1468429 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=7420240 CPUtime=4780.78 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 614363 0 0 0 477888 190 0 0 25 0 8 0 544870191 7598325760 1468429 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=7420240 CPUtime=4781.62 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 677204 0 0 0 477898 264 0 0 25 0 8 0 544870191 7598325760 1468429 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=7420240 CPUtime=4765.79 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 646302 0 0 0 476307 272 0 0 25 0 8 0 544870191 7598325760 1468429 33554432000 4194304 4627427 140735578463904 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=7420240 CPUtime=4781.91 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 677890 0 0 0 477962 229 0 0 25 0 8 0 544870191 7598325760 1468429 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38213.6
Current children cumulated vsize (KiB) 7420240
[startup+4842.3 s]
/proc/loadavg: 8.00 8.02 7.97 9/241 7837
/proc/meminfo: memFree=18769896/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=7682860 CPUtime=38693.2 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) R 7686 7688 7662 0 -1 4202496 4930533 0 0 0 3867616 1702 0 0 25 0 8 0 544870191 7867248640 1482932 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7688/statm: 1920715 1482932 388 106 0 1915686 0
[pid=7688/tid=7689] ppid=7686 vsize=7682860 CPUtime=4841.75 cores=0-7
/proc/7688/task/7689/stat : 7689 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 586905 0 0 0 484018 157 0 0 25 0 8 0 544870191 7867248640 1482932 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7688/tid=7690] ppid=7686 vsize=7682860 CPUtime=4841.52 cores=0-7
/proc/7688/task/7690/stat : 7690 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 547480 0 0 0 483982 170 0 0 25 0 8 0 544870191 7867248640 1482932 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=7682860 CPUtime=4841.78 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 764659 0 0 0 483884 294 0 0 25 0 8 0 544870191 7867248640 1482932 33554432000 4194304 4627427 140735578463904 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=7682860 CPUtime=4840.77 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 619602 0 0 0 483884 193 0 0 25 0 8 0 544870191 7867248640 1482932 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=7682860 CPUtime=4841.62 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 677204 0 0 0 483898 264 0 0 25 0 8 0 544870191 7867248640 1482932 33554432000 4194304 4627427 140735578463904 18446744073709551615 4468024 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=7682860 CPUtime=4825.34 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 646302 0 0 0 482262 272 0 0 25 0 8 0 544870191 7867248640 1482932 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=7682860 CPUtime=4841.91 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 683016 0 0 0 483958 233 0 0 25 0 8 0 544870191 7867248640 1482932 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38693.2
Current children cumulated vsize (KiB) 7682860
[startup+4902.3 s]
/proc/loadavg: 8.00 8.01 7.97 9/241 7839
/proc/meminfo: memFree=18766780/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=7941424 CPUtime=39172.7 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) R 7686 7688 7662 0 -1 4202496 5000025 0 0 0 3915551 1723 0 0 25 0 8 0 544870191 8132018176 1483906 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7688/statm: 1985356 1483906 388 106 0 1980327 0
[pid=7688/tid=7689] ppid=7686 vsize=7941424 CPUtime=4901.74 cores=0-7
/proc/7688/task/7689/stat : 7689 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 591687 0 0 0 490014 160 0 0 25 0 8 0 544870191 8132018176 1483906 33554432000 4194304 4627427 140735578463904 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7688/tid=7690] ppid=7686 vsize=7941424 CPUtime=4901.51 cores=0-7
/proc/7688/task/7690/stat : 7690 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 569842 0 0 0 489976 175 0 0 25 0 8 0 544870191 8132018176 1483906 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=7941424 CPUtime=4901.78 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 764659 0 0 0 489884 294 0 0 25 0 8 0 544870191 8132018176 1483906 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=7941424 CPUtime=4900.76 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 640423 0 0 0 489877 199 0 0 25 0 8 0 544870191 8132018176 1483906 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=7941424 CPUtime=4901.62 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 677204 0 0 0 489898 264 0 0 25 0 8 0 544870191 8132018176 1483906 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=7941424 CPUtime=4884.9 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 646302 0 0 0 488218 272 0 0 25 0 8 0 544870191 8132018176 1483906 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=7941424 CPUtime=4901.91 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 704543 0 0 0 489953 238 0 0 25 0 8 0 544870191 8132018176 1483906 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39172.7
Current children cumulated vsize (KiB) 7941424
[startup+4962.3 s]
/proc/loadavg: 8.06 8.02 7.98 9/241 7849
/proc/meminfo: memFree=18782068/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=7346424 CPUtime=39652.3 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) R 7686 7688 7662 0 -1 4202496 5073295 0 0 0 3963475 1751 0 0 25 0 8 0 544870191 7522738176 1480053 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7688/statm: 1836606 1480053 388 106 0 1831577 0
[pid=7688/tid=7689] ppid=7686 vsize=7346424 CPUtime=4961.75 cores=0-7
/proc/7688/task/7689/stat : 7689 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 597467 0 0 0 496014 161 0 0 25 0 8 0 544870191 7522738176 1480053 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7688/tid=7690] ppid=7686 vsize=7346424 CPUtime=4961.51 cores=0-7
/proc/7688/task/7690/stat : 7690 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 590073 0 0 0 495970 181 0 0 25 0 8 0 544870191 7522738176 1480053 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=7346424 CPUtime=4961.77 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 764659 0 0 0 495883 294 0 0 25 0 8 0 544870191 7522738176 1480053 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=7346424 CPUtime=4960.75 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 645060 0 0 0 495873 202 0 0 25 0 8 0 544870191 7522738176 1480053 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=7346424 CPUtime=4961.63 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 679332 0 0 0 495897 266 0 0 25 0 8 0 544870191 7522738176 1480053 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=7346424 CPUtime=4944.44 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 646319 0 0 0 494172 272 0 0 25 0 8 0 544870191 7522738176 1480053 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=7346424 CPUtime=4961.9 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 725046 0 0 0 495944 246 0 0 25 0 8 0 544870191 7522738176 1480053 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39652.3
Current children cumulated vsize (KiB) 7346424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5005.9 s]
/proc/loadavg: 8.09 8.03 7.98 9/241 7850
/proc/meminfo: memFree=18811068/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=7080372 CPUtime=40000.8 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) R 7686 7688 7662 0 -1 4202496 5147602 0 0 0 3998301 1777 0 0 25 0 8 0 544870191 7250300928 1472649 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7688/statm: 1770093 1472649 388 106 0 1765064 0
[pid=7688/tid=7689] ppid=7686 vsize=7080372 CPUtime=5005.36 cores=0-7
/proc/7688/task/7689/stat : 7689 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 597467 0 0 0 500375 161 0 0 25 0 8 0 544870191 7250300928 1472649 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7688/tid=7690] ppid=7686 vsize=7080372 CPUtime=5005.12 cores=0-7
/proc/7688/task/7690/stat : 7690 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 593516 0 0 0 500327 185 0 0 25 0 8 0 544870191 7250300928 1472649 33554432000 4194304 4627427 140735578463904 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7688/tid=7691] ppid=7686 vsize=7080372 CPUtime=5005.38 cores=0-7
/proc/7688/task/7691/stat : 7691 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 780424 0 0 0 500241 297 0 0 25 0 8 0 544870191 7250300928 1472649 33554432000 4194304 4627427 140735578463904 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7688/tid=7692] ppid=7686 vsize=7080372 CPUtime=5004.35 cores=0-7
/proc/7688/task/7692/stat : 7692 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 663459 0 0 0 500228 207 0 0 25 0 8 0 544870191 7250300928 1472649 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7688/tid=7693] ppid=7686 vsize=7080372 CPUtime=5005.24 cores=0-7
/proc/7688/task/7693/stat : 7693 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 697504 0 0 0 500251 273 0 0 25 0 8 0 544870191 7250300928 1472649 33554432000 4194304 4627427 140735578463904 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=7080372 CPUtime=4987.73 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 646319 0 0 0 498501 272 0 0 25 0 8 0 544870191 7250300928 1472649 33554432000 4194304 4627427 140735578463904 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7688/tid=7695] ppid=7686 vsize=7080372 CPUtime=5005.5 cores=0-7
/proc/7688/task/7695/stat : 7695 (strangenight2-m) R 7686 7688 7662 0 -1 4202560 725733 0 0 0 500304 246 0 0 25 0 8 0 544870191 7250300928 1472649 33554432000 4194304 4627427 140735578463904 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 40000.8
Current children cumulated vsize (KiB) 7080372
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5006.2 s]
/proc/loadavg: 8.09 8.03 7.98 2/236 7851
/proc/meminfo: memFree=20777500/32950928 swapFree=67111448/67111528
[pid=7688] ppid=7686 vsize=0 CPUtime=40001.1 cores=0-7
/proc/7688/stat : 7688 (strangenight2-m) Z 7686 7688 7662 0 -1 4203548 5147604 0 0 0 3998306 1805 0 0 25 0 2 0 544870191 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7688/statm: 0 0 0 0 0 0 0
[pid=7688/tid=7694] ppid=7686 vsize=0 CPUtime=4988.03 cores=0-7
/proc/7688/task/7694/stat : 7694 (strangenight2-m) R 7686 7688 7662 0 -1 4203588 646319 0 0 0 498502 301 0 0 25 0 2 0 544870191 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40001.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.22
CPU time (s): 40001.1
CPU user time (s): 39983.1
CPU system time (s): 18.0753
CPU usage (%): 799.029
Max. virtual memory (cumulated for all children) (KiB): 8806152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39983.1
system time used= 18.0753
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5147604
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= 123985
involuntary context switches= 191742
runsolver used 8.98163 second user time and 30.9993 second system time
The end
Begin job on node126 at 2011-05-02 12:38:35
IDJOB=3321226
IDBENCH=83463
IDSOLVER=1709
FILE ID=node126/3321226-1304332711
RUNJOBID= node126-1304332708-7676
PBS_JOBID= 13177717
Free space on /tmp= 73564 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00X23.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321226-1304332711/watcher-3321226-1304332711 -o /tmp/evaluation-result-3321226-1304332711/solver-3321226-1304332711 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321226-1304332711.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 9cec6483d4ca03e8555377ba059b61ae
RANDOM SEED=1106578082
node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5333.56
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.80
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 24710756 kB
Buffers: 331420 kB
Cached: 2059044 kB
SwapCached: 76 kB
Active: 6007260 kB
Inactive: 1887320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 24710756 kB
SwapTotal: 67111528 kB
SwapFree: 67111448 kB
Dirty: 106620 kB
Writeback: 0 kB
AnonPages: 5504556 kB
Mapped: 20728 kB
Slab: 262700 kB
PageTables: 21120 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 27242960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73560 MiB
End job on node126 at 2011-05-02 14:02:03