3.16 c # Sugar v0-40 (/tmp/evaluation/239129-1170108895/sugar-v0-40.jar)
3.16
3.36 c # MAIN BEGIN : /tmp/evaluation/239129-1170108895/unknown.xml [Mon Jan 29 23:15:00 2007]
3.36 c # CONVERT_XML BEGIN : /tmp/evaluation/239129-1170108895/unknown.xml /tmp/evaluation/239129-1170108895/sugar29763.csp [Mon Jan 29 23:15:00 2007]
3.36 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/239129-1170108895/sugar-v0-40.jar -convert /tmp/evaluation/239129-1170108895/unknown.xml /tmp/evaluation/239129-1170108895/sugar29763.csp
5.44 c BEGIN convert /tmp/evaluation/239129-1170108895/unknown.xml
6.57 c END convert (1.127594 seconds)
6.60 c # CONVERT_XML END : /tmp/evaluation/239129-1170108895/sugar29763.csp 2480755 bytes (3 seconds) [Mon Jan 29 23:15:03 2007]
6.60 c # CONVERT_XML CPU : 1.17 = 0 + 0 + 1.06 + 0.11
6.60
6.60 c # GENERATE_SAT BEGIN : /tmp/evaluation/239129-1170108895/sugar29763.bcnf [Mon Jan 29 23:15:03 2007]
6.60 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/239129-1170108895/sugar-v0-40.jar -bcnf -map /tmp/evaluation/239129-1170108895/sugar29763.map /tmp/evaluation/239129-1170108895/sugar29763.csp /tmp/evaluation/239129-1170108895/sugar29763.bcnf
6.72 c BEGIN parse /tmp/evaluation/239129-1170108895/sugar29763.csp
15.38 c END parse (8.663748 seconds)
15.38 c BEGIN simplify
15.42 c END simplify (0.034014 seconds)
15.42 c BEGIN encode /tmp/evaluation/239129-1170108895/sugar29763.bcnf
16.88 c END encode (1.458157 seconds)
16.91 c # GENERATE_SAT END : 6336 variables 76934 clauses 1385964 bytes (11 seconds) [Mon Jan 29 23:15:14 2007]
16.91 c # GENERATE_SAT CPU : 9.21 = 0.01 + 0 + 9.01 + 0.19
16.91
16.91 c # SOLVE_SAT BEGIN : /tmp/evaluation/239129-1170108895/sugar29763.bcnf [Mon Jan 29 23:15:14 2007]
16.91 c # CMD : /tmp/evaluation/239129-1170108895/minisat /tmp/evaluation/239129-1170108895/sugar29763.bcnf /tmp/evaluation/239129-1170108895/sugar29763.out
16.97 c ==================================[MINISAT]===================================
16.97 c | Conflicts | ORIGINAL | LEARNT | Progress |
16.97 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
16.97 c ==============================================================================
16.97 c | 0 | 41042 152279 | 13680 0 0 nan | 0.000 % |
16.99 c | 100 | 41048 152279 | 15048 92 650 7.1 | 39.047 % |
17.02 c | 250 | 41048 152279 | 16552 242 3564 14.7 | 39.047 % |
17.05 c | 476 | 41048 152279 | 18208 468 7123 15.2 | 39.047 % |
17.10 c | 813 | 41048 152279 | 20028 805 12913 16.0 | 39.047 % |
17.15 c | 1319 | 40525 150340 | 22031 1276 18109 14.2 | 39.047 % |
17.31 c | 2078 | 40527 150340 | 24234 2033 35474 17.4 | 39.047 % |
17.49 c | 3217 | 40527 150340 | 26658 3172 57142 18.0 | 39.047 % |
17.84 c | 4927 | 40531 150340 | 29324 4878 88914 18.2 | 39.047 % |
18.57 c | 7489 | 40531 150340 | 32256 7440 161478 21.7 | 39.047 % |
19.33 c | 11333 | 40535 150340 | 35482 11280 232478 20.6 | 39.047 % |
21.08 c | 17099 | 40539 150340 | 39030 17042 369225 21.7 | 39.047 % |
24.75 c | 25749 | 39646 147166 | 42933 25591 601707 23.5 | 40.341 % |
33.11 c | 38724 | 39647 147166 | 47227 38565 957881 24.8 | 40.341 % |
46.24 c | 58185 | 39649 147166 | 51949 23352 643382 27.6 | 40.341 % |
69.50 c | 87378 | 38640 143605 | 57144 51838 1488589 28.7 | 41.777 % |
85.30 c ==============================================================================
85.30 c restarts : 16
85.30 c conflicts : 107881 (1604 /sec)
85.30 c decisions : 147402 (2191 /sec)
85.30 c propagations : 50238204 (746850 /sec)
85.30 c conflict literals : 3027778 (35.66 % deleted)
85.30 c Memory used : 12.59 MB
85.30 c CPU time : 67.2668 s
85.30 c
85.30 c SATISFIABLE
85.31 c # SOLVE_SAT END : SATISFIABLE (68 seconds) [Mon Jan 29 23:16:22 2007]
85.31 c # SOLVE_SAT CPU : 67.62 = 0 + 0 + 67.27 + 0.35
85.31
85.31 c # RESULT : SATISFIABLE
85.31
85.31 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 23:16:22 2007]
85.43 c BEGIN read SAT output /tmp/evaluation/239129-1170108895/sugar29763.out
85.47 c END read SAT output (0.0347 seconds)
85.47 c BEGIN write solution /tmp/evaluation/239129-1170108895/sugar29763.sol
85.53 c END write solution (0.05531 seconds)
85.55 s SATISFIABLE
85.56 v 7 20 10 18 23 0 17 11 24 14 16 8 3 6 13 9 12 15 22 21 1 19 4 5 2 9 2 20 3 12 14 21 8 15 17 13 0 4 10 5 7 18 11 24 19 23 16 22 1 6 21 18 5 6 8 16 23 12 7 2 10 17 1 22 4 13 24 19 0 14 15 11 3 9 20 24 12 19 1 18 3 15 20 13 9 7 11 17 0 6 22 8 5 10 2 21 23 14 16 4 5 17 14 7 15 23 10 21 1 6 19 18 20 24 8 2 3 0 9 4 22 12 16 13 11 0 16 4 10 20 19 13 15 11 18 9 1 12 7 14 5 23 24 8 3 2 6 21 22 17 15 10 3 8 1 18 4 14 17 21 23 7 2 11 0 24 16 12 20 6 9 13 5 19 22 8 1 18 2 4 22 19 10 9 7 14 16 5 20 21 15 11 6 23 17 3 24 13 12 0 3 6 17 11 10 9 14 23 22 16 20 13 18 1 24 19 4 2 15 5 7 21 8 0 12 18 19 0 22 14 12 8 2 16 1 5 15 7 13 9 21 6 4 17 10 20 3 23 11 24 11 23 12 14 2 1 22 16 6 4 15 24 19 9 20 8 13 7 21 0 17 5 18 3 10 22 21 9 16 5 24 2 17 19 20 4 10 15 12 3 14 0 23 13 7 8 1 11 6 18 20 8 15 0 13 11 18 1 5 19 24 14 16 17 2 4 21 3 6 9 12 22 7 10 23 19 0 24 20 7 5 3 4 12 8 6 9 13 18 10 23 22 1 14 16 11 2 17 21 15 6 9 21 5 17 8 1 18 3 13 22 19 11 23 12 16 14 20 2 24 10 0 15 4 7 1 15 13 23 9 2 11 24 18 0 17 3 14 21 22 10 5 16 12 20 4 7 6 8 19 17 14 8 15 11 10 7 5 21 12 0 6 9 4 23 1 19 18 3 22 13 20 24 2 16 16 4 11 9 0 17 12 13 20 24 2 21 22 5 15 3 7 8 18 1 6 10 19 23 14 14 7 23 4 24 13 9 0 8 15 1 2 6 3 16 11 20 22 19 12 5 17 10 18 21 13 5 7 12 22 6 16 3 2 23 21 20 10 15 19 18 1 17 4 11 14 8 0 24 9 4 22 2 21 6 20 24 7 23 10 8 12 0 16 11 17 15 9 5 13 19 18 1 14 3 10 11 16 19 21 4 6 9 14 22 3 23 8 2 7 0 17 13 1 18 24 15 12 20 5 2 24 22 13 3 7 0 19 4 11 12 5 21 8 17 6 9 10 16 23 18 14 20 15 1 12 13 1 24 16 21 5 6 10 3 11 22 23 19 18 20 2 14 7 15 0 4 9 17 8 23 3 6 17 19 15 20 22 0 5 18 4 24 14 1 12 10 21 11 8 16 9 2 7 13
85.56 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 23:16:22 2007]
85.56 c # OUTPUT_SOL CPU : 0.219999999999993 = 0 + 0.01 + 0.179999999999993 + 0.03
85.56
85.56 c # MAIN END : (82 seconds) [Mon Jan 29 23:16:22 2007]
85.56 c # MAIN CPU : 78.22 = 0.01 + 0.01 + 77.52 + 0.68
85.56
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-239129-1170108895 -o ROOT/results/node16/solver-239129-1170108895 -C 1800 -M 900 /tmp/evaluation/239129-1170108895/solver /tmp/evaluation/239129-1170108895 /tmp/evaluation/239129-1170108895/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: 4.82 5.51 5.23 5/94 29764
/proc/meminfo: memFree=572544/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=18540 CPUtime=0
/proc/29763/stat : 29763 (runsolver) R 29761 29763 29589 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30844003 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/29763/statm: 4635 279 244 17 0 2626 0
[startup+0.110047 s]
/proc/loadavg: 4.82 5.51 5.23 5/94 29764
/proc/meminfo: memFree=572544/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=5352 CPUtime=0
/proc/29763/stat : 29763 (solver) D 29761 29763 29589 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 30844003 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 231962373415 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/29763/statm: 1338 231 193 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.518006 s]
/proc/loadavg: 4.82 5.51 5.23 5/94 29764
/proc/meminfo: memFree=572544/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=2504 CPUtime=0
/proc/29763/stat : 29763 (sugar) D 29761 29763 29589 0 -1 4194304 286 0 1 0 0 0 0 0 18 0 1 0 30844003 2564096 23 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231959757520 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/29763/statm: 626 23 17 3 0 3 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2504
[startup+1.33991 s]
/proc/loadavg: 4.91 5.52 5.24 2/94 29764
/proc/meminfo: memFree=554240/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=12268 CPUtime=0
/proc/29763/stat : 29763 (sugar) D 29761 29763 29589 0 -1 4194304 597 0 4 0 0 0 0 0 18 0 1 0 30844003 12562432 320 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 0 18446744071563608240 0 0 17 1 0 0
/proc/29763/statm: 3067 320 242 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+2.97974 s]
/proc/loadavg: 4.91 5.52 5.24 2/94 29764
/proc/meminfo: memFree=534720/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=13196 CPUtime=0.03
/proc/29763/stat : 29763 (sugar) D 29761 29763 29589 0 -1 4194304 928 0 4 0 2 1 0 0 18 0 1 0 30844003 13512704 651 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/29763/statm: 3299 651 334 3 0 399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13196
[startup+6.26439 s]
/proc/loadavg: 4.92 5.51 5.24 4/103 29773
/proc/meminfo: memFree=465400/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=13724 CPUtime=0.04
/proc/29763/stat : 29763 (sugar) S 29761 29763 29589 0 -1 4194304 1117 0 4 0 3 1 0 0 16 0 1 0 30844003 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29763/statm: 3431 805 368 3 0 531 0
[pid=29765] ppid=29763 vsize=808148 CPUtime=0.86
/proc/29765/stat : 29765 (java) R 29763 29763 29589 0 -1 0 10485 0 30 0 78 8 0 0 24 0 8 0 30844339 827543552 10261 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29765/statm: 202037 10263 1694 14 0 189315 0
[pid=29765/tid=29767] ppid=29763 vsize=808148 CPUtime=0.09
/proc/29765/task/29767/stat : 29767 (java) R 29763 29763 29589 0 -1 64 3927 0 0 0 8 1 0 0 16 0 8 0 30844538 827543552 10264 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29765/tid=29768] ppid=29763 vsize=808148 CPUtime=0
/proc/29765/task/29768/stat : 29768 (java) S 29763 29763 29589 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 30844539 827543552 10266 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29765/tid=29769] ppid=29763 vsize=808148 CPUtime=0
/proc/29765/task/29769/stat : 29769 (java) S 29763 29763 29589 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 30844539 827543552 10267 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29765/tid=29770] ppid=29763 vsize=808148 CPUtime=0
/proc/29765/task/29770/stat : 29770 (java) S 29763 29763 29589 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 30844542 827543552 10269 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29765/tid=29771] ppid=29763 vsize=808148 CPUtime=0.16
/proc/29765/task/29771/stat : 29771 (java) S 29763 29763 29589 0 -1 64 431 0 0 0 15 1 0 0 16 0 8 0 30844542 827543552 10271 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29765/tid=29772] ppid=29763 vsize=808148 CPUtime=0
/proc/29765/task/29772/stat : 29772 (java) S 29763 29763 29589 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30844542 827543552 10272 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29765/tid=29773] ppid=29763 vsize=808148 CPUtime=0
/proc/29765/task/29773/stat : 29773 (java) S 29763 29763 29589 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30844542 827543552 10274 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 821872
[startup+12.7547 s]
/proc/loadavg: 4.93 5.50 5.23 3/102 29781
/proc/meminfo: memFree=275912/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=13724 CPUtime=1.21
/proc/29763/stat : 29763 (sugar) S 29761 29763 29589 0 -1 4194304 1186 11488 4 30 3 1 106 11 15 0 1 0 30844003 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29763/statm: 3431 809 371 3 0 531 0
[pid=29774] ppid=29763 vsize=807336 CPUtime=6.1
/proc/29774/stat : 29774 (java) R 29763 29763 29589 0 -1 0 24078 0 1 0 600 10 0 0 25 0 8 0 30844663 826712064 23775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29774/statm: 201834 23775 1506 14 0 189112 0
[pid=29774/tid=29775] ppid=29763 vsize=807336 CPUtime=1.18
/proc/29774/task/29775/stat : 29775 (java) S 29763 29763 29589 0 -1 64 17842 0 0 0 112 6 0 0 16 0 8 0 30844667 826712064 23775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29774/tid=29776] ppid=29763 vsize=807336 CPUtime=0
/proc/29774/task/29776/stat : 29776 (java) S 29763 29763 29589 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30844667 826712064 23775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29774/tid=29777] ppid=29763 vsize=807336 CPUtime=0
/proc/29774/task/29777/stat : 29777 (java) S 29763 29763 29589 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30844667 826712064 23775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29774/tid=29778] ppid=29763 vsize=807336 CPUtime=0
/proc/29774/task/29778/stat : 29778 (java) S 29763 29763 29589 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30844670 826712064 23775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29774/tid=29779] ppid=29763 vsize=807336 CPUtime=0.13
/proc/29774/task/29779/stat : 29779 (java) S 29763 29763 29589 0 -1 64 401 0 0 0 13 0 0 0 17 0 8 0 30844670 826712064 23775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29774/tid=29780] ppid=29763 vsize=807336 CPUtime=0
/proc/29774/task/29780/stat : 29780 (java) S 29763 29763 29589 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30844670 826712064 23775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29774/tid=29781] ppid=29763 vsize=807336 CPUtime=0
/proc/29774/task/29781/stat : 29781 (java) S 29763 29763 29589 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30844670 826712064 23775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 821060
[startup+25.6003 s]
/proc/loadavg: 4.86 5.46 5.23 3/95 29784
/proc/meminfo: memFree=158920/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=14256 CPUtime=10.42
/proc/29763/stat : 29763 (sugar) S 29761 29763 29589 0 -1 4194304 1421 43832 4 32 4 1 1007 30 16 0 1 0 30844003 14598144 940 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29763/statm: 3564 940 373 3 0 664 0
[pid=29784] ppid=29763 vsize=7332 CPUtime=8.49
/proc/29784/stat : 29784 (minisat) R 29763 29763 29589 0 -1 0 1812 0 0 0 842 7 0 0 25 0 1 0 30845694 7507968 1458 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/29784/statm: 1833 1458 51 112 0 1717 0
Current children cumulated CPU time (s) 18.91
Current children cumulated vsize (KiB) 21588
[startup+51.2705 s]
/proc/loadavg: 4.57 5.34 5.19 3/95 29788
/proc/meminfo: memFree=14920/2055920 swapFree=4192812/4192956
[pid=29763] ppid=29761 vsize=14256 CPUtime=10.42
/proc/29763/stat : 29763 (sugar) S 29761 29763 29589 0 -1 4194304 1421 43832 4 32 4 1 1007 30 16 0 1 0 30844003 14598144 940 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29763/statm: 3564 940 373 3 0 664 0
[pid=29784] ppid=29763 vsize=10844 CPUtime=33.92
/proc/29784/stat : 29784 (minisat) R 29763 29763 29589 0 -1 0 2673 0 0 0 3374 18 0 0 25 0 1 0 30845694 11104256 2319 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 1 0 0
/proc/29784/statm: 2711 2319 51 112 0 2595 0
Current children cumulated CPU time (s) 44.34
Current children cumulated vsize (KiB) 25100
Child status: 0
Real time (s): 85.567
CPU time (s): 78.2851
CPU user time (s): 77.5722
CPU system time (s): 0.712891
CPU usage (%): 91.4898
Max. virtual memory (cumulated for all children) (KiB): 821872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.5722
system time used= 0.712891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51842
page faults= 38
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2565
involuntary context switches= 3356
runsolver used 0.095985 s user time and 0.299954 s system time
The end
Begin job on node16 on Mon Jan 29 22:14:56 UTC 2007
IDJOB= 239129
IDBENCH= 7043
IDSOLVER= 86
FILE ID= node16/239129-1170108895
PBS_JOBID= 3689939
Free space on /tmp= 48042 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-25/qcp-25-264-8_ext.xml
COMMAND LINE= /tmp/evaluation/239129-1170108895/solver /tmp/evaluation/239129-1170108895 /tmp/evaluation/239129-1170108895/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-239129-1170108895 -o ROOT/results/node16/solver-239129-1170108895 -C 1800 -M 900 /tmp/evaluation/239129-1170108895/solver /tmp/evaluation/239129-1170108895 /tmp/evaluation/239129-1170108895/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 296d71549468bcc1ba7ebab9bc8d0f5f
RANDOM SEED= 470222337
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.281
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.281
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: 575072 kB
Buffers: 10820 kB
Cached: 1185912 kB
SwapCached: 0 kB
Active: 235592 kB
Inactive: 1161796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 575072 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 685016 kB
Writeback: 0 kB
Mapped: 226156 kB
Slab: 68172 kB
Committed_AS: 825624 kB
PageTables: 2452 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= 46696 MiB
End job on node16 on Mon Jan 29 22:16:24 UTC 2007