Trace number 1112177

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar++ v1.13+minisat-incOPTIMUM2 1098.43 1109.57

General information on the benchmark

Namecsp/js-taillard-15/
normalized-js-taillard-15-95-2.xml
MD5SUM82e30b1cc0425fc71c427eb8ae1415f1
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints2
Best CPU time to get the best result obtained on this benchmark1098.43
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1171
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.08	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08	c 0	BEGIN Sat Jul 12 13:44:57 2008
0.00/0.08	c 0	PID 18594
0.00/0.08	c 0	HOST node70.alineos.net
0.00/0.08	c 0	CONVERTING HOME/instance-1112177-1215863097.xml TO HOME/temp.csp
0.00/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1112177-1215863097.xml' 'HOME/temp.csp'
0.06/0.93	c 1	225 domains, 225 variables, 2 predicates, 0 relations, 1785 constraints
0.06/0.97	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.97	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.91/1.06	c 1	Parsing HOME/temp.csp
1.12/1.27	c 1	parsed 2237 expressions
1.12/1.27	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.12/1.29	c 1	MAX CSP: 1785 constraints
1.12/1.29	c 1	Converting to clausal form CSP
1.21/1.33	c 2	converted 403 (10%) expressions
1.21/1.40	c 2	converted 805 (20%) expressions
1.31/1.50	c 2	converted 1208 (30%) expressions
1.41/1.52	c 2	converted 1610 (40%) expressions
1.41/1.53	c 2	converted 2013 (50%) expressions
1.41/1.55	c 2	converted 2415 (60%) expressions
1.41/1.56	c 2	converted 2818 (70%) expressions
1.41/1.57	c 2	converted 3220 (80%) expressions
1.41/1.58	c 2	converted 3623 (90%) expressions
1.61/1.79	c 2	converted 4025 (100%) expressions
1.61/1.79	c 2	CSP : 3795 integers, 0 booleans, 5354 clauses, largest domain size 2678
1.61/1.79	c 2	Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.61/1.79	c 2	Propagation in CSP
1.71/1.88	c 2	1777 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.71/1.88	c 2	CSP : 3795 integers, 0 booleans, 5354 clauses, largest domain size 1786
1.71/1.88	c 2	Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.71/1.89	c 2	Simplifing CSP by introducing new Boolean variables
1.82/1.92	c 2	CSP : 3795 integers, 3150 booleans, 8504 clauses, largest domain size 1786
1.82/1.92	c 2	Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.82/1.96	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.21/2.32	c 3	380 (10%) CSP integer variables are encoded (252069 clauses, 4063226 bytes)
2.21/2.32	c 3	759 (20%) CSP integer variables are encoded (252069 clauses, 4063226 bytes)
2.21/2.33	c 3	1139 (30%) CSP integer variables are encoded (252069 clauses, 4063226 bytes)
2.21/2.33	c 3	1518 (40%) CSP integer variables are encoded (252069 clauses, 4063226 bytes)
2.21/2.33	c 3	1898 (50%) CSP integer variables are encoded (252069 clauses, 4063226 bytes)
2.21/2.34	c 3	2277 (60%) CSP integer variables are encoded (255545 clauses, 4122318 bytes)
2.21/2.34	c 3	2657 (70%) CSP integer variables are encoded (258419 clauses, 4171176 bytes)
2.21/2.35	c 3	3036 (80%) CSP integer variables are encoded (262477 clauses, 4240162 bytes)
2.21/2.37	c 3	3416 (90%) CSP integer variables are encoded (280744 clauses, 4550701 bytes)
2.21/2.38	c 3	3795 (100%) CSP integer variables are encoded (285730 clauses, 4635463 bytes)
3.49/3.60	c 4	851 (10%) CSP clauses are encoded (898175 clauses, 18783120 bytes)
4.58/4.79	c 5	1701 (20%) CSP clauses are encoded (1513990 clauses, 33370567 bytes)
5.77/6.00	c 6	2552 (30%) CSP clauses are encoded (2134514 clauses, 48136708 bytes)
7.06/7.22	c 7	3402 (40%) CSP clauses are encoded (2756978 clauses, 63207174 bytes)
8.22/8.46	c 9	4252 (50%) CSP clauses are encoded (3382250 clauses, 78830004 bytes)
9.21/9.48	c 10	5103 (60%) CSP clauses are encoded (3899325 clauses, 91740054 bytes)
9.61/9.90	c 10	5953 (70%) CSP clauses are encoded (4105657 clauses, 96737558 bytes)
10.88/11.11	c 11	6804 (80%) CSP clauses are encoded (4710041 clauses, 111474693 bytes)
14.03/14.38	c 15	7654 (90%) CSP clauses are encoded (6339573 clauses, 151109465 bytes)
17.30/17.62	c 18	8504 (100%) CSP clauses are encoded (7943760 clauses, 190316091 bytes)
17.30/17.62	c 18	8504 CSP clauses encoded
17.30/17.62	c 18	Writing map file : HOME/temp.map
17.30/17.67	c 18	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
17.30/17.67	c 18	SAT : 292675 SAT variables, 7943760 SAT clauses, 190316091 bytes
17.30/17.67	c 18	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
17.38/17.71	c 18	OBJECTIVE minimize _COST
17.38/17.71	c 18	SOLVING HOME/temp.cnf
17.38/17.71	c 18	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
17.38/17.71	c 18	This is MiniSat 2.0 beta incremental
17.38/17.71	c 18	WARNING: for repeatability, setting FPU to use double precision
17.38/17.71	c 18	============================[ Problem Statistics ]=============================
17.38/17.71	c 18	|                                                                             |
17.38/17.71	c 18	|  Number of variables:  292675                                               |
17.38/17.71	c 18	|  Number of clauses:    7943760                                              |
21.61/22.01	c 22	|  Parsing time:         3.71         s                                       |
21.71/22.19	c 22	OK
21.71/22.19	c 22	OBJECTIVE BOUND: 0 <= _COST <= 
21.71/22.19	c 22	SEARCHING: _COST <= 893
21.71/22.19	c 22	============================[ Search Statistics ]==============================
21.71/22.19	c 22	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.71/22.19	c 22	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
21.71/22.19	c 22	===============================================================================
21.71/22.19	c 22	|         0 |  292675  7943760 23469723 |  2647920        0    nan |  0.000 % |
22.70/23.12	c 23	===============================================================================
22.70/23.13	c 23	restarts              : 1
22.70/23.13	c 23	conflicts             : 9             (2 /sec)
22.70/23.13	c 23	decisions             : 2254          (1.55 % random) (469 /sec)
22.70/23.13	c 23	propagations          : 363940         (75675 /sec)
22.70/23.13	c 23	conflict literals     : 186            (13.08 % deleted)
22.70/23.13	c 23	Memory used           : 334.37 MB
22.70/23.13	c 23	CPU time              : 4.80927 s
22.70/23.13	c 23	
22.70/23.13	c 23	SATISFIABLE
22.80/23.23	c 23	OK
22.80/23.23	c 23	FOUND: _COST <= 893
22.80/23.23	s SATISFIABLE
22.80/23.23	c 23	DECODING HOME/temp.out WITH HOME/temp.map
22.80/23.23	c 23	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
22.83/23.31	c 24	Decoding HOME/temp.out
22.83/23.74	c 24	OBJECTIVE _COST 893
22.83/23.74	o 893
22.83/23.75	v 69 138 219 300 362 442 445 590 712 813 27 325 407 410 422 21 301 352 399 414 503 579 631 649 884 974 1019 1049 431 520 6 68 115 208 262 328 406 477 891 1016 104 148 235 325 589 219 252 334 416 446 542 573 584 652 510 741 987 1001 1093 1096 799 835 966 976 1030 1099 1152 720 785 822 879 911 922 995 1084 1050 1133 1165 1071 1084 561 655 691 767 821 851 907 969 1047 1099 829 858 936 957 984 1083 1126 1140 1155 830 879 951 970 1069 1107 1063 1075 1149 1153 1156 798 860 910 948 997 1022 1040 1095 1100 1144 892 961 974 1007 1054 1140 1026 1123 854 879 919 1013 1035 1096 1155 1025 1052 1056 1091 470 519 565 652 698 794 866 955 978 1074 1148 867 903 920 1001 1068 1115 1120 648 671 753 788 967 987 1041 1133 693 771 829 946 989 990 1046 1122 802 882 908 1060 1069 1105 1129 590 628 714 752 790 873 909 920 937 1036 1050 1107 1000 1058 1154 483 493 610 703 766 827 889 964 1054 1094 907 915 942 1038 1107 951 1024 1036 1050 1121 1124 710 794 878 931 989 1084 938 1028 1096
22.83/23.75	c 24	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
22.83/23.81	c 24	OK
22.83/23.81	c 24	OBJECTIVE BOUND: 0 <= _COST <= 893
22.83/23.81	c 24	SEARCHING: _COST <= 446
22.83/23.81	c 24	============================[ Search Statistics ]==============================
22.83/23.81	c 24	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.83/23.81	c 24	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
22.83/23.81	c 24	===============================================================================
22.83/23.81	c 24	|         9 |  292675  7943760 23469723 |  2647920        9     21 |  0.000 % |
23.82/24.31	c 25	===============================================================================
23.82/24.32	c 25	restarts              : 2
23.82/24.32	c 25	conflicts             : 11            (2 /sec)
23.82/24.32	c 25	decisions             : 4520          (1.00 % random) (838 /sec)
23.82/24.32	c 25	propagations          : 668035         (123844 /sec)
23.82/24.32	c 25	conflict literals     : 219            (14.12 % deleted)
23.82/24.32	c 25	Memory used           : 339.80 MB
23.82/24.32	c 25	CPU time              : 5.39418 s
23.82/24.32	c 25	
23.82/24.32	c 25	SATISFIABLE
23.92/24.42	c 25	OK
23.92/24.42	c 25	FOUND: _COST <= 446
23.92/24.42	c 25	DECODING HOME/temp.out WITH HOME/temp.map
23.92/24.42	c 25	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
23.94/24.50	c 25	Decoding HOME/temp.out
23.94/25.10	c 25	OBJECTIVE _COST 446
23.94/25.10	o 446
23.94/25.11	v 250 677 850 931 365 445 456 537 652 913 96 215 347 427 663 44 127 225 707 722 855 1047 1001 1019 947 1032 1058 1084 736 793 383 478 572 677 731 769 847 943 1039 1089 450 494 565 1017 1029 616 649 731 1099 211 655 733 758 784 166 221 430 440 537 540 91 146 297 307 1102 1041 1152 119 184 225 282 319 330 403 515 238 350 525 527 556 178 272 308 904 950 980 1036 195 619 815 321 350 471 505 532 382 425 439 454 233 282 615 634 276 607 384 396 643 647 650 227 428 480 518 671 751 811 1006 1011 510 485 554 492 525 748 1082 1074 1123 289 314 354 448 470 531 744 665 692 696 932 1082 1113 480 564 610 706 549 567 590 686 760 898 934 777 858 731 778 783 866 889 903 1002 1098 834 888 1133 599 789 857 919 962 963 1026 1122 887 967 993 1072 1081 1105 1129 812 925 1012 1050 1088 994 1030 1041 1058 1157 1050 1107 893 951 1154 951 961 1078 825 954 1015 1077 1041 1131 1094 971 979 1006 1102 1107 1086 1159 1083 1097 1168 1124 834 918 1021 1113 989 1084 938 1028 1096
23.94/25.12	c 25	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
23.94/25.16	c 25	OK
23.94/25.16	c 25	OBJECTIVE BOUND: 0 <= _COST <= 446
23.94/25.16	c 25	SEARCHING: _COST <= 223
23.94/25.16	c 25	============================[ Search Statistics ]==============================
23.94/25.16	c 25	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.94/25.16	c 25	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
23.94/25.16	c 25	===============================================================================
23.94/25.16	c 25	|        11 |  282863  7943760 23469723 |  2647920       11     20 |  0.000 % |
25.07/25.69	c 26	===============================================================================
25.17/25.70	c 26	restarts              : 3
25.17/25.70	c 26	conflicts             : 24            (4 /sec)
25.17/25.70	c 26	decisions             : 6927          (0.82 % random) (1151 /sec)
25.17/25.70	c 26	propagations          : 1106578        (183814 /sec)
25.17/25.70	c 26	conflict literals     : 490            (12.19 % deleted)
25.17/25.70	c 26	Memory used           : 343.43 MB
25.17/25.70	c 26	CPU time              : 6.02008 s
25.17/25.70	c 26	
25.17/25.70	c 26	SATISFIABLE
25.27/25.80	c 26	OK
25.27/25.80	c 26	FOUND: _COST <= 223
25.27/25.80	c 26	DECODING HOME/temp.out WITH HOME/temp.map
25.27/25.80	c 26	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
25.27/25.88	c 26	Decoding HOME/temp.out
25.28/26.30	c 27	OBJECTIVE _COST 223
25.28/26.31	o 223
25.28/26.32	v 632 701 857 938 413 952 955 993 996 1105 241 329 411 483 601 631 731 782 1067 1082 559 851 778 962 994 1013 1089 987 616 1149 621 683 752 925 1000 468 586 712 1119 1138 714 810 881 1073 1150 732 905 993 903 948 1103 1134 1145 884 546 1016 1028 1079 490 493 695 775 824 846 620 689 761 780 845 882 939 971 982 1055 1159 1050 1133 1165 568 581 292 386 422 498 658 777 1063 1139 1083 809 955 414 492 513 1122 611 654 668 1013 423 472 594 613 772 814 796 826 992 1084 1087 657 730 889 829 878 913 931 1034 1039 1144 927 1137 459 1124 495 1140 1038 845 286 311 351 445 467 528 808 396 534 903 996 1110 1125 318 402 448 685 757 910 933 1029 1148 487 523 540 647 635 829 834 777 800 948 983 765 779 833 1099 538 799 865 933 1083 1084 544 683 548 628 682 1006 1015 1039 1120 719 758 844 935 1050 1135 826 837 885 984 998 688 529 587 900 634 644 973 705 768 1076 686 803 893 1057 882 890 917 1102 1107 854 927 979 1066 1162 732 911 995 947 992 1008 986 755 976 1044
25.28/26.33	c 27	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
25.81/26.41	c 27	OK
25.81/26.41	c 27	OBJECTIVE BOUND: 0 <= _COST <= 223
25.81/26.41	c 27	SEARCHING: _COST <= 111
25.81/26.41	c 27	============================[ Search Statistics ]==============================
25.81/26.41	c 27	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.81/26.41	c 27	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
25.81/26.41	c 27	===============================================================================
25.81/26.41	c 27	|        24 |  277498  7943760 23469723 |  2647920       24     20 |  0.000 % |
26.21/26.85	c 27	===============================================================================
26.21/26.87	c 27	restarts              : 4
26.21/26.87	c 27	conflicts             : 30            (5 /sec)
26.21/26.87	c 27	decisions             : 7920          (0.76 % random) (1202 /sec)
26.21/26.87	c 27	propagations          : 1429607        (217035 /sec)
26.21/26.87	c 27	conflict literals     : 536            (11.55 % deleted)
26.21/26.87	c 27	Memory used           : 344.86 MB
26.21/26.87	c 27	CPU time              : 6.587 s
26.21/26.87	c 27	
26.21/26.87	c 27	SATISFIABLE
26.31/26.96	c 27	OK
26.31/26.96	c 27	FOUND: _COST <= 111
26.31/26.96	c 27	DECODING HOME/temp.out WITH HOME/temp.map
26.31/26.96	c 27	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
26.38/27.04	c 27	Decoding HOME/temp.out
26.38/27.47	c 28	OBJECTIVE _COST 111
26.38/27.47	o 111
26.38/27.48	v 768 859 940 1021 249 337 340 1011 979 1105 473 561 643 680 991 17 410 470 683 698 372 663 255 273 295 594 620 675 752 837 1 63 110 203 805 843 936 1041 1152 745 100 174 274 1092 1101 141 923 1012 986 1033 1129 1160 1062 1073 40 98 193 203 694 729 631 765 814 824 26 95 167 186 251 288 346 544 555 663 1115 532 725 757 765 778 1077 675 711 787 833 863 1077 1139 1083 933 1142 348 426 481 560 577 628 642 657 47 96 230 293 460 498 549 583 692 811 814 829 891 941 1122 996 1124 956 1011 1016 1087 872 1088 170 1054 1005 1093 708 894 76 101 367 461 483 584 1025 318 422 448 1091 329 378 424 508 554 650 722 740 763 859 1137 447 646 861 942 820 867 974 168 191 345 380 858 865 919 1024 841 1007 1065 1127 1170 368 478 696 364 444 483 658 667 691 715 106 144 479 517 741 1135 686 697 715 1079 1114 750 953 1016 1112 164 256 351 447 510 571 633 714 804 844 921 929 1005 1101 1075 172 245 257 271 342 345 392 476 562 615 673 842 919 1009 1077
26.38/27.48	c 28	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
26.90/27.53	c 28	OK
26.90/27.53	c 28	OBJECTIVE BOUND: 0 <= _COST <= 111
26.90/27.53	c 28	SEARCHING: _COST <= 55
26.90/27.53	c 28	============================[ Search Statistics ]==============================
26.90/27.53	c 28	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
26.90/27.53	c 28	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
26.90/27.53	c 28	===============================================================================
26.90/27.53	c 28	|        30 |  274152  7943760 23469723 |  2647920       30     18 |  0.000 % |
27.29/27.98	c 28	===============================================================================
27.39/28.00	c 28	restarts              : 5
27.39/28.00	c 28	conflicts             : 50            (7 /sec)
27.39/28.00	c 28	decisions             : 9671          (0.69 % random) (1348 /sec)
27.39/28.00	c 28	propagations          : 1915279        (266941 /sec)
27.39/28.00	c 28	conflict literals     : 799            (11.02 % deleted)
27.39/28.00	c 28	Memory used           : 345.51 MB
27.39/28.00	c 28	CPU time              : 7.17491 s
27.39/28.00	c 28	
27.39/28.00	c 28	SATISFIABLE
27.39/28.10	c 28	OK
27.39/28.10	c 28	FOUND: _COST <= 55
27.39/28.10	c 28	DECODING HOME/temp.out WITH HOME/temp.map
27.39/28.10	c 28	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
27.48/28.17	c 28	Decoding HOME/temp.out
27.96/28.61	c 29	OBJECTIVE _COST 55
27.96/28.61	o 55
27.96/28.62	v 13 87 332 413 482 987 990 1068 979 1105 75 587 1068 1071 1083 26 109 484 531 667 943 1089 669 687 709 797 823 974 979 1107 482 544 591 684 822 860 970 1041 1152 1138 562 606 841 1092 1101 702 892 1012 1141 1033 1129 1160 1075 1130 15 205 217 240 558 619 0 129 835 853 57 126 198 382 447 500 557 589 644 887 976 733 925 957 963 984 1077 51 238 319 417 550 735 938 1019 517 1023 190 268 315 402 679 749 763 778 794 843 915 934 1033 1071 70 82 156 160 163 178 785 858 1122 918 1005 973 1028 1056 1144 283 438 451 484 598 1052 274 371 419 444 484 578 600 726 845 10 37 41 76 163 212 258 342 388 722 794 812 835 931 1137 401 750 767 848 227 278 314 365 464 546 581 677 684 738 1037 606 880 1065 1127 1170 70 210 286 437 717 743 826 942 966 1026 91 734 820 858 896 1135 308 561 717 816 830 353 499 630 824 72 82 168 289 352 413 475 604 694 861 938 946 1005 1101 816 36 200 247 261 332 335 382 466 550 603 661 756 898 988 1077
27.96/28.62	c 29	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
27.96/28.70	c 29	OK
27.96/28.70	c 29	OBJECTIVE BOUND: 0 <= _COST <= 55
27.96/28.70	c 29	SEARCHING: _COST <= 27
27.96/28.70	c 29	============================[ Search Statistics ]==============================
27.96/28.70	c 29	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
27.96/28.70	c 29	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
27.96/28.70	c 29	===============================================================================
27.96/28.70	c 29	|        50 |  271679  7943760 23469723 |  2647920       50     16 |  0.000 % |
28.32/29.07	c 29	===============================================================================
28.32/29.08	c 29	restarts              : 6
28.32/29.08	c 29	conflicts             : 56            (7 /sec)
28.32/29.08	c 29	decisions             : 10980         (0.63 % random) (1431 /sec)
28.32/29.08	c 29	propagations          : 2278614        (297010 /sec)
28.32/29.08	c 29	conflict literals     : 850            (10.81 % deleted)
28.32/29.08	c 29	Memory used           : 346.16 MB
28.32/29.08	c 29	CPU time              : 7.67183 s
28.32/29.08	c 29	
28.32/29.08	c 29	SATISFIABLE
28.42/29.18	c 29	OK
28.42/29.18	c 29	FOUND: _COST <= 27
28.42/29.18	c 29	DECODING HOME/temp.out WITH HOME/temp.map
28.42/29.18	c 29	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
28.52/29.26	c 29	Decoding HOME/temp.out
28.52/29.69	c 30	OBJECTIVE _COST 27
28.52/29.69	o 27
28.52/29.70	v 87 176 257 404 472 608 611 788 130 184 250 338 880 941 985 552 974 1025 1155 95 659 828 542 576 598 778 809 1050 1055 1149 1 63 110 217 271 309 438 743 839 865 898 942 1013 1115 1124 681 953 1035 977 1007 1103 1134 1145 702 743 798 810 820 927 942 100 138 219 229 272 387 466 485 555 592 649 766 777 850 1159 70 197 293 360 373 460 608 644 955 1001 1031 1109 187 219 377 41 404 528 554 581 766 1110 747 817 834 883 879 948 1047 1107 268 280 354 358 361 376 883 933 478 587 612 631 714 719 1144 61 157 170 203 268 459 490 635 683 738 789 930 952 1070 1155 638 784 1 36 116 165 211 295 341 437 509 527 550 646 720 156 192 209 290 357 415 420 471 494 665 708 804 811 939 1072 624 996 1054 1116 1170 630 686 762 833 913 939 1048 1061 1085 1129 338 386 475 875 971 1071 84 820 849 1073 1087 489 553 732 935 278 299 385 549 612 673 735 837 1017 1057 1136 1144 550 1038 1107 136 288 300 314 482 513 560 912 1018 153 449 544 700 790 858
29.01/29.71	c 30	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
29.01/29.77	c 30	OK
29.01/29.77	c 30	OBJECTIVE BOUND: 0 <= _COST <= 27
29.01/29.77	c 30	SEARCHING: _COST <= 13
29.01/29.77	c 30	============================[ Search Statistics ]==============================
29.01/29.77	c 30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
29.01/29.77	c 30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
29.01/29.77	c 30	===============================================================================
29.01/29.77	c 30	|        56 |  269582  7943760 23469723 |  2647920       56     15 |  0.000 % |
29.76/30.51	c 31	===============================================================================
29.76/30.52	c 31	restarts              : 7
29.76/30.52	c 31	conflicts             : 114           (13 /sec)
29.76/30.52	c 31	decisions             : 11700         (0.61 % random) (1373 /sec)
29.76/30.52	c 31	propagations          : 3124618        (366666 /sec)
29.76/30.52	c 31	conflict literals     : 3233           (9.67 % deleted)
29.76/30.52	c 31	Memory used           : 346.42 MB
29.76/30.52	c 31	CPU time              : 8.5217 s
29.76/30.52	c 31	
29.76/30.52	c 31	SATISFIABLE
29.86/30.62	c 31	OK
29.86/30.62	c 31	FOUND: _COST <= 13
29.86/30.62	c 31	DECODING HOME/temp.out WITH HOME/temp.map
29.86/30.62	c 31	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
29.89/30.70	c 31	Decoding HOME/temp.out
30.44/31.24	c 31	OBJECTIVE _COST 13
30.44/31.24	o 13
30.44/31.25	v 353 422 508 809 879 959 962 1109 203 342 408 503 750 1071 1083 113 324 375 554 601 871 947 213 231 322 858 893 923 928 1132 203 265 312 405 459 497 589 662 783 802 835 884 992 1103 1112 102 140 254 334 364 461 492 611 714 779 834 947 957 1049 1052 13 82 131 141 184 253 361 431 496 533 590 622 663 782 972 148 531 753 822 836 1077 0 55 138 235 657 713 925 1030 1082 119 184 359 380 407 460 503 517 532 569 618 803 970 1069 1107 480 548 734 738 752 767 897 996 36 287 409 427 585 623 755 16 85 161 265 380 466 584 694 742 775 815 909 931 999 1155 626 653 25 60 196 279 325 409 505 646 718 736 759 857 1132 69 105 122 245 312 359 429 482 697 794 829 955 963 1017 1133 575 660 1034 1127 1170 6 62 222 273 637 719 798 807 831 855 284 393 479 525 563 681 717 741 758 857 871 936 1000 1058 1154 2 12 98 194 257 318 380 455 545 585 682 690 761 1038 1107 49 135 147 191 262 271 340 424 522 575 633 728 846 984 1096
30.44/31.26	c 31	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
30.50/31.32	c 32	OK
30.50/31.32	c 32	OBJECTIVE BOUND: 0 <= _COST <= 13
30.50/31.32	c 32	SEARCHING: _COST <= 6
30.50/31.32	c 32	============================[ Search Statistics ]==============================
30.50/31.32	c 32	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
30.50/31.32	c 32	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
30.50/31.32	c 32	===============================================================================
30.50/31.32	c 32	|       114 |  267621  7943760 23469723 |  2647920      114     28 |  0.000 % |
31.79/32.62	c 33	|       214 |  267621  7943760 23469723 |  2912712      214     39 |  9.228 % |
33.77/34.61	c 35	|       364 |  267621  7943760 23469723 |  3203983      364     57 |  9.228 % |
36.73/37.62	c 38	|       589 |  267621  7943760 23469723 |  3524381      589     73 |  9.228 % |
40.60/41.50	c 42	|       926 |  267621  7943760 23469723 |  3876819      926     70 |  9.228 % |
45.85/46.82	c 47	|      1432 |  267621  7943760 23469723 |  4264501     1432     76 |  9.228 % |
54.27/55.31	c 56	|      2191 |  267621  7943760 23469723 |  4690951     2191     80 |  9.228 % |
74.77/76.07	c 76	|      3330 |  265666  3940482 11539144 |  5160046     3313     83 |  9.228 % |
92.11/93.58	c 94	|      5038 |  265666  3940482 11539144 |  5676051     5021     84 |  9.228 % |
93.10/94.57	c 95	===============================================================================
93.10/94.59	c 95	restarts              : 16
93.10/94.59	c 95	conflicts             : 5138          (72 /sec)
93.10/94.59	c 95	decisions             : 19889         (0.58 % random) (279 /sec)
93.10/94.59	c 95	propagations          : 64158296       (900036 /sec)
93.10/94.59	c 95	conflict literals     : 424809         (10.29 % deleted)
93.10/94.59	c 95	Memory used           : 347.20 MB
93.10/94.59	c 95	CPU time              : 71.2842 s
93.10/94.59	c 95	
93.10/94.59	c 95	SATISFIABLE
93.20/94.70	c 95	OK
93.20/94.70	c 95	FOUND: _COST <= 6
93.20/94.70	c 95	DECODING HOME/temp.out WITH HOME/temp.map
93.20/94.70	c 95	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
93.29/94.78	c 95	Decoding HOME/temp.out
93.29/95.39	c 96	OBJECTIVE _COST 6
93.29/95.39	o 6
93.29/95.41	v 16 85 193 311 373 453 456 494 637 808 898 986 1068 1071 1083 32 115 166 236 251 381 457 528 546 652 737 763 793 798 894 391 604 651 744 920 206 360 712 834 853 886 980 1051 1141 1150 301 334 416 509 541 777 808 861 887 928 189 652 835 927 930 6 71 125 135 182 351 460 539 614 722 779 811 982 1055 1159 20 103 135 141 158 290 384 420 496 584 619 675 738 770 822 118 164 242 263 336 353 449 504 519 535 649 740 819 1069 1107 159 171 245 256 259 274 746 796 909 958 983 1009 1064 1073 1144 284 436 455 488 545 631 662 759 807 832 874 968 990 1096 1155 11 38 43 78 324 377 423 507 553 691 772 790 820 916 1132 111 147 175 538 605 922 927 978 1001 201 556 668 890 963 1112 42 120 178 240 283 284 340 455 546 813 839 918 932 956 1026 33 154 249 346 396 479 542 557 574 673 687 744 872 930 1154 291 371 463 556 861 944 1006 1081 284 48 147 155 423 1038 1107 42 187 199 213 284 287 336 431 515 568 626 721 808 1005 1096
93.29/95.41	c 96	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
94.05/95.56	c 96	OK
94.05/95.56	c 96	OBJECTIVE BOUND: 0 <= _COST <= 6
94.05/95.56	c 96	SEARCHING: _COST <= 3
94.05/95.56	c 96	============================[ Search Statistics ]==============================
94.05/95.56	c 96	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.05/95.56	c 96	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
94.05/95.56	c 96	===============================================================================
94.05/95.56	c 96	|      5138 |  263611  3903435 11434161 |  1301145     5121     83 |  9.228 % |
95.14/96.66	c 97	|      5238 |  263611  3903435 11434161 |  1431259     5221     82 |  9.930 % |
97.11/98.61	c 99	|      5388 |  263611  3903435 11434161 |  1574385     5371     82 |  9.930 % |
99.59/101.18	c 101	|      5613 |  263611  3903435 11434161 |  1731823     5596     82 |  9.930 % |
103.35/104.95	c 105	|      5950 |  263611  3903435 11434161 |  1905006     5933     82 |  9.930 % |
109.00/110.68	c 111	===============================================================================
109.10/110.71	c 111	restarts              : 21
109.10/110.71	c 111	conflicts             : 6435          (74 /sec)
109.10/110.71	c 111	decisions             : 22278         (0.58 % random) (258 /sec)
109.10/110.71	c 111	propagations          : 79960222       (924472 /sec)
109.10/110.71	c 111	conflict literals     : 519358         (10.13 % deleted)
109.10/110.71	c 111	Memory used           : 347.20 MB
109.10/110.71	c 111	CPU time              : 86.4929 s
109.10/110.71	c 111	
109.10/110.71	c 111	SATISFIABLE
109.20/110.80	c 111	OK
109.20/110.80	c 111	FOUND: _COST <= 3
109.20/110.80	c 111	DECODING HOME/temp.out WITH HOME/temp.map
109.20/110.80	c 111	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
109.20/110.88	c 111	Decoding HOME/temp.out
109.67/111.31	c 112	OBJECTIVE _COST 3
109.67/111.31	o 3
109.67/111.32	v 178 247 378 483 551 631 634 672 734 788 897 985 1067 1071 1083 16 99 200 311 326 740 816 868 887 909 994 1020 1050 1055 1149 37 129 176 269 323 398 476 547 643 663 696 740 811 1004 1112 16 49 244 324 354 503 536 596 622 663 718 730 817 927 930 1 60 110 120 163 232 304 381 446 483 540 648 893 966 1159 1 84 116 122 135 234 328 364 440 486 516 572 646 678 739 203 246 411 432 459 538 581 595 632 667 716 799 886 1030 1107 14 57 131 231 296 316 555 605 732 956 981 1013 1068 1073 1144 14 83 96 129 222 311 581 744 792 827 881 975 997 1070 1132 102 202 216 738 818 867 999 1125 415 662 774 852 875 1058 1148 21 99 150 231 361 450 460 511 550 632 678 813 820 874 1133 18 109 223 298 341 342 534 610 659 967 993 1072 1081 1105 1129 22 145 308 417 455 545 618 638 663 762 776 833 913 971 1132 3 13 107 206 285 346 408 541 656 769 846 854 901 1038 1107 655 728 762 781 872 1124 26 167 251 476 534 629 743 1005 1096
109.67/111.33	c 112	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
109.73/111.50	c 112	OK
109.73/111.50	c 112	OBJECTIVE BOUND: 0 <= _COST <= 3
109.73/111.50	c 112	SEARCHING: _COST <= 1
109.83/111.50	c 112	============================[ Search Statistics ]==============================
109.83/111.50	c 112	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
109.83/111.50	c 112	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
109.83/111.50	c 112	===============================================================================
109.83/111.50	c 112	|      6435 |  261823  3885111 11384550 |  1295037     6417     81 |  9.930 % |
110.92/112.68	c 113	|      6536 |  261823  3885111 11384550 |  1424540     6518     83 | 10.541 % |
112.90/114.68	c 115	|      6686 |  261823  3885111 11384550 |  1566994     6668     83 | 10.541 % |
115.37/117.18	c 117	|      6911 |  261823  3885111 11384550 |  1723694     6893     83 | 10.541 % |
119.04/120.85	c 121	|      7248 |  261823  3885111 11384550 |  1896063     7230     84 | 10.541 % |
125.38/127.29	c 127	|      7756 |  261823  3885111 11384550 |  2085670     7738     87 | 10.541 % |
134.40/136.31	c 137	|      8516 |  261823  3885111 11384550 |  2294237     8498     89 | 10.541 % |
148.75/150.84	c 151	|      9655 |  261823  3885111 11384550 |  2523660     9637     92 | 10.541 % |
168.56/170.87	c 171	|     11363 |  261823  3885111 11384550 |  2776026    11345     96 | 10.541 % |
200.95/203.51	c 204	|     13925 |  261823  3885111 11384550 |  3053629    13907    100 | 10.541 % |
246.42/249.43	c 250	|     17769 |  261823  3885111 11384550 |  3358992    17751    109 | 10.541 % |
335.07/338.98	c 339	|     23535 |  261823  3885111 11384550 |  3694891    23517    133 | 10.541 % |
446.31/451.25	c 451	|     32185 |  261823  3885111 11384550 |  4064380    32167    140 | 10.541 % |
588.55/594.81	c 595	|     45160 |  261823  3885111 11384550 |  4470818    45142    135 | 10.541 % |
866.00/874.92	c 875	|     64623 |  261823  3885111 11384550 |  4917900    64605    156 | 10.541 % |
1093.71/1104.89	c 1105	===============================================================================
1093.71/1104.89	c 1105	restarts              : 36
1093.71/1104.89	c 1105	conflicts             : 77890         (73 /sec)
1093.71/1104.89	c 1105	decisions             : 115200        (0.59 % random) (108 /sec)
1093.71/1104.89	c 1105	propagations          : 1058334745     (988492 /sec)
1093.71/1104.89	c 1105	conflict literals     : 13632937       (19.77 % deleted)
1093.71/1104.89	c 1105	Memory used           : 347.56 MB
1093.71/1104.89	c 1105	CPU time              : 1070.66 s
1093.71/1104.89	c 1105	
1093.71/1104.89	c 1105	UNSATISFIABLE
1093.71/1104.89	c 1105	OK
1093.71/1104.89	c 1105	NOT FOUND: _COST <= 1
1093.71/1104.89	c 1105	OK
1093.71/1104.89	c 1105	OBJECTIVE BOUND: 2 <= _COST <= 3
1093.71/1104.89	c 1105	SEARCHING: _COST <= 2
1093.71/1104.89	c 1105	============================[ Search Statistics ]==============================
1093.71/1104.89	c 1105	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1093.71/1104.89	c 1105	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1093.71/1104.89	c 1105	===============================================================================
1093.71/1104.89	c 1105	|     77890 |  261820  3885100 11384526 |  1295033    74142    165 | 10.541 % |
1095.49/1106.67	c 1107	|     77990 |  261820  3885100 11384526 |  1424536    74242    165 | 10.542 % |
1097.37/1108.59	c 1109	===============================================================================
1097.47/1108.62	c 1109	restarts              : 38
1097.47/1108.62	c 1109	conflicts             : 78085         (73 /sec)
1097.47/1108.62	c 1109	decisions             : 115887        (0.59 % random) (108 /sec)
1097.47/1108.62	c 1109	propagations          : 1061377299     (987919 /sec)
1097.47/1108.62	c 1109	conflict literals     : 13674906       (19.76 % deleted)
1097.47/1108.62	c 1109	Memory used           : 347.56 MB
1097.47/1108.62	c 1109	CPU time              : 1074.36 s
1097.47/1108.62	c 1109	
1097.47/1108.62	c 1109	SATISFIABLE
1097.57/1108.73	c 1109	OK
1097.57/1108.73	c 1109	FOUND: _COST <= 2
1097.57/1108.73	c 1109	DECODING HOME/temp.out WITH HOME/temp.map
1097.57/1108.73	c 1109	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1097.65/1108.82	c 1109	Decoding HOME/temp.out
1098.14/1109.37	c 1110	OBJECTIVE _COST 2
1098.14/1109.37	o 2
1098.14/1109.38	v 0 69 155 236 426 506 509 547 707 761 827 986 1068 1071 1083 182 265 368 415 430 664 740 792 885 909 994 1020 1050 1055 1149 4 99 148 241 298 464 618 696 827 846 879 923 1042 1141 1150 10 43 187 287 317 499 572 583 609 696 751 807 817 927 930 66 106 181 191 267 336 420 444 509 584 671 703 801 874 1159 4 87 163 169 188 343 437 473 549 620 650 723 785 818 870 165 194 295 316 401 418 493 507 530 546 595 860 887 1030 1107 98 110 184 257 260 332 394 578 733 782 925 1013 1068 1073 1144 18 150 208 275 322 408 439 545 593 627 667 787 809 913 1155 121 183 201 641 721 798 943 1125 15 119 434 510 533 629 1132 74 146 176 269 336 413 422 519 542 654 689 902 909 963 1112 105 274 616 678 1026 1027 111 458 549 967 993 1072 1081 1105 1129 1 39 125 163 234 383 419 566 583 682 706 763 844 972 1132 0 13 275 398 461 522 589 680 770 810 907 915 942 1038 1107 102 175 187 201 272 275 338 452 536 624 714 828 915 1005 1096
1098.14/1109.38	c 1110	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1098.22/1109.40	c 1110	OK
1098.22/1109.40	c 1110	OBJECTIVE _COST 2
1098.22/1109.40	s OPTIMUM FOUND
1098.22/1109.50	c 1110	CPU 1095.66 (0.08 0.05 1095.58 2.59)
1098.22/1109.50	c 1110	END Sat Jul 12 14:03:27 2008

