0.04 c # Sugar v0-40 (/tmp/evaluation/233119-1170106648/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/233119-1170106648/unknown.xml [Mon Jan 29 22:37:28 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/233119-1170106648/unknown.xml /tmp/evaluation/233119-1170106648/sugar26025.csp [Mon Jan 29 22:37:28 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233119-1170106648/sugar-v0-40.jar -convert /tmp/evaluation/233119-1170106648/unknown.xml /tmp/evaluation/233119-1170106648/sugar26025.csp
0.19 c BEGIN convert /tmp/evaluation/233119-1170106648/unknown.xml
1.09 c END convert (0.900278 seconds)
1.14 c # CONVERT_XML END : /tmp/evaluation/233119-1170106648/sugar26025.csp 378504 bytes (1 seconds) [Mon Jan 29 22:37:29 2007]
1.14 c # CONVERT_XML CPU : 1 = 0 + 0 + 0.92 + 0.08
1.14
1.14 c # GENERATE_SAT BEGIN : /tmp/evaluation/233119-1170106648/sugar26025.bcnf [Mon Jan 29 22:37:29 2007]
1.14 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233119-1170106648/sugar-v0-40.jar -bcnf -map /tmp/evaluation/233119-1170106648/sugar26025.map /tmp/evaluation/233119-1170106648/sugar26025.csp /tmp/evaluation/233119-1170106648/sugar26025.bcnf
1.25 c BEGIN parse /tmp/evaluation/233119-1170106648/sugar26025.csp
2.28 c END parse (1.025303 seconds)
2.28 c BEGIN simplify
2.35 c END simplify (0.074463 seconds)
2.36 c BEGIN encode /tmp/evaluation/233119-1170106648/sugar26025.bcnf
17.78 c END encode (15.420318 seconds)
17.93 c # GENERATE_SAT END : 477639 variables 17314203 clauses 275027636 bytes (17 seconds) [Mon Jan 29 22:37:46 2007]
17.93 c # GENERATE_SAT CPU : 16.5 = 0.13 + 0 + 15.18 + 1.19
17.93
17.93 c # SOLVE_SAT BEGIN : /tmp/evaluation/233119-1170106648/sugar26025.bcnf [Mon Jan 29 22:37:46 2007]
17.93 c # CMD : /tmp/evaluation/233119-1170106648/minisat /tmp/evaluation/233119-1170106648/sugar26025.bcnf /tmp/evaluation/233119-1170106648/sugar26025.out
27.55 c ==================================[MINISAT]===================================
27.55 c | Conflicts | ORIGINAL | LEARNT | Progress |
27.55 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
27.55 c ==============================================================================
27.55 c | 0 | 17314203 51442570 | 5771401 0 0 nan | 0.000 % |
32.29 c | 101 | 17314203 51442570 | 6348541 101 892 8.8 | 0.000 % |
35.95 c | 251 | 17314203 51442570 | 6983395 251 6746 26.9 | 0.000 % |
39.81 c ==============================================================================
39.81 c restarts : 3
39.81 c conflicts : 454 (22 /sec)
39.81 c decisions : 6276 (305 /sec)
39.81 c propagations : 4881262 (237371 /sec)
39.81 c conflict literals : 10841 (4.30 % deleted)
39.81 c Memory used : 734.04 MB
39.81 c CPU time : 20.5639 s
39.81 c
39.81 c SATISFIABLE
40.15 c # SOLVE_SAT END : SATISFIABLE (22 seconds) [Mon Jan 29 22:38:08 2007]
40.15 c # SOLVE_SAT CPU : 22.2 = 0 + 0 + 20.78 + 1.42
40.15
40.15 c # RESULT : SATISFIABLE
40.15
40.15 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 22:38:08 2007]
40.26 c BEGIN read SAT output /tmp/evaluation/233119-1170106648/sugar26025.out
40.65 c END read SAT output (0.391502 seconds)
40.65 c BEGIN write solution /tmp/evaluation/233119-1170106648/sugar26025.sol
40.83 c END write solution (0.178307 seconds)
40.87 s SATISFIABLE
40.87 v 922 30 73 894 855 566 340 72 220 721 785 253 360 1083 626 497 1133 986 694 151 750 3 836 363 842 900 1079 102 1165 378 672 187 264 63 557 421 317 574 212 987 654 1133 529 799 698 1058 1117 11 855 184 292 1024 917 235 331 547 440 929 1156 382 917 1031 837 977 31 484 1108 106 299 6 212 173 60 389 648 750 556 777 967 696 995 252 181 528 1082 879 604 38 683 194 891 4 1139 350 93 770 752 927 1024 361 951 83 132 25 817 335 193 391 710 251 897 459 713 441 1133 1038 545 726 617 484 589 1080 0 680 617 214 350 115 752 31 912 997 512 773 102 427 826 908 1130 260 53 90 232 272 928 106 785 376 1087 577 589 686 131 989 863 165 497 211 440 1126 765 1004 474 172 1094 783 106 1137 831 288 659 121 556 315 2 948 916 601 903 374 622 179 210 535 920 439 792 832 15 565 1007 168 706 1155 740 1100 884 228 358 318 816 449 1006 102 171 1203 940 702 0 360 265 842 81 1146 249 569 313 1106 685 619 5 0 470 160 1079 65 338 929 998 722 637 1100 798 789 177 272 399 889 551 98 692 490 82 175 700 11 776 667 919 715 377 992 120 195 278 1068 528 225 1109 1 1061 211 916 535 1131 380 801 1006 165 721 336 775 778 70 856 464 934 250 614 440 1194 772 249 338 1032 222 988 1069 1103 997 801 1094 396 626 1035 59 298 101 902 441 594 835 887 137 280 1 349 215 121 46 749 957 926 795 1091 436 689 193 1188 174 526 187 444 602 6 824 290 93 340 197 1058 658 1116 1146 1005 690 1083 400 896 706 431 14 546 1100 569 117 21 210 682 927 1008 841 262 1180 747 1189 813 379 743 627 917 488 1 204 1018 715 160 173 1123 1202 577 417 829 97 780 109 608 1009 1196 703 320 386 1007 166 350 620 1033 583 920 135 717 785 896 1118 1203 476 858 53 297 204
40.87 c # OUTPUT_SOL END : (1 seconds) [Mon Jan 29 22:38:09 2007]
40.87 c # OUTPUT_SOL CPU : 0.709999999999997 = 0.01 + 0.01 + 0.619999999999997 + 0.0699999999999998
40.88
40.88 c # MAIN END : (41 seconds) [Mon Jan 29 22:38:09 2007]
40.88 c # MAIN CPU : 40.42 = 0.14 + 0.02 + 37.5 + 2.76
40.88
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-233119-1170106648 -o ROOT/results/node75/solver-233119-1170106648 -C 1800 -M 900 /tmp/evaluation/233119-1170106648/solver /tmp/evaluation/233119-1170106648 /tmp/evaluation/233119-1170106648/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.70 2.32 1.75 5/74 26026
/proc/meminfo: memFree=1887008/2055920 swapFree=4192812/4192956
[pid=26025] ppid=26023 vsize=13724 CPUtime=0.03
/proc/26025/stat : 26025 (sugar) S 26023 26025 25787 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30630644 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26025/statm: 3431 805 368 3 0 531 0
[pid=26027] ppid=26025 vsize=1784 CPUtime=0
/proc/26027/stat : 26027 (java) R 26025 26025 25787 0 -1 0 162 0 0 0 0 0 0 0 19 0 1 0 30630648 1826816 137 18446744073709551615 134512640 134570532 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26027/statm: 446 137 102 14 0 91 0
[startup+0.103066 s]
/proc/loadavg: 2.70 2.32 1.75 5/74 26026
/proc/meminfo: memFree=1887008/2055920 swapFree=4192812/4192956
[pid=26025] ppid=26023 vsize=13724 CPUtime=0.03
/proc/26025/stat : 26025 (sugar) S 26023 26025 25787 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30630644 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26025/statm: 3431 805 368 3 0 531 0
[pid=26027] ppid=26025 vsize=801296 CPUtime=0.02
/proc/26027/stat : 26027 (java) R 26025 26025 25787 0 -1 0 1707 0 1 0 2 0 0 0 18 0 1 0 30630648 820527104 1459 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155274573 0 4 0 7368 0 0 0 17 0 0 0
/proc/26027/statm: 200324 1459 996 14 0 187907 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 815020
[startup+0.511108 s]
/proc/loadavg: 2.70 2.32 1.75 5/74 26026
/proc/meminfo: memFree=1887008/2055920 swapFree=4192812/4192956
[pid=26025] ppid=26023 vsize=13724 CPUtime=0.03
/proc/26025/stat : 26025 (sugar) S 26023 26025 25787 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30630644 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26025/statm: 3431 805 368 3 0 531 0
[pid=26027] ppid=26025 vsize=807288 CPUtime=0.42
/proc/26027/stat : 26027 (java) R 26025 26025 25787 0 -1 0 5803 0 1 0 38 4 0 0 25 0 8 0 30630648 826662912 5552 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073682532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26027/statm: 201822 5552 1679 14 0 189100 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 821012
[startup+1.33221 s]
/proc/loadavg: 2.70 2.32 1.75 2/82 26034
/proc/meminfo: memFree=1846816/2055920 swapFree=4192812/4192956
[pid=26025] ppid=26023 vsize=13724 CPUtime=1.04
/proc/26025/stat : 26025 (sugar) S 26023 26025 25787 0 -1 4194304 1190 11257 0 1 3 1 92 8 15 0 1 0 30630644 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26025/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 13724
[startup+2.9754 s]
/proc/loadavg: 2.70 2.32 1.75 3/82 26042
/proc/meminfo: memFree=1854560/2055920 swapFree=4192812/4192956
[pid=26025] ppid=26023 vsize=13724 CPUtime=1.04
/proc/26025/stat : 26025 (sugar) S 26023 26025 25787 0 -1 4194304 1190 11257 0 1 3 1 92 8 16 0 1 0 30630644 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26025/statm: 3431 809 371 3 0 531 0
[pid=26035] ppid=26025 vsize=807332 CPUtime=1.8
/proc/26035/stat : 26035 (java) R 26025 26025 25787 0 -1 0 9815 0 1 0 168 12 0 0 25 0 8 0 30630758 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802398 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26035/statm: 201833 9559 1510 14 0 189111 0
[pid=26035/tid=26036] ppid=26025 vsize=807332 CPUtime=0.2
/proc/26035/task/26036/stat : 26036 (java) S 26025 26025 25787 0 -1 64 3583 0 0 0 18 2 0 0 16 0 8 0 30630761 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26037] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26037/stat : 26037 (java) S 26025 26025 25787 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30630762 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26038] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26038/stat : 26038 (java) S 26025 26025 25787 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30630762 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26039] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26025 26025 25787 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30630765 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26040] ppid=26025 vsize=807332 CPUtime=0.16
/proc/26035/task/26040/stat : 26040 (java) S 26025 26025 25787 0 -1 64 419 0 0 0 15 1 0 0 16 0 8 0 30630765 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26041] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26025 26025 25787 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30630765 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26042] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26042/stat : 26042 (java) S 26025 26025 25787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30630765 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 821056
[startup+6.18278 s]
/proc/loadavg: 2.72 2.33 1.76 3/82 26042
/proc/meminfo: memFree=1793632/2055920 swapFree=4192812/4192956
[pid=26025] ppid=26023 vsize=13724 CPUtime=1.04
/proc/26025/stat : 26025 (sugar) S 26023 26025 25787 0 -1 4194304 1190 11257 0 1 3 1 92 8 16 0 1 0 30630644 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26025/statm: 3431 809 371 3 0 531 0
[pid=26035] ppid=26025 vsize=807332 CPUtime=4.98
/proc/26035/stat : 26035 (java) R 26025 26025 25787 0 -1 0 9818 0 1 0 466 32 0 0 25 0 8 0 30630758 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26035/statm: 201833 9561 1510 14 0 189111 0
[pid=26035/tid=26036] ppid=26025 vsize=807332 CPUtime=0.2
/proc/26035/task/26036/stat : 26036 (java) S 26025 26025 25787 0 -1 64 3583 0 0 0 18 2 0 0 16 0 8 0 30630761 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26037] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26037/stat : 26037 (java) S 26025 26025 25787 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30630762 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26038] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26038/stat : 26038 (java) S 26025 26025 25787 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30630762 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26039] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26025 26025 25787 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30630765 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26040] ppid=26025 vsize=807332 CPUtime=0.17
/proc/26035/task/26040/stat : 26040 (java) S 26025 26025 25787 0 -1 64 421 0 0 0 16 1 0 0 16 0 8 0 30630765 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26041] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26025 26025 25787 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30630765 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26042] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26042/stat : 26042 (java) S 26025 26025 25787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30630765 826707968 9561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 821056
[startup+12.6635 s]
/proc/loadavg: 2.74 2.34 1.77 3/82 26042
/proc/meminfo: memFree=1666080/2055920 swapFree=4192812/4192956
[pid=26025] ppid=26023 vsize=13724 CPUtime=1.04
/proc/26025/stat : 26025 (sugar) S 26023 26025 25787 0 -1 4194304 1190 11257 0 1 3 1 92 8 16 0 1 0 30630644 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26025/statm: 3431 809 371 3 0 531 0
[pid=26035] ppid=26025 vsize=807332 CPUtime=11.36
/proc/26035/stat : 26035 (java) R 26025 26025 25787 0 -1 0 11761 0 1 0 1056 80 0 0 25 0 8 0 30630758 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816186 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26035/statm: 201833 11503 1510 14 0 189111 0
[pid=26035/tid=26036] ppid=26025 vsize=807332 CPUtime=0.25
/proc/26035/task/26036/stat : 26036 (java) S 26025 26025 25787 0 -1 64 5525 0 0 0 22 3 0 0 16 0 8 0 30630761 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26037] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26037/stat : 26037 (java) S 26025 26025 25787 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30630762 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26038] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26038/stat : 26038 (java) S 26025 26025 25787 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30630762 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26039] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26039/stat : 26039 (java) S 26025 26025 25787 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30630765 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26040] ppid=26025 vsize=807332 CPUtime=0.17
/proc/26035/task/26040/stat : 26040 (java) S 26025 26025 25787 0 -1 64 421 0 0 0 16 1 0 0 16 0 8 0 30630765 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26041] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26041/stat : 26041 (java) S 26025 26025 25787 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30630765 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26035/tid=26042] ppid=26025 vsize=807332 CPUtime=0
/proc/26035/task/26042/stat : 26042 (java) S 26025 26025 25787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30630765 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 821056
[startup+25.5161 s]
/proc/loadavg: 2.72 2.36 1.78 3/75 26043
/proc/meminfo: memFree=1109912/2055920 swapFree=4192812/4192956
[pid=26025] ppid=26023 vsize=22196 CPUtime=17.54
/proc/26025/stat : 26025 (sugar) S 26023 26025 25787 0 -1 4194304 3370 23036 0 2 16 1 1610 127 20 0 1 0 30630644 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26025/statm: 5549 2891 373 3 0 2649 0
[pid=26043] ppid=26025 vsize=565924 CPUtime=7.56
/proc/26043/stat : 26043 (minisat) R 26025 26025 25787 0 -1 0 134820 0 0 0 663 93 0 0 25 0 1 0 30632437 579506176 134615 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134637347 0 0 4096 0 0 0 0 17 1 0 0
/proc/26043/statm: 141481 134615 35 112 0 141365 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 588120
Child status: 0
Real time (s): 41.0188
CPU time (s): 40.6068
CPU user time (s): 37.6803
CPU system time (s): 2.92655
CPU usage (%): 98.9956
Max. virtual memory (cumulated for all children) (KiB): 829332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.6803
system time used= 2.92656
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223368
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2263
involuntary context switches= 2561
runsolver used 0.041993 s user time and 0.13098 s system time
The end
Begin job on node75 on Mon Jan 29 21:37:28 UTC 2007
IDJOB= 233119
IDBENCH= 6582
IDSOLVER= 86
FILE ID= node75/233119-1170106648
PBS_JOBID= 3689873
Free space on /tmp= 66551 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-95-7.xml
COMMAND LINE= /tmp/evaluation/233119-1170106648/solver /tmp/evaluation/233119-1170106648 /tmp/evaluation/233119-1170106648/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-233119-1170106648 -o ROOT/results/node75/solver-233119-1170106648 -C 1800 -M 900 /tmp/evaluation/233119-1170106648/solver /tmp/evaluation/233119-1170106648 /tmp/evaluation/233119-1170106648/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= cc8957f8a15d4415fcf3976e1a5630c5
RANDOM SEED= 208171676
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1887616 kB
Buffers: 7928 kB
Cached: 44160 kB
SwapCached: 0 kB
Active: 90580 kB
Inactive: 25708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1887616 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2060 kB
Writeback: 0 kB
Mapped: 75156 kB
Slab: 37224 kB
Committed_AS: 407836 kB
PageTables: 1896 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= 66551 MiB
End job on node75 on Mon Jan 29 21:38:09 UTC 2007