0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 2.9.0
0.00/0.00 c compiled with gcc version 4.4.5
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3291637-1303788158.cnf'
0.00/0.00 c -- header says num vars: 435701
0.00/0.00 c -- header says num clauses: 1379987
0.99/1.08 c -- clauses added: 0 learnts, 1379987 normals, 0 xors
0.99/1.08 c -- vars added 435701
0.99/1.08 c Parsing time: 1.01 s
0.99/1.08 c N st 0 0 435701 724527 653851 0 3540036 0 no data no data --
1.79/1.86 c asymm cl-useful: 0/108/708994 lits-rem:0 time: 0.75
20.59/20.62 c Flit: 80 Blit: 3931 bXBeca: 0 bXProp: 54228 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 18.55
20.69/20.72 c Cleaning up after failed var search: 0.09 s
20.89/20.96 c Replacing 54343 vars Replaced 773366 lits Time: 0.23 s
21.59/21.60 c bin-w-bin subsume rem 63 bins time: 0.12 s
21.89/21.91 c subs with bin: 1389 lits-rem: 1915 v-fix: 0 time: 0.31 s
42.69/42.74 c Subs w/ non-existent bins: 2690 l-rem: 131 v-fix: 414 done: 23227 time: 20.83 s
43.19/43.22 c Removed useless bin: 37 fixed: 422 props: 20.05M time: 0.47 s
46.10/46.11 c lits-rem: 49 cl-subs: 3247 v-elim: 122633 v-fix: 1 time: 2.87 s
47.59/47.60 c Finding binary XORs T: 1.49 s found: 26706
47.79/47.80 c Replacing 26706 vars Replaced 315185 lits Time: 0.20 s
48.40/48.44 c Finding non-binary XORs: 0.49 s (found: 48264, avg size: 3.0)
48.40/48.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 16178 time: 0.14
48.59/48.60 c Replacing 8089 vars Replaced 81728 lits Time: 0.16 s
48.69/48.70 c calculated reachability. Time: 0.06
48.69/48.77 c Calc default polars - time: 0.07 s pos: 84752 undec: 230525 neg: 120424
48.69/48.77 c =========================================================================================
48.69/48.77 c types(t): F = full restart, N = normal restart
48.69/48.77 c types(t): S = simplification begin/end, E = solution found
48.69/48.77 c restart types(rt): st = static, dy = dynamic
48.69/48.77 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
48.69/48.77 c B st 0 0 210463 338615 291576 0 1926611 0 no data no data --
52.99/53.06 c Decided on static restart strategy
57.39/57.46 c N st 8 4912 210094 338615 292238 4185 1926611 120252 no data no data --
66.30/66.30 c N st 10 11295 209826 338615 292718 9973 1926611 306169 no data no data --
76.30/76.32 c N st 11 17038 209741 338615 292976 15383 1926611 519346 no data no data --
90.99/91.09 c F st 12 25000 209614 338615 293326 15697 1926610 489763 no data no data --
91.19/91.26 c Replacing 116 vars Replaced 2726 lits Time: 0.11 s
94.50/94.51 c N st 12 25000 209498 333885 292248 15221 1907604 478429 no data no data --
95.50/95.50 c Finding binary XORs T: 0.99 s found: 2746
95.60/95.64 c Replacing 2746 vars Replaced 57426 lits Time: 0.13 s
101.80/101.81 c Decided on static restart strategy
101.80/101.81 c N st 18 30000 206708 330813 287563 19987 1887681 761295 no data no data --
101.80/101.81 c S st 18 30000 206708 330813 287563 19987 1887681 761295 no data no data --
103.60/103.61 c S st 18 30503 206657 330813 287671 20321 1887681 768447 no data no data --
103.70/103.73 c x-sub: 8034 x-cut: 0 vfix: 0 v-elim: 6 locsubst: 8 time: 0.12
103.70/103.77 c Cache BProp: 945 Set: 593 BXProp: 38 T: 0.03
121.19/121.20 c Flit: 828 Blit: 7757 bXBeca: 0 bXProp: 4043 Bins: 30872 BRemL: 2 BRemN: 5 P: 200.0M T: 17.36
121.19/121.28 c Cleaning up after failed var search: 0.08 s
121.39/121.44 c Replacing 5351 vars Replaced 132181 lits Time: 0.14 s
121.69/121.73 c bin-w-bin subsume rem 2329 bins time: 0.06 s
122.19/122.26 c subs with bin: 10102 lits-rem: 31982 v-fix: 0 time: 0.53 s
123.10/123.15 c Subs w/ non-existent bins: 840 l-rem: 2444 v-fix: 81 done: 22245 time: 0.88 s
123.40/123.42 c Removed useless bin: 4631 fixed: 292 props: 20.00M time: 0.25 s
127.40/127.45 c lits-rem: 5335 cl-subs: 46115 v-elim: 80807 v-fix: 1 time: 4.00 s
128.00/128.07 c asymm cl-useful: 129/1014/251392 lits-rem:245 time: 0.61
128.30/128.32 c calculated reachability. Time: 0.22
128.30/128.33 c N st 18 30503 107124 251392 128392 4194 1405443 62783 no data no data --
129.80/129.81 c Finding binary XORs T: 1.47 s found: 1199
129.80/129.88 c Replacing 1247 vars Replaced 26694 lits Time: 0.08 s
136.60/136.66 c N st 20 37613 105742 251172 127346 10481 1401426 321716 no data no data --
140.90/140.92 c N st 21 44014 105192 251172 127625 16408 1401399 598235 no data no data --
142.20/142.23 c S st 22 45754 105180 251172 127695 18025 1401393 656374 no data no data --
143.10/143.19 c S st 22 46257 104833 251172 127771 18434 1401393 664049 no data no data --
143.20/143.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 36 locsubst: 44 time: 0.08
143.30/143.30 c Cache BProp: 1376 Set: 12 BXProp: 0 T: 0.03
163.19/163.29 c Flit: 1081 Blit: 3757 bXBeca: 0 bXProp: 2931 Bins: 23091 BRemL: 1 BRemN: 12 P: 200.0M T: 19.93
163.29/163.35 c Cleaning up after failed var search: 0.05 s
163.39/163.47 c Replacing 4002 vars Replaced 70382 lits Time: 0.10 s
163.59/163.66 c bin-w-bin subsume rem 3540 bins time: 0.03 s
164.00/164.03 c subs with bin: 16991 lits-rem: 56334 v-fix: 0 time: 0.37 s
164.10/164.16 c Subs w/ non-existent bins: 182 l-rem: 4974 v-fix: 11 done: 5608 time: 0.12 s
164.30/164.33 c Removed useless bin: 3196 fixed: 19 props: 20.00M time: 0.10 s
166.60/166.66 c lits-rem: 6055 cl-subs: 11057 v-elim: 3375 v-fix: 0 time: 2.34 s
168.00/168.05 c vivif2 -- cl tried 87606 cl shrink 5313 lits rem 5313 time: 1.37
168.10/168.18 c vivif2 -- cl tried 12393 cl shrink 3507 lits rem 35657 time: 0.13
168.60/168.69 c asymm cl-useful: 1833/3605/194828 lits-rem:11231 time: 0.51
168.90/168.99 c calculated reachability. Time: 0.28
168.90/168.99 c N st 22 46257 90222 194770 138358 12198 1114482 216885 no data no data --
171.00/171.01 c Finding binary XORs T: 2.02 s found: 2360
171.00/171.09 c Replacing 2369 vars Replaced 42128 lits Time: 0.08 s
182.70/182.76 c N st 23 60654 87647 194673 136842 16296 1109786 542607 no data no data --
189.90/189.96 c N st 24 69385 87630 194673 137056 24673 1109769 1083255 no data no data --
189.90/189.96 c S st 24 69385 87630 194673 137056 24673 1109769 1083255 no data no data --
190.80/190.87 c S st 24 69886 87611 194673 137105 25110 1109769 1094344 no data no data --
190.90/190.94 c x-sub: 9 x-cut: 0 vfix: 0 v-elim: 39 locsubst: 78 time: 0.07
190.90/190.98 c Cache BProp: 589 Set: 4 BXProp: 4 T: 0.04
204.80/204.81 c Flit: 541 Blit: 764 bXBeca: 0 bXProp: 710 Bins: 18779 BRemL: 11 BRemN: 8 P: 200.0M T: 13.79
204.80/204.85 c Cleaning up after failed var search: 0.04 s
204.90/204.94 c Replacing 1171 vars Replaced 35610 lits Time: 0.08 s
205.10/205.15 c bin-w-bin subsume rem 4185 bins time: 0.03 s
205.50/205.57 c subs with bin: 1651 lits-rem: 6169 v-fix: 0 time: 0.43 s
205.61/205.70 c Subs w/ non-existent bins: 105 l-rem: 3999 v-fix: 20 done: 5768 time: 0.12 s
205.80/205.84 c Removed useless bin: 1576 fixed: 59 props: 20.01M time: 0.14 s
208.30/208.33 c lits-rem: 2631 cl-subs: 4613 v-elim: 609 v-fix: 1 time: 2.49 s
209.80/209.84 c vivif2 -- cl tried 124415 cl shrink 6641 lits rem 6789 time: 1.51
210.11/210.20 c vivif2 -- cl tried 22640 cl shrink 8498 lits rem 388723 time: 0.35
210.60/210.68 c asymm cl-useful: 1124/2109/177021 lits-rem:3377 time: 0.49
211.00/211.03 c calculated reachability. Time: 0.33
211.00/211.04 c N st 24 69886 83710 176899 149742 22552 1027970 596157 no data no data --
213.41/213.47 c Finding binary XORs T: 2.43 s found: 1018
213.50/213.55 c Replacing 1063 vars Replaced 16488 lits Time: 0.07 s
228.00/228.10 c F st 25 87500 82605 176786 149627 26669 1026598 1127125 no data no data --
228.20/228.20 c Replacing 32 vars Replaced 414 lits Time: 0.07 s
228.40/228.42 c N st 25 87500 82573 176073 149609 26194 1024616 1108416 no data no data --
232.70/232.75 c Decided on static restart strategy
235.31/235.38 c N st 32 95538 82547 176073 149735 33995 1024609 1802054 no data no data --
244.10/244.17 c N st 34 104829 82537 176073 149832 26733 1024603 889670 no data no data --
244.10/244.17 c S st 34 104829 82537 176073 149832 26733 1024603 889670 no data no data --
244.99/245.01 c S st 34 105330 82531 176073 149860 27196 1024603 905846 no data no data --
244.99/245.08 c x-sub: 26 x-cut: 0 vfix: 0 v-elim: 46 locsubst: 44 time: 0.07
245.09/245.14 c Cache BProp: 593 Set: 12 BXProp: 0 T: 0.06
263.90/263.98 c Flit: 390 Blit: 470 bXBeca: 0 bXProp: 646 Bins: 8006 BRemL: 34 BRemN: 4 P: 200.0M T: 18.83
264.01/264.02 c Cleaning up after failed var search: 0.04 s
264.10/264.12 c Replacing 824 vars Replaced 29854 lits Time: 0.09 s
264.30/264.30 c bin-w-bin subsume rem 3149 bins time: 0.03 s
264.70/264.70 c subs with bin: 919 lits-rem: 2236 v-fix: 0 time: 0.41 s
264.90/264.92 c Subs w/ non-existent bins: 185 l-rem: 3596 v-fix: 60 done: 19297 time: 0.21 s
265.00/265.09 c Removed useless bin: 1058 fixed: 77 props: 20.00M time: 0.17 s
267.20/267.23 c lits-rem: 1054 cl-subs: 2482 v-elim: 464 v-fix: 2 time: 2.14 s
268.70/268.77 c vivif2 -- cl tried 169947 cl shrink 8529 lits rem 15658 time: 1.53
269.00/269.07 c vivif2 -- cl tried 25350 cl shrink 5573 lits rem 240485 time: 0.30
269.50/269.57 c asymm cl-useful: 661/2532/166210 lits-rem:1279 time: 0.50
269.90/269.97 c calculated reachability. Time: 0.39
269.90/269.98 c N st 34 105330 79793 166140 151738 25261 963857 610139 no data no data --
272.70/272.70 c Finding binary XORs T: 2.72 s found: 604
279.70/279.74 c N st 35 114928 79787 166140 151872 34494 963852 1526823 no data no data --
291.40/291.44 c N st 36 129326 79737 166140 152038 29803 963848 710237 no data no data --
305.60/305.68 c N st 37 150923 79733 166140 152218 50828 963844 3167516 no data no data --
310.70/310.79 c S st 38 157995 79729 166140 152286 37082 963843 1062131 no data no data --
311.50/311.55 c S st 38 158497 79729 166140 152327 37526 963843 1070284 no data no data --
311.60/311.62 c x-sub: 18 x-cut: 0 vfix: 0 v-elim: 23 locsubst: 44 time: 0.07
311.70/311.71 c Cache BProp: 361 Set: 5 BXProp: 0 T: 0.09
325.41/325.41 c Flit: 358 Blit: 271 bXBeca: 0 bXProp: 484 Bins: 6552 BRemL: 38 BRemN: 10 P: 200.2M T: 13.68
325.41/325.45 c Cleaning up after failed var search: 0.04 s
325.51/325.54 c Replacing 1462 vars Replaced 33245 lits Time: 0.08 s
325.71/325.72 c bin-w-bin subsume rem 1884 bins time: 0.03 s
326.11/326.12 c subs with bin: 662 lits-rem: 1677 v-fix: 0 time: 0.39 s
326.20/326.25 c Subs w/ non-existent bins: 27 l-rem: 2391 v-fix: 6 done: 4897 time: 0.13 s
326.40/326.41 c Removed useless bin: 603 fixed: 46 props: 17.88M time: 0.15 s
328.81/328.87 c lits-rem: 1230 cl-subs: 4190 v-elim: 492 v-fix: 0 time: 2.47 s
330.40/330.43 c vivif2 -- cl tried 160220 cl shrink 1676 lits rem 2573 time: 1.55
330.80/330.86 c vivif2 -- cl tried 34063 cl shrink 4695 lits rem 61280 time: 0.43
331.30/331.32 c asymm cl-useful: 338/1225/159149 lits-rem:555 time: 0.47
331.70/331.77 c calculated reachability. Time: 0.42
331.70/331.77 c N st 38 158497 76472 159111 151666 33998 926939 650861 no data no data --
334.80/334.83 c Finding binary XORs T: 3.05 s found: 199
366.91/366.94 c N st 39 207085 76471 159111 151862 59067 926938 3088550 no data no data --
393.00/393.02 c N st 40 237746 76448 159111 152067 65162 926934 3325604 no data no data --
393.00/393.02 c S st 40 237746 76448 159111 152067 65162 926934 3325604 no data no data --
393.81/393.85 c S st 40 238247 76447 159111 152097 40607 926934 791830 no data no data --
393.90/393.91 c x-sub: 20 x-cut: 0 vfix: 0 v-elim: 50 locsubst: 32 time: 0.07
394.00/394.03 c Cache BProp: 241 Set: 0 BXProp: 0 T: 0.11
408.60/408.60 c Flit: 321 Blit: 302 bXBeca: 0 bXProp: 609 Bins: 3475 BRemL: 27 BRemN: 2 P: 200.0M T: 14.55
408.60/408.64 c Cleaning up after failed var search: 0.03 s
408.70/408.74 c Replacing 1009 vars Replaced 40453 lits Time: 0.09 s
408.90/408.90 c bin-w-bin subsume rem 1598 bins time: 0.03 s
409.11/409.18 c subs with bin: 886 lits-rem: 13813 v-fix: 0 time: 0.28 s
409.41/409.44 c Subs w/ non-existent bins: 153 l-rem: 3047 v-fix: 30 done: 13007 time: 0.26 s
409.51/409.59 c Removed useless bin: 1118 fixed: 35 props: 15.71M time: 0.14 s
411.42/411.44 c lits-rem: 1155 cl-subs: 1906 v-elim: 184 v-fix: 2 time: 1.85 s
412.81/412.89 c vivif2 -- cl tried 154738 cl shrink 1760 lits rem 1974 time: 1.45
413.31/413.34 c vivif2 -- cl tried 38203 cl shrink 10293 lits rem 62292 time: 0.45
413.81/413.83 c asymm cl-useful: 473/1290/153537 lits-rem:930 time: 0.49
414.21/414.27 c calculated reachability. Time: 0.42
414.21/414.27 c N st 40 238247 74191 153448 147117 38089 893399 543290 no data no data --
417.61/417.61 c Finding binary XORs T: 3.34 s found: 145
480.61/480.70 c F st 41 306250 74181 153448 147629 51801 893390 1605108 no data no data --
480.81/480.84 c Replacing 196 vars Replaced 14261 lits Time: 0.11 s
480.91/480.97 c Replacing 7 vars Replaced 71 lits Time: 0.08 s
481.21/481.22 c N st 41 306250 73958 153062 147472 51650 891863 1603560 no data no data --
486.61/486.65 c Decided on static restart strategy
507.51/507.54 c N st 51 334558 73870 153062 147649 51285 891859 1351924 no data no data --
528.21/528.26 c N st 53 357371 73865 153062 147781 73612 891857 2828736 no data no data --
528.21/528.26 c S st 53 357371 73865 153062 147781 73612 891857 2828736 no data no data --
529.01/529.00 c S st 53 357876 73865 153062 147810 74078 891857 2843319 no data no data --
529.01/529.07 c x-sub: 15 x-cut: 0 vfix: 0 v-elim: 35 locsubst: 48 time: 0.07
529.12/529.18 c Cache BProp: 275 Set: 5 BXProp: 0 T: 0.12
542.51/542.58 c Flit: 300 Blit: 349 bXBeca: 0 bXProp: 563 Bins: 4883 BRemL: 43 BRemN: 4 P: 200.0M T: 13.39
542.61/542.63 c Cleaning up after failed var search: 0.05 s
542.71/542.75 c Replacing 764 vars Replaced 25700 lits Time: 0.10 s
543.01/543.07 c bin-w-bin subsume rem 1200 bins time: 0.03 s
544.71/544.75 c subs with bin: 2354 lits-rem: 12926 v-fix: 0 time: 1.68 s
544.81/544.84 c Subs w/ non-existent bins: 3 l-rem: 3506 v-fix: 0 done: 476 time: 0.09 s
545.01/545.08 c Removed useless bin: 614 fixed: 14 props: 15.45M time: 0.15 s
549.11/549.12 c lits-rem: 475 cl-subs: 3176 v-elim: 199 v-fix: 3 time: 4.04 s
550.51/550.50 c vivif2 -- cl tried 147387 cl shrink 1192 lits rem 1304 time: 1.38
552.01/552.02 c vivif2 -- cl tried 66427 cl shrink 21438 lits rem 834085 time: 1.51
552.52/552.53 c asymm cl-useful: 306/1049/146927 lits-rem:437 time: 0.51
553.02/553.00 c calculated reachability. Time: 0.45
553.02/553.01 c N st 53 357876 71402 146905 145158 66204 856183 1589767 no data no data --
556.52/556.53 c Finding binary XORs T: 3.49 s found: 143
588.21/588.23 c N st 54 390272 71328 146899 145492 69670 856154 3124039 no data no data --
635.01/635.07 c N st 55 438860 71229 146899 145751 57349 856152 1123787 no data no data --
707.22/707.27 c N st 56 511744 71168 146899 146118 64451 856143 1185344 no data no data --
730.02/730.06 c N st 57 536815 71132 146899 146231 89056 856142 2597015 no data no data --
730.02/730.06 c S st 57 536815 71132 146899 146231 89056 856142 2597015 no data no data --
730.82/730.85 c S st 57 537316 71132 146899 146255 89518 856142 2611706 no data no data --
730.91/730.92 c x-sub: 20 x-cut: 0 vfix: 0 v-elim: 5 locsubst: 48 time: 0.07
731.01/731.05 c Cache BProp: 337 Set: 39 BXProp: 1 T: 0.13
744.32/744.35 c Flit: 678 Blit: 486 bXBeca: 0 bXProp: 986 Bins: 3030 BRemL: 36 BRemN: 1 P: 200.1M T: 13.28
744.42/744.41 c Cleaning up after failed var search: 0.05 s
744.52/744.56 c Replacing 1836 vars Replaced 70429 lits Time: 0.14 s
744.82/744.87 c bin-w-bin subsume rem 976 bins time: 0.03 s
746.02/746.02 c subs with bin: 3331 lits-rem: 17277 v-fix: 0 time: 1.15 s
746.12/746.14 c Subs w/ non-existent bins: 193 l-rem: 4756 v-fix: 15 done: 2092 time: 0.12 s
746.22/746.28 c Removed useless bin: 558 fixed: 30 props: 10.06M time: 0.13 s
749.52/749.58 c lits-rem: 2990 cl-subs: 5952 v-elim: 550 v-fix: 1 time: 3.30 s
751.02/751.09 c vivif2 -- cl tried 137400 cl shrink 1807 lits rem 2152 time: 1.50
752.32/752.40 c vivif2 -- cl tried 70770 cl shrink 26786 lits rem 580182 time: 1.31
752.91/752.96 c asymm cl-useful: 331/795/136506 lits-rem:583 time: 0.56
753.52/753.51 c calculated reachability. Time: 0.53
753.52/753.51 c N st 57 537316 67014 136459 138407 70499 796911 1545153 no data no data --
757.61/757.61 c Finding binary XORs T: 4.09 s found: 219
972.63/972.61 c N st 58 701300 66952 136459 139227 97496 796898 5138871 no data no data --
1113.03/1113.03 c N st 59 805977 66858 136459 139492 83136 796894 3229412 no data no data --
1113.03/1113.03 c S st 59 805977 66858 136459 139492 83136 796894 3229412 no data no data --
1117.23/1117.27 c Finding binary XORs T: 4.20 s found: 41
1118.13/1118.15 c S st 59 806478 66857 135840 139068 82651 793859 3218433 no data no data --
1118.23/1118.23 c x-sub: 23 x-cut: 0 vfix: 0 v-elim: 23 locsubst: 640 time: 0.07
1118.33/1118.38 c Cache BProp: 326 Set: 104 BXProp: 0 T: 0.15
1131.73/1131.73 c Flit: 359 Blit: 934 bXBeca: 0 bXProp: 1683 Bins: 1520 BRemL: 84 BRemN: 1 P: 200.0M T: 13.35
1131.73/1131.79 c Cleaning up after failed var search: 0.06 s
1132.03/1132.01 c Replacing 2680 vars Replaced 100185 lits Time: 0.20 s
1132.33/1132.36 c bin-w-bin subsume rem 3106 bins time: 0.02 s
1134.34/1134.32 c subs with bin: 1896 lits-rem: 34397 v-fix: 0 time: 1.96 s
1134.63/1134.62 c Subs w/ non-existent bins: 290 l-rem: 1761 v-fix: 18 done: 17097 time: 0.29 s
1134.73/1134.76 c Removed useless bin: 816 fixed: 44 props: 9.50M time: 0.12 s
1143.13/1143.12 c lits-rem: 503 cl-subs: 6280 v-elim: 597 v-fix: 2 time: 8.36 s
1144.43/1144.47 c vivif2 -- cl tried 124323 cl shrink 4465 lits rem 5227 time: 1.34
1145.63/1145.65 c vivif2 -- cl tried 69893 cl shrink 25413 lits rem 962967 time: 1.17
1146.24/1146.21 c asymm cl-useful: 375/2259/123047 lits-rem:642 time: 0.57
1146.73/1146.74 c calculated reachability. Time: 0.51
1146.73/1146.74 c N st 59 806478 61793 122958 129664 69405 725017 1572385 no data no data --
1165.13/1165.15 c Finding binary XORs T: 4.39 s found: 261
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-3291637-1303788158/watcher-3291637-1303788158 -o /tmp/evaluation-result-3291637-1303788158/solver-3291637-1303788158 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3291637-1303788158.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.62 2.96 3.37 4/186 1325
/proc/meminfo: memFree=13406588/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=23796 CPUtime=0 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 1280 0 0 0 0 0 0 0 21 0 1 0 569046687 24367104 1154 33554432000 4194304 4650387 140735339764112 18446744073709551615 256415052833 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 5949 1167 326 112 0 914 0
[startup+0.013688 s]
/proc/loadavg: 1.62 2.96 3.37 4/186 1325
/proc/meminfo: memFree=13406588/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=34500 CPUtime=0 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 4065 0 0 0 0 0 0 0 21 0 1 0 569046687 35328000 3018 33554432000 4194304 4650387 140735339764112 18446744073709551615 4319131 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 8625 3028 326 112 0 3590 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 34500
[startup+0.100674 s]
/proc/loadavg: 1.62 2.96 3.37 4/186 1325
/proc/meminfo: memFree=13406588/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=123428 CPUtime=0.09 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 28395 0 0 0 6 3 0 0 21 0 1 0 569046687 126390272 19835 33554432000 4194304 4650387 140735339764112 18446744073709551615 4317213 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 30857 19844 326 112 0 25822 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 123428
[startup+0.300645 s]
/proc/loadavg: 1.62 2.96 3.37 4/186 1325
/proc/meminfo: memFree=13406588/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=159776 CPUtime=0.29 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 39397 0 0 0 25 4 0 0 22 0 1 0 569046687 163610624 30527 33554432000 4194304 4650387 140735339764112 18446744073709551615 4514684 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 39944 30528 330 112 0 34909 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 159776
[startup+0.700555 s]
/proc/loadavg: 1.62 2.96 3.37 4/186 1325
/proc/meminfo: memFree=13406588/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=214648 CPUtime=0.69 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 46523 0 0 0 64 5 0 0 23 0 1 0 569046687 219799552 37653 33554432000 4194304 4650387 140735339764112 18446744073709551615 4520290 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 53662 37653 330 112 0 48627 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 214648
[startup+1.50041 s]
/proc/loadavg: 1.62 2.96 3.37 5/187 1326
/proc/meminfo: memFree=13192852/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=234860 CPUtime=1.49 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 52630 0 0 0 143 6 0 0 25 0 1 0 569046687 240496640 43760 33554432000 4194304 4650387 140735339764112 18446744073709551615 4369009 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 58715 43760 347 112 0 53680 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 234860
[startup+3.10111 s]
/proc/loadavg: 1.62 2.96 3.37 5/187 1326
/proc/meminfo: memFree=13107376/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=278344 CPUtime=3.09 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 66470 0 0 0 302 7 0 0 25 0 1 0 569046687 285024256 55347 33554432000 4194304 4650387 140735339764112 18446744073709551615 4369208 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 69586 55347 353 112 0 64551 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 278344
[startup+6.3005 s]
/proc/loadavg: 1.81 2.98 3.37 5/190 1332
/proc/meminfo: memFree=12542096/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=383308 CPUtime=6.29 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 86677 0 0 0 619 10 0 0 25 0 1 0 569046687 392507392 75554 33554432000 4194304 4650387 140735339764112 18446744073709551615 4370297 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 95827 75554 353 112 0 90792 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 383308
[startup+12.7003 s]
/proc/loadavg: 1.99 3.00 3.37 5/190 1332
/proc/meminfo: memFree=12046096/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=590612 CPUtime=12.69 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 126836 0 0 0 1254 15 0 0 25 0 1 0 569046687 604786688 115713 33554432000 4194304 4650387 140735339764112 18446744073709551615 4369297 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 147653 115713 353 112 0 142618 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 590612
[startup+25.5009 s]
/proc/loadavg: 2.43 3.04 3.38 5/190 1332
/proc/meminfo: memFree=11266328/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=926268 CPUtime=25.49 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 195282 0 0 0 2525 24 0 0 25 0 1 0 569046687 948498432 184159 33554432000 4194304 4650387 140735339764112 18446744073709551615 4550398 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 231567 184159 366 112 0 226532 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 926268
[startup+51.101 s]
/proc/loadavg: 2.97 3.12 3.40 5/190 1333
/proc/meminfo: memFree=10847296/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=1005412 CPUtime=51.09 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 215459 0 0 0 5083 26 0 0 25 0 1 0 569046687 1029541888 204336 33554432000 4194304 4650387 140735339764112 18446744073709551615 4334001 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 251353 204336 379 112 0 246318 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1005412
[startup+102.307 s]
/proc/loadavg: 3.55 3.25 3.43 5/190 1334
/proc/meminfo: memFree=10320388/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=1033108 CPUtime=102.3 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 227261 0 0 0 10201 29 0 0 25 0 1 0 569046687 1057902592 208695 33554432000 4194304 4650387 140735339764112 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 258277 208695 382 112 0 253242 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1033108
[startup+162.301 s]
/proc/loadavg: 3.83 3.39 3.46 5/190 1336
/proc/meminfo: memFree=9743976/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=1573444 CPUtime=162.3 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 335734 0 0 0 16184 46 0 0 25 0 1 0 569046687 1611206656 317168 33554432000 4194304 4650387 140735339764112 18446744073709551615 4369297 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 393361 317168 382 112 0 388326 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1573444
[startup+222.301 s]
/proc/loadavg: 3.97 3.51 3.50 5/190 1338
/proc/meminfo: memFree=9169728/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=1652228 CPUtime=222.3 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 374995 0 0 0 22177 53 0 0 25 0 1 0 569046687 1691881472 348486 33554432000 4194304 4650387 140735339764112 18446744073709551615 4364138 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 413057 348486 382 112 0 408022 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1652228
[startup+282.301 s]
/proc/loadavg: 3.99 3.60 3.53 5/190 1339
/proc/meminfo: memFree=8827980/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=1740832 CPUtime=282.3 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 395816 0 0 0 28173 57 0 0 25 0 1 0 569046687 1782611968 369307 33554432000 4194304 4650387 140735339764112 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 435208 369307 382 112 0 430173 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1740832
[startup+342.301 s]
/proc/loadavg: 3.99 3.67 3.55 5/190 1341
/proc/meminfo: memFree=8701340/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=1812064 CPUtime=342.3 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 414102 0 0 0 34170 60 0 0 25 0 1 0 569046687 1855553536 387515 33554432000 4194304 4650387 140735339764112 18446744073709551615 4331965 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 453016 387515 382 112 0 447981 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1812064
[startup+402.3 s]
/proc/loadavg: 4.04 3.74 3.58 5/190 1342
/proc/meminfo: memFree=8499908/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=1844540 CPUtime=402.3 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 421468 0 0 0 40168 62 0 0 25 0 1 0 569046687 1888808960 394608 33554432000 4194304 4650387 140735339764112 18446744073709551615 4369344 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 461135 394608 382 112 0 456100 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1844540
[startup+462.301 s]
/proc/loadavg: 4.01 3.78 3.61 5/190 1344
/proc/meminfo: memFree=8335696/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=1901104 CPUtime=462.31 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 433320 0 0 0 46166 65 0 0 25 0 1 0 569046687 1946730496 405634 33554432000 4194304 4650387 140735339764112 18446744073709551615 4315472 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 475276 405634 382 112 0 470241 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1901104
[startup+522.301 s]
/proc/loadavg: 4.07 3.84 3.63 5/190 1346
/proc/meminfo: memFree=8268328/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=1901608 CPUtime=522.31 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 434923 0 0 0 52166 65 0 0 25 0 1 0 569046687 1947246592 406125 33554432000 4194304 4650387 140735339764112 18446744073709551615 4367954 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 475402 406125 382 112 0 470367 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1901608
[startup+582.3 s]
/proc/loadavg: 4.02 3.86 3.65 5/190 1347
/proc/meminfo: memFree=8067544/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=1978548 CPUtime=582.31 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 453253 0 0 0 58163 68 0 0 25 0 1 0 569046687 2026033152 423398 33554432000 4194304 4650387 140735339764112 18446744073709551615 4303957 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 494637 423398 382 112 0 489602 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1978548
[startup+642.301 s]
/proc/loadavg: 4.09 3.90 3.68 5/190 1349
/proc/meminfo: memFree=8088584/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=1978920 CPUtime=642.32 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 455142 0 0 0 64163 69 0 0 25 0 1 0 569046687 2026414080 424139 33554432000 4194304 4650387 140735339764112 18446744073709551615 4364740 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 494730 424139 382 112 0 489695 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1978920
[startup+702.301 s]
/proc/loadavg: 4.03 3.92 3.69 5/190 1350
/proc/meminfo: memFree=7983652/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=1995316 CPUtime=702.31 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 460736 0 0 0 70161 70 0 0 25 0 1 0 569046687 2043203584 428633 33554432000 4194304 4650387 140735339764112 18446744073709551615 4367095 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 498829 428633 382 112 0 493794 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 1995316
[startup+762.306 s]
/proc/loadavg: 4.01 3.93 3.71 5/190 1352
/proc/meminfo: memFree=7891336/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=2156512 CPUtime=762.32 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 482044 0 0 0 76159 73 0 0 25 0 1 0 569046687 2208268288 449941 33554432000 4194304 4650387 140735339764112 18446744073709551615 4367297 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 539128 449941 382 112 0 534093 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 2156512
[startup+822.301 s]
/proc/loadavg: 4.00 3.94 3.73 5/190 1354
/proc/meminfo: memFree=7664268/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=2104568 CPUtime=822.33 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 487622 0 0 0 82157 76 0 0 25 0 1 0 569046687 2155077632 452291 33554432000 4194304 4650387 140735339764112 18446744073709551615 4366872 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 526142 452291 382 112 0 521107 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 2104568
[startup+882.301 s]
/proc/loadavg: 4.00 3.95 3.74 5/190 1355
/proc/meminfo: memFree=7545812/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=2121476 CPUtime=882.32 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 493130 0 0 0 88154 78 0 0 25 0 1 0 569046687 2172391424 455831 33554432000 4194304 4650387 140735339764112 18446744073709551615 4367297 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 530369 455831 382 112 0 525334 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2121476
[startup+942.3 s]
/proc/loadavg: 4.00 3.95 3.75 5/190 1357
/proc/meminfo: memFree=7554220/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=2121476 CPUtime=942.32 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 497284 0 0 0 94152 80 0 0 25 0 1 0 569046687 2172391424 456927 33554432000 4194304 4650387 140735339764112 18446744073709551615 4364308 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 530369 456927 382 112 0 525334 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2121476
[startup+1002.3 s]
/proc/loadavg: 4.00 3.96 3.76 5/190 1361
/proc/meminfo: memFree=7527104/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=2121972 CPUtime=1002.33 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 499127 0 0 0 100152 81 0 0 25 0 1 0 569046687 2172899328 456928 33554432000 4194304 4650387 140735339764112 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 530493 456928 382 112 0 525458 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2121972
[startup+1062.3 s]
/proc/loadavg: 4.00 3.96 3.78 5/190 1363
/proc/meminfo: memFree=7501104/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=2209648 CPUtime=1062.33 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 507187 0 0 0 106148 85 0 0 25 0 1 0 569046687 2262679552 462848 33554432000 4194304 4650387 140735339764112 18446744073709551615 4364779 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 552412 462848 382 112 0 547377 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2209648
[startup+1122.3 s]
/proc/loadavg: 4.00 3.97 3.79 5/190 1365
/proc/meminfo: memFree=7487288/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=2144104 CPUtime=1122.33 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 509786 0 0 0 112146 87 0 0 25 0 1 0 569046687 2195562496 462668 33554432000 4194304 4650387 140735339764112 18446744073709551615 4369045 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 536026 462668 382 112 0 530991 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2144104
[startup+1182.3 s]
/proc/loadavg: 4.00 3.97 3.80 5/190 1366
/proc/meminfo: memFree=7471392/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=2247064 CPUtime=1182.33 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 521988 0 0 0 118143 90 0 0 25 0 1 0 569046687 2300993536 474870 33554432000 4194304 4650387 140735339764112 18446744073709551615 4363388 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 561766 474870 382 112 0 556731 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2247064
[startup+1242.3 s]
/proc/loadavg: 4.07 3.99 3.82 5/190 1368
/proc/meminfo: memFree=7266768/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=2260884 CPUtime=1242.34 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 527116 0 0 0 124142 92 0 0 25 0 1 0 569046687 2315145216 476322 33554432000 4194304 4650387 140735339764112 18446744073709551615 4368089 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 565221 476322 382 112 0 560186 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 2260884
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.02 3.99 3.82 3/186 1371
/proc/meminfo: memFree=8924404/32950928 swapFree=67111524/67111528
[pid=1325] ppid=1323 vsize=2260884 CPUtime=1300.04 cores=1,3
/proc/1325/stat : 1325 (strangenight1-s) R 1323 1325 32153 0 -1 4202496 528858 0 0 0 129911 93 0 0 25 0 1 0 569046687 2315145216 475826 33554432000 4194304 4650387 140735339764112 18446744073709551615 4364374 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1325/statm: 565221 475826 382 112 0 560186 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 2260884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.09
CPU time (s): 1300.13
CPU user time (s): 1299.12
CPU system time (s): 1.01584
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2260884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.12
system time used= 1.01585
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 528858
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= 6
involuntary context switches= 1465
runsolver used 1.92171 second user time and 5.19521 second system time
The end
Begin job on node115 at 2011-04-26 05:22:40
IDJOB=3291637
IDBENCH=84246
IDSOLVER=1589
FILE ID=node115/3291637-1303788158
RUNJOBID= node115-1303788158-1291
PBS_JOBID= 13157231
Free space on /tmp= 73084 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st
BENCH NAME= SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
COMMAND LINE= ./strangenight1-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291637-1303788158/watcher-3291637-1303788158 -o /tmp/evaluation-result-3291637-1303788158/solver-3291637-1303788158 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3291637-1303788158.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= f16626953757fdd1326f2a14f01adca9
RANDOM SEED=2109539882
node115.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.811
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.62
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.811
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 : 5226.15
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.811
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.75
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.811
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.75
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.811
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.77
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.811
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.74
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.811
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.75
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.811
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 13406868 kB
Buffers: 2295184 kB
Cached: 16506364 kB
SwapCached: 4 kB
Active: 7251128 kB
Inactive: 11734616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 13406868 kB
SwapTotal: 67111528 kB
SwapFree: 67111524 kB
Dirty: 92252 kB
Writeback: 0 kB
AnonPages: 183032 kB
Mapped: 15560 kB
Slab: 493272 kB
PageTables: 5312 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 399144 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= 73064 MiB
End job on node115 at 2011-04-26 05:44:22