Verifier Data (download as text)

OK	2	1783
2 unsatisfied constraints, 1783 satisfied constraints

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112177-1215863097/watcher-1112177-1215863097 -o /tmp/evaluation-result-1112177-1215863097/solver-1112177-1215863097 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1112177-1215863097.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.04 2.00 4/86 18594
/proc/meminfo: memFree=1877360/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=18572 CPUtime=0
/proc/18594/stat : 18594 (runsolver) R 18592 18594 17440 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 43007512 19017728 292 996147200 4194304 4296836 548682068192 18446744073709551615 233402068263 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18594/statm: 4643 292 257 25 0 2626 0

[startup+0.104296 s]
/proc/loadavg: 2.00 2.04 2.00 4/86 18594
/proc/meminfo: memFree=1877360/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=16740 CPUtime=0.06
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 43007512 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.202305 s]
/proc/loadavg: 2.00 2.04 2.00 4/86 18594
/proc/meminfo: memFree=1877360/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=16740 CPUtime=0.06
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 43007512 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.302309 s]
/proc/loadavg: 2.00 2.04 2.00 4/86 18594
/proc/meminfo: memFree=1877360/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=16740 CPUtime=0.06
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 43007512 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.701356 s]
/proc/loadavg: 2.00 2.04 2.00 4/86 18594
/proc/meminfo: memFree=1877360/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=16740 CPUtime=0.06
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 43007512 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+1.50243 s]
/proc/loadavg: 2.00 2.04 2.00 3/97 18616
/proc/meminfo: memFree=1869016/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=16740 CPUtime=0.91
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 1297 5129 0 1 5 1 81 4 15 0 1 0 43007512 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4185 1104 409 3 0 764 0
[pid=18607] ppid=18594 vsize=5356 CPUtime=0
/proc/18607/stat : 18607 (sh) S 18594 18594 17440 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43007610 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18607/statm: 1339 233 193 169 0 50 0
[pid=18608] ppid=18607 vsize=868376 CPUtime=0.5
/proc/18608/stat : 18608 (java) S 18607 18594 17440 0 -1 0 5271 0 1 0 47 3 0 0 18 0 9 0 43007610 889217024 4693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18608/statm: 217094 4693 1733 9 0 211669 0
[pid=18608/tid=18609] ppid=18607 vsize=868376 CPUtime=0.28
/proc/18608/task/18609/stat : 18609 (java) R 18607 18594 17440 0 -1 64 2644 0 1 0 27 1 0 0 21 0 9 0 43007611 889217024 4693 996147200 134512640 134550740 4294955920 18446744073709551615 4125969922 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18610] ppid=18607 vsize=868376 CPUtime=0.02
/proc/18608/task/18610/stat : 18610 (java) S 18607 18594 17440 0 -1 64 486 0 0 0 2 0 0 0 16 0 9 0 43007612 889217024 4693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18611] ppid=18607 vsize=868376 CPUtime=0
/proc/18608/task/18611/stat : 18611 (java) S 18607 18594 17440 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 43007612 889217024 4693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18612] ppid=18607 vsize=868376 CPUtime=0
/proc/18608/task/18612/stat : 18612 (java) S 18607 18594 17440 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43007612 889217024 4693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18613] ppid=18607 vsize=868376 CPUtime=0
/proc/18608/task/18613/stat : 18613 (java) S 18607 18594 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43007615 889217024 4693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18614] ppid=18607 vsize=868376 CPUtime=0.17
/proc/18608/task/18614/stat : 18614 (java) S 18607 18594 17440 0 -1 64 1449 0 0 0 17 0 0 0 16 0 9 0 43007615 889217024 4693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18615] ppid=18607 vsize=868376 CPUtime=0
/proc/18608/task/18615/stat : 18615 (java) S 18607 18594 17440 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43007615 889217024 4693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18616] ppid=18607 vsize=868376 CPUtime=0
/proc/18608/task/18616/stat : 18616 (java) S 18607 18594 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43007615 889217024 4693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 890472

