| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.18 | 1201.77 |
| Name | crafted/mosoi/289/ 289-unsat-17x30.cnf |
| MD5SUM | 3a506c7557d86d0d326e3b3cdee85b69 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2040 |
| Number of clauses | 240210 |
| Sum of the clauses size | 954720 |
| Maximum clause length | 4 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 3060 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 237150 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 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-3249483-1304129023.cnf' 0.00/0.00 c -- header says num vars: 2040 0.00/0.00 c -- header says num clauses: 240210 0.20/0.09 c -- clauses added: 0 learnts, 240210 normals, 0 xors 0.20/0.09 c -- vars added 2040 0.20/0.09 c Parsing time: 0.23 s 0.20/0.09 c N st 0 0 2040 237150 3060 0 954720 0 no data no data -- 0.20/0.20 c asymm cl-useful: 0/18771/237150 lits-rem:0 time: 0.47 0.20/0.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.2M T: 0.15 0.75/0.41 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.75/0.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s 0.75/0.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2040 time: 0.00 s 0.75/0.41 c Removed useless bin: 0 fixed: 0 props: 0.02M time: 0.00 s 20.69/5.29 c lits-rem: 0 cl-subs: 0 v-elim: 510 v-fix: 0 time: 19.59 s 20.69/5.29 c Finding binary XORs T: 0.00 s found: 0 21.47/5.43 c Finding non-binary XORs: 0.52 s (found: 0, avg size: nan) 21.47/5.43 c calculated reachability. Time: 0.00 21.47/5.44 c Calc default polars - time: 0.03 s pos: 32 undec: 510 neg: 1498 21.47/5.44 c ========================================================================================= 21.47/5.44 c types(t): F = full restart, N = normal restart 21.47/5.44 c types(t): S = simplification begin/end, E = solution found 21.47/5.44 c restart types(rt): st = static, dy = dynamic 21.47/5.44 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 21.47/5.44 c B st 0 0 1530 236640 1530 0 1422900 0 no data no data -- 22.27/5.62 c N dy 22 4100 1530 236640 1530 4085 1422900 206555 34.72 37.65 -- 23.07/5.82 c N dy 52 8253 1530 236640 1530 8232 1422900 419339 35.54 37.58 -- 23.86/6.03 c N dy 80 12272 1530 236640 1530 12246 1422900 638092 36.56 39.39 -- 24.67/6.25 c N dy 107 16342 1530 236640 1530 16314 1422900 861559 37.15 44.68 -- 25.87/6.52 c N dy 140 20382 1530 236640 1530 10367 1422900 251713 37.87 41.68 -- 26.66/6.72 c N dy 168 24476 1530 236640 1530 14459 1422900 478210 38.00 40.50 -- 26.66/6.74 c F st 173 25000 1530 236640 1530 14982 1422900 509716 38.15 no data -- 27.46/6.98 c N dy 179 30000 1530 236640 1530 19958 1422900 833810 38.15 no data -- 27.46/6.98 c S st 179 30000 1530 236640 1530 19958 1422900 833810 38.15 no data -- 28.26/7.14 c S st 179 30503 1530 236640 1530 20461 1422900 867931 38.15 no data -- 28.26/7.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 28.26/7.15 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 28.66/7.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.0M T: 0.41 29.06/7.36 c bin-w-bin subsume rem 0 bins time: 0.00 s 29.88/7.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.86 s 29.88/7.58 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1530 time: 0.00 s 29.88/7.58 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 61.41/15.43 c lits-rem: 121 cl-subs: 77 v-elim: 0 v-fix: 0 time: 31.27 s 62.21/15.66 c asymm cl-useful: 0/10486/236640 lits-rem:0 time: 0.93 62.21/15.67 c calculated reachability. Time: 0.00 62.21/15.67 c N dy 179 30503 1530 236640 1530 20384 1422900 859361 38.15 no data -- 63.01/15.88 c N dy 202 34680 1530 236640 1530 24551 1422900 1091117 38.14 40.87 -- 63.81/16.08 c N dy 226 38689 1530 236640 1530 28555 1422900 1312340 38.10 40.19 -- 65.03/16.34 c N dy 249 42915 1530 236640 1530 17306 1422900 421364 37.91 39.95 -- 65.41/16.48 c S st 268 45755 1530 236640 1530 20144 1422900 573183 37.90 no data -- 66.20/16.64 c S st 268 46262 1530 236640 1530 20650 1422900 611363 37.90 no data -- 66.20/16.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 66.20/16.65 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 66.60/16.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.9M T: 0.43 67.00/16.83 c bin-w-bin subsume rem 0 bins time: 0.00 s 67.41/16.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.51 s 67.41/16.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1530 time: 0.00 s 67.41/16.96 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 90.18/22.61 c lits-rem: 26 cl-subs: 10 v-elim: 0 v-fix: 0 time: 22.50 s 90.18/22.63 c vivif2 -- cl tried 236640 cl shrink 0 lits rem 0 time: 0.09 90.18/22.64 c vivif2 -- cl tried 20640 cl shrink 0 lits rem 0 time: 0.04 90.99/22.89 c asymm cl-useful: 0/12194/236640 lits-rem:0 time: 1.00 90.99/22.90 c calculated reachability. Time: 0.00 90.99/22.90 c N dy 268 46262 1530 236640 1530 20640 1422900 610142 37.90 no data -- 91.77/23.08 c N dy 284 50306 1530 236640 1530 24676 1422900 814238 37.58 39.59 -- 92.57/23.28 c N dy 306 54378 1530 236640 1530 28740 1422900 1028648 37.52 39.84 -- 93.76/23.51 c N dy 334 58420 1530 236640 1530 32778 1422900 1247235 37.54 39.53 -- 94.56/23.75 c N dy 362 62634 1530 236640 1530 36986 1422900 1474637 37.57 39.72 -- 95.78/24.02 c N dy 385 66791 1530 236640 1530 22430 1422900 559141 37.56 40.66 -- 96.16/24.15 c S st 400 69394 1530 236640 1530 25031 1422900 693403 37.51 no data -- 96.96/24.35 c S st 400 69897 1530 236640 1530 25534 1422900 734203 37.51 no data -- 96.96/24.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 96.96/24.36 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 97.36/24.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.8M T: 0.46 97.76/24.56 c bin-w-bin subsume rem 0 bins time: 0.00 s 98.56/24.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.63 s 98.56/24.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1530 time: 0.00 s 98.56/24.72 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 124.13/31.15 c lits-rem: 17 cl-subs: 20 v-elim: 0 v-fix: 0 time: 25.62 s 124.13/31.17 c vivif2 -- cl tried 236640 cl shrink 0 lits rem 0 time: 0.09 124.13/31.18 c vivif2 -- cl tried 25514 cl shrink 0 lits rem 0 time: 0.05 125.33/31.44 c asymm cl-useful: 0/10848/236640 lits-rem:0 time: 1.02 125.33/31.45 c calculated reachability. Time: 0.00 125.33/31.45 c N dy 400 69897 1530 236640 1530 25514 1422900 731898 37.51 no data -- 126.14/31.70 c N dy 430 74364 1530 236640 1530 29976 1422900 984343 37.66 39.70 -- 127.32/31.95 c N dy 459 79251 1530 236640 1530 34858 1422900 1249672 37.63 39.81 -- 128.52/32.24 c N dy 496 84339 1530 236640 1530 39938 1422900 1546276 37.85 48.48 -- 129.32/32.45 c F st 514 87503 1530 236640 1530 22254 1422900 446415 37.80 no data -- 130.12/32.63 c N st 519 90800 1530 236640 1530 25537 1422900 657962 37.80 no data -- 131.31/32.93 c N dy 542 96797 1530 236640 1530 31524 1422900 1010525 37.77 40.32 -- 132.51/33.27 c N dy 587 103050 1530 236640 1530 37771 1422900 1352886 37.83 40.36 -- 132.91/33.39 c S st 602 104845 1530 236640 1530 39564 1422900 1457555 37.91 no data -- 133.72/33.57 c S st 602 105345 1530 236640 1530 40064 1422900 1490739 37.91 no data -- 133.72/33.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 133.72/33.59 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 134.52/33.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.2M T: 0.51 134.93/33.82 c bin-w-bin subsume rem 0 bins time: 0.00 s 136.10/34.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.48 s 136.10/34.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1530 time: 0.00 s 136.10/34.19 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 193.63/48.50 c lits-rem: 15 cl-subs: 81 v-elim: 0 v-fix: 0 time: 57.02 s 193.63/48.53 c vivif2 -- cl tried 236640 cl shrink 0 lits rem 0 time: 0.09 193.63/48.55 c vivif2 -- cl tried 39983 cl shrink 0 lits rem 0 time: 0.10 194.83/48.83 c asymm cl-useful: 0/8535/236640 lits-rem:0 time: 1.10 194.83/48.83 c calculated reachability. Time: 0.00 194.83/48.83 c N dy 602 105345 1530 236640 1530 39983 1422900 1480833 37.91 no data -- 196.45/49.23 c N dy 638 112073 1530 236640 1530 24302 1422900 482723 37.78 39.89 -- 197.62/49.57 c N dy 687 119325 1530 236640 1530 31547 1422900 876587 37.83 39.85 -- 199.22/49.98 c N dy 733 127238 1530 236640 1530 39452 1422900 1314896 37.88 40.08 -- 201.62/50.52 c N dy 784 135779 1530 236640 1530 24307 1422900 432764 37.89 40.54 -- 203.21/50.95 c N dy 840 144488 1530 236640 1530 33008 1422900 912876 37.92 41.00 -- 205.23/51.45 c N dy 904 153826 1530 236640 1530 42329 1422900 1423572 37.99 40.41 -- 206.00/51.68 c S st 929 158017 1530 236640 1530 46515 1422900 1660972 38.01 no data -- 206.81/51.88 c S st 929 158520 1530 236640 1530 47017 1422900 1696501 38.01 no data -- 206.81/51.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 206.81/51.89 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 207.61/52.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.3M T: 0.53 208.01/52.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 209.62/52.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.67 s 209.62/52.56 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1530 time: 0.00 s 209.62/52.56 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 400.54/100.37 c lits-rem: 6 cl-subs: 50 v-elim: 0 v-fix: 0 time: 190.70 s 400.54/100.39 c vivif2 -- cl tried 236640 cl shrink 0 lits rem 0 time: 0.09 400.94/100.42 c vivif2 -- cl tried 46967 cl shrink 0 lits rem 0 time: 0.12 402.14/100.76 c asymm cl-useful: 0/5509/236640 lits-rem:0 time: 1.37 402.14/100.77 c calculated reachability. Time: 0.00 402.14/100.77 c N dy 929 158520 1530 236640 1530 46967 1422900 1690106 38.01 no data -- 404.54/101.38 c N dy 989 168664 1530 236640 1530 32258 1422900 793774 37.97 40.74 -- 406.94/101.94 c N dy 1052 179471 1530 236640 1530 43050 1422900 1380122 37.95 40.20 -- 409.73/102.69 c N dy 1120 191039 1530 236640 1530 28709 1422900 562538 37.93 40.04 -- 412.52/103.37 c N dy 1195 203297 1530 236640 1530 40960 1422900 1220332 37.92 40.24 -- 415.72/104.18 c N dy 1271 216392 1530 236640 1530 27100 1422900 425646 37.90 40.58 -- 418.52/104.89 c N dy 1350 230665 1530 236640 1530 41349 1422900 1191878 37.85 40.61 -- 420.53/105.31 c S st 1394 237780 1530 236640 1530 48448 1422900 1580246 37.86 no data -- 420.94/105.49 c S st 1394 238282 1530 236640 1530 48950 1422900 1614529 37.86 no data -- 421.31/105.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 421.31/105.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 421.71/105.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.5M T: 0.54 422.11/105.75 c bin-w-bin subsume rem 0 bins time: 0.00 s 423.71/106.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.50 s 423.71/106.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1530 time: 0.00 s 423.71/106.13 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 609.05/152.52 c lits-rem: 7 cl-subs: 37 v-elim: 0 v-fix: 0 time: 184.82 s 609.05/152.54 c vivif2 -- cl tried 236640 cl shrink 0 lits rem 0 time: 0.08 609.05/152.56 c vivif2 -- cl tried 48913 cl shrink 0 lits rem 0 time: 0.11 610.65/152.91 c asymm cl-useful: 0/5796/236640 lits-rem:0 time: 1.36 610.65/152.92 c calculated reachability. Time: 0.00 610.65/152.92 c N dy 1394 238282 1530 236640 1530 48913 1422900 1610185 37.86 no data -- 613.86/153.77 c N dy 1485 253518 1530 236640 1530 36181 1422900 886540 37.86 40.80 -- 617.44/154.63 c N dy 1588 269745 1530 236640 1530 52390 1422900 1781916 37.88 40.07 -- 621.43/155.60 c N dy 1693 287065 1530 236640 1530 40736 1422900 1083002 37.88 40.47 -- 625.42/156.62 c N dy 1810 305498 1530 236640 1530 59154 1422900 2089880 37.89 41.01 -- 625.42/156.67 c F st 1815 306250 1530 236640 1530 59904 1422900 2131240 37.89 29.17 -- 629.82/157.72 c N dy 1896 325084 1530 236640 1530 48738 1422900 1561567 37.88 40.00 -- 634.21/158.87 c N dy 2016 345299 1530 236640 1530 37974 1422900 844220 37.88 40.36 -- 637.01/159.57 c S st 2091 357423 1530 236640 1530 50083 1422900 1514647 37.90 40.15 -- 637.81/159.78 c S st 2091 357924 1530 236640 1530 50584 1422900 1552425 37.90 no data -- 637.81/159.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 637.81/159.79 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 638.61/159.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.4M T: 0.54 639.00/160.04 c bin-w-bin subsume rem 0 bins time: 0.00 s 640.22/160.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.45 s 640.22/160.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1530 time: 0.00 s 640.63/160.40 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 705.71/176.74 c lits-rem: 38 cl-subs: 36 v-elim: 0 v-fix: 0 time: 65.09 s 705.71/176.77 c vivif2 -- cl tried 236640 cl shrink 0 lits rem 0 time: 0.08 705.71/176.79 c vivif2 -- cl tried 50548 cl shrink 0 lits rem 0 time: 0.10 706.90/177.09 c asymm cl-useful: 0/6113/236640 lits-rem:0 time: 1.19 707.30/177.10 c calculated reachability. Time: 0.00 707.30/177.10 c N dy 2091 357924 1530 236640 1530 50548 1422900 1547551 37.90 no data -- 711.69/178.22 c N dy 2208 378008 1530 236640 1530 38655 1422900 845661 37.89 39.95 -- 716.08/179.32 c N dy 2340 398060 1530 236640 1530 58675 1422900 1946798 37.93 43.51 -- 720.48/180.46 c N dy 2471 418323 1530 236640 1530 45962 1422900 1194028 37.96 40.01 -- 724.88/181.57 c N dy 2592 438419 1530 236640 1530 66034 1422900 2286508 37.94 40.36 -- 729.27/182.68 c N dy 2710 458432 1530 236640 1530 52070 1422900 1496939 37.94 40.08 -- 734.06/183.86 c N dy 2823 478465 1530 236640 1530 37121 1422900 641140 37.91 40.16 -- 738.45/184.90 c N dy 2948 498539 1530 236640 1530 57165 1422900 1734528 37.92 43.84 -- 743.25/186.17 c N dy 3075 518573 1530 236640 1530 41220 1422900 823077 37.92 40.18 -- 747.24/187.18 c S st 3185 536887 1530 236640 1530 59510 1422900 1809896 37.90 no data -- 748.04/187.36 c S st 3185 537389 1530 236640 1530 60012 1422900 1844456 37.90 no data -- 748.04/187.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 748.04/187.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 748.84/187.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.6M T: 0.57 749.24/187.64 c bin-w-bin subsume rem 0 bins time: 0.00 s 750.84/188.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.65 s 750.84/188.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1530 time: 0.00 s 750.84/188.05 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 969.76/242.84 c lits-rem: 14 cl-subs: 49 v-elim: 0 v-fix: 0 time: 218.15 s 969.76/242.86 c vivif2 -- cl tried 236640 cl shrink 0 lits rem 0 time: 0.09 969.76/242.89 c vivif2 -- cl tried 59963 cl shrink 0 lits rem 0 time: 0.13 971.33/243.23 c asymm cl-useful: 0/6551/236640 lits-rem:0 time: 1.34 971.33/243.24 c calculated reachability. Time: 0.00 971.33/243.24 c N dy 3185 537389 1530 236640 1530 59963 1422900 1838660 37.90 no data -- 976.13/244.49 c N dy 3300 557547 1530 236640 1530 43135 1422900 875675 37.89 39.97 -- 980.93/245.65 c N dy 3418 577691 1530 236640 1530 63249 1422900 1973313 37.89 40.01 -- 986.12/246.98 c N dy 3545 597738 1530 236640 1530 45328 1422900 950079 37.91 41.28 -- 990.91/248.19 c N dy 3664 617807 1530 236640 1530 65355 1422900 2025511 37.88 40.28 -- 996.12/249.50 c N dy 3774 637864 1530 236640 1530 46442 1422900 970211 37.86 56.68 -- 1001.29/250.70 c N dy 3897 657936 1530 236640 1530 66484 1422900 2034233 37.85 39.96 -- 1006.49/252.04 c N dy 4017 678023 1530 236640 1530 46611 1422900 939422 37.85 45.43 -- 1011.28/253.28 c N dy 4143 698063 1530 236640 1530 66627 1422900 2029420 37.86 40.84 -- 1016.87/254.64 c N dy 4260 718114 1530 236640 1530 45709 1422900 850504 37.85 39.96 -- 1021.67/255.83 c N dy 4383 738133 1530 236640 1530 65695 1422900 1953908 37.87 39.91 -- 1027.65/257.30 c N dy 4501 758423 1530 236640 1530 44020 1422900 716273 37.86 40.44 -- 1032.05/258.50 c N dy 4632 778574 1530 236640 1530 64150 1422900 1812959 37.87 40.10 -- 1037.25/259.76 c N dy 4752 798700 1530 236640 1530 84249 1422900 2921247 37.87 41.05 -- 1039.64/260.31 c S st 4799 806083 1530 236640 1530 48687 1422900 934318 37.87 no data -- 1040.46/260.50 c S st 4799 806584 1530 236640 1530 49187 1422900 970623 37.87 no data -- 1040.46/260.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 1040.46/260.52 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1040.84/260.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.3M T: 0.52 1041.24/260.74 c bin-w-bin subsume rem 0 bins time: 0.00 s 1042.04/260.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.65 s 1042.04/260.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1530 time: 0.00 s 1042.04/260.90 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1073.59/268.89 c lits-rem: 4 cl-subs: 18 v-elim: 0 v-fix: 0 time: 31.81 s 1073.99/268.91 c vivif2 -- cl tried 236640 cl shrink 0 lits rem 0 time: 0.09 1073.99/268.93 c vivif2 -- cl tried 49169 cl shrink 0 lits rem 0 time: 0.07 1075.21/269.23 c asymm cl-useful: 0/8332/236640 lits-rem:0 time: 1.19 1075.21/269.24 c calculated reachability. Time: 0.00 1075.21/269.24 c N dy 4799 806584 1530 236640 1530 49169 1422900 968101 37.87 no data -- 1080.01/270.41 c N dy 4923 826597 1530 236640 1530 69159 1422900 2060912 37.87 40.56 -- 1085.17/271.76 c N dy 5046 846655 1530 236640 1530 45245 1422900 705574 37.87 41.02 -- 1089.57/272.87 c N dy 5167 866981 1530 236640 1530 65543 1422900 1822773 37.87 40.43 -- 1094.36/274.09 c N dy 5286 887082 1530 236640 1530 85615 1422900 2904987 37.86 41.08 -- 1099.56/275.32 c N dy 5398 907095 1530 236640 1530 60659 1422900 1509648 37.86 39.93 -- 1104.35/276.56 c N dy 5518 927319 1530 236640 1530 80857 1422900 2597291 37.85 40.21 -- 1109.54/277.89 c N dy 5628 947361 1530 236640 1530 54927 1422900 1156888 37.84 39.87 -- 1114.34/279.06 c N dy 5749 967372 1530 236640 1530 74917 1422900 2252197 37.85 39.89 -- 1119.93/280.44 c N dy 5876 987390 1530 236640 1530 47960 1422900 745142 37.86 40.14 -- 1124.72/281.62 c N dy 5996 1007585 1530 236640 1530 68131 1422900 1836427 37.85 40.16 -- 1129.51/282.89 c N dy 6113 1027602 1530 236640 1530 88117 1422900 2897343 37.83 40.01 -- 1134.71/284.19 c N dy 6236 1047643 1530 236640 1530 60212 1422900 1373997 37.83 40.22 -- 1139.90/285.40 c N dy 6356 1067722 1530 236640 1530 80259 1422900 2463114 37.83 40.42 -- 1141.12/285.71 c F st 6388 1071877 1530 236640 1530 84406 1422900 2700439 37.84 36.44 -- 1145.51/286.82 c N dy 6458 1087759 1530 236640 1530 51317 1422900 839496 37.83 44.92 -- 1149.90/287.95 c N dy 6578 1107789 1530 236640 1530 71316 1422900 1937540 37.83 39.88 -- 1155.08/289.26 c N dy 6703 1127850 1530 236640 1530 91350 1422900 3044315 37.84 40.57 -- 1161.07/290.71 c N dy 6831 1148108 1530 236640 1530 61671 1422900 1361413 37.85 40.54 -- 1165.86/291.99 c N dy 6950 1168120 1530 236640 1530 81647 1422900 2445770 37.85 40.15 -- 1171.46/293.39 c N dy 7072 1188215 1530 236640 1530 101713 1422900 3541569 37.84 40.01 -- 1177.05/294.71 c N dy 7180 1208317 1530 236640 1530 70863 1422900 1777604 37.82 39.96 -- 1177.45/294.82 c S st 7191 1209878 1530 236640 1530 72421 1422900 1859478 37.81 no data -- 1178.25/295.05 c S st 7191 1210379 1530 236640 1530 72921 1422900 1896242 37.81 no data -- 1178.25/295.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 1178.25/295.07 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1179.04/295.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.7M T: 0.63 1179.44/295.35 c bin-w-bin subsume rem 0 bins time: 0.00 s 1181.07/295.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.61 s 1181.07/295.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1530 time: 0.00 s 1181.07/295.75 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1393.56/348.95 c lits-rem: 12 cl-subs: 57 v-elim: 0 v-fix: 0 time: 211.93 s 1393.56/348.97 c vivif2 -- cl tried 236640 cl shrink 0 lits rem 0 time: 0.09 1393.96/349.00 c vivif2 -- cl tried 72864 cl shrink 0 lits rem 0 time: 0.14 1395.16/349.31 c asymm cl-useful: 0/7118/236640 lits-rem:0 time: 1.24 1395.16/349.32 c calculated reachability. Time: 0.00 1395.16/349.32 c N dy 7191 1210379 1530 236640 1530 72864 1422900 1889734 37.81 no data -- 1400.36/350.63 c N dy 7317 1230601 1530 236640 1530 93064 1422900 2992832 37.82 40.22 -- 1405.93/352.03 c N dy 7444 1250671 1530 236640 1530 61187 1422900 1242948 37.83 40.39 -- 1410.73/353.25 c N dy 7567 1270748 1530 236640 1530 81239 1422900 2345409 37.83 40.05 -- 1416.32/354.61 c N dy 7680 1290937 1530 236640 1530 101401 1422900 3418335 37.82 39.97 -- 1421.51/355.95 c N dy 7792 1310989 1530 236640 1530 68489 1422900 1584221 37.81 39.97 -- 1426.72/357.28 c N dy 7918 1331181 1530 236640 1530 88656 1422900 2693752 37.82 40.21 -- 1433.09/358.85 c N dy 8047 1351332 1530 236640 1530 54852 1422900 813967 37.82 40.70 -- 1437.89/360.05 c N dy 8175 1371418 1530 236640 1530 74911 1422900 1915336 37.83 40.73 -- 1443.49/361.40 c N dy 8305 1391496 1530 236640 1530 94951 1422900 3024264 37.85 40.62 -- 1449.47/362.91 c N dy 8431 1411660 1530 236640 1530 60158 1422900 1059200 37.84 40.03 -- 1454.26/364.13 c N dy 8560 1431793 1530 236640 1530 80259 1422900 2166112 37.85 39.85 -- 1459.86/365.53 c N dy 8683 1452081 1530 236640 1530 100527 1422900 3279773 37.85 40.20 -- 1465.86/367.00 c N dy 8809 1472167 1530 236640 1530 64661 1422900 1260517 37.85 40.74 -- 1471.07/368.30 c N dy 8935 1492231 1530 236640 1530 84701 1422900 2357861 37.86 40.30 -- 1477.03/369.80 c N dy 9071 1512299 1530 236640 1530 104745 1422900 3472289 37.87 40.54 -- 1482.64/371.24 c N dy 9182 1532335 1530 236640 1530 67843 1422900 1398570 37.86 40.07 -- 1487.83/372.55 c N dy 9304 1552414 1530 236640 1530 87901 1422900 2498504 37.86 41.71 -- 1493.41/373.95 c N dy 9417 1572477 1530 236640 1530 107916 1422900 3596027 37.86 40.69 -- 1499.00/375.38 c N dy 9544 1592619 1530 236640 1530 70115 1422900 1487442 37.86 40.89 -- 1504.20/376.61 c N dy 9661 1612632 1530 236640 1530 90093 1422900 2587459 37.86 39.87 -- 1509.79/378.00 c N dy 9786 1632713 1530 236640 1530 110141 1422900 3679035 37.86 40.23 -- 1515.38/379.42 c N dy 9903 1652855 1530 236640 1530 71351 1422900 1495936 37.85 40.28 -- 1520.57/380.70 c N dy 10026 1673000 1530 236640 1530 91467 1422900 2591060 37.85 40.56 -- 1526.17/382.11 c N dy 10148 1693015 1530 236640 1530 111453 1422900 3697238 37.86 40.24 -- 1530.97/383.35 c S st 10252 1710379 1530 236640 1530 68883 1422900 1324415 37.85 33.25 -- 1531.76/383.55 c S st 10252 1710881 1530 236640 1530 69385 1422900 1363683 37.85 no data -- 1531.76/383.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 1531.76/383.57 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1532.58/383.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.5M T: 0.60 1532.95/383.82 c bin-w-bin subsume rem 0 bins time: 0.00 s 1533.76/384.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.86 s 1533.76/384.04 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1530 time: 0.00 s 1533.76/384.04 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1583.29/396.44 c lits-rem: 23 cl-subs: 14 v-elim: 0 v-fix: 0 time: 49.44 s 1583.29/396.46 c vivif2 -- cl tried 236640 cl shrink 0 lits rem 0 time: 0.09 1583.29/396.49 c vivif2 -- cl tried 69371 cl shrink 0 lits rem 0 time: 0.10 1584.91/396.82 c asymm cl-useful: 0/6754/236640 lits-rem:0 time: 1.31 1584.91/396.83 c calculated reachability. Time: 0.00 1584.91/396.83 c N dy 10252 1710881 1530 236640 1530 69371 1422900 1361906 37.85 no data -- 1590.09/398.11 c N dy 10379 1730883 1530 236640 1530 89339 1422900 2469029 37.86 41.16 -- 1595.28/399.49 c N dy 10506 1750975 1530 236640 1530 109405 1422900 3574271 37.87 47.94 -- 1601.26/400.98 c N dy 10634 1770977 1530 236640 1530 68456 1422900 1272387 37.87 40.03 -- 1606.46/402.26 c N dy 10756 1791079 1530 236640 1530 88528 1422900 2373237 37.88 40.31 -- 1612.05/403.64 c N dy 10885 1811148 1530 236640 1530 108576 1422900 3482823 37.88 39.97 -- 1618.45/405.23 c N dy 11005 1831370 1530 236640 1530 66844 1422900 1129969 37.88 40.68 -- 1623.23/406.49 c N dy 11133 1851550 1530 236640 1530 86988 1422900 2238947 37.89 40.91 -- 1628.84/407.86 c N dy 11258 1871555 1530 236640 1530 106971 1422900 3326355 37.89 39.91 -- 1635.22/409.41 c N dy 11370 1891650 1530 236640 1530 64129 1422900 944070 37.88 40.33 -- 1640.01/410.61 c N dy 11492 1911754 1530 236640 1530 84198 1422900 2059985 37.89 41.52 -- 1645.21/411.93 c N dy 11612 1931793 1530 236640 1530 104210 1422900 3145901 37.88 40.32 -- 1650.82/413.37 c N dy 11738 1951851 1530 236640 1530 124234 1422900 4238593 37.89 41.34 -- 1656.39/414.76 c N dy 11856 1971859 1530 236640 1530 80323 1422900 1804155 37.89 50.29 -- 1661.59/416.08 c N dy 11976 1991982 1530 236640 1530 100425 1422900 2895581 37.89 40.24 -- 1667.57/417.55 c N dy 12101 2012090 1530 236640 1530 120496 1422900 4002211 37.89 39.90 -- 1673.56/419.06 c N dy 12220 2032130 1530 236640 1530 75611 1422900 1483992 37.89 39.90 -- 1678.76/420.31 c N dy 12342 2052261 1530 236640 1530 95718 1422900 2589756 37.89 41.28 -- 1684.35/421.76 c N dy 12472 2072352 1530 236640 1530 115784 1422900 3698219 37.89 43.02 -- 1690.76/423.35 c N dy 12579 2092440 1530 236640 1530 69933 1422900 1137835 37.89 41.64 -- 1695.53/424.57 c N dy 12698 2112563 1530 236640 1530 90026 1422900 2221323 37.88 40.11 -- 1701.13/425.93 c N dy 12823 2132572 1530 236640 1530 110015 1422900 3314298 37.88 39.98 -- 1707.12/427.45 c N dy 12948 2152826 1530 236640 1530 130235 1422900 4426253 37.89 40.32 -- 1713.11/428.94 c N dy 13077 2172930 1530 236640 1530 83382 1422900 1832496 37.89 40.85 -- 1718.30/430.28 c N dy 13200 2192935 1530 236640 1530 103359 1422900 2935740 37.89 42.56 -- 1723.89/431.63 c S st 13317 2210883 1530 236640 1530 121280 1422900 3919329 37.90 34.16 -- 1724.70/431.88 c S st 13317 2211383 1530 236640 1530 121780 1422900 3954022 37.90 no data -- 1725.10/431.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 1725.10/431.90 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1725.91/432.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 5.3M T: 0.80 1726.69/432.31 c bin-w-bin subsume rem 0 bins time: 0.00 s 1730.68/433.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 4.20 s 1730.68/433.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1530 time: 0.00 s 1730.68/433.37 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2664.60/667.12 c lits-rem: 6 cl-subs: 111 v-elim: 0 v-fix: 0 time: 930.14 s 2664.60/667.14 c vivif2 -- cl tried 236640 cl shrink 0 lits rem 0 time: 0.09 2665.00/667.22 c vivif2 -- cl tried 121669 cl shrink 0 lits rem 0 time: 0.29 2666.61/667.60 c asymm cl-useful: 0/5733/236640 lits-rem:0 time: 1.53 2666.61/667.61 c calculated reachability. Time: 0.00 2666.61/667.61 c N dy 13317 2211383 1530 236640 1530 121669 1422900 3940689 37.90 no data -- 2672.60/669.14 c N dy 13434 2231605 1530 236640 1530 73964 1422900 1275864 37.90 40.14 -- 2677.79/670.40 c N dy 13547 2251654 1530 236640 1530 93977 1422900 2356254 37.89 43.08 -- 2683.40/671.85 c N dy 13673 2271874 1530 236640 1530 114184 1422900 3468223 37.90 40.11 -- 2689.77/673.41 c N dy 13800 2292048 1530 236640 1530 134333 1422900 4564442 37.90 40.19 -- 2695.37/674.88 c N dy 13916 2312140 1530 236640 1530 85491 1422900 1865777 37.89 39.95 -- 2700.97/676.23 c N dy 14037 2332197 1530 236640 1530 105523 1422900 2961098 37.90 53.06 -- 2706.95/677.75 c N dy 14165 2352524 1530 236640 1530 125827 1422900 4072763 37.90 40.33 -- 2713.34/679.39 c N dy 14281 2372673 1530 236640 1530 76036 1422900 1307196 37.89 40.52 -- 2718.55/680.65 c N dy 14398 2392726 1530 236640 1530 96062 1422900 2384328 37.89 50.94 -- 2724.13/682.09 c N dy 14526 2412849 1530 236640 1530 116156 1422900 3500101 37.89 41.62 -- 2730.52/683.66 c N dy 14653 2432856 1530 236640 1530 136140 1422900 4604793 37.90 42.29 -- 2736.53/685.19 c N dy 14770 2453087 1530 236640 1530 85434 1422900 1780366 37.89 40.46 -- 2742.10/686.59 c N dy 14902 2473193 1530 236640 1530 105516 1422900 2887851 37.90 40.40 -- 2748.09/688.09 c N dy 15027 2493287 1530 236640 1530 125587 1422900 3986588 37.90 39.99 -- 2755.27/689.88 c N dy 15152 2513299 1530 236640 1530 73658 1422900 1107354 37.90 40.27 -- 2760.47/691.13 c N dy 15276 2533348 1530 236640 1530 93678 1422900 2200083 37.90 40.15 -- 2766.07/692.51 c N dy 15390 2553469 1530 236640 1530 113783 1422900 3289247 37.90 40.11 -- 2772.05/694.02 c N dy 15505 2573527 1530 236640 1530 133814 1422900 4390663 37.90 40.19 -- 2778.45/695.68 c N dy 15627 2593722 1530 236640 1530 81069 1422900 1465554 37.90 40.12 -- 2784.04/697.01 c N dy 15748 2614038 1530 236640 1530 101362 1422900 2569472 37.90 41.87 -- 2789.63/698.49 c N dy 15875 2634106 1530 236640 1530 121403 1422900 3676678 37.90 50.22 -- 2796.02/700.03 c N dy 15988 2654169 1530 236640 1530 141439 1422900 4762138 37.90 39.97 -- 2802.43/701.66 c N dy 16108 2674268 1530 236640 1530 87623 1422900 1775126 37.90 41.28 -- 2807.61/702.95 c N dy 16213 2694380 1530 236640 1530 107707 1422900 2838876 37.88 40.02 -- 2812.80/704.28 c S st 16323 2711383 1530 236640 1530 124686 1422900 3759492 37.88 no data -- 2814.00/704.56 c S st 16323 2711885 1530 236640 1530 125187 1422900 3794237 37.88 no data -- 2814.00/704.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09 2814.00/704.58 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2814.80/704.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 5.4M T: 0.81 2815.62/704.98 c bin-w-bin subsume rem 0 bins time: 0.00 s 2819.61/705.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.87 s 2819.61/705.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1530 time: 0.00 s 2819.61/705.96 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3644.86/912.56 c lits-rem: 30 cl-subs: 118 v-elim: 0 v-fix: 0 time: 824.33 s 3644.86/912.59 c vivif2 -- cl tried 236640 cl shrink 0 lits rem 0 time: 0.09 3645.26/912.65 c vivif2 -- cl tried 125069 cl shrink 0 lits rem 0 time: 0.27 3646.86/913.01 c asymm cl-useful: 0/6011/236640 lits-rem:0 time: 1.43 3646.86/913.03 c calculated reachability. Time: 0.00 3646.86/913.03 c N dy 16323 2711885 1530 236640 1530 125069 1422900 3779283 37.88 no data -- 3652.45/914.46 c N dy 16443 2731968 1530 236640 1530 145132 1422900 4884195 37.89 44.81 -- 3658.45/915.93 c N dy 16573 2752063 1530 236640 1530 90302 1422900 1892313 37.89 40.10 -- 3664.03/917.30 c N dy 16701 2772137 1530 236640 1530 110339 1422900 2997439 37.89 40.04 -- 3669.63/918.78 c N dy 16829 2792176 1530 236640 1530 130352 1422900 4088713 37.89 40.03 -- 3676.02/920.34 c N dy 16949 2812378 1530 236640 1530 150525 1422900 5181060 37.89 40.31 -- 3681.61/921.80 c N dy 17075 2832592 1530 236640 1530 94817 1422900 2113041 37.89 40.61 -- 3687.60/923.21 c N dy 17207 2852633 1530 236640 1530 114837 1422900 3237075 37.90 46.03 -- 3693.20/924.68 c N dy 17320 2872676 1530 236640 1530 134862 1422900 4317563 37.90 40.33 -- 3700.38/926.41 c N dy 17443 2892799 1530 236640 1530 78054 1422900 1150603 37.90 40.20 -- 3705.18/927.63 c N dy 17562 2912985 1530 236640 1530 98203 1422900 2231939 37.89 40.43 -- 3710.37/928.99 c N dy 17688 2932992 1530 236640 1530 118188 1422900 3331879 37.90 40.33 -- 3715.98/930.37 c N dy 17798 2953131 1530 236640 1530 138301 1422900 4419692 37.89 40.08 -- 3723.15/932.16 c N dy 17921 2973211 1530 236640 1530 80472 1422900 1236852 37.89 40.19 -- 3728.34/933.40 c N dy 18038 2993228 1530 236640 1530 100465 1422900 2330904 37.89 53.84 -- 3733.56/934.77 c N dy 18155 3013232 1530 236640 1530 120453 1422900 3416188 37.89 39.96 -- 3739.52/936.28 c N dy 18275 3033248 1530 236640 1530 140440 1422900 4501685 37.88 43.81 -- 3746.32/937.98 c N dy 18395 3053488 1530 236640 1530 81742 1422900 1270236 37.89 40.25 -- 3751.53/939.22 c N dy 18520 3073681 1530 236640 1530 101905 1422900 2364903 37.89 41.22 -- 3757.10/940.65 c N dy 18646 3093736 1530 236640 1530 121928 1422900 3458720 37.89 40.44 -- 3763.10/942.19 c N dy 18766 3113866 1530 236640 1530 142026 1422900 4554694 37.89 39.89 -- 3770.69/944.02 c N dy 18882 3133988 1530 236640 1530 82229 1422900 1258102 37.88 40.35 -- 3775.88/945.32 c N dy 19004 3154267 1530 236640 1530 102486 1422900 2358101 37.88 40.51 -- 3781.89/946.82 c N dy 19129 3174350 1530 236640 1530 122551 1422900 3472108 37.89 40.38 -- 3788.25/948.45 c N dy 19252 3194435 1530 236640 1530 142602 1422900 4569558 37.89 39.95 -- 3794.26/949.91 c S st 19356 3211886 1530 236640 1530 160033 1422900 5499652 37.89 37.96 -- 3795.48/950.21 c S st 19356 3212390 1530 236640 1530 160536 1422900 5537402 37.89 no data -- 3795.48/950.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10 3795.48/950.23 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3796.25/950.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 6.0M T: 0.93 3797.45/950.73 c bin-w-bin subsume rem 0 bins time: 0.00 s 3803.85/952.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 6.40 s 3803.85/952.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1530 time: 0.00 s 3803.85/952.34 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
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-3249483-1304129023/watcher-3249483-1304129023 -o /tmp/evaluation-result-3249483-1304129023/solver-3249483-1304129023 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3249483-1304129023.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.14 4.36 5.57 1/172 11730 /proc/meminfo: memFree=30985972/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 524502750 52465664 352 33554432000 4194304 4650419 140734267903168 18446744073709551615 47723485194162 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/11730/statm: 12809 352 303 112 0 7774 0 [pid=11730/tid=11731] ppid=11728 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 524502750 52465664 352 33554432000 4194304 4650419 140734267903168 18446744073709551615 47723485194162 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 524502750 52465664 352 33554432000 4194304 4650419 140734267903168 18446744073709551615 47723485194162 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 524502750 52465664 352 33554432000 4194304 4650419 140734267903168 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.062257 s] /proc/loadavg: 4.14 4.36 5.57 1/172 11730 /proc/meminfo: memFree=30985972/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=295988 CPUtime=0.2 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 12206 0 0 0 16 4 0 0 18 0 4 0 524502750 303091712 12124 33554432000 4194304 4650419 140734267903168 18446744073709551615 230809209015 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/11730/statm: 74063 13160 344 112 0 69028 0 [pid=11730/tid=11731] ppid=11728 vsize=296384 CPUtime=0.05 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) D 11728 11730 10605 0 -1 4202560 3426 0 0 0 4 1 0 0 18 0 4 0 524502750 303497216 13489 33554432000 4194304 4650419 140734267903168 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=297596 CPUtime=0.05 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 3372 0 0 0 5 0 0 0 18 0 4 0 524502750 304738304 14045 33554432000 4194304 4650419 140734267903168 18446744073709551615 4372587 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=299072 CPUtime=0.05 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 3448 0 0 0 5 0 0 0 18 0 4 0 524502750 306249728 14347 33554432000 4194304 4650419 140734267903168 18446744073709551615 4372510 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 295988 [startup+0.118223 s] /proc/loadavg: 4.14 4.36 5.57 1/172 11730 /proc/meminfo: memFree=30985972/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=320084 CPUtime=0.75 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 18624 0 0 0 69 6 0 0 18 0 4 0 524502750 327766016 18315 33554432000 4194304 4650419 140734267903168 18446744073709551615 230808826913 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/11730/statm: 90678 21518 370 112 0 85643 0 [pid=11730/tid=11731] ppid=11728 vsize=364764 CPUtime=0.2 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) D 11728 11730 10605 0 -1 4202560 7654 0 0 0 18 2 0 0 18 0 4 0 524502750 373518336 22835 33554432000 4194304 4650419 140734267903168 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=343572 CPUtime=0.26 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) D 11728 11730 10605 0 -1 4202560 8359 0 0 0 25 1 0 0 18 0 4 0 524502750 351817728 22417 33554432000 4194304 4650419 140734267903168 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=343572 CPUtime=0.26 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 4749 0 0 0 25 1 0 0 18 0 4 0 524502750 351817728 22419 33554432000 4194304 4650419 140734267903168 18446744073709551615 4310949 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.75 Current children cumulated vsize (KiB) 320084 [startup+0.428762 s] /proc/loadavg: 4.14 4.36 5.57 1/172 11730 /proc/meminfo: memFree=30985972/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=412484 CPUtime=4.39 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 63865 0 0 0 424 15 0 0 18 0 4 0 524502750 422383616 53919 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476407 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/11730/statm: 103121 53920 390 112 0 98086 0 [pid=11730/tid=11731] ppid=11728 vsize=412484 CPUtime=1.09 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 19120 0 0 0 106 3 0 0 19 0 4 0 524502750 422383616 53920 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=412484 CPUtime=1.08 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 19101 0 0 0 104 4 0 0 18 0 4 0 524502750 422383616 53920 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=412484 CPUtime=1.1 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 6104 0 0 0 108 2 0 0 18 0 4 0 524502750 422383616 53920 33554432000 4194304 4650419 140734267903168 18446744073709551615 4352090 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.39 Current children cumulated vsize (KiB) 412484 [startup+1.22501 s] /proc/loadavg: 4.14 4.36 5.57 1/172 11730 /proc/meminfo: memFree=30985972/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=412484 CPUtime=4.8 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 64034 0 0 0 464 16 0 0 19 0 4 0 524502750 422383616 54088 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/11730/statm: 103121 54088 390 112 0 98086 0 [pid=11730/tid=11731] ppid=11728 vsize=412484 CPUtime=1.19 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 19120 0 0 0 116 3 0 0 19 0 4 0 524502750 422383616 54088 33554432000 4194304 4650419 140734267903168 18446744073709551615 230808862809 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=412484 CPUtime=1.18 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 19101 0 0 0 114 4 0 0 18 0 4 0 524502750 422383616 54088 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476449 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=412484 CPUtime=1.19 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 6272 0 0 0 117 2 0 0 19 0 4 0 524502750 422383616 54088 33554432000 4194304 4650419 140734267903168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.8 Current children cumulated vsize (KiB) 412484 [startup+1.50096 s] /proc/loadavg: 4.14 4.36 5.57 1/172 11730 /proc/meminfo: memFree=30985972/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=387364 CPUtime=5.9 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 69800 0 0 0 573 17 0 0 19 0 4 0 524502750 396660736 50481 33554432000 4194304 4650419 140734267903168 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/11730/statm: 96841 50481 391 112 0 91806 0 [pid=11730/tid=11731] ppid=11728 vsize=387364 CPUtime=1.46 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 19872 0 0 0 143 3 0 0 19 0 4 0 524502750 396660736 50481 33554432000 4194304 4650419 140734267903168 18446744073709551615 4420565 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=387364 CPUtime=1.45 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 19787 0 0 0 141 4 0 0 19 0 4 0 524502750 396660736 50481 33554432000 4194304 4650419 140734267903168 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=387364 CPUtime=1.47 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 9903 0 0 0 144 3 0 0 19 0 4 0 524502750 396660736 50481 33554432000 4194304 4650419 140734267903168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 5.9 Current children cumulated vsize (KiB) 387364 [startup+3.10667 s] /proc/loadavg: 4.61 4.45 5.59 9/184 11747 /proc/meminfo: memFree=30356992/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=604824 CPUtime=12.31 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 99797 0 0 0 1207 24 0 0 23 0 4 0 524502750 619339776 80468 33554432000 4194304 4650419 140734267903168 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/11730/statm: 151206 80468 392 112 0 146171 0 [pid=11730/tid=11731] ppid=11728 vsize=604824 CPUtime=3.06 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 24156 0 0 0 301 5 0 0 23 0 4 0 524502750 619339776 80468 33554432000 4194304 4650419 140734267903168 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=604824 CPUtime=3.06 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 26645 0 0 0 301 5 0 0 23 0 4 0 524502750 619339776 80469 33554432000 4194304 4650419 140734267903168 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=604824 CPUtime=3.08 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 21865 0 0 0 302 6 0 0 23 0 4 0 524502750 619339776 80469 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476318 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.31 Current children cumulated vsize (KiB) 604824 [startup+6.30108 s] /proc/loadavg: 4.88 4.51 5.61 9/184 11747 /proc/meminfo: memFree=30269032/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=622180 CPUtime=25.09 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 118850 0 0 0 2482 27 0 0 25 0 4 0 524502750 637112320 93005 33554432000 4194304 4650419 140734267903168 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/11730/statm: 155545 93005 395 112 0 150510 0 [pid=11730/tid=11731] ppid=11728 vsize=622180 CPUtime=6.25 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 29509 0 0 0 619 6 0 0 25 0 4 0 524502750 637112320 93005 33554432000 4194304 4650419 140734267903168 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=622180 CPUtime=6.26 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 33380 0 0 0 619 7 0 0 25 0 4 0 524502750 637112320 93005 33554432000 4194304 4650419 140734267903168 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=622180 CPUtime=6.28 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 22412 0 0 0 622 6 0 0 25 0 4 0 524502750 637112320 93005 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476440 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.09 Current children cumulated vsize (KiB) 622180 [startup+12.7009 s] /proc/loadavg: 5.13 4.57 5.62 9/184 11749 /proc/meminfo: memFree=30052320/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=753144 CPUtime=50.63 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 178903 0 0 0 5025 38 0 0 25 0 4 0 524502750 771219456 129137 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/11730/statm: 188286 129137 415 112 0 183251 0 [pid=11730/tid=11731] ppid=11728 vsize=753144 CPUtime=12.61 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 45164 0 0 0 1253 8 0 0 25 0 4 0 524502750 771219456 129137 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=753144 CPUtime=12.65 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 50749 0 0 0 1255 10 0 0 25 0 4 0 524502750 771219456 129137 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=753144 CPUtime=12.67 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 34174 0 0 0 1257 10 0 0 25 0 4 0 524502750 771219456 129137 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476421 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.63 Current children cumulated vsize (KiB) 753144 [startup+25.5006 s] /proc/loadavg: 5.65 4.69 5.65 10/185 11750 /proc/meminfo: memFree=29884280/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=762588 CPUtime=101.75 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 238248 0 0 0 10125 50 0 0 25 0 4 0 524502750 780890112 149205 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476812 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/11730/statm: 190647 149205 395 112 0 185612 0 [pid=11730/tid=11731] ppid=11728 vsize=762588 CPUtime=25.33 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 52982 0 0 0 2524 9 0 0 25 0 4 0 524502750 780890112 149205 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=762588 CPUtime=25.45 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 67876 0 0 0 2532 13 0 0 25 0 4 0 524502750 780890112 149205 33554432000 4194304 4650419 140734267903168 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=762588 CPUtime=25.46 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 56253 0 0 0 2532 14 0 0 25 0 4 0 524502750 780890112 149205 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.75 Current children cumulated vsize (KiB) 762588 [startup+51.1009 s] /proc/loadavg: 6.71 5.02 5.73 9/184 11751 /proc/meminfo: memFree=29713188/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=813140 CPUtime=204.01 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 348344 0 0 0 20325 76 0 0 25 0 4 0 524502750 832655360 169609 33554432000 4194304 4650419 140734267903168 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/11730/statm: 203285 169609 395 112 0 198250 0 [pid=11730/tid=11731] ppid=11728 vsize=813140 CPUtime=50.79 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 59673 0 0 0 5068 11 0 0 25 0 4 0 524502750 832655360 169609 33554432000 4194304 4650419 140734267903168 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=813140 CPUtime=51.05 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 129859 0 0 0 5077 28 0 0 25 0 4 0 524502750 832655360 169609 33554432000 4194304 4650419 140734267903168 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=813140 CPUtime=51.07 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 82973 0 0 0 5085 22 0 0 25 0 4 0 524502750 832655360 169609 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 204.01 Current children cumulated vsize (KiB) 813140 [startup+102.3 s] /proc/loadavg: 7.56 5.54 5.87 9/184 11752 /proc/meminfo: memFree=29599144/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=887864 CPUtime=408.53 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 473120 0 0 0 40746 107 0 0 25 0 4 0 524502750 909172736 180442 33554432000 4194304 4650419 140734267903168 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/11730/statm: 221966 180442 395 112 0 216931 0 [pid=11730/tid=11731] ppid=11728 vsize=887864 CPUtime=101.72 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 62252 0 0 0 10160 12 0 0 25 0 4 0 524502750 909172736 180442 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=887864 CPUtime=102.24 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 249718 0 0 0 10167 57 0 0 25 0 4 0 524502750 909172736 180442 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=887864 CPUtime=102.27 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 83412 0 0 0 10205 22 0 0 25 0 4 0 524502750 909172736 180442 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.53 Current children cumulated vsize (KiB) 887864 [startup+162.3 s] ################ # More data... # ################ [pid=11730] ppid=11728 vsize=1415796 CPUtime=2565.53 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 4644368 0 0 0 255720 833 0 0 25 0 4 0 524502750 1449775104 264263 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/11730/statm: 353949 264263 395 112 0 348914 0 [pid=11730/tid=11731] ppid=11728 vsize=1415796 CPUtime=641.73 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 144744 0 0 0 64133 40 0 0 25 0 4 0 524502750 1449775104 264263 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=1415796 CPUtime=642.17 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 2232923 0 0 0 63826 391 0 0 25 0 4 0 524502750 1449775104 264263 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=1415796 CPUtime=642.28 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 1393938 0 0 0 63984 244 0 0 25 0 4 0 524502750 1449775104 264263 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2565.53 Current children cumulated vsize (KiB) 1415796 [startup+702.3 s] /proc/loadavg: 8.06 7.74 6.91 9/184 11768 /proc/meminfo: memFree=28729460/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=1437884 CPUtime=2805.21 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 4906602 0 0 0 279638 883 0 0 25 0 4 0 524502750 1472393216 280856 33554432000 4194304 4650419 140734267903168 18446744073709551615 4331850 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/11730/statm: 359471 280856 395 112 0 354436 0 [pid=11730/tid=11731] ppid=11728 vsize=1437884 CPUtime=701.73 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 145108 0 0 0 70133 40 0 0 25 0 4 0 524502750 1472393216 280856 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=1437884 CPUtime=702.16 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 2380187 0 0 0 69803 413 0 0 25 0 4 0 524502750 1472393216 280856 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=1437884 CPUtime=702.28 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 1393938 0 0 0 69984 244 0 0 25 0 4 0 524502750 1472393216 280856 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2805.21 Current children cumulated vsize (KiB) 1437884 [startup+762.3 s] /proc/loadavg: 8.06 7.80 6.98 9/184 11770 /proc/meminfo: memFree=28728016/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=1568972 CPUtime=3044.87 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 5054164 0 0 0 303576 911 0 0 25 0 4 0 524502750 1606627328 282676 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/11730/statm: 392243 282676 396 112 0 387208 0 [pid=11730/tid=11731] ppid=11728 vsize=1568972 CPUtime=761.73 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 145108 0 0 0 76133 40 0 0 25 0 4 0 524502750 1606627328 282676 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=1568972 CPUtime=762.15 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 2510584 0 0 0 75781 434 0 0 25 0 4 0 524502750 1606627328 282676 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=1568972 CPUtime=762.28 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 1410791 0 0 0 75976 252 0 0 25 0 4 0 524502750 1606627328 282676 33554432000 4194304 4650419 140734267903168 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3044.87 Current children cumulated vsize (KiB) 1568972 [startup+822.3 s] /proc/loadavg: 8.24 7.89 7.06 9/184 11772 /proc/meminfo: memFree=28672928/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=1524928 CPUtime=3284.56 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 5233835 0 0 0 327506 950 0 0 25 0 4 0 524502750 1561526272 292127 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/11730/statm: 381232 292127 395 112 0 376197 0 [pid=11730/tid=11731] ppid=11728 vsize=1524928 CPUtime=821.72 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 164664 0 0 0 82123 49 0 0 25 0 4 0 524502750 1561526272 292127 33554432000 4194304 4650419 140734267903168 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=1524928 CPUtime=822.15 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 2648466 0 0 0 81761 454 0 0 25 0 4 0 524502750 1561526272 292127 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=1524928 CPUtime=822.28 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 1433024 0 0 0 81968 260 0 0 25 0 4 0 524502750 1561526272 292127 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3284.56 Current children cumulated vsize (KiB) 1524928 [startup+882.3 s] /proc/loadavg: 8.23 7.94 7.13 9/184 11773 /proc/meminfo: memFree=28649580/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=1590472 CPUtime=3524.22 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 5362690 0 0 0 351454 968 0 0 25 0 4 0 524502750 1628643328 293147 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/11730/statm: 397618 293147 395 112 0 392583 0 [pid=11730/tid=11731] ppid=11728 vsize=1590472 CPUtime=881.73 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 165833 0 0 0 88123 50 0 0 25 0 4 0 524502750 1628643328 293147 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=1590472 CPUtime=882.15 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 2776152 0 0 0 87743 472 0 0 25 0 4 0 524502750 1628643328 293147 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=1590472 CPUtime=882.28 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 1433024 0 0 0 87968 260 0 0 25 0 4 0 524502750 1628643328 293147 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3524.22 Current children cumulated vsize (KiB) 1590472 [startup+942.3 s] /proc/loadavg: 8.15 7.97 7.19 9/184 11775 /proc/meminfo: memFree=28698748/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=1508524 CPUtime=3763.89 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 5580614 0 0 0 375375 1014 0 0 25 0 4 0 524502750 1544728576 279505 33554432000 4194304 4650419 140734267903168 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/11730/statm: 377131 279505 395 112 0 372096 0 [pid=11730/tid=11731] ppid=11728 vsize=1508524 CPUtime=941.73 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 165833 0 0 0 94123 50 0 0 25 0 4 0 524502750 1544728576 279505 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=1508524 CPUtime=942.13 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 2923105 0 0 0 93721 492 0 0 25 0 4 0 524502750 1544728576 279505 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=1508524 CPUtime=942.28 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 1470610 0 0 0 93955 273 0 0 25 0 4 0 524502750 1544728576 279505 33554432000 4194304 4650419 140734267903168 18446744073709551615 4436168 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3763.89 Current children cumulated vsize (KiB) 1508524 [startup+1002.3 s] /proc/loadavg: 8.10 7.98 7.24 9/184 11776 /proc/meminfo: memFree=28674508/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=1509112 CPUtime=4003.56 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 5845793 0 0 0 399288 1068 0 0 25 0 4 0 524502750 1545330688 286043 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/11730/statm: 377278 286043 395 112 0 372243 0 [pid=11730/tid=11731] ppid=11728 vsize=1509112 CPUtime=1001.73 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 165833 0 0 0 100123 50 0 0 25 0 4 0 524502750 1545330688 286043 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=1509112 CPUtime=1002.13 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 3040737 0 0 0 99691 522 0 0 25 0 4 0 524502750 1545330688 286043 33554432000 4194304 4650419 140734267903168 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=1509112 CPUtime=1002.29 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 1589138 0 0 0 99937 292 0 0 25 0 4 0 524502750 1545330688 286043 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4003.56 Current children cumulated vsize (KiB) 1509112 [startup+1062.3 s] /proc/loadavg: 8.03 7.98 7.29 9/184 11778 /proc/meminfo: memFree=28602436/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=1640184 CPUtime=4243.26 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 6155834 0 0 0 423210 1116 0 0 25 0 4 0 524502750 1679548416 297472 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/11730/statm: 410046 297472 400 112 0 405011 0 [pid=11730/tid=11731] ppid=11728 vsize=1640184 CPUtime=1061.74 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 165833 0 0 0 106124 50 0 0 25 0 4 0 524502750 1679548416 297472 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=1640184 CPUtime=1062.13 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 3138299 0 0 0 105675 538 0 0 25 0 4 0 524502750 1679548416 297472 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=1640184 CPUtime=1062.29 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 1728870 0 0 0 105917 312 0 0 25 0 4 0 524502750 1679548416 297472 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4243.26 Current children cumulated vsize (KiB) 1640184 [startup+1122.3 s] /proc/loadavg: 8.07 8.00 7.33 9/184 11780 /proc/meminfo: memFree=28544448/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=1640184 CPUtime=4482.9 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 6527508 0 0 0 447119 1171 0 0 25 0 4 0 524502750 1679548416 297749 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/11730/statm: 410046 297749 395 112 0 405011 0 [pid=11730/tid=11731] ppid=11728 vsize=1640184 CPUtime=1121.73 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 165833 0 0 0 112123 50 0 0 25 0 4 0 524502750 1679548416 297749 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=1640184 CPUtime=1122.12 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 3235443 0 0 0 111659 553 0 0 25 0 4 0 524502750 1679548416 297749 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=1640184 CPUtime=1122.29 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 1867486 0 0 0 111898 331 0 0 25 0 4 0 524502750 1679548416 297749 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4482.9 Current children cumulated vsize (KiB) 1640184 [startup+1182.31 s] /proc/loadavg: 8.08 8.01 7.38 9/184 11781 /proc/meminfo: memFree=28516284/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=1613540 CPUtime=4722.6 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 6917708 0 0 0 471023 1237 0 0 25 0 4 0 524502750 1652264960 304071 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/11730/statm: 403385 304071 397 112 0 398350 0 [pid=11730/tid=11731] ppid=11728 vsize=1613540 CPUtime=1181.74 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 184706 0 0 0 118113 61 0 0 25 0 4 0 524502750 1652264960 304071 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=1613540 CPUtime=1182.12 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 3334495 0 0 0 117643 569 0 0 25 0 4 0 524502750 1652264960 304071 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=1613540 CPUtime=1182.3 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 2017095 0 0 0 117877 353 0 0 25 0 4 0 524502750 1652264960 304071 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4722.6 Current children cumulated vsize (KiB) 1613540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.06 8.01 7.39 9/184 11782 /proc/meminfo: memFree=28510076/32951124 swapFree=67111448/67111528 [pid=11730] ppid=11728 vsize=1613540 CPUtime=4800.1 cores=1,3,5,7 /proc/11730/stat : 11730 (strangenight1-m) R 11728 11730 10605 0 -1 4202496 7054516 0 0 0 478753 1257 0 0 25 0 4 0 524502750 1652264960 305055 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/11730/statm: 403385 305055 398 112 0 398350 0 [pid=11730/tid=11731] ppid=11728 vsize=1613540 CPUtime=1201.14 cores=1,3,5,7 /proc/11730/task/11731/stat : 11731 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 184706 0 0 0 120053 61 0 0 25 0 4 0 524502750 1652264960 305055 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=11730/tid=11732] ppid=11728 vsize=1613540 CPUtime=1201.51 cores=1,3,5,7 /proc/11730/task/11732/stat : 11732 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 3367125 0 0 0 119577 574 0 0 25 0 4 0 524502750 1652264960 305055 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=11730/tid=11733] ppid=11728 vsize=1613540 CPUtime=1201.7 cores=1,3,5,7 /proc/11730/task/11733/stat : 11733 (strangenight1-m) R 11728 11730 10605 0 -1 4202560 2070301 0 0 0 119811 359 0 0 25 0 4 0 524502750 1652264960 305055 33554432000 4194304 4650419 140734267903168 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.1 Current children cumulated vsize (KiB) 1613540 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): 1201.77 CPU time (s): 4800.18 CPU user time (s): 4787.55 CPU system time (s): 12.6251 CPU usage (%): 399.426 Max. virtual memory (cumulated for all children) (KiB): 1659180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4787.55 system time used= 12.6251 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7054516 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= 7283 involuntary context switches= 35647 runsolver used 1.68174 second user time and 4.89326 second system time The end
Begin job on node104 at 2011-04-30 04:03:43 IDJOB=3249483 IDBENCH=83172 IDSOLVER=1588 FILE ID=node104/3249483-1304129023 RUNJOBID= node104-1304129023-11691 PBS_JOBID= 13170745 Free space on /tmp= 72540 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-17x30.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3249483-1304129023/watcher-3249483-1304129023 -o /tmp/evaluation-result-3249483-1304129023/solver-3249483-1304129023 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3249483-1304129023.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3a506c7557d86d0d326e3b3cdee85b69 RANDOM SEED=171582412 node104.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.855 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.71 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.855 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.83 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.855 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.67 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.855 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.80 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.855 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 : 5293.18 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.855 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.83 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.855 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.855 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30986128 kB Buffers: 393208 kB Cached: 1097328 kB SwapCached: 80 kB Active: 155016 kB Inactive: 1399700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30986128 kB SwapTotal: 67111528 kB SwapFree: 67111448 kB Dirty: 11656 kB Writeback: 0 kB AnonPages: 64216 kB Mapped: 14096 kB Slab: 345136 kB PageTables: 4316 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 190912 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= 72520 MiB End job on node104 at 2011-04-30 04:23:47