0.05 c # Sugar v0-40 (/tmp/evaluation/233197-1170106666/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/233197-1170106666/unknown.xml [Mon Jan 29 22:37:46 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/233197-1170106666/unknown.xml /tmp/evaluation/233197-1170106666/sugar466.csp [Mon Jan 29 22:37:46 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233197-1170106666/sugar-v0-40.jar -convert /tmp/evaluation/233197-1170106666/unknown.xml /tmp/evaluation/233197-1170106666/sugar466.csp
0.16 c BEGIN convert /tmp/evaluation/233197-1170106666/unknown.xml
1.05 c END convert (0.896586 seconds)
1.11 c # CONVERT_XML END : /tmp/evaluation/233197-1170106666/sugar466.csp 378238 bytes (1 seconds) [Mon Jan 29 22:37:47 2007]
1.11 c # CONVERT_XML CPU : 1 = 0 + 0 + 0.92 + 0.08
1.11
1.11 c # GENERATE_SAT BEGIN : /tmp/evaluation/233197-1170106666/sugar466.bcnf [Mon Jan 29 22:37:47 2007]
1.11 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233197-1170106666/sugar-v0-40.jar -bcnf -map /tmp/evaluation/233197-1170106666/sugar466.map /tmp/evaluation/233197-1170106666/sugar466.csp /tmp/evaluation/233197-1170106666/sugar466.bcnf
1.24 c BEGIN parse /tmp/evaluation/233197-1170106666/sugar466.csp
2.31 c END parse (1.069325 seconds)
2.31 c BEGIN simplify
2.39 c END simplify (0.080593 seconds)
2.39 c BEGIN encode /tmp/evaluation/233197-1170106666/sugar466.bcnf
19.00 c END encode (16.608051 seconds)
19.17 c # GENERATE_SAT END : 500393 variables 18169461 clauses 288620772 bytes (18 seconds) [Mon Jan 29 22:38:05 2007]
19.17 c # GENERATE_SAT CPU : 17.81 = 0.14 + 0.01 + 16.41 + 1.25
19.17
19.17 c # SOLVE_SAT BEGIN : /tmp/evaluation/233197-1170106666/sugar466.bcnf [Mon Jan 29 22:38:05 2007]
19.17 c # CMD : /tmp/evaluation/233197-1170106666/minisat /tmp/evaluation/233197-1170106666/sugar466.bcnf /tmp/evaluation/233197-1170106666/sugar466.out
29.80 c ==================================[MINISAT]===================================
29.80 c | Conflicts | ORIGINAL | LEARNT | Progress |
29.80 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
29.80 c ==============================================================================
29.80 c | 0 | 18169461 53985590 | 6056487 0 0 nan | 0.000 % |
33.32 c | 101 | 18169461 53985590 | 6662135 101 1897 18.8 | 0.000 % |
36.85 c | 252 | 18169461 53985590 | 7328349 252 4270 16.9 | 0.000 % |
40.90 c | 477 | 18169461 53985590 | 8061184 477 8237 17.3 | 0.000 % |
44.57 c ==============================================================================
44.57 c restarts : 4
44.57 c conflicts : 648 (27 /sec)
44.57 c decisions : 7015 (293 /sec)
44.57 c propagations : 6025847 (251660 /sec)
44.57 c conflict literals : 10107 (5.65 % deleted)
44.57 c Memory used : 772.33 MB
44.57 c CPU time : 23.9444 s
44.57 c
44.57 c SATISFIABLE
44.95 c # SOLVE_SAT END : SATISFIABLE (26 seconds) [Mon Jan 29 22:38:31 2007]
44.95 c # SOLVE_SAT CPU : 25.62 = 0 + 0.01 + 24.18 + 1.43
44.95
44.95 c # RESULT : SATISFIABLE
44.95
44.95 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 22:38:31 2007]
45.07 c BEGIN read SAT output /tmp/evaluation/233197-1170106666/sugar466.out
45.51 c END read SAT output (0.443077 seconds)
45.51 c BEGIN write solution /tmp/evaluation/233197-1170106666/sugar466.sol
45.70 c END write solution (0.190989 seconds)
45.77 s SATISFIABLE
45.77 v 1152 1238 1056 327 863 1203 172 961 559 697 48 25 1107 762 398 552 108 823 461 261 544 964 290 1192 180 932 901 0 99 876 777 644 1142 460 261 1021 358 1042 716 350 199 303 720 664 832 1153 514 193 640 1037 846 549 753 417 929 2 658 1182 574 108 102 753 364 51 273 1175 1060 521 399 832 917 582 670 971 74 180 931 497 564 1146 470 429 199 108 125 287 886 621 107 1123 554 672 169 641 894 1263 368 582 343 982 218 276 688 759 426 1079 1217 863 705 1063 964 120 903 7 114 498 1130 613 534 347 365 1207 101 485 1022 893 382 563 983 265 189 626 334 771 7 1107 663 730 863 107 49 60 258 297 965 1207 691 334 2 845 451 1132 585 750 1194 841 232 165 382 1028 1261 915 526 855 811 40 629 178 100 765 288 795 344 1079 1121 10 250 408 684 628 364 1078 9 1218 577 754 302 25 1117 874 1001 851 530 973 711 69 237 99 446 659 936 1142 361 104 446 867 84 1259 1236 671 193 35 538 183 772 277 1035 583 51 478 3 1141 133 614 859 347 680 931 762 834 965 262 398 453 1196 90 219 555 1045 511 597 816 1179 469 586 132 746 787 706 1207 278 667 391 328 184 988 33 897 1164 1106 1134 708 465 913 345 929 416 1023 1249 635 49 848 1114 82 63 760 540 2 251 181 598 839 253 537 760 222 1220 351 681 172 927 361 472 74 940 1039 1136 97 1028 2 496 99 367 108 971 1051 208 308 1187 1131 1118 706 131 939 868 212 684 226 179 556 11 561 1119 1082 1078 253 708 502 378 1168 616 314 928 771 124 156 49 868 1000 408 136 777 446 525 1120 47 624 693 587 1199 840 54 215 358 1005 1258 353 1216 281 935 914 569 259 492 534 205 270 390 1194 55 1134 990 647 773 508 821 682 875 159 1064 467 260 955 788 29 675 1120 916 335 159 1252 1047 1136 1157 632 205 541 370 1193 1207
45.78 c # OUTPUT_SOL END : (1 seconds) [Mon Jan 29 22:38:32 2007]
45.78 c # OUTPUT_SOL CPU : 0.760000000000002 = 0.00999999999999998 + 0 + 0.670000000000002 + 0.0800000000000001
45.78
45.78 c # MAIN END : (46 seconds) [Mon Jan 29 22:38:32 2007]
45.78 c # MAIN CPU : 45.19 = 0.15 + 0.02 + 42.18 + 2.84
45.78
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-233197-1170106666 -o ROOT/results/node10/solver-233197-1170106666 -C 1800 -M 900 /tmp/evaluation/233197-1170106666/solver /tmp/evaluation/233197-1170106666 /tmp/evaluation/233197-1170106666/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.95 2.46 2.84 4/94 467
/proc/meminfo: memFree=1239832/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=18540 CPUtime=0
/proc/466/stat : 466 (runsolver) R 464 466 32597 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 30621615 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 214919867687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/466/statm: 4635 279 244 17 0 2626 0
[startup+0.107961 s]
/proc/loadavg: 1.95 2.46 2.84 4/94 467
/proc/meminfo: memFree=1239832/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=13724 CPUtime=0.03
/proc/466/stat : 466 (sugar) S 464 466 32597 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30621615 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/466/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.516024 s]
/proc/loadavg: 1.95 2.46 2.84 4/94 467
/proc/meminfo: memFree=1239832/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=13724 CPUtime=0.03
/proc/466/stat : 466 (sugar) S 464 466 32597 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30621615 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/466/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33713 s]
/proc/loadavg: 1.95 2.46 2.84 3/95 476
/proc/meminfo: memFree=1237136/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=13724 CPUtime=1.04
/proc/466/stat : 466 (sugar) S 464 466 32597 0 -1 4194304 1190 11200 0 1 3 1 92 8 16 0 1 0 30621615 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/466/statm: 3431 809 371 3 0 531 0
[pid=476] ppid=466 vsize=807064 CPUtime=0.2
/proc/476/stat : 476 (java) R 466 466 32597 0 -1 0 3215 0 1 0 18 2 0 0 24 0 8 0 30621726 826433536 2966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/476/statm: 201766 2966 1482 14 0 189044 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 820788
[startup+2.98535 s]
/proc/loadavg: 1.95 2.46 2.84 3/102 483
/proc/meminfo: memFree=1207960/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=13724 CPUtime=1.04
/proc/466/stat : 466 (sugar) S 464 466 32597 0 -1 4194304 1190 11200 0 1 3 1 92 8 16 0 1 0 30621615 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/466/statm: 3431 809 371 3 0 531 0
[pid=476] ppid=466 vsize=807332 CPUtime=1.84
/proc/476/stat : 476 (java) R 466 466 32597 0 -1 0 9815 0 1 0 173 11 0 0 25 0 8 0 30621726 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/476/statm: 201833 9559 1510 14 0 189111 0
[pid=476/tid=477] ppid=466 vsize=807332 CPUtime=0.2
/proc/476/task/477/stat : 477 (java) S 466 466 32597 0 -1 64 3585 0 0 0 19 1 0 0 16 0 8 0 30621730 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=478] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/478/stat : 478 (java) S 466 466 32597 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30621730 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=479] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/479/stat : 479 (java) S 466 466 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30621730 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=480] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/480/stat : 480 (java) S 466 466 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30621734 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=481] ppid=466 vsize=807332 CPUtime=0.16
/proc/476/task/481/stat : 481 (java) S 466 466 32597 0 -1 64 418 0 0 0 16 0 0 0 16 0 8 0 30621734 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=482] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/482/stat : 482 (java) S 466 466 32597 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30621734 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=483] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/483/stat : 483 (java) S 466 466 32597 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30621734 826707968 9559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 821056
[startup+6.2738 s]
/proc/loadavg: 1.95 2.45 2.83 3/102 483
/proc/meminfo: memFree=1147544/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=13724 CPUtime=1.04
/proc/466/stat : 466 (sugar) S 464 466 32597 0 -1 4194304 1190 11200 0 1 3 1 92 8 16 0 1 0 30621615 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/466/statm: 3431 809 371 3 0 531 0
[pid=476] ppid=466 vsize=807332 CPUtime=5.09
/proc/476/stat : 476 (java) R 466 466 32597 0 -1 0 9819 0 1 0 470 39 0 0 25 0 8 0 30621726 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152049425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/476/statm: 201833 9562 1510 14 0 189111 0
[pid=476/tid=477] ppid=466 vsize=807332 CPUtime=0.2
/proc/476/task/477/stat : 477 (java) S 466 466 32597 0 -1 64 3585 0 0 0 19 1 0 0 16 0 8 0 30621730 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=478] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/478/stat : 478 (java) S 466 466 32597 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30621730 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=479] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/479/stat : 479 (java) S 466 466 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30621730 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=480] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/480/stat : 480 (java) S 466 466 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30621734 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=481] ppid=466 vsize=807332 CPUtime=0.16
/proc/476/task/481/stat : 481 (java) S 466 466 32597 0 -1 64 421 0 0 0 16 0 0 0 16 0 8 0 30621734 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=482] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/482/stat : 482 (java) S 466 466 32597 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30621734 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=483] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/483/stat : 483 (java) S 466 466 32597 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30621734 826707968 9562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 821056
[startup+12.7727 s]
/proc/loadavg: 1.96 2.44 2.83 3/102 483
/proc/meminfo: memFree=1021728/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=13724 CPUtime=1.04
/proc/466/stat : 466 (sugar) S 464 466 32597 0 -1 4194304 1190 11200 0 1 3 1 92 8 16 0 1 0 30621615 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/466/statm: 3431 809 371 3 0 531 0
[pid=476] ppid=466 vsize=807332 CPUtime=11.52
/proc/476/stat : 476 (java) R 466 466 32597 0 -1 0 11760 0 1 0 1065 87 0 0 25 0 8 0 30621726 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/476/statm: 201833 11502 1510 14 0 189111 0
[pid=476/tid=477] ppid=466 vsize=807332 CPUtime=0.26
/proc/476/task/477/stat : 477 (java) S 466 466 32597 0 -1 64 5525 0 0 0 24 2 0 0 16 0 8 0 30621730 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=478] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/478/stat : 478 (java) S 466 466 32597 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30621730 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=479] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/479/stat : 479 (java) S 466 466 32597 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30621730 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=480] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/480/stat : 480 (java) S 466 466 32597 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30621734 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=481] ppid=466 vsize=807332 CPUtime=0.16
/proc/476/task/481/stat : 481 (java) S 466 466 32597 0 -1 64 421 0 0 0 16 0 0 0 16 0 8 0 30621734 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=482] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/482/stat : 482 (java) S 466 466 32597 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30621734 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=476/tid=483] ppid=466 vsize=807332 CPUtime=0
/proc/476/task/483/stat : 483 (java) S 466 466 32597 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30621734 826707968 11502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 821056
[startup+25.6164 s]
/proc/loadavg: 1.97 2.42 2.81 3/95 484
/proc/meminfo: memFree=556824/2055920 swapFree=4192812/4192956
[pid=466] ppid=464 vsize=22196 CPUtime=18.84
/proc/466/stat : 466 (sugar) S 464 466 32597 0 -1 4194304 3370 22978 0 2 17 1 1733 133 20 0 1 0 30621615 22728704 2891 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/466/statm: 5549 2891 373 3 0 2649 0
[pid=484] ppid=466 vsize=441640 CPUtime=6.36
/proc/484/stat : 484 (minisat) R 466 466 32597 0 -1 0 107278 0 0 0 564 72 0 0 25 0 1 0 30623532 452239360 107073 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134637942 0 0 4096 0 0 0 0 17 1 0 0
/proc/484/statm: 110410 107074 35 112 0 110294 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 463836
Child status: 0
Real time (s): 45.9402
CPU time (s): 45.4021
CPU user time (s): 42.3766
CPU system time (s): 3.02554
CPU usage (%): 98.8288
Max. virtual memory (cumulated for all children) (KiB): 829332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.3766
system time used= 3.02554
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234296
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= 2255
involuntary context switches= 2706
runsolver used 0.046992 s user time and 0.157975 s system time
The end
Begin job on node10 on Mon Jan 29 21:37:46 UTC 2007
IDJOB= 233197
IDBENCH= 6586
IDSOLVER= 86
FILE ID= node10/233197-1170106666
PBS_JOBID= 3689885
Free space on /tmp= 66557 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-95-1.xml
COMMAND LINE= /tmp/evaluation/233197-1170106666/solver /tmp/evaluation/233197-1170106666 /tmp/evaluation/233197-1170106666/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-233197-1170106666 -o ROOT/results/node10/solver-233197-1170106666 -C 1800 -M 900 /tmp/evaluation/233197-1170106666/solver /tmp/evaluation/233197-1170106666 /tmp/evaluation/233197-1170106666/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 3f59ce7e2cf0069032dc8d030cfb3b7e
RANDOM SEED= 601407131
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.232
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.232
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: 1240312 kB
Buffers: 38384 kB
Cached: 65452 kB
SwapCached: 0 kB
Active: 702360 kB
Inactive: 58016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1240312 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1940 kB
Writeback: 0 kB
Mapped: 682104 kB
Slab: 38900 kB
Committed_AS: 1413516 kB
PageTables: 3396 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= 66557 MiB
End job on node10 on Mon Jan 29 21:38:32 UTC 2007