[startup+3.10159 s]
/proc/loadavg: 2.00 2.03 2.00 3/97 18616
/proc/meminfo: memFree=1853592/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=16740 CPUtime=0.93
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 1297 5129 0 1 6 2 81 4 15 0 1 0 43007512 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4185 1104 409 3 0 764 0
[pid=18607] ppid=18594 vsize=5356 CPUtime=0
/proc/18607/stat : 18607 (sh) S 18594 18594 17440 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43007610 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18607/statm: 1339 233 193 169 0 50 0
[pid=18608] ppid=18607 vsize=868488 CPUtime=2.07
/proc/18608/stat : 18608 (java) S 18607 18594 17440 0 -1 0 8050 0 1 0 191 16 0 0 18 0 9 0 43007610 889331712 6925 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18608/statm: 217122 6925 2564 9 0 211669 0
[pid=18608/tid=18609] ppid=18607 vsize=868488 CPUtime=1.53
/proc/18608/task/18609/stat : 18609 (java) R 18607 18594 17440 0 -1 64 3065 0 1 0 142 11 0 0 25 0 9 0 43007611 889331712 6925 996147200 134512640 134550740 4294955920 18446744073709551615 4127021695 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18610] ppid=18607 vsize=868488 CPUtime=0.26
/proc/18608/task/18610/stat : 18610 (java) S 18607 18594 17440 0 -1 64 2784 0 0 0 23 3 0 0 16 0 9 0 43007612 889331712 6925 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18611] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18611/stat : 18611 (java) S 18607 18594 17440 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43007612 889331712 6925 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18612] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18612/stat : 18612 (java) S 18607 18594 17440 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43007612 889331712 6925 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18613] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18613/stat : 18613 (java) S 18607 18594 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43007615 889331712 6925 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18614] ppid=18607 vsize=868488 CPUtime=0.26
/proc/18608/task/18614/stat : 18614 (java) S 18607 18594 17440 0 -1 64 1507 0 0 0 26 0 0 0 16 0 9 0 43007615 889331712 6925 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18615] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18615/stat : 18615 (java) S 18607 18594 17440 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43007615 889331712 6925 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18616] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18616/stat : 18616 (java) S 18607 18594 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43007615 889331712 6925 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 890584

