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-3370669-1305394374.cnf'
0.00/0.00 c -- header says num vars: 435701
0.00/0.00 c -- header says num clauses: 1379987
0.99/1.01 c -- clauses added: 0 learnts, 1379987 normals, 0 xors
0.99/1.01 c -- vars added 435701
0.99/1.01 c Parsing time: 0.93 s
0.99/1.02 c N st 0 0 435701 724527 653851 0 3540036 0 no data no data --
1.69/1.76 c asymm cl-useful: 0/108/708994 lits-rem:0 time: 0.72
20.39/20.45 c Flit: 80 Blit: 3931 bXBeca: 0 bXProp: 54228 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 18.43
20.49/20.54 c Cleaning up after failed var search: 0.09 s
20.69/20.78 c Replacing 54343 vars Replaced 773366 lits Time: 0.22 s
21.39/21.40 c bin-w-bin subsume rem 63 bins time: 0.12 s
21.69/21.70 c subs with bin: 1389 lits-rem: 1915 v-fix: 0 time: 0.30 s
41.91/41.98 c Subs w/ non-existent bins: 2690 l-rem: 131 v-fix: 414 done: 23227 time: 20.26 s
42.39/42.47 c Removed useless bin: 37 fixed: 422 props: 20.05M time: 0.48 s
45.39/45.46 c lits-rem: 49 cl-subs: 3247 v-elim: 122633 v-fix: 1 time: 2.97 s
46.89/46.94 c Finding binary XORs T: 1.48 s found: 26706
47.09/47.14 c Replacing 26706 vars Replaced 315185 lits Time: 0.20 s
47.69/47.77 c Finding non-binary XORs: 0.48 s (found: 48264, avg size: 3.0)
47.69/47.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 16178 time: 0.14
47.89/47.94 c Replacing 8089 vars Replaced 81728 lits Time: 0.17 s
47.99/48.05 c calculated reachability. Time: 0.06
48.09/48.11 c Calc default polars - time: 0.07 s pos: 84752 undec: 230525 neg: 120424
48.09/48.11 c =========================================================================================
48.09/48.11 c types(t): F = full restart, N = normal restart
48.09/48.11 c types(t): S = simplification begin/end, E = solution found
48.09/48.11 c restart types(rt): st = static, dy = dynamic
48.09/48.11 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
48.09/48.11 c B st 0 0 210463 338615 291576 0 1926611 0 no data no data --
52.59/52.69 c Decided on static restart strategy
57.31/57.31 c N st 8 4912 210094 338615 292238 4185 1926611 120252 no data no data --
66.49/66.58 c N st 10 11295 209826 338615 292718 9973 1926611 306169 no data no data --
77.01/77.01 c N st 11 17038 209741 338615 292976 15383 1926611 519346 no data no data --
92.51/92.60 c F st 12 25000 209614 338615 293326 15697 1926610 489763 no data no data --
92.69/92.77 c Replacing 116 vars Replaced 2726 lits Time: 0.11 s
95.99/96.00 c N st 12 25000 209498 333885 292248 15221 1907604 478429 no data no data --
96.99/97.00 c Finding binary XORs T: 1.00 s found: 2746
97.09/97.13 c Replacing 2746 vars Replaced 57426 lits Time: 0.13 s
103.59/103.67 c Decided on static restart strategy
103.59/103.68 c N st 18 30000 206708 330813 287563 19987 1887681 761295 no data no data --
103.59/103.68 c S st 18 30000 206708 330813 287563 19987 1887681 761295 no data no data --
105.49/105.55 c S st 18 30503 206657 330813 287671 20321 1887681 768447 no data no data --
105.60/105.68 c x-sub: 8034 x-cut: 0 vfix: 0 v-elim: 6 locsubst: 8 time: 0.13
105.60/105.71 c Cache BProp: 945 Set: 593 BXProp: 38 T: 0.03
123.49/123.52 c Flit: 828 Blit: 7757 bXBeca: 0 bXProp: 4043 Bins: 30872 BRemL: 2 BRemN: 5 P: 200.0M T: 17.73
123.59/123.61 c Cleaning up after failed var search: 0.08 s
123.69/123.78 c Replacing 5351 vars Replaced 132181 lits Time: 0.15 s
123.99/124.07 c bin-w-bin subsume rem 2329 bins time: 0.06 s
124.59/124.60 c subs with bin: 10102 lits-rem: 31982 v-fix: 0 time: 0.53 s
125.60/125.60 c Subs w/ non-existent bins: 840 l-rem: 2444 v-fix: 81 done: 22245 time: 0.99 s
125.90/125.90 c Removed useless bin: 4631 fixed: 292 props: 20.00M time: 0.27 s
130.09/130.12 c lits-rem: 5335 cl-subs: 46115 v-elim: 80807 v-fix: 1 time: 4.21 s
130.69/130.76 c asymm cl-useful: 129/1014/251392 lits-rem:245 time: 0.62
131.01/131.01 c calculated reachability. Time: 0.23
131.01/131.02 c N st 18 30503 107124 251392 128392 4194 1405443 62783 no data no data --
132.49/132.56 c Finding binary XORs T: 1.55 s found: 1199
132.59/132.65 c Replacing 1247 vars Replaced 26694 lits Time: 0.08 s
139.80/139.83 c N st 20 37613 105742 251172 127346 10481 1401426 321716 no data no data --
144.21/144.22 c N st 21 44014 105192 251172 127625 16408 1401399 598235 no data no data --
145.60/145.60 c S st 22 45754 105180 251172 127695 18025 1401393 656374 no data no data --
146.50/146.56 c S st 22 46257 104833 251172 127771 18434 1401393 664049 no data no data --
146.60/146.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 36 locsubst: 44 time: 0.08
146.60/146.67 c Cache BProp: 1376 Set: 12 BXProp: 0 T: 0.03
167.79/167.85 c Flit: 1081 Blit: 3757 bXBeca: 0 bXProp: 2931 Bins: 23091 BRemL: 1 BRemN: 12 P: 200.0M T: 21.10
167.89/167.90 c Cleaning up after failed var search: 0.05 s
167.99/168.02 c Replacing 4002 vars Replaced 70382 lits Time: 0.10 s
168.19/168.23 c bin-w-bin subsume rem 3540 bins time: 0.03 s
168.59/168.62 c subs with bin: 16991 lits-rem: 56334 v-fix: 0 time: 0.39 s
168.69/168.75 c Subs w/ non-existent bins: 182 l-rem: 4974 v-fix: 11 done: 5608 time: 0.13 s
168.89/168.92 c Removed useless bin: 3196 fixed: 19 props: 20.00M time: 0.11 s
171.29/171.37 c lits-rem: 6055 cl-subs: 11057 v-elim: 3375 v-fix: 0 time: 2.44 s
172.70/172.79 c vivif2 -- cl tried 87606 cl shrink 5313 lits rem 5313 time: 1.41
172.89/172.92 c vivif2 -- cl tried 12393 cl shrink 3507 lits rem 35657 time: 0.14
173.39/173.46 c asymm cl-useful: 1833/3605/194828 lits-rem:11231 time: 0.53
173.69/173.76 c calculated reachability. Time: 0.28
173.69/173.76 c N st 22 46257 90222 194770 138358 12198 1114482 216885 no data no data --
175.79/175.84 c Finding binary XORs T: 2.07 s found: 2360
175.89/175.92 c Replacing 2369 vars Replaced 42128 lits Time: 0.08 s
188.00/188.02 c N st 23 60654 87647 194673 136842 16296 1109786 542607 no data no data --
195.19/195.21 c N st 24 69385 87630 194673 137056 24673 1109769 1083255 no data no data --
195.19/195.21 c S st 24 69385 87630 194673 137056 24673 1109769 1083255 no data no data --
196.09/196.15 c S st 24 69886 87611 194673 137105 25110 1109769 1094344 no data no data --
196.19/196.22 c x-sub: 9 x-cut: 0 vfix: 0 v-elim: 39 locsubst: 78 time: 0.07
196.19/196.26 c Cache BProp: 589 Set: 4 BXProp: 4 T: 0.04
210.49/210.57 c Flit: 541 Blit: 764 bXBeca: 0 bXProp: 710 Bins: 18779 BRemL: 11 BRemN: 8 P: 200.0M T: 14.28
210.59/210.62 c Cleaning up after failed var search: 0.04 s
210.69/210.72 c Replacing 1171 vars Replaced 35610 lits Time: 0.08 s
210.89/210.94 c bin-w-bin subsume rem 4185 bins time: 0.03 s
211.39/211.40 c subs with bin: 1651 lits-rem: 6169 v-fix: 0 time: 0.46 s
211.49/211.54 c Subs w/ non-existent bins: 105 l-rem: 3999 v-fix: 20 done: 5768 time: 0.14 s
211.59/211.69 c Removed useless bin: 1576 fixed: 59 props: 20.01M time: 0.15 s
214.30/214.32 c lits-rem: 2631 cl-subs: 4613 v-elim: 609 v-fix: 1 time: 2.63 s
215.80/215.86 c vivif2 -- cl tried 124415 cl shrink 6641 lits rem 6789 time: 1.53
216.20/216.21 c vivif2 -- cl tried 22640 cl shrink 8498 lits rem 388723 time: 0.35
216.71/216.71 c asymm cl-useful: 1124/2109/177021 lits-rem:3377 time: 0.50
217.00/217.07 c calculated reachability. Time: 0.34
217.00/217.08 c N st 24 69886 83710 176899 149742 22552 1027970 596157 no data no data --
219.50/219.50 c Finding binary XORs T: 2.42 s found: 1018
219.50/219.57 c Replacing 1063 vars Replaced 16488 lits Time: 0.07 s
234.80/234.80 c F st 25 87500 82605 176786 149627 26669 1026598 1127125 no data no data --
234.90/234.91 c Replacing 32 vars Replaced 414 lits Time: 0.07 s
235.10/235.13 c N st 25 87500 82573 176073 149609 26194 1024616 1108416 no data no data --
239.59/239.62 c Decided on static restart strategy
242.39/242.44 c N st 32 95538 82547 176073 149735 33995 1024609 1802054 no data no data --
251.91/251.96 c N st 34 104829 82537 176073 149832 26733 1024603 889670 no data no data --
251.91/251.96 c S st 34 104829 82537 176073 149832 26733 1024603 889670 no data no data --
252.80/252.84 c S st 34 105330 82531 176073 149860 27196 1024603 905846 no data no data --
252.90/252.91 c x-sub: 26 x-cut: 0 vfix: 0 v-elim: 46 locsubst: 44 time: 0.07
252.90/252.97 c Cache BProp: 593 Set: 12 BXProp: 0 T: 0.06
272.09/272.10 c Flit: 390 Blit: 470 bXBeca: 0 bXProp: 646 Bins: 8006 BRemL: 34 BRemN: 4 P: 200.0M T: 19.12
272.09/272.14 c Cleaning up after failed var search: 0.04 s
272.19/272.24 c Replacing 824 vars Replaced 29854 lits Time: 0.09 s
272.39/272.42 c bin-w-bin subsume rem 3149 bins time: 0.03 s
272.80/272.83 c subs with bin: 919 lits-rem: 2236 v-fix: 0 time: 0.41 s
273.00/273.04 c Subs w/ non-existent bins: 185 l-rem: 3596 v-fix: 60 done: 19297 time: 0.20 s
273.20/273.21 c Removed useless bin: 1058 fixed: 77 props: 20.00M time: 0.17 s
275.40/275.42 c lits-rem: 1054 cl-subs: 2482 v-elim: 464 v-fix: 2 time: 2.22 s
277.10/277.16 c vivif2 -- cl tried 169947 cl shrink 8529 lits rem 15658 time: 1.72
277.40/277.46 c vivif2 -- cl tried 25350 cl shrink 5573 lits rem 240485 time: 0.30
277.90/277.97 c asymm cl-useful: 661/2532/166210 lits-rem:1279 time: 0.52
278.31/278.39 c calculated reachability. Time: 0.39
278.31/278.39 c N st 34 105330 79793 166140 151738 25261 963857 610139 no data no data --
281.40/281.44 c Finding binary XORs T: 3.04 s found: 604
288.90/288.92 c N st 35 114928 79787 166140 151872 34494 963852 1526823 no data no data --
301.19/301.24 c N st 36 129326 79737 166140 152038 29803 963848 710237 no data no data --
316.40/316.44 c N st 37 150923 79733 166140 152218 50828 963844 3167516 no data no data --
321.60/321.69 c S st 38 157995 79729 166140 152286 37082 963843 1062131 no data no data --
322.42/322.47 c S st 38 158497 79729 166140 152327 37526 963843 1070284 no data no data --
322.50/322.54 c x-sub: 18 x-cut: 0 vfix: 0 v-elim: 23 locsubst: 44 time: 0.07
322.60/322.63 c Cache BProp: 361 Set: 5 BXProp: 0 T: 0.09
336.60/336.69 c Flit: 358 Blit: 271 bXBeca: 0 bXProp: 484 Bins: 6552 BRemL: 38 BRemN: 10 P: 200.2M T: 14.04
336.71/336.73 c Cleaning up after failed var search: 0.04 s
336.79/336.82 c Replacing 1462 vars Replaced 33245 lits Time: 0.08 s
336.99/337.01 c bin-w-bin subsume rem 1884 bins time: 0.03 s
337.39/337.41 c subs with bin: 662 lits-rem: 1677 v-fix: 0 time: 0.40 s
337.50/337.55 c Subs w/ non-existent bins: 27 l-rem: 2391 v-fix: 6 done: 4897 time: 0.13 s
337.71/337.71 c Removed useless bin: 603 fixed: 46 props: 17.88M time: 0.16 s
340.20/340.29 c lits-rem: 1230 cl-subs: 4190 v-elim: 492 v-fix: 0 time: 2.58 s
342.00/342.05 c vivif2 -- cl tried 160220 cl shrink 1676 lits rem 2573 time: 1.75
342.50/342.50 c vivif2 -- cl tried 34063 cl shrink 4695 lits rem 61280 time: 0.45
342.90/342.98 c asymm cl-useful: 338/1225/159149 lits-rem:555 time: 0.48
343.40/343.43 c calculated reachability. Time: 0.43
343.40/343.43 c N st 38 158497 76472 159111 151666 33998 926939 650861 no data no data --
346.90/346.92 c Finding binary XORs T: 3.48 s found: 199
381.30/381.31 c N st 39 207085 76471 159111 151862 59067 926938 3088550 no data no data --
408.00/408.08 c N st 40 237746 76448 159111 152067 65162 926934 3325604 no data no data --
408.00/408.08 c S st 40 237746 76448 159111 152067 65162 926934 3325604 no data no data --
408.90/408.92 c S st 40 238247 76447 159111 152097 40607 926934 791830 no data no data --
408.90/408.99 c x-sub: 20 x-cut: 0 vfix: 0 v-elim: 50 locsubst: 32 time: 0.07
409.10/409.10 c Cache BProp: 241 Set: 0 BXProp: 0 T: 0.11
423.90/423.96 c Flit: 321 Blit: 302 bXBeca: 0 bXProp: 609 Bins: 3475 BRemL: 27 BRemN: 2 P: 200.0M T: 14.84
424.00/424.00 c Cleaning up after failed var search: 0.04 s
424.10/424.11 c Replacing 1009 vars Replaced 40453 lits Time: 0.09 s
424.20/424.28 c bin-w-bin subsume rem 1598 bins time: 0.03 s
424.50/424.59 c subs with bin: 886 lits-rem: 13813 v-fix: 0 time: 0.31 s
424.80/424.88 c Subs w/ non-existent bins: 153 l-rem: 3047 v-fix: 30 done: 13007 time: 0.29 s
425.00/425.04 c Removed useless bin: 1118 fixed: 35 props: 15.71M time: 0.15 s
427.00/427.06 c lits-rem: 1155 cl-subs: 1906 v-elim: 184 v-fix: 2 time: 2.02 s
428.50/428.56 c vivif2 -- cl tried 154738 cl shrink 1760 lits rem 1974 time: 1.50
429.01/429.02 c vivif2 -- cl tried 38203 cl shrink 10293 lits rem 62292 time: 0.45
429.50/429.53 c asymm cl-useful: 473/1290/153537 lits-rem:930 time: 0.51
429.90/429.98 c calculated reachability. Time: 0.43
429.90/429.98 c N st 40 238247 74191 153448 147117 38089 893399 543290 no data no data --
433.41/433.46 c Finding binary XORs T: 3.48 s found: 145
500.10/500.13 c F st 41 306250 74181 153448 147629 51801 893390 1605108 no data no data --
500.20/500.28 c Replacing 196 vars Replaced 14261 lits Time: 0.11 s
500.30/500.39 c Replacing 7 vars Replaced 71 lits Time: 0.07 s
500.51/500.60 c N st 41 306250 73958 153062 147472 51650 891863 1603560 no data no data --
505.60/505.64 c Decided on static restart strategy
527.60/527.66 c N st 51 334558 73870 153062 147649 51285 891859 1351924 no data no data --
549.50/549.54 c N st 53 357371 73865 153062 147781 73612 891857 2828736 no data no data --
549.50/549.54 c S st 53 357371 73865 153062 147781 73612 891857 2828736 no data no data --
550.30/550.33 c S st 53 357876 73865 153062 147810 74078 891857 2843319 no data no data --
550.40/550.40 c x-sub: 15 x-cut: 0 vfix: 0 v-elim: 35 locsubst: 48 time: 0.07
550.50/550.52 c Cache BProp: 275 Set: 5 BXProp: 0 T: 0.12
564.60/564.67 c Flit: 300 Blit: 349 bXBeca: 0 bXProp: 563 Bins: 4883 BRemL: 43 BRemN: 4 P: 200.0M T: 14.14
564.70/564.72 c Cleaning up after failed var search: 0.05 s
564.80/564.84 c Replacing 764 vars Replaced 25700 lits Time: 0.11 s
565.10/565.18 c bin-w-bin subsume rem 1200 bins time: 0.03 s
566.90/566.98 c subs with bin: 2354 lits-rem: 12926 v-fix: 0 time: 1.80 s
567.00/567.08 c Subs w/ non-existent bins: 3 l-rem: 3506 v-fix: 0 done: 476 time: 0.09 s
567.30/567.35 c Removed useless bin: 614 fixed: 14 props: 15.45M time: 0.16 s
571.60/571.64 c lits-rem: 475 cl-subs: 3176 v-elim: 199 v-fix: 3 time: 4.29 s
573.00/573.06 c vivif2 -- cl tried 147387 cl shrink 1192 lits rem 1304 time: 1.42
574.60/574.65 c vivif2 -- cl tried 66427 cl shrink 21438 lits rem 834085 time: 1.58
575.20/575.20 c asymm cl-useful: 306/1049/146927 lits-rem:437 time: 0.56
575.60/575.69 c calculated reachability. Time: 0.46
575.60/575.69 c N st 53 357876 71402 146905 145158 66204 856183 1589767 no data no data --
579.40/579.45 c Finding binary XORs T: 3.73 s found: 143
613.21/613.23 c N st 54 390272 71328 146899 145492 69670 856154 3124039 no data no data --
664.00/664.03 c N st 55 438860 71229 146899 145751 57349 856152 1123787 no data no data --
741.80/741.85 c N st 56 511744 71168 146899 146118 64451 856143 1185344 no data no data --
766.20/766.26 c N st 57 536815 71132 146899 146231 89056 856142 2597015 no data no data --
766.20/766.26 c S st 57 536815 71132 146899 146231 89056 856142 2597015 no data no data --
767.10/767.10 c S st 57 537316 71132 146899 146255 89518 856142 2611706 no data no data --
767.10/767.17 c x-sub: 20 x-cut: 0 vfix: 0 v-elim: 5 locsubst: 48 time: 0.07
767.30/767.30 c Cache BProp: 337 Set: 39 BXProp: 1 T: 0.13
781.21/781.21 c Flit: 678 Blit: 486 bXBeca: 0 bXProp: 986 Bins: 3030 BRemL: 36 BRemN: 1 P: 200.1M T: 13.87
781.21/781.27 c Cleaning up after failed var search: 0.06 s
781.41/781.43 c Replacing 1836 vars Replaced 70429 lits Time: 0.14 s
781.71/781.76 c bin-w-bin subsume rem 976 bins time: 0.03 s
782.91/782.95 c subs with bin: 3331 lits-rem: 17277 v-fix: 0 time: 1.19 s
783.00/783.08 c Subs w/ non-existent bins: 193 l-rem: 4756 v-fix: 15 done: 2092 time: 0.12 s
783.22/783.22 c Removed useless bin: 558 fixed: 30 props: 10.06M time: 0.14 s
786.52/786.60 c lits-rem: 2990 cl-subs: 5952 v-elim: 550 v-fix: 1 time: 3.38 s
788.10/788.14 c vivif2 -- cl tried 137400 cl shrink 1807 lits rem 2152 time: 1.54
789.50/789.51 c vivif2 -- cl tried 70770 cl shrink 26786 lits rem 580182 time: 1.36
790.10/790.11 c asymm cl-useful: 331/795/136506 lits-rem:583 time: 0.60
790.60/790.66 c calculated reachability. Time: 0.54
790.60/790.67 c N st 57 537316 67014 136459 138407 70499 796911 1545153 no data no data --
794.90/794.97 c Finding binary XORs T: 4.29 s found: 219
1008.21/1008.23 c N st 58 701300 66952 136459 139227 97496 796898 5138871 no data no data --
1149.41/1149.41 c N st 59 805977 66858 136459 139492 83136 796894 3229412 no data no data --
1149.41/1149.41 c S st 59 805977 66858 136459 139492 83136 796894 3229412 no data no data --
1153.51/1153.52 c Finding binary XORs T: 4.07 s found: 41
1154.31/1154.37 c S st 59 806478 66857 135840 139068 82651 793859 3218433 no data no data --
1154.41/1154.44 c x-sub: 23 x-cut: 0 vfix: 0 v-elim: 23 locsubst: 640 time: 0.07
1154.51/1154.59 c Cache BProp: 326 Set: 104 BXProp: 0 T: 0.15
1168.01/1168.06 c Flit: 359 Blit: 934 bXBeca: 0 bXProp: 1683 Bins: 1520 BRemL: 84 BRemN: 1 P: 200.0M T: 13.47
1168.11/1168.12 c Cleaning up after failed var search: 0.06 s
1168.33/1168.34 c Replacing 2680 vars Replaced 100185 lits Time: 0.20 s
1168.61/1168.69 c bin-w-bin subsume rem 3106 bins time: 0.02 s
1170.62/1170.68 c subs with bin: 1896 lits-rem: 34397 v-fix: 0 time: 1.99 s
1170.91/1170.98 c Subs w/ non-existent bins: 290 l-rem: 1761 v-fix: 18 done: 17097 time: 0.30 s
1171.11/1171.12 c Removed useless bin: 816 fixed: 44 props: 9.50M time: 0.12 s
1180.21/1180.20 c lits-rem: 503 cl-subs: 6280 v-elim: 597 v-fix: 2 time: 9.08 s
1181.53/1181.57 c vivif2 -- cl tried 124323 cl shrink 4465 lits rem 5227 time: 1.37
1182.71/1182.77 c vivif2 -- cl tried 69893 cl shrink 25413 lits rem 962967 time: 1.19
1183.31/1183.35 c asymm cl-useful: 375/2259/123047 lits-rem:642 time: 0.58
1183.81/1183.87 c calculated reachability. Time: 0.51
1183.81/1183.87 c N st 59 806478 61793 122958 129664 69405 725017 1572385 no data no data --
1202.33/1202.31 c Finding binary XORs T: 4.32 s found: 261
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3370669-1305394374/watcher-3370669-1305394374 -o /tmp/evaluation-result-3370669-1305394374/solver-3370669-1305394374 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370669-1305394374.cnf
running on 2 cores: 5,7
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: 3.72 4.00 3.94 5/407 27641
/proc/meminfo: memFree=24287212/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=98852 CPUtime=0.07 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 21379 0 0 0 4 3 0 0 20 0 1 0 651036219 101224448 16998 33554432000 4194304 4650387 140736400334128 18446744073709551615 4319131 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 24713 17001 326 112 0 19678 0
[startup+0.111986 s]
/proc/loadavg: 3.72 4.00 3.94 5/407 27641
/proc/meminfo: memFree=24287212/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=132540 CPUtime=0.1 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 31136 0 0 0 6 4 0 0 21 0 1 0 651036219 135720960 22511 33554432000 4194304 4650387 140736400334128 18446744073709551615 242970247536 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 33135 22534 326 112 0 28100 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 132540
[startup+0.20096 s]
/proc/loadavg: 3.72 4.00 3.94 5/407 27641
/proc/meminfo: memFree=24287212/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=155784 CPUtime=0.19 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 37919 0 0 0 14 5 0 0 21 0 1 0 651036219 159522816 29050 33554432000 4194304 4650387 140736400334128 18446744073709551615 242970215288 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 38946 29050 330 112 0 33911 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 155784
[startup+0.300953 s]
/proc/loadavg: 3.72 4.00 3.94 5/407 27641
/proc/meminfo: memFree=24287212/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=162384 CPUtime=0.29 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 39919 0 0 0 24 5 0 0 21 0 1 0 651036219 166281216 31050 33554432000 4194304 4650387 140736400334128 18446744073709551615 4372692 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 40596 31051 330 112 0 35561 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 162384
[startup+0.700874 s]
/proc/loadavg: 3.72 4.00 3.94 5/407 27641
/proc/meminfo: memFree=24287212/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=220896 CPUtime=0.69 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 47911 0 0 0 62 7 0 0 22 0 1 0 651036219 226197504 39042 33554432000 4194304 4650387 140736400334128 18446744073709551615 4306121 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 55224 39042 330 112 0 50189 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 220896
[startup+1.50074 s]
/proc/loadavg: 3.98 4.05 3.96 5/408 27642
/proc/meminfo: memFree=24095136/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=234860 CPUtime=1.49 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 52630 0 0 0 141 8 0 0 25 0 1 0 651036219 240496640 43761 33554432000 4194304 4650387 140736400334128 18446744073709551615 4370308 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 58715 43761 347 112 0 53680 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 234860
[startup+3.10047 s]
/proc/loadavg: 3.98 4.05 3.96 5/406 27642
/proc/meminfo: memFree=24057084/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=282568 CPUtime=3.09 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 67282 0 0 0 299 10 0 0 25 0 1 0 651036219 289349632 56160 33554432000 4194304 4650387 140736400334128 18446744073709551615 4370297 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 70642 56160 353 112 0 65607 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 282568
[startup+6.30091 s]
/proc/loadavg: 3.98 4.05 3.96 5/411 27648
/proc/meminfo: memFree=23537708/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=386636 CPUtime=6.29 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 87306 0 0 0 617 12 0 0 25 0 1 0 651036219 395915264 76184 33554432000 4194304 4650387 140736400334128 18446744073709551615 4370843 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 96659 76184 353 112 0 91624 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 386636
[startup+12.7008 s]
/proc/loadavg: 4.37 4.13 3.98 6/411 27648
/proc/meminfo: memFree=23026984/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=593684 CPUtime=12.69 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 127462 0 0 0 1249 20 0 0 25 0 1 0 651036219 607932416 116340 33554432000 4194304 4650387 140736400334128 18446744073709551615 4370297 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 148421 116340 353 112 0 143386 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 593684
[startup+25.5006 s]
/proc/loadavg: 4.55 4.17 4.00 5/411 27649
/proc/meminfo: memFree=22176728/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=926268 CPUtime=25.49 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 195282 0 0 0 2519 30 0 0 25 0 1 0 651036219 948498432 184160 33554432000 4194304 4650387 140736400334128 18446744073709551615 4550214 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 231567 184160 366 112 0 226532 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 926268
[startup+51.1012 s]
/proc/loadavg: 4.80 4.27 4.04 5/411 27649
/proc/meminfo: memFree=21746524/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=1005412 CPUtime=51.09 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 215468 0 0 0 5075 34 0 0 25 0 1 0 651036219 1029541888 204346 33554432000 4194304 4650387 140736400334128 18446744073709551615 4363568 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 251353 204346 379 112 0 246318 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1005412
[startup+102.3 s]
/proc/loadavg: 4.32 4.22 4.03 5/411 27651
/proc/meminfo: memFree=21203768/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=1033108 CPUtime=102.3 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 227211 0 0 0 10193 37 0 0 25 0 1 0 651036219 1057902592 208646 33554432000 4194304 4650387 140736400334128 18446744073709551615 4325331 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 258277 208646 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: 4.11 4.18 4.02 5/411 27652
/proc/meminfo: memFree=20654128/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=1543580 CPUtime=162.29 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 329181 0 0 0 16175 54 0 0 25 0 1 0 651036219 1580625920 310616 33554432000 4194304 4650387 140736400334128 18446744073709551615 4229646 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 385895 310616 382 112 0 380860 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1543580
[startup+222.316 s]
/proc/loadavg: 4.04 4.14 4.02 5/411 27654
/proc/meminfo: memFree=19952372/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=1652228 CPUtime=222.31 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 374477 0 0 0 22169 62 0 0 25 0 1 0 651036219 1691881472 347969 33554432000 4194304 4650387 140736400334128 18446744073709551615 4363400 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 413057 347969 382 112 0 408022 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 1652228
[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.02 5/411 27656
/proc/meminfo: memFree=19652940/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=1740832 CPUtime=282.3 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 394726 0 0 0 28164 66 0 0 25 0 1 0 651036219 1782611968 368218 33554432000 4194304 4650387 140736400334128 18446744073709551615 4315121 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 435208 368218 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: 4.03 4.12 4.02 5/411 27657
/proc/meminfo: memFree=19461804/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=1812064 CPUtime=342.3 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 414102 0 0 0 34160 70 0 0 25 0 1 0 651036219 1855553536 387516 33554432000 4194304 4650387 140736400334128 18446744073709551615 4533833 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 453016 387516 382 112 0 447981 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1812064
[startup+402.301 s]
/proc/loadavg: 4.01 4.09 4.01 5/411 27659
/proc/meminfo: memFree=19354396/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=1824948 CPUtime=402.3 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 417237 0 0 0 40159 71 0 0 25 0 1 0 651036219 1868746752 390421 33554432000 4194304 4650387 140736400334128 18446744073709551615 4364138 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 456237 390421 382 112 0 451202 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1824948
[startup+462.3 s]
/proc/loadavg: 4.00 4.07 4.01 5/411 27660
/proc/meminfo: memFree=19239548/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=1956012 CPUtime=462.3 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 431251 0 0 0 46156 74 0 0 25 0 1 0 651036219 2002956288 404392 33554432000 4194304 4650387 140736400334128 18446744073709551615 4364138 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 489003 404392 382 112 0 483968 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1956012
[startup+522.301 s]
/proc/loadavg: 4.03 4.07 4.01 5/411 27662
/proc/meminfo: memFree=19075080/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=1966648 CPUtime=522.3 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 434762 0 0 0 52155 75 0 0 25 0 1 0 651036219 2013847552 406176 33554432000 4194304 4650387 140736400334128 18446744073709551615 4335200 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 491662 406176 382 112 0 486627 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1966648
[startup+582.301 s]
/proc/loadavg: 4.11 4.09 4.01 5/411 27664
/proc/meminfo: memFree=19005620/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=2031404 CPUtime=582.31 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 450840 0 0 0 58153 78 0 0 25 0 1 0 651036219 2080157696 422043 33554432000 4194304 4650387 140736400334128 18446744073709551615 4366985 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 507851 422043 382 112 0 502816 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2031404
[startup+642.3 s]
/proc/loadavg: 4.04 4.07 4.00 5/411 27665
/proc/meminfo: memFree=18878864/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=1978548 CPUtime=642.3 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 454684 0 0 0 64151 79 0 0 25 0 1 0 651036219 2026033152 424033 33554432000 4194304 4650387 140736400334128 18446744073709551615 4364138 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 494637 424033 382 112 0 489602 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 1978548
[startup+702.301 s]
/proc/loadavg: 4.01 4.05 4.00 5/411 27667
/proc/meminfo: memFree=18861612/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=1995316 CPUtime=702.31 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 457686 0 0 0 70151 80 0 0 25 0 1 0 651036219 2043203584 426489 33554432000 4194304 4650387 140736400334128 18446744073709551615 4315098 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 498829 426489 382 112 0 493794 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 1995316
[startup+762.301 s]
/proc/loadavg: 4.00 4.04 4.00 5/411 27668
/proc/meminfo: memFree=18842248/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=1995316 CPUtime=762.31 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 460736 0 0 0 76149 82 0 0 25 0 1 0 651036219 2043203584 428634 33554432000 4194304 4650387 140736400334128 18446744073709551615 4365195 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 498829 428634 382 112 0 493794 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 1995316
[startup+822.3 s]
/proc/loadavg: 4.11 4.06 4.01 5/411 27670
/proc/meminfo: memFree=18469848/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=2104568 CPUtime=822.31 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 484318 0 0 0 82144 87 0 0 25 0 1 0 651036219 2155077632 451110 33554432000 4194304 4650387 140736400334128 18446744073709551615 4367125 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 526142 451110 382 112 0 521107 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 2104568
[startup+882.315 s]
/proc/loadavg: 4.09 4.06 4.01 5/411 27672
/proc/meminfo: memFree=18482612/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=2104568 CPUtime=882.32 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 487622 0 0 0 88143 89 0 0 25 0 1 0 651036219 2155077632 452292 33554432000 4194304 4650387 140736400334128 18446744073709551615 4366891 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 526142 452292 382 112 0 521107 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2104568
[startup+942.301 s]
/proc/loadavg: 4.03 4.05 4.00 5/411 27673
/proc/meminfo: memFree=18413660/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=2187020 CPUtime=942.31 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 495330 0 0 0 94138 93 0 0 25 0 1 0 651036219 2239508480 458032 33554432000 4194304 4650387 140736400334128 18446744073709551615 4366966 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 546755 458032 382 112 0 541720 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2187020
[startup+1002.3 s]
/proc/loadavg: 4.01 4.04 4.00 5/411 27675
/proc/meminfo: memFree=18435216/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=2187020 CPUtime=1002.31 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 498229 0 0 0 100136 95 0 0 25 0 1 0 651036219 2239508480 457873 33554432000 4194304 4650387 140736400334128 18446744073709551615 4363943 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 546755 457873 382 112 0 541720 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2187020
[startup+1062.3 s]
/proc/loadavg: 4.05 4.04 4.00 5/411 27676
/proc/meminfo: memFree=18433956/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=2187516 CPUtime=1062.31 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 501008 0 0 0 106134 97 0 0 25 0 1 0 651036219 2240016384 458810 33554432000 4194304 4650387 140736400334128 18446744073709551615 4363677 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 546879 458810 382 112 0 541844 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2187516
[startup+1122.3 s]
/proc/loadavg: 4.11 4.06 4.01 5/411 27678
/proc/meminfo: memFree=18225120/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=2209648 CPUtime=1122.32 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 509555 0 0 0 112131 101 0 0 25 0 1 0 651036219 2262679552 465217 33554432000 4194304 4650387 140736400334128 18446744073709551615 4349872 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 552412 465217 382 112 0 547377 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2209648
[startup+1182.3 s]
/proc/loadavg: 4.15 4.09 4.02 5/411 27680
/proc/meminfo: memFree=18161856/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=2181520 CPUtime=1182.31 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 518866 0 0 0 118129 102 0 0 25 0 1 0 651036219 2233876480 471749 33554432000 4194304 4650387 140736400334128 18446744073709551615 4533821 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 545380 471749 382 112 0 540345 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2181520
[startup+1242.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/411 27681
/proc/meminfo: memFree=18140136/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=2195340 CPUtime=1242.32 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 523862 0 0 0 124128 104 0 0 25 0 1 0 651036219 2248028160 473069 33554432000 4194304 4650387 140736400334128 18446744073709551615 4364851 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 548835 473069 382 112 0 543800 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2195340
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.03 4.07 4.01 3/404 27702
/proc/meminfo: memFree=19862136/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=2195340 CPUtime=1300.03 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 527821 0 0 0 129897 106 0 0 25 0 1 0 651036219 2248028160 474790 33554432000 4194304 4650387 140736400334128 18446744073709551615 4333553 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 548835 474790 382 112 0 543800 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 2195340
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300 s]
/proc/loadavg: 4.03 4.07 4.01 3/404 27702
/proc/meminfo: memFree=19862136/32951132 swapFree=67093844/67111528
[pid=27641] ppid=27639 vsize=2195340 CPUtime=1300.03 cores=5,7
/proc/27641/stat : 27641 (strangenight1-s) R 27639 27641 26847 0 -1 4202496 527821 0 0 0 129897 106 0 0 25 0 1 0 651036219 2248028160 474790 33554432000 4194304 4650387 140736400334128 18446744073709551615 4333553 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27641/statm: 548835 474790 382 112 0 543800 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 2195340
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.09
CPU time (s): 1300.11
CPU user time (s): 1298.98
CPU system time (s): 1.13683
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2260884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.98
system time used= 1.13683
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 527821
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= 17621
runsolver used 5.04423 second user time and 11.9242 second system time
The end
Begin job on node128 at 2011-05-14 19:32:56
IDJOB=3370669
IDBENCH=84246
IDSOLVER=1847
FILE ID=node128/3370669-1305394374
RUNJOBID= node128-1305394373-27608
PBS_JOBID= 13324420
Free space on /tmp= 73520 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-1-st (fixed)
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-3370669-1305394374/watcher-3370669-1305394374 -o /tmp/evaluation-result-3370669-1305394374/solver-3370669-1305394374 -C 2400 -W 1300 -M 7680 ./strangenight1-st HOME/instance-3370669-1305394374.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= f16626953757fdd1326f2a14f01adca9
RANDOM SEED=742106006
node128.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.852
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.70
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.852
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.852
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.82
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.852
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.852
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.82
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.852
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.852
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.852
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 : 5434.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 24287616 kB
Buffers: 258020 kB
Cached: 2732200 kB
SwapCached: 1440 kB
Active: 6265860 kB
Inactive: 2101464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 24287616 kB
SwapTotal: 67111528 kB
SwapFree: 67093844 kB
Dirty: 96348 kB
Writeback: 36 kB
AnonPages: 5375220 kB
Mapped: 32384 kB
Slab: 192780 kB
PageTables: 39264 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 100880032 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73508 MiB
End job on node128 at 2011-05-14 19:54:38