0.60 c # Sugar v0-40 (/tmp/evaluation/287395-1170113494/sugar-v0-40.jar)
0.60
0.60 c # MAIN BEGIN : /tmp/evaluation/287395-1170113494/unknown.xml [Tue Jan 30 00:31:37 2007]
0.60 c # CONVERT_XML BEGIN : /tmp/evaluation/287395-1170113494/unknown.xml /tmp/evaluation/287395-1170113494/sugar30281.csp [Tue Jan 30 00:31:37 2007]
0.60 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/287395-1170113494/sugar-v0-40.jar -convert /tmp/evaluation/287395-1170113494/unknown.xml /tmp/evaluation/287395-1170113494/sugar30281.csp
0.72 c BEGIN convert /tmp/evaluation/287395-1170113494/unknown.xml
39.00 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
39.15 s UNKNOWN
39.15 c # ERROR cannot convert /tmp/evaluation/287395-1170113494/unknown.xml, at /tmp/evaluation/287395-1170113494/sugar line 177.
39.15
39.15 c # MAIN END : (39 seconds) [Tue Jan 30 00:32:16 2007]
39.15 c # MAIN CPU : 0 = 0 + 0 + 0 + 0
39.15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-287395-1170113494 -o ROOT/results/node18/solver-287395-1170113494 -C 1800 -M 900 /tmp/evaluation/287395-1170113494/solver /tmp/evaluation/287395-1170113494 /tmp/evaluation/287395-1170113494/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.11 2.32 2.36 5/94 30282
/proc/meminfo: memFree=1033680/2055920 swapFree=4192812/4192956
[pid=30281] ppid=30279 vsize=12128 CPUtime=0
/proc/30281/stat : 30281 (sugar) R 30279 30281 29772 0 -1 4194304 498 0 0 0 0 0 0 0 20 0 1 0 31304214 12419072 217 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227866650368 0 0 4224 0 0 0 0 17 1 0 0
/proc/30281/statm: 3032 217 163 3 0 132 0
[startup+0.106319 s]
/proc/loadavg: 2.11 2.32 2.36 5/94 30282
/proc/meminfo: memFree=1033680/2055920 swapFree=4192812/4192956
[pid=30281] ppid=30279 vsize=12268 CPUtime=0
/proc/30281/stat : 30281 (sugar) D 30279 30281 29772 0 -1 4194304 601 0 0 0 0 0 0 0 20 0 1 0 31304214 12562432 320 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 0 18446744071563608240 0 0 17 1 0 0
/proc/30281/statm: 3067 320 242 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+0.517357 s]
/proc/loadavg: 2.11 2.32 2.36 5/94 30282
/proc/meminfo: memFree=1033680/2055920 swapFree=4192812/4192956
[pid=30281] ppid=30279 vsize=13196 CPUtime=0.03
/proc/30281/stat : 30281 (sugar) D 30279 30281 29772 0 -1 4194304 934 0 0 0 2 1 0 0 18 0 1 0 31304214 13512704 653 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 0 18446744072099202260 0 0 17 1 0 0
/proc/30281/statm: 3299 653 336 3 0 399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13196
[startup+1.34444 s]
/proc/loadavg: 2.11 2.32 2.36 4/102 30290
/proc/meminfo: memFree=989456/2055920 swapFree=4192812/4192956
[pid=30281] ppid=30279 vsize=13724 CPUtime=0.04
/proc/30281/stat : 30281 (sugar) S 30279 30281 29772 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 31304214 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30281/statm: 3431 805 368 3 0 531 0
[pid=30283] ppid=30281 vsize=807292 CPUtime=0.71
/proc/30283/stat : 30283 (java) R 30281 30281 29772 0 -1 0 16251 0 1 0 59 12 0 0 17 0 8 0 31304274 826667008 15997 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073469851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30283/statm: 201823 15997 1659 14 0 189101 0
[pid=30283/tid=30284] ppid=30281 vsize=807292 CPUtime=0.08
/proc/30283/task/30284/stat : 30284 (java) S 30281 30281 29772 0 -1 64 9795 0 0 0 4 4 0 0 16 0 8 0 31304278 826667008 15997 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30285] ppid=30281 vsize=807292 CPUtime=0
/proc/30283/task/30285/stat : 30285 (java) S 30281 30281 29772 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 31304278 826667008 15997 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30286] ppid=30281 vsize=807292 CPUtime=0
/proc/30283/task/30286/stat : 30286 (java) S 30281 30281 29772 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 31304278 826667008 15997 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30287] ppid=30281 vsize=807292 CPUtime=0
/proc/30283/task/30287/stat : 30287 (java) S 30281 30281 29772 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 31304282 826667008 15997 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30288] ppid=30281 vsize=807292 CPUtime=0.08
/proc/30283/task/30288/stat : 30288 (java) R 30281 30281 29772 0 -1 64 360 0 0 0 8 0 0 0 19 0 8 0 31304282 826667008 15997 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30289] ppid=30281 vsize=807292 CPUtime=0
/proc/30283/task/30289/stat : 30289 (java) S 30281 30281 29772 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31304282 826667008 15997 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30290] ppid=30281 vsize=807292 CPUtime=0
/proc/30283/task/30290/stat : 30290 (java) S 30281 30281 29772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31304282 826667008 15997 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 821016
[startup+2.9816 s]
/proc/loadavg: 2.18 2.33 2.37 3/102 30290
/proc/meminfo: memFree=863376/2055920 swapFree=4192812/4192956
[pid=30281] ppid=30279 vsize=13724 CPUtime=0.04
/proc/30281/stat : 30281 (sugar) S 30279 30281 29772 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 31304214 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30281/statm: 3431 805 368 3 0 531 0
[pid=30283] ppid=30281 vsize=807292 CPUtime=2.34
/proc/30283/stat : 30283 (java) R 30281 30281 29772 0 -1 0 49781 0 1 0 202 32 0 0 25 0 8 0 31304274 826667008 49516 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073728755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30283/statm: 201823 49516 1691 14 0 189101 0
[pid=30283/tid=30284] ppid=30281 vsize=807292 CPUtime=0.42
/proc/30283/task/30284/stat : 30284 (java) S 30281 30281 29772 0 -1 64 43209 0 0 0 25 17 0 0 16 0 8 0 31304278 826667008 49516 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30285] ppid=30281 vsize=807292 CPUtime=0
/proc/30283/task/30285/stat : 30285 (java) S 30281 30281 29772 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 31304278 826667008 49516 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30286] ppid=30281 vsize=807292 CPUtime=0
/proc/30283/task/30286/stat : 30286 (java) S 30281 30281 29772 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 31304278 826667008 49516 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30287] ppid=30281 vsize=807292 CPUtime=0
/proc/30283/task/30287/stat : 30287 (java) S 30281 30281 29772 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 31304282 826667008 49516 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30288] ppid=30281 vsize=807292 CPUtime=0.13
/proc/30283/task/30288/stat : 30288 (java) S 30281 30281 29772 0 -1 64 396 0 0 0 12 1 0 0 16 0 8 0 31304282 826667008 49516 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30289] ppid=30281 vsize=807292 CPUtime=0
/proc/30283/task/30289/stat : 30289 (java) S 30281 30281 29772 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31304282 826667008 49516 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30290] ppid=30281 vsize=807292 CPUtime=0
/proc/30283/task/30290/stat : 30290 (java) S 30281 30281 29772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31304282 826667008 49516 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 821016
[startup+6.28091 s]
/proc/loadavg: 2.18 2.33 2.37 4/102 30290
/proc/meminfo: memFree=682192/2055920 swapFree=4192812/4192956
[pid=30281] ppid=30279 vsize=13724 CPUtime=0.04
/proc/30281/stat : 30281 (sugar) S 30279 30281 29772 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 31304214 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30281/statm: 3431 805 368 3 0 531 0
[pid=30283] ppid=30281 vsize=807408 CPUtime=5.62
/proc/30283/stat : 30283 (java) R 30281 30281 29772 0 -1 0 79952 0 1 0 517 45 0 0 25 0 8 0 31304274 826785792 79494 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073735017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30283/statm: 201852 79494 1694 14 0 189130 0
[pid=30283/tid=30284] ppid=30281 vsize=807408 CPUtime=1.18
/proc/30283/task/30284/stat : 30284 (java) S 30281 30281 29772 0 -1 64 71917 0 0 0 89 29 0 0 16 0 8 0 31304278 826785792 79494 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30285] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30285/stat : 30285 (java) S 30281 30281 29772 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 31304278 826785792 79494 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30286] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30286/stat : 30286 (java) S 30281 30281 29772 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 31304278 826785792 79494 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30287] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30287/stat : 30287 (java) S 30281 30281 29772 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 31304282 826785792 79494 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30288] ppid=30281 vsize=807408 CPUtime=0.15
/proc/30283/task/30288/stat : 30288 (java) S 30281 30281 29772 0 -1 64 403 0 0 0 14 1 0 0 16 0 8 0 31304282 826785792 79494 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30289] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30289/stat : 30289 (java) S 30281 30281 29772 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31304282 826785792 79494 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30290] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30290/stat : 30290 (java) S 30281 30281 29772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31304282 826785792 79494 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 821132
[startup+12.7695 s]
/proc/loadavg: 2.15 2.32 2.36 3/102 30290
/proc/meminfo: memFree=376720/2055920 swapFree=4192812/4192956
[pid=30281] ppid=30279 vsize=13724 CPUtime=0.04
/proc/30281/stat : 30281 (sugar) S 30279 30281 29772 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 31304214 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30281/statm: 3431 805 368 3 0 531 0
[pid=30283] ppid=30281 vsize=807408 CPUtime=12.07
/proc/30283/stat : 30283 (java) R 30281 30281 29772 0 -1 0 137222 0 1 0 1137 70 0 0 25 0 8 0 31304274 826785792 136601 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073732625 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30283/statm: 201852 136601 1694 14 0 189130 0
[pid=30283/tid=30284] ppid=30281 vsize=807408 CPUtime=2.82
/proc/30283/task/30284/stat : 30284 (java) S 30281 30281 29772 0 -1 64 126769 0 0 0 228 54 0 0 16 0 8 0 31304278 826785792 136601 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30285] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30285/stat : 30285 (java) S 30281 30281 29772 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 31304278 826785792 136601 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30286] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30286/stat : 30286 (java) S 30281 30281 29772 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 31304278 826785792 136601 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30287] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30287/stat : 30287 (java) S 30281 30281 29772 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 31304282 826785792 136601 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30288] ppid=30281 vsize=807408 CPUtime=0.16
/proc/30283/task/30288/stat : 30288 (java) S 30281 30281 29772 0 -1 64 406 0 0 0 15 1 0 0 16 0 8 0 31304282 826785792 136601 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30289] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30289/stat : 30289 (java) S 30281 30281 29772 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31304282 826785792 136601 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30290] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30290/stat : 30290 (java) S 30281 30281 29772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31304282 826785792 136601 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.11
Current children cumulated vsize (KiB) 821132
[startup+25.5708 s]
/proc/loadavg: 2.21 2.32 2.36 3/102 30290
/proc/meminfo: memFree=208976/2055920 swapFree=4192812/4192956
[pid=30281] ppid=30279 vsize=13724 CPUtime=0.04
/proc/30281/stat : 30281 (sugar) S 30279 30281 29772 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 31304214 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30281/statm: 3431 805 368 3 0 531 0
[pid=30283] ppid=30281 vsize=807408 CPUtime=24.76
/proc/30283/stat : 30283 (java) R 30281 30281 29772 0 -1 0 158399 0 1 0 2395 81 0 0 16 0 8 0 31304274 826785792 156796 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30283/statm: 201852 156796 1694 14 0 189130 0
[pid=30283/tid=30284] ppid=30281 vsize=807408 CPUtime=12.53
/proc/30283/task/30284/stat : 30284 (java) R 30281 30281 29772 0 -1 64 147937 0 0 0 1189 64 0 0 25 0 8 0 31304278 826785792 156796 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4160647107 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30285] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30285/stat : 30285 (java) S 30281 30281 29772 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 31304278 826785792 156796 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30286] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30286/stat : 30286 (java) S 30281 30281 29772 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 31304278 826785792 156796 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30287] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30287/stat : 30287 (java) S 30281 30281 29772 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 31304282 826785792 156796 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30288] ppid=30281 vsize=807408 CPUtime=0.16
/proc/30283/task/30288/stat : 30288 (java) S 30281 30281 29772 0 -1 64 406 0 0 0 15 1 0 0 16 0 8 0 31304282 826785792 156796 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30289] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30289/stat : 30289 (java) S 30281 30281 29772 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31304282 826785792 156796 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30283/tid=30290] ppid=30281 vsize=807408 CPUtime=0
/proc/30283/task/30290/stat : 30290 (java) S 30281 30281 29772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31304282 826785792 156796 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.8
Current children cumulated vsize (KiB) 821132
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 30281 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=35994 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=12998
CPU time returned by wait4() is 0.048992
while last known CPU time is 38.12
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 39.1602
CPU time (s): 38.12
CPU user time (s): 37.27
CPU system time (s): 0.85
CPU usage (%): 97.3437
Max. virtual memory (cumulated for all children) (KiB): 821656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.035994
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1196
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 9
runsolver used 0.046992 s user time and 0.144977 s system time
The end
Begin job on node18 on Mon Jan 29 23:31:36 UTC 2007
IDJOB= 287395
IDBENCH= 19816
IDSOLVER= 86
FILE ID= node18/287395-1170113494
PBS_JOBID= 3690047
Free space on /tmp= 66404 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/lard/lard-87-87.xml
COMMAND LINE= /tmp/evaluation/287395-1170113494/solver /tmp/evaluation/287395-1170113494 /tmp/evaluation/287395-1170113494/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-287395-1170113494 -o ROOT/results/node18/solver-287395-1170113494 -C 1800 -M 900 /tmp/evaluation/287395-1170113494/solver /tmp/evaluation/287395-1170113494 /tmp/evaluation/287395-1170113494/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= dd7c22c3d279da026832eaa4e9f6008b
RANDOM SEED= 950227422
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.236
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.236
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: 1043184 kB
Buffers: 12660 kB
Cached: 395340 kB
SwapCached: 0 kB
Active: 908188 kB
Inactive: 46352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1043184 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 150600 kB
Writeback: 0 kB
Mapped: 574148 kB
Slab: 42128 kB
Committed_AS: 1367740 kB
PageTables: 3052 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= 66404 MiB
End job on node18 on Mon Jan 29 23:32:17 UTC 2007