[startup+6.30291 s]
/proc/loadavg: 2.00 2.03 2.00 3/97 18616
/proc/meminfo: memFree=1813912/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=16740 CPUtime=0.93
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 1297 5129 0 1 6 2 81 4 16 0 1 0 43007512 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4185 1104 409 3 0 764 0
[pid=18607] ppid=18594 vsize=5356 CPUtime=0
/proc/18607/stat : 18607 (sh) S 18594 18594 17440 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43007610 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18607/statm: 1339 233 193 169 0 50 0
[pid=18608] ppid=18607 vsize=868488 CPUtime=5.24
/proc/18608/stat : 18608 (java) S 18607 18594 17440 0 -1 0 9065 0 1 0 479 45 0 0 18 0 9 0 43007610 889331712 6931 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18608/statm: 217122 6931 2564 9 0 211669 0
[pid=18608/tid=18609] ppid=18607 vsize=868488 CPUtime=4.42
/proc/18608/task/18609/stat : 18609 (java) R 18607 18594 17440 0 -1 64 4074 0 1 0 408 34 0 0 25 0 9 0 43007611 889331712 6931 996147200 134512640 134550740 4294955920 18446744073709551615 4127021706 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18610] ppid=18607 vsize=868488 CPUtime=0.51
/proc/18608/task/18610/stat : 18610 (java) S 18607 18594 17440 0 -1 64 2784 0 0 0 43 8 0 0 16 0 9 0 43007612 889331712 6931 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18611] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18611/stat : 18611 (java) S 18607 18594 17440 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43007612 889331712 6931 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18612] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18612/stat : 18612 (java) S 18607 18594 17440 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43007612 889331712 6931 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18613] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18613/stat : 18613 (java) S 18607 18594 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43007615 889331712 6931 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18614] ppid=18607 vsize=868488 CPUtime=0.27
/proc/18608/task/18614/stat : 18614 (java) S 18607 18594 17440 0 -1 64 1513 0 0 0 27 0 0 0 15 0 9 0 43007615 889331712 6931 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18615] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18615/stat : 18615 (java) S 18607 18594 17440 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43007615 889331712 6931 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18616] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18616/stat : 18616 (java) S 18607 18594 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43007615 889331712 6931 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 890584

