0.19 c # Sugar v0-40 (/tmp/evaluation/236184-1170107999/sugar-v0-40.jar)
0.19
0.20 c # MAIN BEGIN : /tmp/evaluation/236184-1170107999/unknown.xml [Mon Jan 29 22:59:59 2007]
0.20 c # CONVERT_XML BEGIN : /tmp/evaluation/236184-1170107999/unknown.xml /tmp/evaluation/236184-1170107999/sugar28228.csp [Mon Jan 29 22:59:59 2007]
0.20 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236184-1170107999/sugar-v0-40.jar -convert /tmp/evaluation/236184-1170107999/unknown.xml /tmp/evaluation/236184-1170107999/sugar28228.csp
0.49 c BEGIN convert /tmp/evaluation/236184-1170107999/unknown.xml
1.44 c END convert (0.941684 seconds)
1.49 c # CONVERT_XML END : /tmp/evaluation/236184-1170107999/sugar28228.csp 184026 bytes (2 seconds) [Mon Jan 29 23:00:01 2007]
1.49 c # CONVERT_XML CPU : 1.01 = 0 + 0 + 0.92 + 0.09
1.49
1.49 c # GENERATE_SAT BEGIN : /tmp/evaluation/236184-1170107999/sugar28228.bcnf [Mon Jan 29 23:00:01 2007]
1.49 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236184-1170107999/sugar-v0-40.jar -bcnf -map /tmp/evaluation/236184-1170107999/sugar28228.map /tmp/evaluation/236184-1170107999/sugar28228.csp /tmp/evaluation/236184-1170107999/sugar28228.bcnf
1.61 c BEGIN parse /tmp/evaluation/236184-1170107999/sugar28228.csp
2.49 c END parse (0.88018 seconds)
2.49 c BEGIN simplify
2.51 c END simplify (0.024153 seconds)
2.51 c BEGIN encode /tmp/evaluation/236184-1170107999/sugar28228.bcnf
163.45 c END encode (160.937187 seconds)
163.62 c # GENERATE_SAT END : 85881188 variables 239605152 clauses 3087404908 bytes (162 seconds) [Mon Jan 29 23:02:43 2007]
163.62 c # GENERATE_SAT CPU : 157.84 = 0.12 + 0.01 + 145.41 + 12.3
163.62
163.62 c # SOLVE_SAT BEGIN : /tmp/evaluation/236184-1170107999/sugar28228.bcnf [Mon Jan 29 23:02:43 2007]
163.62 c # CMD : /tmp/evaluation/236184-1170107999/minisat /tmp/evaluation/236184-1170107999/sugar28228.bcnf /tmp/evaluation/236184-1170107999/sugar28228.out
163.62 c ERROR! Could not open file: /tmp/evaluation/236184-1170107999/sugar28228.bcnf
163.62 s UNKNOWN
163.62 c # ERROR No such file or directory /tmp/evaluation/236184-1170107999/sugar28228.out, at /tmp/evaluation/236184-1170107999/sugar line 393.
163.62
163.62 c # MAIN END : (164 seconds) [Mon Jan 29 23:02:43 2007]
163.62 c # MAIN CPU : 158.85 = 0.12 + 0.01 + 146.33 + 12.39
163.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-236184-1170107999 -o ROOT/results/node1/solver-236184-1170107999 -C 1800 -M 900 /tmp/evaluation/236184-1170107999/solver /tmp/evaluation/236184-1170107999 /tmp/evaluation/236184-1170107999/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.75 3.28 3.03 5/87 28229
/proc/meminfo: memFree=1881864/2055920 swapFree=4192812/4192956
[pid=28228] ppid=28226 vsize=18540 CPUtime=0
/proc/28228/stat : 28228 (runsolver) R 28226 28228 27979 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30754989 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 259353275687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/28228/statm: 4635 279 244 17 0 2626 0
[startup+0.108575 s]
/proc/loadavg: 2.75 3.28 3.03 5/87 28229
/proc/meminfo: memFree=1881864/2055920 swapFree=4192812/4192956
[pid=28228] ppid=28226 vsize=12272 CPUtime=0
/proc/28228/stat : 28228 (sugar) R 28226 28228 27979 0 -1 4194304 650 0 4 0 0 0 0 0 18 0 1 0 30754989 12566528 373 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259362175998 0 0 4224 0 0 0 0 17 1 0 0
/proc/28228/statm: 3068 373 275 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272
[startup+0.516625 s]
/proc/loadavg: 2.75 3.28 3.03 5/87 28229
/proc/meminfo: memFree=1881864/2055920 swapFree=4192812/4192956
[pid=28228] ppid=28226 vsize=13724 CPUtime=0.04
/proc/28228/stat : 28228 (sugar) S 28226 28228 27979 0 -1 4194304 1117 0 4 0 3 1 0 0 15 0 1 0 30754989 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28228/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34072 s]
/proc/loadavg: 2.69 3.26 3.02 3/95 28237
/proc/meminfo: memFree=1854728/2055920 swapFree=4192812/4192956
[pid=28228] ppid=28226 vsize=13724 CPUtime=0.04
/proc/28228/stat : 28228 (sugar) S 28226 28228 27979 0 -1 4194304 1117 0 4 0 3 1 0 0 15 0 1 0 30754989 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28228/statm: 3431 805 368 3 0 531 0
[pid=28230] ppid=28228 vsize=807416 CPUtime=0.91
/proc/28230/stat : 28230 (java) R 28228 28228 27979 0 -1 0 7463 0 32 0 83 8 0 0 23 0 8 0 30755009 826793984 7242 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28230/statm: 201854 7243 1693 14 0 189132 0
[pid=28230/tid=28231] ppid=28228 vsize=807416 CPUtime=0.02
/proc/28230/task/28231/stat : 28231 (java) R 28228 28228 27979 0 -1 64 895 0 0 0 2 0 0 0 17 0 8 0 30755029 826793984 7244 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28230/tid=28232] ppid=28228 vsize=807416 CPUtime=0
/proc/28230/task/28232/stat : 28232 (java) S 28228 28228 27979 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 30755030 826793984 7245 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28230/tid=28233] ppid=28228 vsize=807416 CPUtime=0
/proc/28230/task/28233/stat : 28233 (java) S 28228 28228 27979 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30755030 826793984 7247 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28230/tid=28234] ppid=28228 vsize=807416 CPUtime=0
/proc/28230/task/28234/stat : 28234 (java) S 28228 28228 27979 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30755033 826793984 7248 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28230/tid=28235] ppid=28228 vsize=807416 CPUtime=0.15
/proc/28230/task/28235/stat : 28235 (java) S 28228 28228 27979 0 -1 64 420 0 0 0 14 1 0 0 16 0 8 0 30755033 826793984 7249 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28230/tid=28236] ppid=28228 vsize=807416 CPUtime=0
/proc/28230/task/28236/stat : 28236 (java) S 28228 28228 27979 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30755033 826793984 7250 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28230/tid=28237] ppid=28228 vsize=807416 CPUtime=0
/proc/28230/task/28237/stat : 28237 (java) S 28228 28228 27979 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30755033 826793984 7251 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 821140
[startup+2.98891 s]
/proc/loadavg: 2.69 3.26 3.02 3/95 28245
/proc/meminfo: memFree=1848008/2055920 swapFree=4192812/4192956
[pid=28228] ppid=28226 vsize=13724 CPUtime=1.05
/proc/28228/stat : 28228 (sugar) S 28226 28228 27979 0 -1 4194304 1186 8489 4 32 3 1 92 9 16 0 1 0 30754989 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28228/statm: 3431 809 371 3 0 531 0
[pid=28238] ppid=28228 vsize=807376 CPUtime=1.47
/proc/28238/stat : 28238 (java) R 28228 28228 27979 0 -1 0 8977 0 1 0 137 10 0 0 25 0 8 0 30755139 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28238/statm: 201844 8724 1508 14 0 189122 0
[pid=28238/tid=28239] ppid=28228 vsize=807376 CPUtime=0.14
/proc/28238/task/28239/stat : 28239 (java) S 28228 28228 27979 0 -1 64 2743 0 0 0 13 1 0 0 16 0 8 0 30755142 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28240] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28240/stat : 28240 (java) S 28228 28228 27979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30755142 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28241] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28241/stat : 28241 (java) S 28228 28228 27979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30755142 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28242] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28242/stat : 28242 (java) S 28228 28228 27979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30755145 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28243] ppid=28228 vsize=807376 CPUtime=0.15
/proc/28238/task/28243/stat : 28243 (java) S 28228 28228 27979 0 -1 64 425 0 0 0 15 0 0 0 16 0 8 0 30755145 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28244] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28244/stat : 28244 (java) S 28228 28228 27979 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30755145 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28245] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28245/stat : 28245 (java) S 28228 28228 27979 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30755145 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 821100
[startup+6.2683 s]
/proc/loadavg: 2.63 3.24 3.02 3/95 28245
/proc/meminfo: memFree=1755464/2055920 swapFree=4192812/4192956
[pid=28228] ppid=28226 vsize=13724 CPUtime=1.05
/proc/28228/stat : 28228 (sugar) S 28226 28228 27979 0 -1 4194304 1186 8489 4 32 3 1 92 9 16 0 1 0 30754989 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28228/statm: 3431 809 371 3 0 531 0
[pid=28238] ppid=28228 vsize=807376 CPUtime=4.73
/proc/28238/stat : 28238 (java) R 28228 28228 27979 0 -1 0 8978 0 1 0 433 40 0 0 25 0 8 0 30755139 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28238/statm: 201844 8724 1508 14 0 189122 0
[pid=28238/tid=28239] ppid=28228 vsize=807376 CPUtime=0.14
/proc/28238/task/28239/stat : 28239 (java) S 28228 28228 27979 0 -1 64 2743 0 0 0 13 1 0 0 16 0 8 0 30755142 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28240] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28240/stat : 28240 (java) S 28228 28228 27979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30755142 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28241] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28241/stat : 28241 (java) S 28228 28228 27979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30755142 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28242] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28242/stat : 28242 (java) S 28228 28228 27979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30755145 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28243] ppid=28228 vsize=807376 CPUtime=0.15
/proc/28238/task/28243/stat : 28243 (java) S 28228 28228 27979 0 -1 64 425 0 0 0 15 0 0 0 16 0 8 0 30755145 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28244] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28244/stat : 28244 (java) S 28228 28228 27979 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30755145 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28245] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28245/stat : 28245 (java) S 28228 28228 27979 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30755145 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 821100
[startup+12.7701 s]
/proc/loadavg: 2.66 3.23 3.02 3/95 28245
/proc/meminfo: memFree=1560456/2055920 swapFree=4192812/4192956
[pid=28228] ppid=28226 vsize=13724 CPUtime=1.05
/proc/28228/stat : 28228 (sugar) S 28226 28228 27979 0 -1 4194304 1186 8489 4 32 3 1 92 9 16 0 1 0 30754989 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28228/statm: 3431 809 371 3 0 531 0
[pid=28238] ppid=28228 vsize=807376 CPUtime=11.12
/proc/28238/stat : 28238 (java) R 28228 28228 27979 0 -1 0 8978 0 1 0 1007 105 0 0 25 0 8 0 30755139 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28238/statm: 201844 8724 1508 14 0 189122 0
[pid=28238/tid=28239] ppid=28228 vsize=807376 CPUtime=0.14
/proc/28238/task/28239/stat : 28239 (java) S 28228 28228 27979 0 -1 64 2743 0 0 0 13 1 0 0 16 0 8 0 30755142 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28240] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28240/stat : 28240 (java) S 28228 28228 27979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30755142 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28241] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28241/stat : 28241 (java) S 28228 28228 27979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30755142 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28242] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28242/stat : 28242 (java) S 28228 28228 27979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30755145 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28243] ppid=28228 vsize=807376 CPUtime=0.15
/proc/28238/task/28243/stat : 28243 (java) S 28228 28228 27979 0 -1 64 425 0 0 0 15 0 0 0 16 0 8 0 30755145 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28244] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28244/stat : 28244 (java) S 28228 28228 27979 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30755145 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28245] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28245/stat : 28245 (java) S 28228 28228 27979 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30755145 826753024 8724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 821100
[startup+25.6476 s]
/proc/loadavg: 3.02 3.29 3.04 3/95 28247
/proc/meminfo: memFree=1216008/2055920 swapFree=4192812/4192956
[pid=28228] ppid=28226 vsize=13724 CPUtime=1.05
/proc/28228/stat : 28228 (sugar) S 28226 28228 27979 0 -1 4194304 1186 8489 4 32 3 1 92 9 16 0 1 0 30754989 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28228/statm: 3431 809 371 3 0 531 0
[pid=28238] ppid=28228 vsize=807376 CPUtime=23.69
/proc/28238/stat : 28238 (java) R 28228 28228 27979 0 -1 0 8980 0 1 0 2126 243 0 0 25 0 8 0 30755139 826753024 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28238/statm: 201844 8726 1508 14 0 189122 0
[pid=28238/tid=28239] ppid=28228 vsize=807376 CPUtime=0.14
/proc/28238/task/28239/stat : 28239 (java) S 28228 28228 27979 0 -1 64 2743 0 0 0 13 1 0 0 16 0 8 0 30755142 826753024 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28240] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28240/stat : 28240 (java) S 28228 28228 27979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30755142 826753024 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28241] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28241/stat : 28241 (java) S 28228 28228 27979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30755142 826753024 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28242] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28242/stat : 28242 (java) S 28228 28228 27979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30755145 826753024 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28243] ppid=28228 vsize=807376 CPUtime=0.16
/proc/28238/task/28243/stat : 28243 (java) S 28228 28228 27979 0 -1 64 427 0 0 0 16 0 0 0 17 0 8 0 30755145 826753024 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28244] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28244/stat : 28244 (java) S 28228 28228 27979 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30755145 826753024 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28245] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28245/stat : 28245 (java) S 28228 28228 27979 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30755145 826753024 8726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.74
Current children cumulated vsize (KiB) 821100
[startup+51.3106 s]
/proc/loadavg: 4.01 3.49 3.11 3/99 28257
/proc/meminfo: memFree=622312/2055920 swapFree=4192812/4192956
[pid=28228] ppid=28226 vsize=13724 CPUtime=1.05
/proc/28228/stat : 28228 (sugar) S 28226 28228 27979 0 -1 4194304 1186 8489 4 32 3 1 92 9 16 0 1 0 30754989 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28228/statm: 3431 809 371 3 0 531 0
[pid=28238] ppid=28228 vsize=807376 CPUtime=48.84
/proc/28238/stat : 28238 (java) R 28228 28228 27979 0 -1 0 10726 0 1 0 4413 471 0 0 25 0 8 0 30755139 826753024 10469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839886 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28238/statm: 201844 10469 1510 14 0 189122 0
[pid=28238/tid=28239] ppid=28228 vsize=807376 CPUtime=0.18
/proc/28238/task/28239/stat : 28239 (java) S 28228 28228 27979 0 -1 64 4475 0 0 0 16 2 0 0 16 0 8 0 30755142 826753024 10469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28240] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28240/stat : 28240 (java) S 28228 28228 27979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30755142 826753024 10469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28241] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28241/stat : 28241 (java) S 28228 28228 27979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30755142 826753024 10469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28242] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28242/stat : 28242 (java) S 28228 28228 27979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30755145 826753024 10469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28243] ppid=28228 vsize=807376 CPUtime=0.17
/proc/28238/task/28243/stat : 28243 (java) S 28228 28228 27979 0 -1 64 437 0 0 0 17 0 0 0 15 0 8 0 30755145 826753024 10469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28244] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28244/stat : 28244 (java) S 28228 28228 27979 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30755145 826753024 10469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28245] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28245/stat : 28245 (java) S 28228 28228 27979 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30755145 826753024 10469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 49.89
Current children cumulated vsize (KiB) 821100
[startup+102.525 s]
/proc/loadavg: 4.25 3.65 3.18 3/101 28365
/proc/meminfo: memFree=15568/2055920 swapFree=4192812/4192956
[pid=28228] ppid=28226 vsize=13724 CPUtime=1.05
/proc/28228/stat : 28228 (sugar) S 28226 28228 27979 0 -1 4194304 1186 8489 4 32 3 1 92 9 16 0 1 0 30754989 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28228/statm: 3431 809 371 3 0 531 0
[pid=28238] ppid=28228 vsize=807376 CPUtime=98.72
/proc/28238/stat : 28238 (java) R 28228 28228 27979 0 -1 0 10727 0 1 0 9067 805 0 0 25 0 8 0 30755139 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28238/statm: 201844 10470 1510 14 0 189122 0
[pid=28238/tid=28239] ppid=28228 vsize=807376 CPUtime=0.18
/proc/28238/task/28239/stat : 28239 (java) S 28228 28228 27979 0 -1 64 4475 0 0 0 16 2 0 0 16 0 8 0 30755142 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28240] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28240/stat : 28240 (java) S 28228 28228 27979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30755142 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28241] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28241/stat : 28241 (java) S 28228 28228 27979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30755142 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28242] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28242/stat : 28242 (java) S 28228 28228 27979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30755145 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28243] ppid=28228 vsize=807376 CPUtime=0.18
/proc/28238/task/28243/stat : 28243 (java) S 28228 28228 27979 0 -1 64 438 0 0 0 18 0 0 0 15 0 8 0 30755145 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28244] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28244/stat : 28244 (java) S 28228 28228 27979 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30755145 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28245] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28245/stat : 28245 (java) S 28228 28228 27979 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30755145 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.77
Current children cumulated vsize (KiB) 821100
[startup+162.624 s]
/proc/loadavg: 3.31 3.50 3.16 3/103 28522
/proc/meminfo: memFree=15432/2055920 swapFree=4192812/4192956
[pid=28228] ppid=28226 vsize=13724 CPUtime=1.05
/proc/28228/stat : 28228 (sugar) S 28226 28228 27979 0 -1 4194304 1186 8489 4 32 3 1 92 9 16 0 1 0 30754989 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28228/statm: 3431 809 371 3 0 531 0
[pid=28238] ppid=28228 vsize=807376 CPUtime=157.09
/proc/28238/stat : 28238 (java) R 28228 28228 27979 0 -1 0 10727 0 1 0 14486 1223 0 0 25 0 8 0 30755139 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28238/statm: 201844 10470 1510 14 0 189122 0
[pid=28238/tid=28239] ppid=28228 vsize=807376 CPUtime=0.18
/proc/28238/task/28239/stat : 28239 (java) S 28228 28228 27979 0 -1 64 4475 0 0 0 16 2 0 0 16 0 8 0 30755142 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28240] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28240/stat : 28240 (java) S 28228 28228 27979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30755142 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28241] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28241/stat : 28241 (java) S 28228 28228 27979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30755142 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28242] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28242/stat : 28242 (java) S 28228 28228 27979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30755145 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28243] ppid=28228 vsize=807376 CPUtime=0.18
/proc/28238/task/28243/stat : 28243 (java) S 28228 28228 27979 0 -1 64 438 0 0 0 18 0 0 0 15 0 8 0 30755145 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28244] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28244/stat : 28244 (java) S 28228 28228 27979 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30755145 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28238/tid=28245] ppid=28228 vsize=807376 CPUtime=0
/proc/28238/task/28245/stat : 28245 (java) S 28228 28228 27979 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30755145 826753024 10470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 158.14
Current children cumulated vsize (KiB) 821100
Child status: 1
Real time (s): 168.214
CPU time (s): 159.961
CPU user time (s): 146.495
CPU system time (s): 13.466
CPU usage (%): 95.0937
Max. virtual memory (cumulated for all children) (KiB): 821140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 146.495
system time used= 13.466
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22587
page faults= 37
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5014
involuntary context switches= 10753
runsolver used 0.238963 s user time and 0.597909 s system time
The end
Begin job on node1 on Mon Jan 29 21:59:59 UTC 2007
IDJOB= 236184
IDBENCH= 6827
IDSOLVER= 86
FILE ID= node1/236184-1170107999
PBS_JOBID= 3689917
Free space on /tmp= 66558 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER6-2-fair.xml
COMMAND LINE= /tmp/evaluation/236184-1170107999/solver /tmp/evaluation/236184-1170107999 /tmp/evaluation/236184-1170107999/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-236184-1170107999 -o ROOT/results/node1/solver-236184-1170107999 -C 1800 -M 900 /tmp/evaluation/236184-1170107999/solver /tmp/evaluation/236184-1170107999 /tmp/evaluation/236184-1170107999/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 14543e374319d153295e9e3e746d4dfe
RANDOM SEED= 231333359
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.230
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.230
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: 1882536 kB
Buffers: 8348 kB
Cached: 38164 kB
SwapCached: 0 kB
Active: 107984 kB
Inactive: 13684 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1882536 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1804 kB
Writeback: 0 kB
Mapped: 94912 kB
Slab: 36660 kB
Committed_AS: 489460 kB
PageTables: 2184 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= 66361 MiB
End job on node1 on Mon Jan 29 22:02:47 UTC 2007