0.05 c # Sugar v0-40 (/tmp/evaluation/212151-1170098824/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/212151-1170098824/unknown.xml [Mon Jan 29 20:27:05 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/212151-1170098824/unknown.xml /tmp/evaluation/212151-1170098824/sugar26149.csp [Mon Jan 29 20:27:05 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/212151-1170098824/sugar-v0-40.jar -convert /tmp/evaluation/212151-1170098824/unknown.xml /tmp/evaluation/212151-1170098824/sugar26149.csp
0.17 c BEGIN convert /tmp/evaluation/212151-1170098824/unknown.xml
0.72 c END convert (0.550247 seconds)
0.76 c # CONVERT_XML END : /tmp/evaluation/212151-1170098824/sugar26149.csp 173514 bytes (1 seconds) [Mon Jan 29 20:27:06 2007]
0.76 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.76
0.76 c # GENERATE_SAT BEGIN : /tmp/evaluation/212151-1170098824/sugar26149.bcnf [Mon Jan 29 20:27:06 2007]
0.76 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/212151-1170098824/sugar-v0-40.jar -bcnf -map /tmp/evaluation/212151-1170098824/sugar26149.map /tmp/evaluation/212151-1170098824/sugar26149.csp /tmp/evaluation/212151-1170098824/sugar26149.bcnf
0.88 c BEGIN parse /tmp/evaluation/212151-1170098824/sugar26149.csp
3.14 c END parse (2.266797 seconds)
3.14 c BEGIN simplify
3.15 c END simplify (0.007087 seconds)
3.15 c BEGIN encode /tmp/evaluation/212151-1170098824/sugar26149.bcnf
51.60 c END encode (48.448758 seconds)
51.74 c # GENERATE_SAT END : 367869 variables 51155201 clauses 814012672 bytes (51 seconds) [Mon Jan 29 20:27:57 2007]
51.74 c # GENERATE_SAT CPU : 49.64 = 0.09 + 0.01 + 46.26 + 3.28
51.74
51.74 c # SOLVE_SAT BEGIN : /tmp/evaluation/212151-1170098824/sugar26149.bcnf [Mon Jan 29 20:27:57 2007]
51.75 c # CMD : /tmp/evaluation/212151-1170098824/minisat /tmp/evaluation/212151-1170098824/sugar26149.bcnf /tmp/evaluation/212151-1170098824/sugar26149.out
63.52
63.52 s UNKNOWN
63.52 c # INTERRUPTED
63.52 c # MAIN END : (63 seconds) [Mon Jan 29 20:28:08 2007]
63.52 c # MAIN CPU : 49.64 = 0.09 + 0.01 + 46.26 + 3.28
63.52
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-212151-1170098824 -o ROOT/results/node15/solver-212151-1170098824 -C 1800 -M 900 /tmp/evaluation/212151-1170098824/solver /tmp/evaluation/212151-1170098824 /tmp/evaluation/212151-1170098824/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.12 2.03 2.11 5/94 26150
/proc/meminfo: memFree=1786576/2055920 swapFree=4192812/4192956
[pid=26149] ppid=26147 vsize=18540 CPUtime=0
/proc/26149/stat : 26149 (runsolver) R 26147 26149 25595 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 29836863 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 240472616231 0 0 4096 24578 0 0 0 17 1 0 0
/proc/26149/statm: 4635 279 244 17 0 2626 0
[startup+0.108585 s]
/proc/loadavg: 2.12 2.03 2.11 5/94 26150
/proc/meminfo: memFree=1786576/2055920 swapFree=4192812/4192956
[pid=26149] ppid=26147 vsize=13724 CPUtime=0.04
/proc/26149/stat : 26149 (sugar) S 26147 26149 25595 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 29836863 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26149/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.520664 s]
/proc/loadavg: 2.12 2.03 2.11 5/94 26150
/proc/meminfo: memFree=1786576/2055920 swapFree=4192812/4192956
[pid=26149] ppid=26147 vsize=13724 CPUtime=0.04
/proc/26149/stat : 26149 (sugar) S 26147 26149 25595 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29836863 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26149/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.3418 s]
/proc/loadavg: 2.12 2.03 2.11 4/103 26166
/proc/meminfo: memFree=1764048/2055920 swapFree=4192812/4192956
[pid=26149] ppid=26147 vsize=13724 CPUtime=0.04
/proc/26149/stat : 26149 (sugar) S 26147 26149 25595 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29836863 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26149/statm: 3431 808 370 3 0 531 0
[pid=26151] ppid=26149 vsize=0 CPUtime=0.66
/proc/26151/stat : 26151 (java) Z 26149 26149 25595 0 -1 1036 7872 0 1 0 60 6 0 0 17 0 1 0 29836868 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26151/statm: 0 0 0 0 0 0 0
[pid=26159] ppid=26149 vsize=807384 CPUtime=0.55
/proc/26159/stat : 26159 (java) S 26149 26149 25595 0 -1 0 6990 0 1 0 51 4 0 0 17 0 8 0 29836939 826761216 6739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26159/statm: 201846 6739 1506 14 0 189124 0
[pid=26159/tid=26160] ppid=26149 vsize=807384 CPUtime=0.03
/proc/26159/task/26160/stat : 26160 (java) R 26149 26149 25595 0 -1 64 803 0 0 0 3 0 0 0 16 0 8 0 29836942 826761216 6739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155533171 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26161] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26161/stat : 26161 (java) S 26149 26149 25595 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29836943 826761216 6739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26162] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26162/stat : 26162 (java) S 26149 26149 25595 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29836943 826761216 6739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26163] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26163/stat : 26163 (java) S 26149 26149 25595 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29836946 826761216 6739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26164] ppid=26149 vsize=807384 CPUtime=0.11
/proc/26159/task/26164/stat : 26164 (java) R 26149 26149 25595 0 -1 64 392 0 0 0 11 0 0 0 20 0 8 0 29836946 826761216 6739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26165] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26165/stat : 26165 (java) S 26149 26149 25595 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29836946 826761216 6739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26166] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26166/stat : 26166 (java) S 26149 26149 25595 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29836946 826761216 6739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 821108
[startup+2.98708 s]
/proc/loadavg: 2.12 2.03 2.11 3/103 26166
/proc/meminfo: memFree=1754832/2055920 swapFree=4192812/4192956
[pid=26149] ppid=26147 vsize=13724 CPUtime=0.04
/proc/26149/stat : 26149 (sugar) S 26147 26149 25595 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29836863 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26149/statm: 3431 808 370 3 0 531 0
[pid=26151] ppid=26149 vsize=0 CPUtime=0.66
/proc/26151/stat : 26151 (java) Z 26149 26149 25595 0 -1 1036 7872 0 1 0 60 6 0 0 17 0 1 0 29836868 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26151/statm: 0 0 0 0 0 0 0
[pid=26159] ppid=26149 vsize=807384 CPUtime=2.19
/proc/26159/stat : 26159 (java) R 26149 26149 25595 0 -1 0 9937 0 1 0 213 6 0 0 25 0 8 0 29836939 826761216 9673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26159/statm: 201846 9673 1506 14 0 189124 0
[pid=26159/tid=26160] ppid=26149 vsize=807384 CPUtime=0.22
/proc/26159/task/26160/stat : 26160 (java) S 26149 26149 25595 0 -1 64 3710 0 0 0 21 1 0 0 16 0 8 0 29836942 826761216 9673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26161] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26161/stat : 26161 (java) S 26149 26149 25595 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29836943 826761216 9673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26162] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26162/stat : 26162 (java) S 26149 26149 25595 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29836943 826761216 9673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26163] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26163/stat : 26163 (java) S 26149 26149 25595 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29836946 826761216 9673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26164] ppid=26149 vsize=807384 CPUtime=0.14
/proc/26159/task/26164/stat : 26164 (java) S 26149 26149 25595 0 -1 64 419 0 0 0 14 0 0 0 20 0 8 0 29836946 826761216 9673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26165] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26165/stat : 26165 (java) S 26149 26149 25595 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29836946 826761216 9673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26166] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26166/stat : 26166 (java) S 26149 26149 25595 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29836946 826761216 9673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 821108
[startup+6.19063 s]
/proc/loadavg: 2.11 2.03 2.11 4/103 26166
/proc/meminfo: memFree=1706960/2055920 swapFree=4192812/4192956
[pid=26149] ppid=26147 vsize=13724 CPUtime=0.04
/proc/26149/stat : 26149 (sugar) S 26147 26149 25595 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 29836863 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26149/statm: 3431 808 370 3 0 531 0
[pid=26151] ppid=26149 vsize=0 CPUtime=0.66
/proc/26151/stat : 26151 (java) Z 26149 26149 25595 0 -1 1036 7872 0 1 0 60 6 0 0 17 0 1 0 29836868 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26151/statm: 0 0 0 0 0 0 0
[pid=26159] ppid=26149 vsize=807384 CPUtime=5.35
/proc/26159/stat : 26159 (java) R 26149 26149 25595 0 -1 0 10143 0 1 0 511 24 0 0 25 0 8 0 29836939 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26159/statm: 201846 9876 1510 14 0 189124 0
[pid=26159/tid=26160] ppid=26149 vsize=807384 CPUtime=0.23
/proc/26159/task/26160/stat : 26160 (java) S 26149 26149 25595 0 -1 64 3876 0 0 0 22 1 0 0 16 0 8 0 29836942 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26161] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26161/stat : 26161 (java) S 26149 26149 25595 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29836943 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26162] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26162/stat : 26162 (java) S 26149 26149 25595 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29836943 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26163] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26163/stat : 26163 (java) S 26149 26149 25595 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29836946 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26164] ppid=26149 vsize=807384 CPUtime=0.16
/proc/26159/task/26164/stat : 26164 (java) S 26149 26149 25595 0 -1 64 433 0 0 0 16 0 0 0 16 0 8 0 29836946 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26165] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26165/stat : 26165 (java) S 26149 26149 25595 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29836946 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26166] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26166/stat : 26166 (java) S 26149 26149 25595 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29836946 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 821108
[startup+12.6798 s]
/proc/loadavg: 2.10 2.03 2.11 3/103 26166
/proc/meminfo: memFree=1590224/2055920 swapFree=4192812/4192956
[pid=26149] ppid=26147 vsize=13724 CPUtime=0.04
/proc/26149/stat : 26149 (sugar) S 26147 26149 25595 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 29836863 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26149/statm: 3431 808 370 3 0 531 0
[pid=26151] ppid=26149 vsize=0 CPUtime=0.66
/proc/26151/stat : 26151 (java) Z 26149 26149 25595 0 -1 1036 7872 0 1 0 60 6 0 0 17 0 1 0 29836868 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26151/statm: 0 0 0 0 0 0 0
[pid=26159] ppid=26149 vsize=807384 CPUtime=11.74
/proc/26159/stat : 26159 (java) R 26149 26149 25595 0 -1 0 10143 0 1 0 1110 64 0 0 25 0 8 0 29836939 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26159/statm: 201846 9876 1510 14 0 189124 0
[pid=26159/tid=26160] ppid=26149 vsize=807384 CPUtime=0.23
/proc/26159/task/26160/stat : 26160 (java) S 26149 26149 25595 0 -1 64 3876 0 0 0 22 1 0 0 16 0 8 0 29836942 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26161] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26161/stat : 26161 (java) S 26149 26149 25595 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29836943 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26162] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26162/stat : 26162 (java) S 26149 26149 25595 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29836943 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26163] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26163/stat : 26163 (java) S 26149 26149 25595 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29836946 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26164] ppid=26149 vsize=807384 CPUtime=0.16
/proc/26159/task/26164/stat : 26164 (java) S 26149 26149 25595 0 -1 64 433 0 0 0 16 0 0 0 16 0 8 0 29836946 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26165] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26165/stat : 26165 (java) S 26149 26149 25595 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29836946 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26166] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26166/stat : 26166 (java) S 26149 26149 25595 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29836946 826761216 9876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 821108
[startup+25.581 s]
/proc/loadavg: 2.08 2.03 2.11 3/103 26166
/proc/meminfo: memFree=1368144/2055920 swapFree=4192812/4192956
[pid=26149] ppid=26147 vsize=13724 CPUtime=0.04
/proc/26149/stat : 26149 (sugar) S 26147 26149 25595 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 29836863 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26149/statm: 3431 808 370 3 0 531 0
[pid=26151] ppid=26149 vsize=0 CPUtime=0.66
/proc/26151/stat : 26151 (java) Z 26149 26149 25595 0 -1 1036 7872 0 1 0 60 6 0 0 17 0 1 0 29836868 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26151/statm: 0 0 0 0 0 0 0
[pid=26159] ppid=26149 vsize=807384 CPUtime=24.27
/proc/26159/stat : 26159 (java) R 26149 26149 25595 0 -1 0 11320 0 1 0 2282 145 0 0 25 0 8 0 29836939 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815326 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26159/statm: 201846 11052 1510 14 0 189124 0
[pid=26159/tid=26160] ppid=26149 vsize=807384 CPUtime=0.24
/proc/26159/task/26160/stat : 26160 (java) S 26149 26149 25595 0 -1 64 5052 0 0 0 23 1 0 0 16 0 8 0 29836942 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26161] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26161/stat : 26161 (java) S 26149 26149 25595 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29836943 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26162] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26162/stat : 26162 (java) S 26149 26149 25595 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29836943 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26163] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26163/stat : 26163 (java) S 26149 26149 25595 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29836946 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26164] ppid=26149 vsize=807384 CPUtime=0.16
/proc/26159/task/26164/stat : 26164 (java) S 26149 26149 25595 0 -1 64 433 0 0 0 16 0 0 0 16 0 8 0 29836946 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26165] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26165/stat : 26165 (java) S 26149 26149 25595 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29836946 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26166] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26166/stat : 26166 (java) S 26149 26149 25595 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29836946 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 821108
[startup+51.2614 s]
/proc/loadavg: 2.20 2.06 2.11 3/103 26166
/proc/meminfo: memFree=917328/2055920 swapFree=4192812/4192956
[pid=26149] ppid=26147 vsize=13724 CPUtime=0.04
/proc/26149/stat : 26149 (sugar) S 26147 26149 25595 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 29836863 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26149/statm: 3431 808 370 3 0 531 0
[pid=26151] ppid=26149 vsize=0 CPUtime=0.66
/proc/26151/stat : 26151 (java) Z 26149 26149 25595 0 -1 1036 7872 0 1 0 60 6 0 0 17 0 1 0 29836868 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26151/statm: 0 0 0 0 0 0 0
[pid=26159] ppid=26149 vsize=807384 CPUtime=49.2
/proc/26159/stat : 26159 (java) R 26149 26149 25595 0 -1 0 11320 0 1 0 4595 325 0 0 25 0 8 0 29836939 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814878 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26159/statm: 201846 11052 1510 14 0 189124 0
[pid=26159/tid=26160] ppid=26149 vsize=807384 CPUtime=0.24
/proc/26159/task/26160/stat : 26160 (java) S 26149 26149 25595 0 -1 64 5052 0 0 0 23 1 0 0 16 0 8 0 29836942 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26161] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26161/stat : 26161 (java) S 26149 26149 25595 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29836943 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26162] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26162/stat : 26162 (java) S 26149 26149 25595 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29836943 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26163] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26163/stat : 26163 (java) S 26149 26149 25595 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29836946 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26164] ppid=26149 vsize=807384 CPUtime=0.16
/proc/26159/task/26164/stat : 26164 (java) S 26149 26149 25595 0 -1 64 433 0 0 0 16 0 0 0 16 0 8 0 29836946 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26165] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26165/stat : 26165 (java) S 26149 26149 25595 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29836946 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26159/tid=26166] ppid=26149 vsize=807384 CPUtime=0
/proc/26159/task/26166/stat : 26166 (java) S 26149 26149 25595 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29836946 826761216 11052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (KiB) 821108
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+63.5075 s]
/proc/loadavg: 2.16 2.05 2.11 3/96 26167
/proc/meminfo: memFree=64328/2055920 swapFree=4192812/4192956
[pid=26149] ppid=26147 vsize=20268 CPUtime=49.68
/proc/26149/stat : 26149 (sugar) S 26147 26149 25595 0 -1 4194304 2883 11334 0 1 12 2 4626 328 19 0 1 0 29836863 20754432 2405 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26149/statm: 5067 2405 373 3 0 2167 0
[pid=26151] ppid=26149 vsize=0 CPUtime=0.66
/proc/26151/stat : 26151 (java) Z 26149 26149 25595 0 -1 1036 7872 0 1 0 60 6 0 0 17 0 1 0 29836868 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26151/statm: 0 0 0 0 0 0 0
[pid=26167] ppid=26149 vsize=904180 CPUtime=11.63
/proc/26167/stat : 26167 (minisat) R 26149 26149 25595 0 -1 0 218665 0 0 0 1034 129 0 0 25 0 1 0 29842038 925880320 218460 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134637253 0 0 4096 0 0 0 0 17 1 0 0
/proc/26167/statm: 226045 218460 36 112 0 225929 0
Current children cumulated CPU time (s) 61.97
Current children cumulated vsize (KiB) 924448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26149 and gives childrusage.ru_utime.tv_sec=46 childrusage.ru_utime.tv_usec=384948 childrusage.ru_stime.tv_sec=3 childrusage.ru_stime.tv_usec=732432
CPU time returned by wait4() is 50.1174
while last known CPU time is 62.43
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 64.9551
CPU time (s): 62.43
CPU user time (s): 57.32
CPU system time (s): 5.11
CPU usage (%): 96.1126
Max. virtual memory (cumulated for all children) (KiB): 924448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.3849
system time used= 3.73243
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14312
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= 1688
involuntary context switches= 2942
runsolver used 0.087986 s user time and 0.263959 s system time
The end
Begin job on node15 on Mon Jan 29 19:27:04 UTC 2007
IDJOB= 212151
IDBENCH= 4748
IDSOLVER= 86
FILE ID= node15/212151-1170098824
PBS_JOBID= 3689458
Free space on /tmp= 66557 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-fiber.xml
COMMAND LINE= /tmp/evaluation/212151-1170098824/solver /tmp/evaluation/212151-1170098824 /tmp/evaluation/212151-1170098824/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-212151-1170098824 -o ROOT/results/node15/solver-212151-1170098824 -C 1800 -M 900 /tmp/evaluation/212151-1170098824/solver /tmp/evaluation/212151-1170098824 /tmp/evaluation/212151-1170098824/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 567e83c26ae8d206e42b8548a8ef8b41
RANDOM SEED= 221684949
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.276
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.276
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: 1787440 kB
Buffers: 36824 kB
Cached: 60960 kB
SwapCached: 0 kB
Active: 166544 kB
Inactive: 54040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1787440 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5752 kB
Writeback: 0 kB
Mapped: 148288 kB
Slab: 32588 kB
Committed_AS: 605792 kB
PageTables: 2332 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 node15 on Mon Jan 29 19:28:10 UTC 2007