[startup+12.7015 s]
/proc/loadavg: 2.00 2.03 2.00 3/97 18616
/proc/meminfo: memFree=1732120/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=16740 CPUtime=0.93
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 1297 5129 0 1 6 2 81 4 16 0 1 0 43007512 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4185 1104 409 3 0 764 0
[pid=18607] ppid=18594 vsize=5356 CPUtime=0
/proc/18607/stat : 18607 (sh) S 18594 18594 17440 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43007610 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18607/statm: 1339 233 193 169 0 50 0
[pid=18608] ppid=18607 vsize=868488 CPUtime=11.54
/proc/18608/stat : 18608 (java) S 18607 18594 17440 0 -1 0 11066 0 1 0 1046 108 0 0 18 0 9 0 43007610 889331712 6938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18608/statm: 217122 6938 2565 9 0 211669 0
[pid=18608/tid=18609] ppid=18607 vsize=868488 CPUtime=10.27
/proc/18608/task/18609/stat : 18609 (java) R 18607 18594 17440 0 -1 64 6068 0 1 0 940 87 0 0 25 0 9 0 43007611 889331712 6938 996147200 134512640 134550740 4294955920 18446744073709551615 4126564183 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18610] ppid=18607 vsize=868488 CPUtime=0.96
/proc/18608/task/18610/stat : 18610 (java) S 18607 18594 17440 0 -1 64 2784 0 0 0 77 19 0 0 16 0 9 0 43007612 889331712 6938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18611] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18611/stat : 18611 (java) S 18607 18594 17440 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43007612 889331712 6938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18612] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18612/stat : 18612 (java) S 18607 18594 17440 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43007612 889331712 6938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18613] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18613/stat : 18613 (java) S 18607 18594 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43007615 889331712 6938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18614] ppid=18607 vsize=868488 CPUtime=0.28
/proc/18608/task/18614/stat : 18614 (java) S 18607 18594 17440 0 -1 64 1520 0 0 0 28 0 0 0 16 0 9 0 43007615 889331712 6938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18615] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18615/stat : 18615 (java) S 18607 18594 17440 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43007615 889331712 6938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18608/tid=18616] ppid=18607 vsize=868488 CPUtime=0
/proc/18608/task/18616/stat : 18616 (java) S 18607 18594 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43007615 889331712 6938 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 890584

