0.05 c # Sugar v0-40 (/tmp/evaluation/233080-1170106619/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/233080-1170106619/unknown.xml [Mon Jan 29 22:37:00 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/233080-1170106619/unknown.xml /tmp/evaluation/233080-1170106619/sugar19561.csp [Mon Jan 29 22:37:00 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233080-1170106619/sugar-v0-40.jar -convert /tmp/evaluation/233080-1170106619/unknown.xml /tmp/evaluation/233080-1170106619/sugar19561.csp
0.17 c BEGIN convert /tmp/evaluation/233080-1170106619/unknown.xml
1.15 c END convert (0.982166 seconds)
1.18 c # CONVERT_XML END : /tmp/evaluation/233080-1170106619/sugar19561.csp 378238 bytes (1 seconds) [Mon Jan 29 22:37:01 2007]
1.18 c # CONVERT_XML CPU : 1.09 = 0 + 0 + 1.02 + 0.07
1.18
1.18 c # GENERATE_SAT BEGIN : /tmp/evaluation/233080-1170106619/sugar19561.bcnf [Mon Jan 29 22:37:01 2007]
1.18 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233080-1170106619/sugar-v0-40.jar -bcnf -map /tmp/evaluation/233080-1170106619/sugar19561.map /tmp/evaluation/233080-1170106619/sugar19561.csp /tmp/evaluation/233080-1170106619/sugar19561.bcnf
1.30 c BEGIN parse /tmp/evaluation/233080-1170106619/sugar19561.csp
2.40 c END parse (1.100077 seconds)
2.40 c BEGIN simplify
2.48 c END simplify (0.081488 seconds)
2.48 c BEGIN encode /tmp/evaluation/233080-1170106619/sugar19561.bcnf
20.76 c END encode (18.275062 seconds)
20.94 c # GENERATE_SAT END : 527193 variables 19214661 clauses 305236804 bytes (20 seconds) [Mon Jan 29 22:37:21 2007]
20.94 c # GENERATE_SAT CPU : 19.43 = 0.14 + 0.01 + 17.79 + 1.49
20.94
20.94 c # SOLVE_SAT BEGIN : /tmp/evaluation/233080-1170106619/sugar19561.bcnf [Mon Jan 29 22:37:21 2007]
20.94 c # CMD : /tmp/evaluation/233080-1170106619/minisat /tmp/evaluation/233080-1170106619/sugar19561.bcnf /tmp/evaluation/233080-1170106619/sugar19561.out
32.57 c ==================================[MINISAT]===================================
32.57 c | Conflicts | ORIGINAL | LEARNT | Progress |
32.57 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
32.57 c ==============================================================================
32.57 c | 0 | 19214661 57094390 | 6404887 0 0 nan | 0.000 % |
36.63 c | 100 | 19214661 57094390 | 7045375 100 1588 15.9 | 0.000 % |
41.79 c | 250 | 19214661 57094390 | 7749913 250 6740 27.0 | 0.000 % |
46.15 c | 475 | 19214661 57094390 | 8524904 475 10085 21.2 | 0.000 % |
49.84 c ==============================================================================
49.84 c restarts : 4
49.84 c conflicts : 557 (20 /sec)
49.84 c decisions : 8370 (308 /sec)
49.84 c propagations : 6227162 (228949 /sec)
49.84 c conflict literals : 10866 (7.77 % deleted)
49.84 c Memory used : 847.00 MB
49.84 c CPU time : 27.1989 s
49.84 c
49.84 c SATISFIABLE
50.24 c # SOLVE_SAT END : SATISFIABLE (29 seconds) [Mon Jan 29 22:37:50 2007]
50.24 c # SOLVE_SAT CPU : 29.12 = 0 + 0 + 27.45 + 1.67
50.24
50.24 c # RESULT : SATISFIABLE
50.24
50.24 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 22:37:50 2007]
50.37 c BEGIN read SAT output /tmp/evaluation/233080-1170106619/sugar19561.out
50.83 c END read SAT output (0.456432 seconds)
50.83 c BEGIN write solution /tmp/evaluation/233080-1170106619/sugar19561.sol
51.03 c END write solution (0.197774 seconds)
51.07 s SATISFIABLE
51.07 v 1285 792 297 372 66 472 166 593 1043 1 726 859 352 677 118 505 979 882 1142 231 1236 780 1116 1018 235 909 951 483 552 658 683 837 27 138 454 6 298 357 77 650 1135 996 495 1091 1197 1241 416 147 343 820 153 629 236 694 528 50 1211 913 11 361 0 850 1140 1329 392 740 1064 183 306 945 929 543 93 631 1182 1207 1289 69 832 1032 1224 1193 834 233 469 250 719 517 555 94 210 386 1105 537 6 550 649 1 564 594 1147 289 360 1246 623 1050 464 519 925 42 524 136 695 756 513 1205 377 979 846 57 92 498 492 1052 672 906 402 595 8 126 1232 556 663 757 1298 306 1135 1202 1320 164 881 689 492 620 1167 635 1009 514 573 277 892 1277 1055 67 512 631 1230 216 420 788 432 1259 773 1198 49 640 922 700 562 544 457 1002 1021 7 1102 513 975 183 271 921 644 186 116 1248 239 1101 389 47 556 852 729 973 321 1239 73 368 503 997 806 451 1024 1146 465 277 0 591 1231 443 1123 860 48 449 786 825 174 1248 338 935 131 531 542 1162 209 156 913 491 831 1043 1217 315 751 1077 340 985 623 1289 274 692 395 18 1238 257 242 467 643 831 815 436 603 1052 746 1308 56 654 974 882 132 1114 564 792 1083 512 564 822 1167 633 290 1241 339 849 278 1018 203 920 838 348 727 231 436 109 377 289 1085 727 1260 840 1038 1253 220 628 1083 32 253 468 772 531 954 1176 943 871 410 169 178 489 574 533 473 782 283 631 897 1251 819 1023 1087 1148 262 682 1225 939 493 1 673 205 67 859 1207 722 543 71 368 1023 168 1110 460 243 781 1270 920 579 1210 353 830 221 556 656 956 6 1295 914 470 104 1085 732 1143 922 940 996 663 1056 1203 920 0 1066 477 1149 42 678 1267 844 417 764 354 512 154 998 215 176 566 1076 223 1140 605 702 1225 416 163 523 179 981 893 910 1208 1296 562 827 1027 298 402 782
51.07 c # OUTPUT_SOL END : (1 seconds) [Mon Jan 29 22:37:51 2007]
51.07 c # OUTPUT_SOL CPU : 0.800000000000003 = 0.02 + 0 + 0.700000000000003 + 0.0800000000000001
51.09
51.09 c # MAIN END : (51 seconds) [Mon Jan 29 22:37:51 2007]
51.09 c # MAIN CPU : 50.44 = 0.16 + 0.01 + 46.96 + 3.31
51.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-233080-1170106619 -o ROOT/results/node38/solver-233080-1170106619 -C 1800 -M 900 /tmp/evaluation/233080-1170106619/solver /tmp/evaluation/233080-1170106619 /tmp/evaluation/233080-1170106619/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: 1.76 2.49 2.74 5/74 19562
/proc/meminfo: memFree=1162512/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=12404 CPUtime=0
/proc/19561/stat : 19561 (sugar) R 19559 19561 19279 0 -1 4194304 692 0 0 0 0 0 0 0 20 0 1 0 30617808 12701696 411 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266910376316 0 0 4224 0 0 0 0 17 1 0 0
/proc/19561/statm: 3101 411 286 3 0 201 0
[startup+0.108776 s]
/proc/loadavg: 1.76 2.49 2.74 5/74 19562
/proc/meminfo: memFree=1162512/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=13724 CPUtime=0.04
/proc/19561/stat : 19561 (sugar) S 19559 19561 19279 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30617808 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19561/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.516821 s]
/proc/loadavg: 1.76 2.49 2.74 5/74 19562
/proc/meminfo: memFree=1162512/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=13724 CPUtime=0.04
/proc/19561/stat : 19561 (sugar) S 19559 19561 19279 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30617808 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19561/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33891 s]
/proc/loadavg: 1.78 2.48 2.74 3/82 19570
/proc/meminfo: memFree=1123664/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=13724 CPUtime=1.13
/proc/19561/stat : 19561 (sugar) S 19559 19561 19279 0 -1 4194304 1190 11070 0 1 3 1 102 7 15 0 1 0 30617808 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19561/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 13724
[startup+2.9831 s]
/proc/loadavg: 1.78 2.48 2.74 3/82 19578
/proc/meminfo: memFree=1131920/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=13724 CPUtime=1.13
/proc/19561/stat : 19561 (sugar) S 19559 19561 19279 0 -1 4194304 1190 11070 0 1 3 1 102 7 16 0 1 0 30617808 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19561/statm: 3431 809 371 3 0 531 0
[pid=19571] ppid=19561 vsize=807332 CPUtime=1.77
/proc/19571/stat : 19571 (java) R 19561 19561 19279 0 -1 0 9816 0 1 0 165 12 0 0 25 0 8 0 30617926 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19571/statm: 201833 9560 1510 14 0 189111 0
[pid=19571/tid=19572] ppid=19561 vsize=807332 CPUtime=0.22
/proc/19571/task/19572/stat : 19572 (java) S 19561 19561 19279 0 -1 64 3584 0 0 0 20 2 0 0 16 0 8 0 30617930 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19573] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19573/stat : 19573 (java) S 19561 19561 19279 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30617930 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19574] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19574/stat : 19574 (java) S 19561 19561 19279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30617930 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19575] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19575/stat : 19575 (java) S 19561 19561 19279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30617933 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19576] ppid=19561 vsize=807332 CPUtime=0.16
/proc/19571/task/19576/stat : 19576 (java) S 19561 19561 19279 0 -1 64 418 0 0 0 16 0 0 0 16 0 8 0 30617933 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19577] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19577/stat : 19577 (java) S 19561 19561 19279 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30617933 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19578] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19578/stat : 19578 (java) S 19561 19561 19279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30617933 826707968 9560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821056
[startup+6.28248 s]
/proc/loadavg: 1.78 2.48 2.74 3/82 19578
/proc/meminfo: memFree=1072336/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=13724 CPUtime=1.13
/proc/19561/stat : 19561 (sugar) S 19559 19561 19279 0 -1 4194304 1190 11070 0 1 3 1 102 7 16 0 1 0 30617808 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19561/statm: 3431 809 371 3 0 531 0
[pid=19571] ppid=19561 vsize=807332 CPUtime=5.03
/proc/19571/stat : 19571 (java) R 19561 19561 19279 0 -1 0 9820 0 1 0 463 40 0 0 25 0 8 0 30617926 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19571/statm: 201833 9563 1510 14 0 189111 0
[pid=19571/tid=19572] ppid=19561 vsize=807332 CPUtime=0.22
/proc/19571/task/19572/stat : 19572 (java) S 19561 19561 19279 0 -1 64 3584 0 0 0 20 2 0 0 16 0 8 0 30617930 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19573] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19573/stat : 19573 (java) S 19561 19561 19279 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30617930 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19574] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19574/stat : 19574 (java) S 19561 19561 19279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30617930 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19575] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19575/stat : 19575 (java) S 19561 19561 19279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30617933 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19576] ppid=19561 vsize=807332 CPUtime=0.16
/proc/19571/task/19576/stat : 19576 (java) S 19561 19561 19279 0 -1 64 421 0 0 0 16 0 0 0 16 0 8 0 30617933 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19577] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19577/stat : 19577 (java) S 19561 19561 19279 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30617933 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19578] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19578/stat : 19578 (java) S 19561 19561 19279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30617933 826707968 9563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 821056
[startup+12.7832 s]
/proc/loadavg: 1.89 2.48 2.74 3/82 19578
/proc/meminfo: memFree=947920/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=13724 CPUtime=1.13
/proc/19561/stat : 19561 (sugar) S 19559 19561 19279 0 -1 4194304 1190 11070 0 1 3 1 102 7 16 0 1 0 30617808 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19561/statm: 3431 809 371 3 0 531 0
[pid=19571] ppid=19561 vsize=807332 CPUtime=11.46
/proc/19571/stat : 19571 (java) R 19561 19561 19279 0 -1 0 11761 0 1 0 1055 91 0 0 25 0 8 0 30617926 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19571/statm: 201833 11503 1510 14 0 189111 0
[pid=19571/tid=19572] ppid=19561 vsize=807332 CPUtime=0.27
/proc/19571/task/19572/stat : 19572 (java) S 19561 19561 19279 0 -1 64 5524 0 0 0 25 2 0 0 16 0 8 0 30617930 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19573] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19573/stat : 19573 (java) S 19561 19561 19279 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30617930 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19574] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19574/stat : 19574 (java) S 19561 19561 19279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30617930 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19575] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19575/stat : 19575 (java) S 19561 19561 19279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30617933 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19576] ppid=19561 vsize=807332 CPUtime=0.16
/proc/19571/task/19576/stat : 19576 (java) S 19561 19561 19279 0 -1 64 421 0 0 0 16 0 0 0 16 0 8 0 30617933 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19577] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19577/stat : 19577 (java) S 19561 19561 19279 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30617933 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19571/tid=19578] ppid=19561 vsize=807332 CPUtime=0
/proc/19571/task/19578/stat : 19578 (java) S 19561 19561 19279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30617933 826707968 11503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 821056
[startup+25.6477 s]
/proc/loadavg: 1.98 2.48 2.73 3/75 19582
/proc/meminfo: memFree=578760/2055920 swapFree=4192812/4192956
[pid=19561] ppid=19559 vsize=22196 CPUtime=20.56
/proc/19561/stat : 19561 (sugar) S 19559 19561 19279 0 -1 4194304 3370 22849 0 2 17 2 1881 156 19 0 1 0 30617808 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19561/statm: 5549 2891 373 3 0 2649 0
[pid=19582] ppid=19561 vsize=324816 CPUtime=4.64
/proc/19582/stat : 19582 (minisat) R 19561 19561 19279 0 -1 0 77514 0 0 0 405 59 0 0 25 0 1 0 30619902 332611584 77309 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134522312 0 0 4096 0 0 0 0 17 1 0 0
/proc/19582/statm: 81204 77309 35 112 0 81088 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 347012
Child status: 0
Real time (s): 51.246
CPU time (s): 50.6613
CPU user time (s): 47.1528
CPU system time (s): 3.50847
CPU usage (%): 98.859
Max. virtual memory (cumulated for all children) (KiB): 889524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.1528
system time used= 3.50847
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244437
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= 2325
involuntary context switches= 2844
runsolver used 0.06399 s user time and 0.172973 s system time
The end
Begin job on node38 on Mon Jan 29 21:37:00 UTC 2007
IDJOB= 233080
IDBENCH= 6580
IDSOLVER= 86
FILE ID= node38/233080-1170106619
PBS_JOBID= 3689883
Free space on /tmp= 66365 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-100-1.xml
COMMAND LINE= /tmp/evaluation/233080-1170106619/solver /tmp/evaluation/233080-1170106619 /tmp/evaluation/233080-1170106619/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-233080-1170106619 -o ROOT/results/node38/solver-233080-1170106619 -C 1800 -M 900 /tmp/evaluation/233080-1170106619/solver /tmp/evaluation/233080-1170106619 /tmp/evaluation/233080-1170106619/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 5a4c32da7b2151a1595ab2d1cc4dfcd9
RANDOM SEED= 72652772
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.233
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.233
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: 1162928 kB
Buffers: 24744 kB
Cached: 247120 kB
SwapCached: 0 kB
Active: 804120 kB
Inactive: 34700 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1162928 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 95320 kB
Writeback: 0 kB
Mapped: 577972 kB
Slab: 38204 kB
Committed_AS: 770356 kB
PageTables: 3060 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= 66365 MiB
End job on node38 on Mon Jan 29 21:37:51 UTC 2007