0.05 c # Sugar v0-40 (/tmp/evaluation/229088-1170106004/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/229088-1170106004/unknown.xml [Mon Jan 29 22:26:44 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/229088-1170106004/unknown.xml /tmp/evaluation/229088-1170106004/sugar24052.csp [Mon Jan 29 22:26:44 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/229088-1170106004/sugar-v0-40.jar -convert /tmp/evaluation/229088-1170106004/unknown.xml /tmp/evaluation/229088-1170106004/sugar24052.csp
0.17 c BEGIN convert /tmp/evaluation/229088-1170106004/unknown.xml
0.61 c END convert (0.441043 seconds)
0.65 c # CONVERT_XML END : /tmp/evaluation/229088-1170106004/sugar24052.csp 721024 bytes (1 seconds) [Mon Jan 29 22:26:45 2007]
0.65 c # CONVERT_XML CPU : 0.01 = 0.01 + 0 + 0 + 0
0.65
0.65 c # GENERATE_SAT BEGIN : /tmp/evaluation/229088-1170106004/sugar24052.bcnf [Mon Jan 29 22:26:45 2007]
0.65 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/229088-1170106004/sugar-v0-40.jar -bcnf -map /tmp/evaluation/229088-1170106004/sugar24052.map /tmp/evaluation/229088-1170106004/sugar24052.csp /tmp/evaluation/229088-1170106004/sugar24052.bcnf
0.77 c BEGIN parse /tmp/evaluation/229088-1170106004/sugar24052.csp
3.72 c END parse (2.94817 seconds)
3.72 c BEGIN simplify
3.74 c END simplify (0.016273 seconds)
3.74 c BEGIN encode /tmp/evaluation/229088-1170106004/sugar24052.bcnf
3.90 c END encode (0.160566 seconds)
3.91 c # GENERATE_SAT END : 600 variables 22898 clauses 431460 bytes (3 seconds) [Mon Jan 29 22:26:48 2007]
3.91 c # GENERATE_SAT CPU : 3.21 = 0 + 0 + 3.12 + 0.09
3.91
3.91 c # SOLVE_SAT BEGIN : /tmp/evaluation/229088-1170106004/sugar24052.bcnf [Mon Jan 29 22:26:48 2007]
3.91 c # CMD : /tmp/evaluation/229088-1170106004/minisat /tmp/evaluation/229088-1170106004/sugar24052.bcnf /tmp/evaluation/229088-1170106004/sugar24052.out
3.93 c ==================================[MINISAT]===================================
3.93 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.93 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
3.93 c ==============================================================================
3.93 c | 0 | 22898 84961 | 7632 0 0 nan | 0.000 % |
3.94 c | 100 | 22898 84961 | 8395 100 835 8.3 | 0.000 % |
3.95 c | 250 | 22898 84961 | 9234 250 1956 7.8 | 0.009 % |
3.98 c | 477 | 22898 84961 | 10158 477 3723 7.8 | 0.012 % |
4.01 c | 815 | 22899 84961 | 11174 814 6721 8.3 | 0.012 % |
4.06 c | 1322 | 22901 84961 | 12291 1319 11570 8.8 | 0.009 % |
4.13 c | 2083 | 22901 84961 | 13520 2080 18979 9.1 | 0.004 % |
4.26 c | 3222 | 22902 84961 | 14872 3218 29884 9.3 | 0.012 % |
4.46 c | 4931 | 22903 84961 | 16359 4926 46895 9.5 | 0.012 % |
4.75 c | 7493 | 22908 84961 | 17995 7483 74123 9.9 | 0.009 % |
5.24 c | 11338 | 22920 84961 | 19795 11316 115069 10.2 | 0.011 % |
6.13 c | 17106 | 22926 84961 | 21774 17078 183737 10.8 | 0.003 % |
7.59 c | 25755 | 22932 84961 | 23952 14779 164728 11.1 | 0.004 % |
9.96 c | 38729 | 22935 84961 | 26347 15717 180307 11.5 | 0.008 % |
13.33 c | 58191 | 22877 84778 | 28982 16892 189754 11.2 | 0.167 % |
19.62 c | 87385 | 22897 84778 | 31880 16929 201517 11.9 | 0.167 % |
30.52 c | 131175 | 22713 84181 | 35068 25121 307931 12.3 | 0.500 % |
46.77 c | 196859 | 22507 83488 | 38575 22756 267124 11.7 | 0.836 % |
56.82 c ==============================================================================
56.82 c restarts : 18
56.82 c conflicts : 239160 (4555 /sec)
56.82 c decisions : 294665 (5612 /sec)
56.82 c propagations : 21947276 (418027 /sec)
56.82 c conflict literals : 3113786 (28.98 % deleted)
56.82 c Memory used : 6.87 MB
56.82 c CPU time : 52.502 s
56.82 c
56.82 c UNSATISFIABLE
56.83 c # SOLVE_SAT END : UNSATISFIABLE (53 seconds) [Mon Jan 29 22:27:41 2007]
56.83 c # SOLVE_SAT CPU : 52.52 = 0 + 0 + 52.5 + 0.02
56.83
56.83 c # RESULT : UNSATISFIABLE
56.83
56.83 c # OUTPUT_SOL BEGIN : UNSAT [Mon Jan 29 22:27:41 2007]
56.83 s UNSATISFIABLE
56.83 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 22:27:41 2007]
56.83 c # OUTPUT_SOL CPU : 0 = 0 + 0 + 0 + 0
56.83
56.83 c # MAIN END : (57 seconds) [Mon Jan 29 22:27:41 2007]
56.83 c # MAIN CPU : 55.74 = 0.01 + 0 + 55.62 + 0.11
56.83
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-229088-1170106004 -o ROOT/results/node21/solver-229088-1170106004 -C 1800 -M 900 /tmp/evaluation/229088-1170106004/solver /tmp/evaluation/229088-1170106004 /tmp/evaluation/229088-1170106004/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.79 2.28 2.78 5/89 24053
/proc/meminfo: memFree=1845048/2055920 swapFree=4192812/4192956
[pid=24052] ppid=24050 vsize=18540 CPUtime=0
/proc/24052/stat : 24052 (runsolver) R 24050 24052 23851 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30554350 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 221236489511 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24052/statm: 4635 279 244 17 0 2626 0
[startup+0.10867 s]
/proc/loadavg: 1.79 2.28 2.78 5/89 24053
/proc/meminfo: memFree=1845048/2055920 swapFree=4192812/4192956
[pid=24052] ppid=24050 vsize=13724 CPUtime=0.03
/proc/24052/stat : 24052 (sugar) S 24050 24052 23851 0 -1 4194304 1112 0 0 0 2 1 0 0 20 0 1 0 30554350 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24052/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.516719 s]
/proc/loadavg: 1.79 2.28 2.78 5/89 24053
/proc/meminfo: memFree=1845048/2055920 swapFree=4192812/4192956
[pid=24052] ppid=24050 vsize=13724 CPUtime=0.03
/proc/24052/stat : 24052 (sugar) S 24050 24052 23851 0 -1 4194304 1121 0 0 0 2 1 0 0 15 0 1 0 30554350 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24052/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33981 s]
/proc/loadavg: 1.79 2.28 2.78 4/98 24069
/proc/meminfo: memFree=1819248/2055920 swapFree=4192812/4192956
[pid=24052] ppid=24050 vsize=13724 CPUtime=0.04
/proc/24052/stat : 24052 (sugar) S 24050 24052 23851 0 -1 4194304 1190 0 0 0 3 1 0 0 15 0 1 0 30554350 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24052/statm: 3431 809 371 3 0 531 0
[pid=24054] ppid=24052 vsize=0 CPUtime=0.53
/proc/24054/stat : 24054 (java) Z 24052 24052 23851 0 -1 1036 7340 0 1 0 48 5 0 0 17 0 1 0 30554355 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24054/statm: 0 0 0 0 0 0 0
[pid=24062] ppid=24052 vsize=807064 CPUtime=0.66
/proc/24062/stat : 24062 (java) R 24052 24052 23851 0 -1 0 8164 0 1 0 62 4 0 0 18 0 8 0 30554415 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073529675 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24062/statm: 201766 7911 1494 14 0 189044 0
[pid=24062/tid=24063] ppid=24052 vsize=807064 CPUtime=0.12
/proc/24062/task/24063/stat : 24063 (java) S 24052 24052 23851 0 -1 64 2109 0 0 0 11 1 0 0 16 0 8 0 30554419 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24062/tid=24064] ppid=24052 vsize=807064 CPUtime=0
/proc/24062/task/24064/stat : 24064 (java) S 24052 24052 23851 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30554419 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24062/tid=24065] ppid=24052 vsize=807064 CPUtime=0
/proc/24062/task/24065/stat : 24065 (java) S 24052 24052 23851 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30554419 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24062/tid=24066] ppid=24052 vsize=807064 CPUtime=0
/proc/24062/task/24066/stat : 24066 (java) S 24052 24052 23851 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30554423 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24062/tid=24067] ppid=24052 vsize=807064 CPUtime=0.05
/proc/24062/task/24067/stat : 24067 (java) R 24052 24052 23851 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 30554423 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24062/tid=24068] ppid=24052 vsize=807064 CPUtime=0
/proc/24062/task/24068/stat : 24068 (java) S 24052 24052 23851 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30554423 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24062/tid=24069] ppid=24052 vsize=807064 CPUtime=0
/proc/24062/task/24069/stat : 24069 (java) S 24052 24052 23851 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30554423 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 820788
[startup+2.99299 s]
/proc/loadavg: 1.79 2.28 2.78 4/98 24069
/proc/meminfo: memFree=1805104/2055920 swapFree=4192812/4192956
[pid=24052] ppid=24050 vsize=13724 CPUtime=0.04
/proc/24052/stat : 24052 (sugar) S 24050 24052 23851 0 -1 4194304 1190 0 0 0 3 1 0 0 15 0 1 0 30554350 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24052/statm: 3431 809 371 3 0 531 0
[pid=24054] ppid=24052 vsize=0 CPUtime=0.53
/proc/24054/stat : 24054 (java) Z 24052 24052 23851 0 -1 1036 7340 0 1 0 48 5 0 0 17 0 1 0 30554355 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24054/statm: 0 0 0 0 0 0 0
[pid=24062] ppid=24052 vsize=807336 CPUtime=2.3
/proc/24062/stat : 24062 (java) R 24052 24052 23851 0 -1 0 12093 0 1 0 224 6 0 0 24 0 8 0 30554415 826712064 11827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24062/statm: 201834 11827 1507 14 0 189112 0
[pid=24062/tid=24063] ppid=24052 vsize=807336 CPUtime=0.37
/proc/24062/task/24063/stat : 24063 (java) S 24052 24052 23851 0 -1 64 5894 0 0 0 34 3 0 0 16 0 8 0 30554419 826712064 11827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24062/tid=24064] ppid=24052 vsize=807336 CPUtime=0
/proc/24062/task/24064/stat : 24064 (java) S 24052 24052 23851 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30554419 826712064 11827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24062/tid=24065] ppid=24052 vsize=807336 CPUtime=0
/proc/24062/task/24065/stat : 24065 (java) S 24052 24052 23851 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30554419 826712064 11827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24062/tid=24066] ppid=24052 vsize=807336 CPUtime=0
/proc/24062/task/24066/stat : 24066 (java) S 24052 24052 23851 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30554423 826712064 11827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24062/tid=24067] ppid=24052 vsize=807336 CPUtime=0.12
/proc/24062/task/24067/stat : 24067 (java) S 24052 24052 23851 0 -1 64 399 0 0 0 12 0 0 0 20 0 8 0 30554423 826712064 11827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24062/tid=24068] ppid=24052 vsize=807336 CPUtime=0
/proc/24062/task/24068/stat : 24068 (java) S 24052 24052 23851 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30554423 826712064 11827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24062/tid=24069] ppid=24052 vsize=807336 CPUtime=0
/proc/24062/task/24069/stat : 24069 (java) S 24052 24052 23851 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30554423 826712064 11827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 821060
[startup+6.28634 s]
/proc/loadavg: 1.81 2.28 2.77 3/91 24070
/proc/meminfo: memFree=1838504/2055920 swapFree=4192812/4192956
[pid=24052] ppid=24050 vsize=13724 CPUtime=3.25
/proc/24052/stat : 24052 (sugar) S 24050 24052 23851 0 -1 4194304 1280 15168 0 1 3 1 312 9 16 0 1 0 30554350 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24052/statm: 3431 819 373 3 0 531 0
[pid=24054] ppid=24052 vsize=0 CPUtime=0.53
/proc/24054/stat : 24054 (java) Z 24052 24052 23851 0 -1 1036 7340 0 1 0 48 5 0 0 17 0 1 0 30554355 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24054/statm: 0 0 0 0 0 0 0
[pid=24070] ppid=24052 vsize=4044 CPUtime=2.34
/proc/24070/stat : 24070 (minisat) R 24052 24052 23851 0 -1 0 786 0 0 0 234 0 0 0 25 0 1 0 30554742 4141056 666 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 1 0 0
/proc/24070/statm: 1011 666 51 112 0 895 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 17768
[startup+12.7651 s]
/proc/loadavg: 1.83 2.27 2.77 3/91 24070
/proc/meminfo: memFree=1836264/2055920 swapFree=4192812/4192956
[pid=24052] ppid=24050 vsize=13724 CPUtime=3.25
/proc/24052/stat : 24052 (sugar) S 24050 24052 23851 0 -1 4194304 1280 15168 0 1 3 1 312 9 16 0 1 0 30554350 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24052/statm: 3431 819 373 3 0 531 0
[pid=24054] ppid=24052 vsize=0 CPUtime=0.53
/proc/24054/stat : 24054 (java) Z 24052 24052 23851 0 -1 1036 7340 0 1 0 48 5 0 0 17 0 1 0 30554355 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24054/statm: 0 0 0 0 0 0 0
[pid=24070] ppid=24052 vsize=4884 CPUtime=8.75
/proc/24070/stat : 24070 (minisat) R 24052 24052 23851 0 -1 0 1000 0 0 0 875 0 0 0 25 0 1 0 30554742 5001216 880 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528105 0 0 4096 3 0 0 0 17 1 0 0
/proc/24070/statm: 1221 880 51 112 0 1105 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 18608
[startup+25.5985 s]
/proc/loadavg: 1.86 2.26 2.76 3/91 24070
/proc/meminfo: memFree=1834536/2055920 swapFree=4192812/4192956
[pid=24052] ppid=24050 vsize=13724 CPUtime=3.25
/proc/24052/stat : 24052 (sugar) S 24050 24052 23851 0 -1 4194304 1280 15168 0 1 3 1 312 9 16 0 1 0 30554350 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24052/statm: 3431 819 373 3 0 531 0
[pid=24054] ppid=24052 vsize=0 CPUtime=0.53
/proc/24054/stat : 24054 (java) Z 24052 24052 23851 0 -1 1036 7340 0 1 0 48 5 0 0 17 0 1 0 30554355 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24054/statm: 0 0 0 0 0 0 0
[pid=24070] ppid=24052 vsize=5976 CPUtime=21.48
/proc/24070/stat : 24070 (minisat) R 24052 24052 23851 0 -1 0 1274 0 0 0 2147 1 0 0 25 0 1 0 30554742 6119424 1154 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528704 0 0 4096 3 0 0 0 17 1 0 0
/proc/24070/statm: 1494 1154 51 112 0 1378 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 19700
[startup+51.2863 s]
/proc/loadavg: 1.84 2.22 2.73 3/90 24142
/proc/meminfo: memFree=1836200/2055920 swapFree=4192812/4192956
[pid=24052] ppid=24050 vsize=13724 CPUtime=3.25
/proc/24052/stat : 24052 (sugar) S 24050 24052 23851 0 -1 4194304 1280 15168 0 1 3 1 312 9 16 0 1 0 30554350 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221245386850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24052/statm: 3431 819 373 3 0 531 0
[pid=24054] ppid=24052 vsize=0 CPUtime=0.53
/proc/24054/stat : 24054 (java) Z 24052 24052 23851 0 -1 1036 7340 0 1 0 48 5 0 0 17 0 1 0 30554355 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24054/statm: 0 0 0 0 0 0 0
[pid=24070] ppid=24052 vsize=6644 CPUtime=46.97
/proc/24070/stat : 24070 (minisat) R 24052 24052 23851 0 -1 0 1430 0 0 0 4696 1 0 0 25 0 1 0 30554742 6803456 1310 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525599 0 0 4096 3 0 0 0 17 0 0 0
/proc/24070/statm: 1661 1310 51 112 0 1545 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 20368
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24052 and gives childrusage.ru_utime.tv_sec=55 childrusage.ru_utime.tv_usec=657538 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=135979
CPU time returned by wait4() is 55.7935
while last known CPU time is 56.21
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 56.8349
CPU time (s): 56.21
CPU user time (s): 56.04
CPU system time (s): 0.17
CPU usage (%): 98.9005
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.6575
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18061
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 728
involuntary context switches= 2496
runsolver used 0.065989 s user time and 0.19497 s system time
The end
Begin job on node21 on Mon Jan 29 21:26:44 UTC 2007
IDJOB= 229088
IDBENCH= 6277
IDSOLVER= 86
FILE ID= node21/229088-1170106004
PBS_JOBID= 3689845
Free space on /tmp= 66562 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-19_ext.xml
COMMAND LINE= /tmp/evaluation/229088-1170106004/solver /tmp/evaluation/229088-1170106004 /tmp/evaluation/229088-1170106004/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-229088-1170106004 -o ROOT/results/node21/solver-229088-1170106004 -C 1800 -M 900 /tmp/evaluation/229088-1170106004/solver /tmp/evaluation/229088-1170106004 /tmp/evaluation/229088-1170106004/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= d311083315b0da819371623aaae8ec05
RANDOM SEED= 356355195
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.245
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.245
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: 1845528 kB
Buffers: 35480 kB
Cached: 63664 kB
SwapCached: 0 kB
Active: 106788 kB
Inactive: 55480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1845528 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3140 kB
Writeback: 0 kB
Mapped: 82832 kB
Slab: 33180 kB
Committed_AS: 438960 kB
PageTables: 2032 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= 66562 MiB
End job on node21 on Mon Jan 29 21:27:41 UTC 2007