[startup+25.5028 s]
/proc/loadavg: 2.00 2.03 2.00 3/88 18637
/proc/meminfo: memFree=1336800/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=17004 CPUtime=18.6
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 1668 26024 0 4 7 2 1687 164 16 0 1 0 43007512 17412096 1164 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4251 1164 414 3 0 830 0
[pid=18617] ppid=18594 vsize=351136 CPUtime=6.37
/proc/18617/stat : 18617 (minisat-inc) R 18594 18594 17440 0 -1 4194304 87246 0 0 0 581 56 0 0 25 0 1 0 43009283 359563264 87191 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/18617/statm: 87784 87191 78 151 0 87630 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 368140

[startup+51.1024 s]
/proc/loadavg: 2.00 2.03 2.00 3/88 18687
/proc/meminfo: memFree=1330976/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=17004 CPUtime=21.3
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 2019 46115 0 9 8 5 1938 179 16 0 1 0 43007512 17412096 1164 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4251 1164 414 3 0 830 0
[pid=18617] ppid=18594 vsize=355532 CPUtime=28.81
/proc/18617/stat : 18617 (minisat-inc) R 18594 18594 17440 0 -1 4194304 88339 0 0 0 2820 61 0 0 25 0 1 0 43009283 364064768 88274 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0

################
# More data... #
################

