0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Fri Jul 11 23:03:18 2008
0.00/0.04 c 0 PID 15186
0.03/0.05 c 0 HOST node30.alineos.net
0.03/0.05 c 0 CONVERTING HOME/instance-1109774-1215810198.xml TO HOME/temp.csp
0.03/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1109774-1215810198.xml' 'HOME/temp.csp'
0.03/0.83 c 1 225 domains, 225 variables, 1 predicates, 0 relations, 3150 constraints
0.03/0.83 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.83 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.79/0.92 c 1 Parsing HOME/temp.csp
1.04/1.16 c 1 parsed 3601 expressions
1.04/1.17 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.13/1.20 c 2 MAX CSP: 3150 constraints
1.13/1.20 c 2 Converting to clausal form CSP
1.13/1.28 c 2 converted 676 (10%) expressions
1.33/1.40 c 2 converted 1351 (20%) expressions
1.33/1.44 c 2 converted 2027 (30%) expressions
1.33/1.46 c 2 converted 2702 (40%) expressions
1.33/1.48 c 2 converted 3377 (50%) expressions
1.43/1.54 c 2 converted 4053 (60%) expressions
1.43/1.55 c 2 converted 4728 (70%) expressions
1.43/1.57 c 2 converted 5404 (80%) expressions
1.43/1.59 c 2 converted 6079 (90%) expressions
1.82/1.91 c 2 converted 6754 (100%) expressions
1.82/1.91 c 2 CSP : 6525 integers, 0 booleans, 9449 clauses, largest domain size 4726
1.82/1.91 c 2 Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.82/1.91 c 2 Propagation in CSP
1.92/2.05 c 2 3144 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.92/2.05 c 2 CSP : 6525 integers, 0 booleans, 9449 clauses, largest domain size 3151
1.92/2.05 c 2 Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.92/2.06 c 2 Simplifing CSP by introducing new Boolean variables
2.02/2.11 c 2 CSP : 6525 integers, 6300 booleans, 15749 clauses, largest domain size 3151
2.02/2.11 c 2 Heap : 11 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.02/2.18 c 2 Encoding CSP to SAT : HOME/temp.cnf
2.32/2.44 c 3 653 (10%) CSP integer variables are encoded (181158 clauses, 2857819 bytes)
2.32/2.45 c 3 1305 (20%) CSP integer variables are encoded (181158 clauses, 2857819 bytes)
2.32/2.45 c 3 1958 (30%) CSP integer variables are encoded (181158 clauses, 2857819 bytes)
2.32/2.46 c 3 2610 (40%) CSP integer variables are encoded (181158 clauses, 2857819 bytes)
2.32/2.46 c 3 3263 (50%) CSP integer variables are encoded (181158 clauses, 2857819 bytes)
2.32/2.47 c 3 3915 (60%) CSP integer variables are encoded (188139 clauses, 2976496 bytes)
2.32/2.48 c 3 4568 (70%) CSP integer variables are encoded (194236 clauses, 3080145 bytes)
2.42/2.53 c 3 5220 (80%) CSP integer variables are encoded (232743 clauses, 3734764 bytes)
2.42/2.54 c 3 5873 (90%) CSP integer variables are encoded (238644 clauses, 3835081 bytes)
2.42/2.55 c 3 6525 (100%) CSP integer variables are encoded (246369 clauses, 3966406 bytes)
4.00/4.15 c 4 1575 (10%) CSP clauses are encoded (1041702 clauses, 21911388 bytes)
5.58/5.71 c 6 3150 (20%) CSP clauses are encoded (1831461 clauses, 40340740 bytes)
7.04/7.28 c 8 4725 (30%) CSP clauses are encoded (2622402 clauses, 58831022 bytes)
8.64/8.85 c 9 6300 (40%) CSP clauses are encoded (3425637 clauses, 77679004 bytes)
10.22/10.41 c 11 7875 (50%) CSP clauses are encoded (4227810 clauses, 97579519 bytes)
11.78/12.02 c 12 9450 (60%) CSP clauses are encoded (5039367 clauses, 117852169 bytes)
13.04/13.44 c 14 11025 (70%) CSP clauses are encoded (5674814 clauses, 133305946 bytes)
32.60/33.37 c 34 12600 (80%) CSP clauses are encoded (15058585 clauses, 362585026 bytes)
33.88/34.64 c 35 14175 (90%) CSP clauses are encoded (15694032 clauses, 378038803 bytes)
37.59/38.43 c 39 15749 (100%) CSP clauses are encoded (17572914 clauses, 423919919 bytes)
37.59/38.43 c 39 15749 CSP clauses encoded
37.59/38.44 c 39 Writing map file : HOME/temp.map
37.59/38.49 c 39 Heap : 7 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
37.59/38.49 c 39 SAT : 259194 SAT variables, 17572914 SAT clauses, 423919919 bytes
37.59/38.49 c 39 Heap : 7 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
37.68/38.52 c 39 OBJECTIVE minimize _COST
37.68/38.52 c 39 OBJECTIVE BOUND: 0 <= _COST <=
37.68/38.52 c 39 SEARCHING: _COST <= 1575
37.68/38.52 c 39 SOLVING HOME/temp.cnf
37.68/38.52 c 39 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
37.68/38.52 c 39 This is MiniSat 2.0 beta
37.68/38.52 c 39 WARNING: for repeatability, setting FPU to use double precision
37.68/38.52 c 39 ============================[ Problem Statistics ]=============================
37.68/38.52 c 39 | |
37.68/38.52 c 39 | Number of variables: 259194 |
37.68/38.52 c 39 | Number of clauses: 17572915 |
47.33/48.26 c 49 | Parsing time: 8.52 s |
73.01/74.05 c 74 ============================[ Search Statistics ]==============================
73.01/74.05 c 74 | Conflicts | ORIGINAL | LEARNT | Progress |
73.01/74.05 c 74 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
73.01/74.05 c 74 ===============================================================================
73.01/74.05 c 74 | 0 | 240294 12971233 38576283 | 4323744 0 nan | 0.000 % |
74.90/75.93 c 76 | 101 | 240294 12971233 38576283 | 4756118 101 37 | 7.292 % |
75.59/76.69 c 77 ===============================================================================
75.69/76.71 c 77 restarts : 2
75.69/76.71 c 77 conflicts : 114 (3 /sec)
75.69/76.71 c 77 decisions : 7860 (1.34 % random) (213 /sec)
75.69/76.71 c 77 propagations : 755534 (20516 /sec)
75.69/76.71 c 77 conflict literals : 4001 (6.93 % deleted)
75.69/76.71 c 77 Memory used : 689.86 MB
75.69/76.71 c 77 CPU time : 36.8264 s
75.69/76.71 c 77
75.79/76.81 c 77 SATISFIABLE
75.89/76.92 c 77 FOUND: _COST <= 1575
75.89/76.92 s SATISFIABLE
75.89/76.92 c 77 DECODING HOME/temp.out WITH HOME/temp.map
75.89/76.92 c 77 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
75.93/77.01 c 77 Decoding HOME/temp.out
75.93/77.62 c 78 OBJECTIVE _COST 1522
75.93/77.62 o 1522
75.93/77.63 v 625 552 520 428 776 246 331 355 235 354 153 0 690 8 93 470 8 177 530 34 387 212 158 266 88 1 67 102 289 336 805 410 707 791 743 742 802 853 756 745 690 761 673 772 644 665 139 504 60 323 563 115 403 121 338 469 160 210 304 762 589 638 321 526 737 397 332 585 483 567 494 516 274 758 798 762 777 681 847 821 718 807 778 787 823 849 776 838 832 767 791 841 728 784 791 840 845 793 762 776 764 842 691 822 639 780 801 842 782 712 850 806 843 831 829 774 796 784 793 849 837 756 762 835 810 769 755 828 836 699 790 683 765 681 785 789 853 849 828 811 804 686 842 678 671 700 416 803 716 852 771 830 790 850 790 696 492 525 655 796 465 588 507 724 436 821 465 673 411 655 765 560 261 695 382 433 564 475 714 424 735 438 695 246 311 523 802 454 744 696 599 405 831 568 780 851 348 850 565 591 685 692 641 727 491 599 557 784 431 813 713 535 593 821 382 354 569 462 619 833 770 824 675 546 315
75.93/77.63 c 78 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
75.93/77.65 c 78 OBJECTIVE BOUND: 0 <= _COST <= 1522
75.93/77.65 c 78 SEARCHING: _COST <= 761
75.93/77.65 c 78 SOLVING HOME/temp.cnf
75.93/77.65 c 78 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
75.93/77.66 c 78 This is MiniSat 2.0 beta
75.93/77.66 c 78 WARNING: for repeatability, setting FPU to use double precision
75.93/77.66 c 78 ============================[ Problem Statistics ]=============================
75.93/77.66 c 78 | |
75.93/77.66 c 78 | Number of variables: 259194 |
75.93/77.66 c 78 | Number of clauses: 17572915 |
86.41/87.56 c 88 | Parsing time: 8.64 s |
120.95/122.26 c 123 ============================[ Search Statistics ]==============================
120.95/122.26 c 123 | Conflicts | ORIGINAL | LEARNT | Progress |
120.95/122.26 c 123 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
120.95/122.26 c 123 ===============================================================================
120.95/122.26 c 123 | 0 | 229632 9983488 29644220 | 3327829 0 nan | 0.000 % |
122.64/123.98 c 124 | 101 | 229632 9983488 29644220 | 3660612 101 89 | 11.405 % |
123.84/125.20 c 126 ===============================================================================
123.94/125.21 c 126 restarts : 2
123.94/125.21 c 126 conflicts : 235 (5 /sec)
123.94/125.21 c 126 decisions : 5045 (1.35 % random) (109 /sec)
123.94/125.21 c 126 propagations : 1118522 (24262 /sec)
123.94/125.21 c 126 conflict literals : 12989 (6.98 % deleted)
123.94/125.21 c 126 Memory used : 696.74 MB
123.94/125.21 c 126 CPU time : 46.101 s
123.94/125.21 c 126
124.03/125.31 c 126 SATISFIABLE
124.13/125.43 c 126 FOUND: _COST <= 761
124.13/125.43 c 126 DECODING HOME/temp.out WITH HOME/temp.map
124.13/125.43 c 126 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
124.17/125.51 c 126 Decoding HOME/temp.out
124.17/126.11 c 126 OBJECTIVE _COST 761
124.17/126.11 o 761
124.17/126.12 v 297 481 356 582 756 605 781 533 698 11 674 81 89 528 794 21 549 610 81 114 147 193 247 307 484 760 575 798 645 313 738 498 710 713 776 620 816 775 550 634 587 783 711 661 677 741 658 758 654 65 591 735 622 836 623 449 553 726 820 688 794 737 843 520 400 656 729 603 469 299 512 317 741 202 95 449 186 588 683 416 392 541 690 263 361 838 314 765 292 305 791 841 817 447 648 742 767 514 689 720 813 842 401 762 652 761 621 824 531 375 850 663 742 635 424 661 683 352 291 849 149 419 559 835 791 517 171 683 709 342 727 282 602 207 80 738 455 733 579 600 804 643 305 324 456 388 94 152 216 551 421 613 322 850 227 209 386 772 503 411 836 543 708 642 733 133 291 422 439 669 330 38 166 835 386 452 530 709 492 628 514 838 683 151 216 706 637 751 429 799 310 455 559 606 684 839 279 842 803 143 829 389 364 741 672 193 846 415 481 550 164 803 234 814 316 826 722 396 616 469 490 817 550 753 510
124.17/126.12 c 126 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
124.17/126.16 c 126 OBJECTIVE BOUND: 0 <= _COST <= 761
124.17/126.16 c 126 SEARCHING: _COST <= 380
124.17/126.16 c 126 SOLVING HOME/temp.cnf
124.17/126.16 c 126 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
124.17/126.16 c 126 This is MiniSat 2.0 beta
124.17/126.16 c 126 WARNING: for repeatability, setting FPU to use double precision
124.17/126.16 c 126 ============================[ Problem Statistics ]=============================
124.17/126.16 c 126 | |
124.17/126.17 c 126 | Number of variables: 259194 |
124.17/126.17 c 126 | Number of clauses: 17572915 |
134.83/136.23 c 137 | Parsing time: 8.84 s |
171.94/173.55 c 174 ============================[ Search Statistics ]==============================
171.94/173.55 c 174 | Conflicts | ORIGINAL | LEARNT | Progress |
171.94/173.55 c 174 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
171.94/173.55 c 174 ===============================================================================
171.94/173.55 c 174 | 0 | 223439 7775968 23039858 | 2591989 0 nan | 0.000 % |
173.74/175.30 c 176 | 100 | 223439 7775968 23039858 | 2851188 100 55 | 13.795 % |
175.33/176.99 c 177 | 250 | 223439 7775968 23039858 | 3136307 250 63 | 13.795 % |
176.12/177.71 c 178 ===============================================================================
176.12/177.73 c 178 restarts : 3
176.12/177.73 c 178 conflicts : 291 (6 /sec)
176.12/177.73 c 178 decisions : 5763 (1.20 % random) (115 /sec)
176.12/177.73 c 178 propagations : 2340433 (46684 /sec)
176.12/177.73 c 178 conflict literals : 16261 (11.37 % deleted)
176.12/177.73 c 178 Memory used : 698.86 MB
176.12/177.73 c 178 CPU time : 50.1334 s
176.12/177.73 c 178
176.22/177.83 c 178 SATISFIABLE
176.33/177.94 c 178 FOUND: _COST <= 380
176.33/177.94 c 178 DECODING HOME/temp.out WITH HOME/temp.map
176.33/177.94 c 178 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
176.39/178.03 c 178 Decoding HOME/temp.out
176.82/178.43 c 179 OBJECTIVE _COST 380
176.82/178.43 o 380
176.82/178.44 v 830 807 819 670 790 550 782 781 694 735 612 846 599 705 794 794 736 521 690 313 556 89 413 143 676 610 378 465 346 723 121 839 478 158 309 220 773 853 636 314 582 395 673 387 467 757 413 600 543 182 598 488 504 836 692 598 692 742 498 554 805 675 843 810 737 721 419 793 811 836 714 492 561 248 619 43 735 640 1 572 615 135 774 300 264 849 494 8 186 374 74 723 137 653 367 442 456 793 466 575 326 430 12 174 206 480 773 23 601 144 557 432 396 826 407 208 288 672 346 849 535 756 178 159 800 382 658 356 552 696 471 221 570 281 66 593 853 659 689 793 24 550 0 397 74 295 149 198 461 758 377 681 295 508 780 762 747 605 558 71 844 668 359 602 532 146 585 568 376 462 512 730 680 179 825 796 223 762 46 389 459 577 730 342 760 275 662 785 249 812 35 197 639 166 320 851 220 480 20 724 774 484 78 129 805 576 715 414 354 283 731 367 137 343 774 437 502 781 219 346 565 664 399 465 303
176.82/178.44 c 179 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
176.82/178.48 c 179 OBJECTIVE BOUND: 0 <= _COST <= 380
176.82/178.48 c 179 SEARCHING: _COST <= 190
176.82/178.48 c 179 SOLVING HOME/temp.cnf
176.82/178.48 c 179 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
176.82/178.48 c 179 This is MiniSat 2.0 beta
176.82/178.48 c 179 WARNING: for repeatability, setting FPU to use double precision
176.82/178.48 c 179 ============================[ Problem Statistics ]=============================
176.82/178.48 c 179 | |
176.82/178.48 c 179 | Number of variables: 259194 |
176.82/178.48 c 179 | Number of clauses: 17572915 |
187.13/188.85 c 189 | Parsing time: 9.12 s |
224.33/226.40 c 227 ============================[ Search Statistics ]==============================
224.33/226.40 c 227 | Conflicts | ORIGINAL | LEARNT | Progress |
224.33/226.40 c 227 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
224.33/226.40 c 227 ===============================================================================
224.33/226.40 c 227 | 0 | 218965 6473915 19146931 | 2157971 0 nan | 0.000 % |
225.73/227.74 c 228 | 103 | 218965 6473915 19146931 | 2373768 103 47 | 15.521 % |
226.82/228.89 c 229 | 253 | 218965 6473915 19146931 | 2611145 253 39 | 15.521 % |
228.51/230.58 c 231 ===============================================================================
228.51/230.60 c 231 restarts : 3
228.51/230.60 c 231 conflicts : 379 (8 /sec)
228.51/230.60 c 231 decisions : 4040 (1.21 % random) (80 /sec)
228.51/230.60 c 231 propagations : 2531953 (50109 /sec)
228.51/230.60 c 231 conflict literals : 16141 (11.01 % deleted)
228.51/230.60 c 231 Memory used : 697.52 MB
228.51/230.60 c 231 CPU time : 50.5293 s
228.51/230.60 c 231
228.71/230.71 c 231 SATISFIABLE
228.80/230.82 c 231 FOUND: _COST <= 190
228.80/230.82 c 231 DECODING HOME/temp.out WITH HOME/temp.map
228.80/230.82 c 231 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
228.80/230.90 c 231 Decoding HOME/temp.out
229.40/231.41 c 232 OBJECTIVE _COST 190
229.40/231.41 o 190
229.40/231.42 v 835 275 635 670 485 200 34 127 375 57 322 765 773 490 575 129 697 189 59 96 435 730 256 596 840 527 340 379 619 784 810 793 789 792 776 581 692 689 696 753 702 787 790 774 729 741 180 482 269 165 390 33 324 251 417 541 274 636 820 39 240 748 31 326 729 42 115 187 365 308 368 593 667 459 131 389 777 117 568 807 60 342 690 623 84 614 726 224 20 481 491 376 554 784 200 471 330 263 595 687 80 459 404 339 765 255 662 423 591 43 537 795 843 563 512 107 715 442 329 558 546 2 705 527 653 100 586 492 563 281 773 358 185 733 458 19 782 783 343 730 523 628 718 788 418 224 369 135 573 852 8 616 717 850 651 376 216 547 289 470 641 403 528 150 802 804 445 837 789 725 389 622 42 765 92 121 231 540 162 190 90 324 853 762 568 482 193 212 827 285 662 139 394 451 546 368 408 758 762 223 847 471 273 795 334 640 326 574 794 371 808 781 244 851 438 188 518 345 610 666 418 772 549 587 723
229.40/231.42 c 232 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
229.40/231.46 c 232 OBJECTIVE BOUND: 0 <= _COST <= 190
229.40/231.46 c 232 SEARCHING: _COST <= 95
229.40/231.46 c 232 SOLVING HOME/temp.cnf
229.40/231.46 c 232 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
229.40/231.46 c 232 This is MiniSat 2.0 beta
229.40/231.46 c 232 WARNING: for repeatability, setting FPU to use double precision
229.40/231.46 c 232 ============================[ Problem Statistics ]=============================
229.40/231.46 c 232 | |
229.40/231.46 c 232 | Number of variables: 259194 |
229.40/231.46 c 232 | Number of clauses: 17572915 |
239.63/241.72 c 242 | Parsing time: 9.04 s |
275.66/277.99 c 278 ============================[ Search Statistics ]==============================
275.66/277.99 c 278 | Conflicts | ORIGINAL | LEARNT | Progress |
275.66/277.99 c 278 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
275.66/277.99 c 278 ===============================================================================
275.66/277.99 c 278 | 0 | 215248 5769182 17043788 | 1923060 0 nan | 0.000 % |
277.06/279.37 c 280 | 100 | 215248 5769182 17043788 | 2115366 100 83 | 16.955 % |
278.05/280.39 c 281 | 250 | 215248 5769182 17043788 | 2326903 250 49 | 16.955 % |
279.15/281.40 c 282 | 475 | 215248 5769182 17043788 | 2559593 475 48 | 16.955 % |
280.54/282.81 c 283 | 812 | 215248 5769182 17043788 | 2815553 812 43 | 16.955 % |
281.13/283.46 c 284 ===============================================================================
281.13/283.47 c 284 restarts : 5
281.13/283.47 c 284 conflicts : 854 (17 /sec)
281.13/283.47 c 284 decisions : 5238 (1.09 % random) (104 /sec)
281.13/283.47 c 284 propagations : 3707140 (73285 /sec)
281.13/283.47 c 284 conflict literals : 35893 (10.48 % deleted)
281.13/283.47 c 284 Memory used : 694.31 MB
281.13/283.47 c 284 CPU time : 50.5853 s
281.13/283.47 c 284
281.23/283.58 c 284 SATISFIABLE
281.33/283.69 c 284 FOUND: _COST <= 95
281.33/283.69 c 284 DECODING HOME/temp.out WITH HOME/temp.map
281.33/283.69 c 284 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
281.44/283.78 c 284 Decoding HOME/temp.out
281.82/284.16 c 284 OBJECTIVE _COST 95
281.82/284.16 o 95
281.82/284.17 v 712 711 726 342 647 436 462 432 758 641 505 781 587 763 434 91 191 56 717 764 546 2 494 279 837 310 156 223 376 442 750 10 518 599 583 661 330 437 293 132 633 787 368 438 563 291 370 734 661 811 6 848 595 793 226 441 535 98 192 716 485 386 43 797 203 313 534 150 734 836 222 599 668 54 780 344 777 395 337 139 313 172 779 568 275 750 490 635 755 663 6 136 371 408 505 720 481 659 149 293 813 745 757 241 570 366 440 49 248 493 566 1 237 133 319 585 665 723 793 561 132 635 592 573 733 478 237 415 460 777 273 2 149 337 63 62 851 809 282 369 412 557 745 493 672 308 233 4 127 852 512 418 306 302 158 442 682 773 594 697 836 222 14 61 377 448 759 78 65 179 123 663 388 493 550 517 219 579 95 24 664 201 634 217 29 452 744 123 3 376 290 718 638 823 801 563 267 364 69 101 644 442 728 789 607 151 846 651 380 32 750 51 134 709 553 826 289 216 497 676 730 814 85 62 12
281.82/284.18 c 284 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
281.90/284.22 c 285 OBJECTIVE BOUND: 0 <= _COST <= 95
281.90/284.22 c 285 SEARCHING: _COST <= 47
281.90/284.22 c 285 SOLVING HOME/temp.cnf
281.90/284.22 c 285 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
281.90/284.22 c 285 This is MiniSat 2.0 beta
281.90/284.22 c 285 WARNING: for repeatability, setting FPU to use double precision
281.90/284.22 c 285 ============================[ Problem Statistics ]=============================
281.90/284.22 c 285 | |
281.90/284.22 c 285 | Number of variables: 259194 |
281.90/284.22 c 285 | Number of clauses: 17572915 |
291.53/293.94 c 294 | Parsing time: 8.48 s |
324.90/327.49 c 328 ============================[ Search Statistics ]==============================
324.90/327.49 c 328 | Conflicts | ORIGINAL | LEARNT | Progress |
324.90/327.49 c 328 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
324.90/327.49 c 328 ===============================================================================
324.90/327.49 c 328 | 0 | 211796 5395190 15932120 | 1798396 0 nan | 0.000 % |
326.30/328.81 c 329 | 102 | 211796 5395190 15932120 | 1978236 102 61 | 18.287 % |
327.29/329.84 c 330 | 253 | 211796 5395190 15932120 | 2176059 253 77 | 18.287 % |
328.19/330.76 c 331 | 478 | 211796 5395190 15932120 | 2393665 478 55 | 18.287 % |
328.69/331.29 c 332 | 816 | 211796 5395190 15932120 | 2633032 816 40 | 18.287 % |
329.29/331.86 c 332 | 1323 | 211796 5395190 15932120 | 2896335 1323 33 | 18.287 % |
329.88/332.44 c 333 | 2082 | 211796 5395190 15932120 | 3185969 2082 28 | 18.287 % |
332.77/335.36 c 336 ===============================================================================
332.77/335.37 c 336 restarts : 7
332.77/335.37 c 336 conflicts : 2977 (60 /sec)
332.77/335.37 c 336 decisions : 8197 (1.24 % random) (165 /sec)
332.77/335.37 c 336 propagations : 5802855 (116672 /sec)
332.77/335.37 c 336 conflict literals : 100641 (6.40 % deleted)
332.77/335.37 c 336 Memory used : 695.68 MB
332.77/335.37 c 336 CPU time : 49.7364 s
332.77/335.37 c 336
332.87/335.47 c 336 SATISFIABLE
332.97/335.58 c 336 FOUND: _COST <= 47
332.97/335.58 c 336 DECODING HOME/temp.out WITH HOME/temp.map
332.97/335.58 c 336 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
333.05/335.66 c 336 Decoding HOME/temp.out
333.05/336.06 c 336 OBJECTIVE _COST 47
333.05/336.06 o 47
333.05/336.07 v 351 501 666 608 437 720 831 781 704 367 269 846 800 763 548 185 369 324 152 245 278 2 633 698 840 721 598 395 58 101 404 775 789 112 505 700 366 5 663 71 178 111 441 583 268 90 633 300 486 706 541 848 234 468 169 359 6 728 56 822 389 617 26 293 7 95 438 336 716 504 522 168 37 759 237 81 549 271 626 439 472 502 6 372 807 367 685 647 663 184 381 554 197 581 51 789 676 312 449 234 10 810 114 822 698 692 639 489 568 504 320 197 84 174 329 766 424 354 245 146 217 540 804 477 173 715 73 514 496 638 109 246 381 306 2 373 789 772 55 685 5 181 592 790 604 453 532 301 92 451 469 445 9 765 651 151 624 193 719 81 411 787 427 551 769 20 173 486 841 272 117 503 716 82 802 53 353 599 444 312 660 838 717 421 489 613 585 112 395 204 718 243 358 269 332 644 575 777 332 482 847 220 705 160 658 359 567 86 787 445 759 209 526 756 29 454 647 331 256 139 6 517 803 482 681
333.05/336.08 c 336 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
333.06/336.11 c 336 OBJECTIVE BOUND: 0 <= _COST <= 47
333.06/336.11 c 336 SEARCHING: _COST <= 23
333.06/336.11 c 336 SOLVING HOME/temp.cnf
333.06/336.11 c 336 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
333.06/336.11 c 336 This is MiniSat 2.0 beta
333.06/336.11 c 336 WARNING: for repeatability, setting FPU to use double precision
333.06/336.11 c 336 ============================[ Problem Statistics ]=============================
333.06/336.11 c 336 | |
333.06/336.11 c 336 | Number of variables: 259194 |
333.06/336.11 c 336 | Number of clauses: 17572915 |
343.90/346.58 c 347 | Parsing time: 9.19 s |
378.03/380.82 c 381 ============================[ Search Statistics ]==============================
378.03/380.82 c 381 | Conflicts | ORIGINAL | LEARNT | Progress |
378.03/380.82 c 381 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
378.03/380.82 c 381 ===============================================================================
378.03/380.82 c 381 | 0 | 208423 5200142 15357071 | 1733380 0 nan | 0.000 % |
379.72/382.57 c 383 | 101 | 208423 5200142 15357071 | 1906718 101 112 | 19.588 % |
380.32/383.19 c 384 | 251 | 208423 5200142 15357071 | 2097390 251 53 | 19.588 % |
381.11/383.95 c 384 | 476 | 208423 5200142 15357071 | 2307129 476 45 | 19.588 % |
381.80/384.65 c 385 | 813 | 208423 5200142 15357071 | 2537842 813 39 | 19.588 % |
382.21/385.02 c 385 | 1319 | 208423 5200142 15357071 | 2791626 1319 32 | 19.588 % |
382.70/385.58 c 386 | 2078 | 208423 5200142 15357071 | 3070789 2078 28 | 19.588 % |
383.99/386.82 c 387 | 3217 | 208423 5200142 15357071 | 3377868 3217 27 | 19.588 % |
385.39/388.24 c 389 | 4925 | 208423 5200142 15357071 | 3715655 4925 26 | 19.588 % |
387.58/390.46 c 391 | 7487 | 208423 5200142 15357071 | 4087220 7487 27 | 19.588 % |
390.17/393.04 c 393 | 11332 | 208423 5200142 15357071 | 4495943 11332 26 | 19.588 % |
394.04/396.93 c 397 | 17099 | 208423 5200142 15357071 | 4945537 17099 26 | 19.588 % |
400.31/403.27 c 404 | 25748 | 208423 5200142 15357071 | 5440091 25748 30 | 19.588 % |
417.24/420.26 c 421 | 38722 | 208423 5200142 15357071 | 5984100 38722 35 | 19.588 % |
437.94/441.02 c 441 | 58184 | 208423 5200142 15357071 | 6582510 58184 35 | 19.588 % |
470.28/473.50 c 474 | 87378 | 208423 5200142 15357071 | 7240761 87378 37 | 19.588 % |
532.18/535.77 c 536 | 131167 | 208423 5200142 15357071 | 7964837 131167 38 | 19.588 % |
648.02/652.16 c 652 | 196852 | 208423 5200142 15357071 | 8761321 196852 50 | 19.588 % |
915.14/920.54 c 921 | 295380 | 208423 5200142 15357071 | 9637453 295380 76 | 19.588 % |
1391.35/1398.98 c 1399 | 443169 | 208423 5200142 15357071 | 10601198 443169 72 | 19.588 % |
2194.03/2204.85 c 2205 | 664853 | 208423 5200142 15357071 | 11661318 664853 77 | 19.588 % |
3600.01/3616.42 c ERROR INTERRUPTED
333.56/3616.52 c 3617 CPU 322.1 (0.06 0.03 322.04 11.43)
333.56/3616.52 c 3617 END Sat Jul 12 00:03:35 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109774-1215810198/watcher-1109774-1215810198 -o /tmp/evaluation-result-1109774-1215810198/solver-1109774-1215810198 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1109774-1215810198.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 4/81 15186
/proc/meminfo: memFree=1798872/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=18572 CPUtime=0
/proc/15186/stat : 15186 (runsolver) R 15184 15186 14984 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 37721546 19017728 292 996147200 4194304 4296836 548682068256 18446744073709551615 264907582759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15186/statm: 4643 292 257 25 0 2626 0
[startup+0.049801 s]
/proc/loadavg: 2.00 2.00 1.94 4/81 15186
/proc/meminfo: memFree=1798872/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13600 CPUtime=0.03
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 838 0 0 0 3 0 0 0 18 0 1 0 37721546 13926400 792 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15186/statm: 3400 792 367 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.102108 s]
/proc/loadavg: 2.00 2.00 1.94 4/81 15186
/proc/meminfo: memFree=1798872/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13600 CPUtime=0.03
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 37721546 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15186/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301119 s]
/proc/loadavg: 2.00 2.00 1.94 4/81 15186
/proc/meminfo: memFree=1798872/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13600 CPUtime=0.03
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 37721546 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15186/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.70115 s]
/proc/loadavg: 2.00 2.00 1.94 4/81 15186
/proc/meminfo: memFree=1798872/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13600 CPUtime=0.03
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 37721546 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15186/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.5022 s]
/proc/loadavg: 2.00 2.00 1.94 4/92 15208
/proc/meminfo: memFree=1791232/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13600 CPUtime=0.79
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 974 6741 0 1 3 0 73 3 15 0 1 0 37721546 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15186/statm: 3400 797 370 3 0 500 0
[pid=15199] ppid=15186 vsize=5356 CPUtime=0
/proc/15199/stat : 15199 (sh) S 15186 15186 14984 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 37721630 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15199/statm: 1339 233 193 169 0 50 0
[pid=15200] ppid=15199 vsize=868360 CPUtime=0.64
/proc/15200/stat : 15200 (java) S 15199 15186 14984 0 -1 0 5859 0 1 0 60 4 0 0 18 0 9 0 37721630 889200640 5273 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15200/statm: 217090 5273 1734 9 0 211665 0
[pid=15200/tid=15201] ppid=15199 vsize=868360 CPUtime=0.38
/proc/15200/task/15201/stat : 15201 (java) R 15199 15186 14984 0 -1 64 2658 0 1 0 37 1 0 0 22 0 9 0 37721631 889200640 5273 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15202] ppid=15199 vsize=868360 CPUtime=0.05
/proc/15200/task/15202/stat : 15202 (java) R 15199 15186 14984 0 -1 64 1063 0 0 0 4 1 0 0 16 0 9 0 37721632 889200640 5273 996147200 134512640 134550740 4294955936 18446744073709551615 104187966 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15203] ppid=15199 vsize=868360 CPUtime=0
/proc/15200/task/15203/stat : 15203 (java) S 15199 15186 14984 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 37721632 889200640 5273 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15204] ppid=15199 vsize=868360 CPUtime=0
/proc/15200/task/15204/stat : 15204 (java) S 15199 15186 14984 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 37721632 889200640 5273 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15205] ppid=15199 vsize=868360 CPUtime=0
/proc/15200/task/15205/stat : 15205 (java) S 15199 15186 14984 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37721634 889200640 5273 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15206] ppid=15199 vsize=868360 CPUtime=0.19
/proc/15200/task/15206/stat : 15206 (java) S 15199 15186 14984 0 -1 64 1446 0 0 0 18 1 0 0 16 0 9 0 37721634 889200640 5273 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15207] ppid=15199 vsize=868360 CPUtime=0
/proc/15200/task/15207/stat : 15207 (java) S 15199 15186 14984 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37721634 889200640 5273 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15208] ppid=15199 vsize=868360 CPUtime=0
/proc/15200/task/15208/stat : 15208 (java) S 15199 15186 14984 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37721634 889200640 5273 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 887316
[startup+3.1023 s]
/proc/loadavg: 2.00 2.00 1.94 3/92 15208
/proc/meminfo: memFree=1774208/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13600 CPUtime=0.79
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 974 6741 0 1 3 0 73 3 15 0 1 0 37721546 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15186/statm: 3400 797 370 3 0 500 0
[pid=15199] ppid=15186 vsize=5356 CPUtime=0
/proc/15199/stat : 15199 (sh) S 15186 15186 14984 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 37721630 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15199/statm: 1339 233 193 169 0 50 0
[pid=15200] ppid=15199 vsize=868472 CPUtime=2.22
/proc/15200/stat : 15200 (java) S 15199 15186 14984 0 -1 0 9332 0 1 0 208 14 0 0 18 0 9 0 37721630 889315328 8245 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15200/statm: 217118 8245 2565 9 0 211665 0
[pid=15200/tid=15201] ppid=15199 vsize=868472 CPUtime=1.58
/proc/15200/task/15201/stat : 15201 (java) R 15199 15186 14984 0 -1 64 3010 0 1 0 150 8 0 0 25 0 9 0 37721631 889315328 8245 996147200 134512640 134550740 4294955936 18446744073709551615 4126564407 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15202] ppid=15199 vsize=868472 CPUtime=0.35
/proc/15200/task/15202/stat : 15202 (java) S 15199 15186 14984 0 -1 64 4130 0 0 0 32 3 0 0 16 0 9 0 37721632 889315328 8245 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15203] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15203/stat : 15203 (java) S 15199 15186 14984 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 37721632 889315328 8245 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15204] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15204/stat : 15204 (java) S 15199 15186 14984 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37721632 889315328 8245 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15205] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15205/stat : 15205 (java) S 15199 15186 14984 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37721634 889315328 8245 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15206] ppid=15199 vsize=868472 CPUtime=0.27
/proc/15200/task/15206/stat : 15206 (java) S 15199 15186 14984 0 -1 64 1498 0 0 0 26 1 0 0 16 0 9 0 37721634 889315328 8245 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15207] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15207/stat : 15207 (java) S 15199 15186 14984 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37721634 889315328 8245 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15208] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15208/stat : 15208 (java) S 15199 15186 14984 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37721634 889315328 8245 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 887428
[startup+6.30251 s]
/proc/loadavg: 2.00 2.00 1.94 3/92 15208
/proc/meminfo: memFree=1735936/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13600 CPUtime=0.79
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 974 6741 0 1 3 0 73 3 16 0 1 0 37721546 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15186/statm: 3400 797 370 3 0 500 0
[pid=15199] ppid=15186 vsize=5356 CPUtime=0
/proc/15199/stat : 15199 (sh) S 15186 15186 14984 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 37721630 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15199/statm: 1339 233 193 169 0 50 0
[pid=15200] ppid=15199 vsize=868472 CPUtime=5.39
/proc/15200/stat : 15200 (java) S 15199 15186 14984 0 -1 0 10254 0 1 0 496 43 0 0 18 0 9 0 37721630 889315328 8250 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15200/statm: 217118 8250 2565 9 0 211665 0
[pid=15200/tid=15201] ppid=15199 vsize=868472 CPUtime=4.49
/proc/15200/task/15201/stat : 15201 (java) R 15199 15186 14984 0 -1 64 3927 0 1 0 417 32 0 0 25 0 9 0 37721631 889315328 8250 996147200 134512640 134550740 4294955936 18446744073709551615 4127027806 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15202] ppid=15199 vsize=868472 CPUtime=0.59
/proc/15200/task/15202/stat : 15202 (java) S 15199 15186 14984 0 -1 64 4130 0 0 0 51 8 0 0 16 0 9 0 37721632 889315328 8250 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15203] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15203/stat : 15203 (java) S 15199 15186 14984 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 37721632 889315328 8250 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15204] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15204/stat : 15204 (java) S 15199 15186 14984 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37721632 889315328 8250 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15205] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15205/stat : 15205 (java) S 15199 15186 14984 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37721634 889315328 8250 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15206] ppid=15199 vsize=868472 CPUtime=0.28
/proc/15200/task/15206/stat : 15206 (java) S 15199 15186 14984 0 -1 64 1503 0 0 0 27 1 0 0 16 0 9 0 37721634 889315328 8250 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15207] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15207/stat : 15207 (java) S 15199 15186 14984 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37721634 889315328 8250 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15208] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15208/stat : 15208 (java) S 15199 15186 14984 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37721634 889315328 8250 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 887428
[startup+12.703 s]
/proc/loadavg: 2.00 2.00 1.94 3/92 15208
/proc/meminfo: memFree=1652032/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13600 CPUtime=0.79
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 974 6741 0 1 3 0 73 3 16 0 1 0 37721546 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15186/statm: 3400 797 370 3 0 500 0
[pid=15199] ppid=15186 vsize=5356 CPUtime=0
/proc/15199/stat : 15199 (sh) S 15186 15186 14984 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 37721630 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15199/statm: 1339 233 193 169 0 50 0
[pid=15200] ppid=15199 vsize=868472 CPUtime=11.56
/proc/15200/stat : 15200 (java) S 15199 15186 14984 0 -1 0 12083 0 1 0 1052 104 0 0 18 0 9 0 37721630 889315328 8251 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15200/statm: 217118 8251 2565 9 0 211665 0
[pid=15200/tid=15201] ppid=15199 vsize=868472 CPUtime=10.18
/proc/15200/task/15201/stat : 15201 (java) R 15199 15186 14984 0 -1 64 5755 0 1 0 936 82 0 0 24 0 9 0 37721631 889315328 8251 996147200 134512640 134550740 4294955936 18446744073709551615 4126485541 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15202] ppid=15199 vsize=868472 CPUtime=1.07
/proc/15200/task/15202/stat : 15202 (java) S 15199 15186 14984 0 -1 64 4130 0 0 0 88 19 0 0 16 0 9 0 37721632 889315328 8251 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15203] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15203/stat : 15203 (java) S 15199 15186 14984 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 37721632 889315328 8251 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15204] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15204/stat : 15204 (java) S 15199 15186 14984 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37721632 889315328 8251 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15205] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15205/stat : 15205 (java) S 15199 15186 14984 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37721634 889315328 8251 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15206] ppid=15199 vsize=868472 CPUtime=0.28
/proc/15200/task/15206/stat : 15206 (java) S 15199 15186 14984 0 -1 64 1504 0 0 0 27 1 0 0 16 0 9 0 37721634 889315328 8251 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15207] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15207/stat : 15207 (java) S 15199 15186 14984 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 37721634 889315328 8251 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15208] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15208/stat : 15208 (java) S 15199 15186 14984 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 37721634 889315328 8251 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 887428
[startup+25.5018 s]
/proc/loadavg: 2.08 2.02 1.94 3/92 15208
/proc/meminfo: memFree=1495616/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13600 CPUtime=0.79
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 974 6741 0 1 3 0 73 3 16 0 1 0 37721546 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15186/statm: 3400 797 370 3 0 500 0
[pid=15199] ppid=15186 vsize=5356 CPUtime=0
/proc/15199/stat : 15199 (sh) S 15186 15186 14984 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 37721630 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15199/statm: 1339 233 193 169 0 50 0
[pid=15200] ppid=15199 vsize=868472 CPUtime=24.13
/proc/15200/stat : 15200 (java) S 15199 15186 14984 0 -1 0 15728 0 1 0 2193 220 0 0 18 0 9 0 37721630 889315328 8251 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15200/statm: 217118 8251 2565 9 0 211665 0
[pid=15200/tid=15201] ppid=15199 vsize=868472 CPUtime=21.82
/proc/15200/task/15201/stat : 15201 (java) R 15199 15186 14984 0 -1 64 9400 0 1 0 2004 178 0 0 25 0 9 0 37721631 889315328 8251 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15200/tid=15202] ppid=15199 vsize=868472 CPUtime=2.01
/proc/15200/task/15202/stat : 15202 (java) S 15199 15186 14984 0 -1 64 4130 0 0 0 161 40 0 0 16 0 9 0 37721632 889315328 8251 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15200/tid=15203] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15203/stat : 15203 (java) S 15199 15186 14984 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 37721632 889315328 8251 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15200/tid=15204] ppid=15199 vsize=868472 CPUtime=0
/proc/15200/task/15204/stat : 15204 (java) S 15199 15186 14984 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 37721632 889315328 8251 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 15385
/proc/meminfo: memFree=631280/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13996 CPUtime=333.56
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 1840 1112387 0 8 6 3 32204 1143 16 0 1 0 37721546 14331904 893 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15186/statm: 3499 893 374 3 0 599 0
[pid=15281] ppid=15186 vsize=5356 CPUtime=0
/proc/15281/stat : 15281 (sh) S 15186 15186 14984 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37755157 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15281/statm: 1339 232 193 169 0 50 0
[pid=15282] ppid=15281 vsize=738828 CPUtime=2933.68
/proc/15282/stat : 15282 (minisat) R 15281 15186 14984 0 -1 4194304 183060 0 0 0 293232 136 0 0 25 0 1 0 37755157 756559872 183046 996147200 134512640 135127466 4294956256 18446744073709551615 134530692 0 0 4096 3 0 0 0 17 0 0 0
/proc/15282/statm: 184707 183046 76 150 0 184554 0
Current children cumulated CPU time (s) 3267.24
Current children cumulated vsize (KiB) 758180
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 15385
/proc/meminfo: memFree=626544/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13996 CPUtime=333.56
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 1840 1112387 0 8 6 3 32204 1143 16 0 1 0 37721546 14331904 893 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15186/statm: 3499 893 374 3 0 599 0
[pid=15281] ppid=15186 vsize=5356 CPUtime=0
/proc/15281/stat : 15281 (sh) S 15186 15186 14984 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37755157 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15281/statm: 1339 232 193 169 0 50 0
[pid=15282] ppid=15281 vsize=743228 CPUtime=2993.44
/proc/15282/stat : 15282 (minisat) R 15281 15186 14984 0 -1 4194304 184205 0 0 0 299207 137 0 0 25 0 1 0 37755157 761065472 184191 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/15282/statm: 185807 184191 76 150 0 185654 0
Current children cumulated CPU time (s) 3327
Current children cumulated vsize (KiB) 762580
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 15385
/proc/meminfo: memFree=621040/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13996 CPUtime=333.56
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 1840 1112387 0 8 6 3 32204 1143 16 0 1 0 37721546 14331904 893 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15186/statm: 3499 893 374 3 0 599 0
[pid=15281] ppid=15186 vsize=5356 CPUtime=0
/proc/15281/stat : 15281 (sh) S 15186 15186 14984 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37755157 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15281/statm: 1339 232 193 169 0 50 0
[pid=15282] ppid=15281 vsize=748556 CPUtime=3053.2
/proc/15282/stat : 15282 (minisat) R 15281 15186 14984 0 -1 4194304 185543 0 0 0 305181 139 0 0 25 0 1 0 37755157 766521344 185529 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/15282/statm: 187139 185529 76 150 0 186986 0
Current children cumulated CPU time (s) 3386.76
Current children cumulated vsize (KiB) 767908
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 15385
/proc/meminfo: memFree=617072/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13996 CPUtime=333.56
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 1840 1112387 0 8 6 3 32204 1143 16 0 1 0 37721546 14331904 893 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15186/statm: 3499 893 374 3 0 599 0
[pid=15281] ppid=15186 vsize=5356 CPUtime=0
/proc/15281/stat : 15281 (sh) S 15186 15186 14984 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37755157 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15281/statm: 1339 232 193 169 0 50 0
[pid=15282] ppid=15281 vsize=752560 CPUtime=3112.97
/proc/15282/stat : 15282 (minisat) R 15281 15186 14984 0 -1 4194304 186534 0 0 0 311156 141 0 0 25 0 1 0 37755157 770621440 186520 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/15282/statm: 188140 186520 76 150 0 187987 0
Current children cumulated CPU time (s) 3446.53
Current children cumulated vsize (KiB) 771912
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 15391
/proc/meminfo: memFree=614064/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13996 CPUtime=333.56
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 1840 1112387 0 8 6 3 32204 1143 16 0 1 0 37721546 14331904 893 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15186/statm: 3499 893 374 3 0 599 0
[pid=15281] ppid=15186 vsize=5356 CPUtime=0
/proc/15281/stat : 15281 (sh) S 15186 15186 14984 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37755157 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15281/statm: 1339 232 193 169 0 50 0
[pid=15282] ppid=15281 vsize=755464 CPUtime=3172.72
/proc/15282/stat : 15282 (minisat) R 15281 15186 14984 0 -1 4194304 187263 0 0 0 317130 142 0 0 25 0 1 0 37755157 773595136 187249 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/15282/statm: 188866 187249 76 150 0 188713 0
Current children cumulated CPU time (s) 3506.28
Current children cumulated vsize (KiB) 774816
[startup+3582.3 s]
/proc/loadavg: 2.25 2.06 2.02 3/77 15391
/proc/meminfo: memFree=610992/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13996 CPUtime=333.56
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 1840 1112387 0 8 6 3 32204 1143 16 0 1 0 37721546 14331904 893 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15186/statm: 3499 893 374 3 0 599 0
[pid=15281] ppid=15186 vsize=5356 CPUtime=0
/proc/15281/stat : 15281 (sh) S 15186 15186 14984 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37755157 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15281/statm: 1339 232 193 169 0 50 0
[pid=15282] ppid=15281 vsize=758580 CPUtime=3232.48
/proc/15282/stat : 15282 (minisat) R 15281 15186 14984 0 -1 4194304 188018 0 0 0 323105 143 0 0 25 0 1 0 37755157 776785920 188004 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/15282/statm: 189645 188004 76 150 0 189492 0
Current children cumulated CPU time (s) 3566.04
Current children cumulated vsize (KiB) 777932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3616.4 s]
/proc/loadavg: 2.14 2.05 2.01 3/77 15391
/proc/meminfo: memFree=608944/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13996 CPUtime=333.56
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 1840 1112387 0 8 6 3 32204 1143 16 0 1 0 37721546 14331904 893 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15186/statm: 3499 893 374 3 0 599 0
[pid=15281] ppid=15186 vsize=5356 CPUtime=0
/proc/15281/stat : 15281 (sh) S 15186 15186 14984 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37755157 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15281/statm: 1339 232 193 169 0 50 0
[pid=15282] ppid=15281 vsize=760428 CPUtime=3266.45
/proc/15282/stat : 15282 (minisat) R 15281 15186 14984 0 -1 4194304 188500 0 0 0 326502 143 0 0 25 0 1 0 37755157 778678272 188486 996147200 134512640 135127466 4294956256 18446744073709551615 134530635 0 0 4096 3 0 0 0 17 0 0 0
/proc/15282/statm: 190107 188486 76 150 0 189954 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 779780
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3616.4 s]
/proc/loadavg: 2.14 2.05 2.01 3/77 15391
/proc/meminfo: memFree=608944/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13996 CPUtime=333.56
/proc/15186/stat : 15186 (sugar) S 15184 15186 14984 0 -1 4194304 1840 1112387 0 8 6 3 32204 1143 16 0 1 0 37721546 14331904 893 996147200 4194304 4206940 548682068592 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15186/statm: 3499 893 374 3 0 599 0
[pid=15281] ppid=15186 vsize=5356 CPUtime=0
/proc/15281/stat : 15281 (sh) S 15186 15186 14984 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 37755157 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15281/statm: 1339 232 193 169 0 50 0
[pid=15282] ppid=15281 vsize=760428 CPUtime=3266.45
/proc/15282/stat : 15282 (minisat) R 15281 15186 14984 0 -1 4194304 188500 0 0 0 326502 143 0 0 25 0 1 0 37755157 778678272 188486 996147200 134512640 135127466 4294956256 18446744073709551615 134530635 0 0 4096 3 0 0 0 17 0 0 0
/proc/15282/statm: 190107 188486 76 150 0 189954 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 779780
# WARNING:
# current cumulated CPU time (333.56 s) is less than in the last sample (3600.01 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (3266.45 s) to the 'lost time'.
[startup+3616.52 s]
/proc/loadavg: 2.14 2.05 2.01 3/77 15391
/proc/meminfo: memFree=608944/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13996 CPUtime=333.56
/proc/15186/stat : 15186 (sugar) R 15184 15186 14984 0 -1 4194304 1873 1112664 0 8 6 3 32204 1143 16 0 1 0 37721546 14331904 894 996147200 4194304 4206940 548682068592 18446744073709551615 264907756585 0 0 4224 16386 0 0 0 17 0 0 0
/proc/15186/statm: 3499 894 375 3 0 599 0
Current children cumulated CPU time (s) 333.56
Current children cumulated vsize (KiB) 13996
Solver just ended. Dumping a history of the last processes samples
[startup+3616.6 s]
/proc/loadavg: 2.14 2.05 2.01 3/77 15391
/proc/meminfo: memFree=608944/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13996 CPUtime=333.64
/proc/15186/stat : 15186 (sugar) R 15184 15186 14984 0 -1 4194304 1873 1112664 0 8 6 11 32204 1143 16 0 1 0 37721546 14331904 894 996147200 4194304 4206940 548682068592 18446744073709551615 264907756585 0 0 4224 16386 0 0 0 17 0 0 0
/proc/15186/statm: 3499 894 375 3 0 599 0
Current children cumulated CPU time (s) 333.64
Current children cumulated vsize (KiB) 13996
[startup+3616.72 s]
/proc/loadavg: 2.14 2.05 2.01 4/77 15392
/proc/meminfo: memFree=1787504/2055920 swapFree=4179920/4192956
[pid=15186] ppid=15184 vsize=13996 CPUtime=333.76
/proc/15186/stat : 15186 (sugar) R 15184 15186 14984 0 -1 4194304 1873 1112664 0 8 6 23 32204 1143 16 0 1 0 37721546 14331904 894 996147200 4194304 4206940 548682068592 18446744073709551615 264907756585 0 0 4224 16386 0 0 0 17 0 0 0
/proc/15186/statm: 3499 894 375 3 0 599 0
Current children cumulated CPU time (s) 333.76
Current children cumulated vsize (KiB) 13996
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 3266.45
# lost CPU user time (s): 3265.02
# lost CPU system time (s): 1.43
Real time (s): 3616.72
CPU time (s): 3600.23
CPU user time (s): 3587.13
CPU system time (s): 13.1032
CPU usage (%): 99.544
Max. virtual memory (cumulated for all children) (KiB): 887428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 322.108
system time used= 11.6732
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1114568
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78299
involuntary context switches= 82041
runsolver used 3.38149 second user time and 9.99948 second system time
The end