[startup+1075.2 s]
/proc/loadavg: 2.11 2.05 2.01 3/88 18713
/proc/meminfo: memFree=1329632/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=17004 CPUtime=22.51
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 2159 54146 0 11 8 5 2052 186 16 0 1 0 43007512 17412096 1164 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4251 1164 414 3 0 830 0
[pid=18617] ppid=18594 vsize=355896 CPUtime=1041.88
/proc/18617/stat : 18617 (minisat-inc) R 18594 18594 17440 0 -1 4194304 88440 0 0 0 104124 64 0 0 25 0 1 0 43009283 364437504 88371 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/18617/statm: 88974 88371 79 151 0 88820 0
Current children cumulated CPU time (s) 1064.39
Current children cumulated vsize (KiB) 372900

[startup+1088.01 s]
/proc/loadavg: 2.08 2.04 2.01 3/88 18713
/proc/meminfo: memFree=1329568/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=17004 CPUtime=22.51
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 2159 54146 0 11 8 5 2052 186 16 0 1 0 43007512 17412096 1164 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4251 1164 414 3 0 830 0
[pid=18617] ppid=18594 vsize=355896 CPUtime=1054.56
/proc/18617/stat : 18617 (minisat-inc) R 18594 18594 17440 0 -1 4194304 88441 0 0 0 105392 64 0 0 25 0 1 0 43009283 364437504 88372 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 1 0 0
/proc/18617/statm: 88974 88372 79 151 0 88820 0
Current children cumulated CPU time (s) 1077.07
Current children cumulated vsize (KiB) 372900

[startup+1100.8 s]
/proc/loadavg: 2.07 2.04 2.01 3/88 18713
/proc/meminfo: memFree=1329632/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=17004 CPUtime=22.51
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 2159 54146 0 11 8 5 2052 186 16 0 1 0 43007512 17412096 1164 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4251 1164 414 3 0 830 0
[pid=18617] ppid=18594 vsize=355896 CPUtime=1067.24
/proc/18617/stat : 18617 (minisat-inc) R 18594 18594 17440 0 -1 4194304 88441 0 0 0 106660 64 0 0 25 0 1 0 43009283 364437504 88372 996147200 134512640 135134323 4294956192 18446744073709551615 134528238 0 0 4096 3 0 0 0 17 1 0 0
/proc/18617/statm: 88974 88372 79 151 0 88820 0
Current children cumulated CPU time (s) 1089.75
Current children cumulated vsize (KiB) 372900

[startup+1104 s]
/proc/loadavg: 2.14 2.06 2.01 3/88 18713
/proc/meminfo: memFree=1329632/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=17004 CPUtime=22.51
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 2159 54146 0 11 8 5 2052 186 16 0 1 0 43007512 17412096 1164 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4251 1164 414 3 0 830 0
[pid=18617] ppid=18594 vsize=355896 CPUtime=1070.41
/proc/18617/stat : 18617 (minisat-inc) R 18594 18594 17440 0 -1 4194304 88441 0 0 0 106977 64 0 0 25 0 1 0 43009283 364437504 88372 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 1 0 0
/proc/18617/statm: 88974 88372 79 151 0 88820 0
Current children cumulated CPU time (s) 1092.92
Current children cumulated vsize (KiB) 372900

[startup+1107.2 s]
/proc/loadavg: 2.14 2.06 2.01 3/88 18713
/proc/meminfo: memFree=1329632/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=17004 CPUtime=22.51
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 2161 54146 0 11 8 5 2052 186 16 0 1 0 43007512 17412096 1164 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4251 1164 414 3 0 830 0
[pid=18617] ppid=18594 vsize=355896 CPUtime=1073.58
/proc/18617/stat : 18617 (minisat-inc) R 18594 18594 17440 0 -1 4194304 88444 0 0 0 107294 64 0 0 25 0 1 0 43009283 364437504 88373 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/18617/statm: 88974 88373 79 151 0 88820 0
Current children cumulated CPU time (s) 1096.09
Current children cumulated vsize (KiB) 372900

[startup+1108.8 s]
/proc/loadavg: 2.13 2.06 2.01 4/98 18723
/proc/meminfo: memFree=1323408/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=17004 CPUtime=22.51
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 2193 54146 0 11 8 5 2052 186 15 0 1 0 43007512 17412096 1164 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4251 1164 414 3 0 830 0
[pid=18617] ppid=18594 vsize=355896 CPUtime=1075.09
/proc/18617/stat : 18617 (minisat-inc) S 18594 18594 17440 0 -1 4194304 88446 0 0 0 107444 65 0 0 25 0 1 0 43009283 364437504 88373 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 1 0 0
/proc/18617/statm: 88974 88373 79 151 0 88820 0
[pid=18714] ppid=18594 vsize=5356 CPUtime=0
/proc/18714/stat : 18714 (sh) S 18594 18594 17440 0 -1 4194304 278 0 0 0 0 0 0 0 17 0 1 0 43118385 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18714/statm: 1339 233 193 169 0 50 0
[pid=18715] ppid=18714 vsize=195652 CPUtime=0.05
/proc/18715/stat : 18715 (java) S 18714 18594 17440 0 -1 0 2504 0 1 0 4 1 0 0 18 0 9 0 43118386 200347648 2032 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18715/statm: 48913 2032 1147 9 0 43495 0
[pid=18715/tid=18716] ppid=18714 vsize=195652 CPUtime=0.03
/proc/18715/task/18716/stat : 18716 (java) R 18714 18594 17440 0 -1 64 1600 0 1 0 3 0 0 0 18 0 9 0 43118387 200347648 2032 996147200 134512640 134550740 4294956000 18446744073709551615 4159513894 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18717] ppid=18714 vsize=195652 CPUtime=0
/proc/18715/task/18717/stat : 18717 (java) S 18714 18594 17440 0 -1 64 4 0 0 0 0 0 0 0 18 0 9 0 43118388 200347648 2032 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18718] ppid=18714 vsize=195652 CPUtime=0
/proc/18715/task/18718/stat : 18718 (java) S 18714 18594 17440 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 43118388 200347648 2032 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18719] ppid=18714 vsize=195652 CPUtime=0
/proc/18715/task/18719/stat : 18719 (java) S 18714 18594 17440 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43118389 200347648 2032 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18720] ppid=18714 vsize=195652 CPUtime=0
/proc/18715/task/18720/stat : 18720 (java) S 18714 18594 17440 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43118391 200347648 2032 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18721] ppid=18714 vsize=195652 CPUtime=0
/proc/18715/task/18721/stat : 18721 (java) R 18714 18594 17440 0 -1 64 208 0 0 0 0 0 0 0 19 0 9 0 43118391 200347648 2032 996147200 134512640 134550740 4294956000 18446744073709551615 102193158 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18722] ppid=18714 vsize=195652 CPUtime=0
/proc/18715/task/18722/stat : 18722 (java) S 18714 18594 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43118391 200347648 2032 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18723] ppid=18714 vsize=195652 CPUtime=0
/proc/18715/task/18723/stat : 18723 (java) S 18714 18594 17440 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 43118391 200347648 2032 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1097.65
Current children cumulated vsize (KiB) 573908

[startup+1109.2 s]
/proc/loadavg: 2.13 2.06 2.01 4/98 18723
/proc/meminfo: memFree=1323408/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=17004 CPUtime=22.51
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 2212 54146 0 11 8 5 2052 186 15 0 1 0 43007512 17412096 1164 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4251 1164 414 3 0 830 0
[pid=18617] ppid=18594 vsize=355896 CPUtime=1075.09
/proc/18617/stat : 18617 (minisat-inc) S 18594 18594 17440 0 -1 4194304 88446 0 0 0 107444 65 0 0 25 0 1 0 43009283 364437504 88373 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 1 0 0
/proc/18617/statm: 88974 88373 79 151 0 88820 0
[pid=18714] ppid=18594 vsize=5356 CPUtime=0
/proc/18714/stat : 18714 (sh) S 18594 18594 17440 0 -1 4194304 278 0 0 0 0 0 0 0 17 0 1 0 43118385 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18714/statm: 1339 233 193 169 0 50 0
[pid=18715] ppid=18714 vsize=195952 CPUtime=0.44
/proc/18715/stat : 18715 (java) S 18714 18594 17440 0 -1 0 3617 0 1 0 43 1 0 0 18 0 9 0 43118386 200654848 3090 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18715/statm: 48988 3090 1669 9 0 43570 0
[pid=18715/tid=18716] ppid=18714 vsize=195952 CPUtime=0.35
/proc/18715/task/18716/stat : 18716 (java) R 18714 18594 17440 0 -1 64 2477 0 1 0 35 0 0 0 19 0 9 0 43118387 200654848 3090 996147200 134512640 134550740 4294956000 18446744073709551615 4126554787 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18717] ppid=18714 vsize=195952 CPUtime=0
/proc/18715/task/18717/stat : 18717 (java) S 18714 18594 17440 0 -1 64 128 0 0 0 0 0 0 0 16 0 9 0 43118388 200654848 3090 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18718] ppid=18714 vsize=195952 CPUtime=0
/proc/18715/task/18718/stat : 18718 (java) S 18714 18594 17440 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 43118388 200654848 3090 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18719] ppid=18714 vsize=195952 CPUtime=0
/proc/18715/task/18719/stat : 18719 (java) S 18714 18594 17440 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43118389 200654848 3090 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18720] ppid=18714 vsize=195952 CPUtime=0
/proc/18715/task/18720/stat : 18720 (java) S 18714 18594 17440 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43118391 200654848 3090 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18721] ppid=18714 vsize=195952 CPUtime=0.07
/proc/18715/task/18721/stat : 18721 (java) S 18714 18594 17440 0 -1 64 320 0 0 0 7 0 0 0 17 0 9 0 43118391 200654848 3090 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18722] ppid=18714 vsize=195952 CPUtime=0
/proc/18715/task/18722/stat : 18722 (java) S 18714 18594 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43118391 200654848 3090 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18723] ppid=18714 vsize=195952 CPUtime=0
/proc/18715/task/18723/stat : 18723 (java) S 18714 18594 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43118391 200654848 3090 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1098.04
Current children cumulated vsize (KiB) 574208

[startup+1109.4 s]
/proc/loadavg: 2.13 2.06 2.01 4/98 18723
/proc/meminfo: memFree=1323408/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=17004 CPUtime=22.51
/proc/18594/stat : 18594 (sugar++) S 18592 18594 17440 0 -1 4194304 2215 54146 0 11 8 5 2052 186 15 0 1 0 43007512 17412096 1164 996147200 4194304 4206940 548682068528 18446744073709551615 233410965602 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18594/statm: 4251 1164 414 3 0 830 0
[pid=18617] ppid=18594 vsize=355896 CPUtime=1075.09
/proc/18617/stat : 18617 (minisat-inc) S 18594 18594 17440 0 -1 4194304 88446 0 0 0 107444 65 0 0 25 0 1 0 43009283 364437504 88373 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 1 0 0
/proc/18617/statm: 88974 88373 79 151 0 88820 0
[pid=18714] ppid=18594 vsize=5356 CPUtime=0
/proc/18714/stat : 18714 (sh) S 18594 18594 17440 0 -1 4194304 278 0 0 0 0 0 0 0 17 0 1 0 43118385 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18714/statm: 1339 233 193 169 0 50 0
[pid=18715] ppid=18714 vsize=195980 CPUtime=0.62
/proc/18715/stat : 18715 (java) S 18714 18594 17440 0 -1 0 3724 0 1 0 61 1 0 0 18 0 9 0 43118386 200683520 3191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18715/statm: 48995 3191 1704 9 0 43570 0
[pid=18715/tid=18716] ppid=18714 vsize=195980 CPUtime=0.52
/proc/18715/task/18716/stat : 18716 (java) S 18714 18594 17440 0 -1 64 2539 0 1 0 52 0 0 0 18 0 9 0 43118387 200683520 3191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18717] ppid=18714 vsize=195980 CPUtime=0
/proc/18715/task/18717/stat : 18717 (java) S 18714 18594 17440 0 -1 64 169 0 0 0 0 0 0 0 16 0 9 0 43118388 200683520 3191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18718] ppid=18714 vsize=195980 CPUtime=0
/proc/18715/task/18718/stat : 18718 (java) S 18714 18594 17440 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 43118388 200683520 3191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18719] ppid=18714 vsize=195980 CPUtime=0
/proc/18715/task/18719/stat : 18719 (java) S 18714 18594 17440 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43118389 200683520 3191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18720] ppid=18714 vsize=195980 CPUtime=0
/proc/18715/task/18720/stat : 18720 (java) S 18714 18594 17440 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 43118391 200683520 3191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18721] ppid=18714 vsize=195980 CPUtime=0.07
/proc/18715/task/18721/stat : 18721 (java) S 18714 18594 17440 0 -1 64 324 0 0 0 7 0 0 0 16 0 9 0 43118391 200683520 3191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18722] ppid=18714 vsize=195980 CPUtime=0
/proc/18715/task/18722/stat : 18722 (java) S 18714 18594 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43118391 200683520 3191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18715/tid=18723] ppid=18714 vsize=195980 CPUtime=0
/proc/18715/task/18723/stat : 18723 (java) S 18714 18594 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43118391 200683520 3191 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1098.22
Current children cumulated vsize (KiB) 574236

[startup+1109.5 s]
/proc/loadavg: 2.13 2.06 2.01 4/98 18723
/proc/meminfo: memFree=1323408/2055920 swapFree=4176484/4192956
[pid=18594] ppid=18592 vsize=17004 CPUtime=1098.34
/proc/18594/stat : 18594 (sugar++) R 18592 18594 17440 0 -1 4194304 2251 146606 0 12 8 9 109558 259 18 0 1 0 43007512 17412096 1165 996147200 4194304 4206940 548682068528 18446744073709551615 233402242089 0 0 4224 16386 0 0 0 17 1 0 0
/proc/18594/statm: 4251 1165 415 3 0 830 0
Current children cumulated CPU time (s) 1098.34
Current children cumulated vsize (KiB) 17004

Child status: 0
Real time (s): 1109.57
CPU time (s): 1098.43
CPU user time (s): 1095.67
CPU system time (s): 2.75458
CPU usage (%): 98.9961
Max. virtual memory (cumulated for all children) (KiB): 890584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1095.67
system time used= 2.75458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148913
page faults= 12
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42431
involuntary context switches= 65541

runsolver used 1.40479 second user time and 3.67444 second system time

The end

Launcher Data (download as text)

Begin job on node70 at 2008-07-12 13:44:57
IDJOB=1112177
IDBENCH=61374
IDSOLVER=367
FILE ID=node70/1112177-1215863097
PBS_JOBID= 7903401
Free space on /tmp= 66440 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/js-taillard-15/normalized-js-taillard-15-95-2.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112177-1215863097/watcher-1112177-1215863097 -o /tmp/evaluation-result-1112177-1215863097/solver-1112177-1215863097 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1112177-1215863097.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 82e30b1cc0425fc71c427eb8ae1415f1
RANDOM SEED=907162565

node70.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.221
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.221
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1877840 kB
Buffers:         22120 kB
Cached:          48292 kB
SwapCached:       5816 kB
Active:          96872 kB
Inactive:        29120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1877840 kB
SwapTotal:     4192956 kB
SwapFree:      4176484 kB
Dirty:            1072 kB
Writeback:           0 kB
Mapped:          71732 kB
Slab:            36580 kB
Committed_AS:  1010508 kB
PageTables:       2428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66440 MiB
End job on node70 at 2008-07-12 14:03:27