0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Sat Jul 12 22:38:21 2008
0.00/0.04 c 0 PID 18987
0.00/0.05 c 0 HOST node55.alineos.net
0.00/0.05 c 0 CONVERTING HOME/instance-1114010-1215895095.xml TO HOME/temp.csp
0.00/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1114010-1215895095.xml' 'HOME/temp.csp'
16.82/17.04 c 17 1 domains, 23 variables, 0 predicates, 16 relations, 16 constraints
16.92/17.12 c 17 ENCODING HOME/temp.csp TO HOME/temp.cnf
16.92/17.12 c 17 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
16.95/17.20 c 17 Parsing HOME/temp.csp
22.87/23.13 c ERROR INTERRUPTED
23.46/23.71 s UNKNOWN
23.46/23.71 c 23 CPU 15.92 (0.03 0 15.89 1.03)
23.46/23.71 c 23 END Sat Jul 12 22:38:44 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114010-1215895095/watcher-1114010-1215895095 -o /tmp/evaluation-result-1114010-1215895095/solver-1114010-1215895095 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1114010-1215895095.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.61 2.70 2.61 4/73 18987
/proc/meminfo: memFree=1338584/2055920 swapFree=4191900/4192956
[pid=18987] ppid=18985 vsize=12268 CPUtime=0
/proc/18987/stat : 18987 (sugar) R 18985 18987 18821 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 46208687 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 248779513494 0 0 4224 0 0 0 0 17 1 0 0
/proc/18987/statm: 3067 316 241 3 0 167 0
[startup+0.0952921 s]
/proc/loadavg: 2.61 2.70 2.61 4/73 18987
/proc/meminfo: memFree=1338584/2055920 swapFree=4191900/4192956
[pid=18987] ppid=18985 vsize=13600 CPUtime=0.03
/proc/18987/stat : 18987 (sugar) S 18985 18987 18821 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 46208687 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18987/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.101288 s]
/proc/loadavg: 2.61 2.70 2.61 4/73 18987
/proc/meminfo: memFree=1338584/2055920 swapFree=4191900/4192956
[pid=18987] ppid=18985 vsize=13600 CPUtime=0.03
/proc/18987/stat : 18987 (sugar) S 18985 18987 18821 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 46208687 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18987/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301307 s]
/proc/loadavg: 2.61 2.70 2.61 4/73 18987
/proc/meminfo: memFree=1338584/2055920 swapFree=4191900/4192956
[pid=18987] ppid=18985 vsize=13600 CPUtime=0.03
/proc/18987/stat : 18987 (sugar) S 18985 18987 18821 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 46208687 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18987/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701349 s]
/proc/loadavg: 2.61 2.70 2.61 4/73 18987
/proc/meminfo: memFree=1338584/2055920 swapFree=4191900/4192956
[pid=18987] ppid=18985 vsize=13600 CPUtime=0.03
/proc/18987/stat : 18987 (sugar) S 18985 18987 18821 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 46208687 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18987/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50242 s]
/proc/loadavg: 2.72 2.73 2.62 3/84 18999
/proc/meminfo: memFree=1271104/2055920 swapFree=4191900/4192956
[pid=18987] ppid=18985 vsize=13600 CPUtime=0.03
/proc/18987/stat : 18987 (sugar) S 18985 18987 18821 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 46208687 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18987/statm: 3400 796 370 3 0 500 0
[pid=18990] ppid=18987 vsize=5356 CPUtime=0
/proc/18990/stat : 18990 (sh) S 18987 18987 18821 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46208692 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18990/statm: 1339 233 193 169 0 50 0
[pid=18991] ppid=18990 vsize=864500 CPUtime=1.43
/proc/18991/stat : 18991 (java) S 18990 18987 18821 0 -1 0 33437 0 1 0 120 23 0 0 18 0 9 0 46208692 885248000 32705 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18991/statm: 216125 32705 2528 9 0 210707 0
[pid=18991/tid=18992] ppid=18990 vsize=864500 CPUtime=1.03
/proc/18991/task/18992/stat : 18992 (java) R 18990 18987 18821 0 -1 64 4086 0 1 0 93 10 0 0 25 0 9 0 46208693 885248000 32705 996147200 134512640 134550740 4294956000 18446744073709551615 4126450348 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18993] ppid=18990 vsize=864500 CPUtime=0.33
/proc/18991/task/18993/stat : 18993 (java) S 18990 18987 18821 0 -1 64 28223 0 0 0 21 12 0 0 16 0 9 0 46208694 885248000 32705 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18994] ppid=18990 vsize=864500 CPUtime=0
/proc/18991/task/18994/stat : 18994 (java) S 18990 18987 18821 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46208695 885248000 32705 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18995] ppid=18990 vsize=864500 CPUtime=0
/proc/18991/task/18995/stat : 18995 (java) S 18990 18987 18821 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 46208695 885248000 32705 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18996] ppid=18990 vsize=864500 CPUtime=0
/proc/18991/task/18996/stat : 18996 (java) S 18990 18987 18821 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46208697 885248000 32705 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18997] ppid=18990 vsize=864500 CPUtime=0.05
/proc/18991/task/18997/stat : 18997 (java) S 18990 18987 18821 0 -1 64 431 0 0 0 5 0 0 0 16 0 9 0 46208697 885248000 32705 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18998] ppid=18990 vsize=864500 CPUtime=0
/proc/18991/task/18998/stat : 18998 (java) S 18990 18987 18821 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46208697 885248000 32705 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18999] ppid=18990 vsize=864500 CPUtime=0
/proc/18991/task/18999/stat : 18999 (java) S 18990 18987 18821 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46208697 885248000 32705 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 883456
[startup+3.10257 s]
/proc/loadavg: 2.72 2.73 2.62 3/84 18999
/proc/meminfo: memFree=1145728/2055920 swapFree=4191900/4192956
[pid=18987] ppid=18985 vsize=13600 CPUtime=0.03
/proc/18987/stat : 18987 (sugar) S 18985 18987 18821 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 46208687 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18987/statm: 3400 796 370 3 0 500 0
[pid=18990] ppid=18987 vsize=5356 CPUtime=0
/proc/18990/stat : 18990 (sh) S 18987 18987 18821 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46208692 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18990/statm: 1339 233 193 169 0 50 0
[pid=18991] ppid=18990 vsize=864624 CPUtime=3.02
/proc/18991/stat : 18991 (java) S 18990 18987 18821 0 -1 0 71540 0 1 0 260 42 0 0 18 0 9 0 46208692 885374976 70779 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18991/statm: 216156 70779 2529 9 0 210738 0
[pid=18991/tid=18992] ppid=18990 vsize=864624 CPUtime=2.18
/proc/18991/task/18992/stat : 18992 (java) R 18990 18987 18821 0 -1 64 14662 0 1 0 202 16 0 0 25 0 9 0 46208693 885374976 70779 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18993] ppid=18990 vsize=864624 CPUtime=0.74
/proc/18991/task/18993/stat : 18993 (java) R 18990 18987 18821 0 -1 64 55737 0 0 0 50 24 0 0 16 0 9 0 46208694 885374976 70779 996147200 134512640 134550740 4294956000 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18994] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18994/stat : 18994 (java) S 18990 18987 18821 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46208695 885374976 70779 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18995] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18995/stat : 18995 (java) S 18990 18987 18821 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 46208695 885374976 70779 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18996] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18996/stat : 18996 (java) S 18990 18987 18821 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46208697 885374976 70779 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18997] ppid=18990 vsize=864624 CPUtime=0.07
/proc/18991/task/18997/stat : 18997 (java) S 18990 18987 18821 0 -1 64 444 0 0 0 7 0 0 0 16 0 9 0 46208697 885374976 70779 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18998] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18998/stat : 18998 (java) S 18990 18987 18821 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46208697 885374976 70779 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18999] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18999/stat : 18999 (java) S 18990 18987 18821 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46208697 885374976 70779 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 883580
[startup+6.30287 s]
/proc/loadavg: 2.72 2.73 2.62 3/84 18999
/proc/meminfo: memFree=937920/2055920 swapFree=4191900/4192956
[pid=18987] ppid=18985 vsize=13600 CPUtime=0.03
/proc/18987/stat : 18987 (sugar) S 18985 18987 18821 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 46208687 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18987/statm: 3400 796 370 3 0 500 0
[pid=18990] ppid=18987 vsize=5356 CPUtime=0
/proc/18990/stat : 18990 (sh) S 18987 18987 18821 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46208692 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18990/statm: 1339 233 193 169 0 50 0
[pid=18991] ppid=18990 vsize=864624 CPUtime=6.19
/proc/18991/stat : 18991 (java) S 18990 18987 18821 0 -1 0 100813 0 1 0 559 60 0 0 18 0 9 0 46208692 885374976 99094 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18991/statm: 216156 99094 2529 9 0 210738 0
[pid=18991/tid=18992] ppid=18990 vsize=864624 CPUtime=4.78
/proc/18991/task/18992/stat : 18992 (java) R 18990 18987 18821 0 -1 64 15291 0 1 0 456 22 0 0 25 0 9 0 46208693 885374976 99094 996147200 134512640 134550740 4294956000 18446744073709551615 7315069 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18993] ppid=18990 vsize=864624 CPUtime=1.29
/proc/18991/task/18993/stat : 18993 (java) S 18990 18987 18821 0 -1 64 84372 0 0 0 94 35 0 0 16 0 9 0 46208694 885374976 99094 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18994] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18994/stat : 18994 (java) S 18990 18987 18821 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46208695 885374976 99094 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18995] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18995/stat : 18995 (java) S 18990 18987 18821 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 46208695 885374976 99094 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18996] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18996/stat : 18996 (java) S 18990 18987 18821 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46208697 885374976 99094 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18997] ppid=18990 vsize=864624 CPUtime=0.08
/proc/18991/task/18997/stat : 18997 (java) S 18990 18987 18821 0 -1 64 453 0 0 0 8 0 0 0 16 0 9 0 46208697 885374976 99094 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18998] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18998/stat : 18998 (java) S 18990 18987 18821 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46208697 885374976 99094 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18999] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18999/stat : 18999 (java) S 18990 18987 18821 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46208697 885374976 99094 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 883580
[startup+12.7015 s]
/proc/loadavg: 2.68 2.72 2.62 3/84 18999
/proc/meminfo: memFree=846336/2055920 swapFree=4191900/4192956
[pid=18987] ppid=18985 vsize=13600 CPUtime=0.03
/proc/18987/stat : 18987 (sugar) S 18985 18987 18821 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 46208687 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18987/statm: 3400 796 370 3 0 500 0
[pid=18990] ppid=18987 vsize=5356 CPUtime=0
/proc/18990/stat : 18990 (sh) S 18987 18987 18821 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46208692 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18990/statm: 1339 233 193 169 0 50 0
[pid=18991] ppid=18990 vsize=864624 CPUtime=12.55
/proc/18991/stat : 18991 (java) S 18990 18987 18821 0 -1 0 122510 0 1 0 1174 81 0 0 18 0 9 0 46208692 885374976 117876 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18991/statm: 216156 117876 2529 9 0 210738 0
[pid=18991/tid=18992] ppid=18990 vsize=864624 CPUtime=10.01
/proc/18991/task/18992/stat : 18992 (java) R 18990 18987 18821 0 -1 64 15801 0 1 0 967 34 0 0 25 0 9 0 46208693 885374976 117876 996147200 134512640 134550740 4294956000 18446744073709551615 4126546542 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18993] ppid=18990 vsize=864624 CPUtime=2.43
/proc/18991/task/18993/stat : 18993 (java) S 18990 18987 18821 0 -1 64 105558 0 0 0 198 45 0 0 16 0 9 0 46208694 885374976 117876 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18994] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18994/stat : 18994 (java) S 18990 18987 18821 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 46208695 885374976 117876 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18995] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18995/stat : 18995 (java) S 18990 18987 18821 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 46208695 885374976 117876 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18996] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18996/stat : 18996 (java) S 18990 18987 18821 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46208697 885374976 117876 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18997] ppid=18990 vsize=864624 CPUtime=0.08
/proc/18991/task/18997/stat : 18997 (java) S 18990 18987 18821 0 -1 64 454 0 0 0 8 0 0 0 16 0 9 0 46208697 885374976 117876 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18998] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18998/stat : 18998 (java) S 18990 18987 18821 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 46208697 885374976 117876 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18991/tid=18999] ppid=18990 vsize=864624 CPUtime=0
/proc/18991/task/18999/stat : 18999 (java) S 18990 18987 18821 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 46208697 885374976 117876 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 883580
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+23.1064 s]
/proc/loadavg: 2.81 2.74 2.63 3/84 19009
/proc/meminfo: memFree=1081856/2055920 swapFree=4191900/4192956
[pid=18987] ppid=18985 vsize=13600 CPUtime=16.95
/proc/18987/stat : 18987 (sugar) S 18985 18987 18821 0 -1 4194304 974 134047 0 1 3 0 1589 103 16 0 1 0 46208687 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18987/statm: 3400 797 370 3 0 500 0
[pid=19000] ppid=18987 vsize=5356 CPUtime=0
/proc/19000/stat : 19000 (sh) S 18987 18987 18821 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 46210400 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19000/statm: 1339 233 193 169 0 50 0
[pid=19001] ppid=19000 vsize=907044 CPUtime=5.92
/proc/19001/stat : 19001 (java) S 19000 18987 18821 0 -1 0 60927 0 1 0 565 27 0 0 18 0 9 0 46210400 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19001/statm: 226761 47364 2532 9 0 221343 0
[pid=19001/tid=19002] ppid=19000 vsize=907044 CPUtime=3.1
/proc/19001/task/19002/stat : 19002 (java) S 19000 18987 18821 0 -1 64 3669 0 1 0 307 3 0 0 25 0 9 0 46210401 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19003] ppid=19000 vsize=907044 CPUtime=2.77
/proc/19001/task/19003/stat : 19003 (java) R 19000 18987 18821 0 -1 64 56251 0 0 0 253 24 0 0 19 0 9 0 46210402 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 103735820 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19004] ppid=19000 vsize=907044 CPUtime=0
/proc/19001/task/19004/stat : 19004 (java) S 19000 18987 18821 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 46210402 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19005] ppid=19000 vsize=907044 CPUtime=0
/proc/19001/task/19005/stat : 19005 (java) S 19000 18987 18821 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 46210402 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19006] ppid=19000 vsize=907044 CPUtime=0
/proc/19001/task/19006/stat : 19006 (java) S 19000 18987 18821 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 46210404 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19007] ppid=19000 vsize=907044 CPUtime=0.04
/proc/19001/task/19007/stat : 19007 (java) S 19000 18987 18821 0 -1 64 310 0 0 0 4 0 0 0 17 0 9 0 46210404 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19008] ppid=19000 vsize=907044 CPUtime=0
/proc/19001/task/19008/stat : 19008 (java) S 19000 18987 18821 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46210404 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19009] ppid=19000 vsize=907044 CPUtime=0
/proc/19001/task/19009/stat : 19009 (java) S 19000 18987 18821 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46210404 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.87
Current children cumulated vsize (KiB) 926000
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+23.4024 s]
/proc/loadavg: 2.81 2.74 2.63 3/84 19009
/proc/meminfo: memFree=1081856/2055920 swapFree=4191900/4192956
[pid=18987] ppid=18985 vsize=13600 CPUtime=16.95
/proc/18987/stat : 18987 (sugar) S 18985 18987 18821 0 -1 4194304 982 134047 0 1 3 0 1589 103 16 0 1 0 46208687 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 16384 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/18987/statm: 3400 797 370 3 0 500 0
[pid=19000] ppid=18987 vsize=0 CPUtime=0
/proc/19000/stat : 19000 (sh) Z 18987 18987 18821 0 -1 4195340 278 0 0 0 0 0 0 0 16 0 1 0 46210400 0 0 996147200 0 0 0 0 0 0 65536 4100 65538 18446744071563351923 0 0 17 1 0 0
/proc/19000/statm: 0 0 0 0 0 0 0
[pid=19001] ppid=1 vsize=907044 CPUtime=6.21
/proc/19001/stat : 19001 (java) S 1 18987 18821 0 -1 0 60927 0 1 0 594 27 0 0 16 0 9 0 46210400 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19001/statm: 226761 47364 2532 9 0 221343 0
[pid=19001/tid=19002] ppid=1 vsize=907044 CPUtime=3.1
/proc/19001/task/19002/stat : 19002 (java) S 1 18987 18821 0 -1 64 3669 0 1 0 307 3 0 0 25 0 9 0 46210401 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19003] ppid=1 vsize=907044 CPUtime=3.06
/proc/19001/task/19003/stat : 19003 (java) R 1 18987 18821 0 -1 64 56251 0 0 0 282 24 0 0 22 0 9 0 46210402 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 102731881 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19004] ppid=1 vsize=907044 CPUtime=0
/proc/19001/task/19004/stat : 19004 (java) S 1 18987 18821 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 46210402 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19005] ppid=1 vsize=907044 CPUtime=0
/proc/19001/task/19005/stat : 19005 (java) S 1 18987 18821 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 46210402 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19006] ppid=1 vsize=907044 CPUtime=0
/proc/19001/task/19006/stat : 19006 (java) S 1 18987 18821 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 46210404 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19007] ppid=1 vsize=907044 CPUtime=0.04
/proc/19001/task/19007/stat : 19007 (java) S 1 18987 18821 0 -1 64 310 0 0 0 4 0 0 0 17 0 9 0 46210404 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19008] ppid=1 vsize=907044 CPUtime=0
/proc/19001/task/19008/stat : 19008 (java) S 1 18987 18821 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46210404 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19009] ppid=1 vsize=907044 CPUtime=0
/proc/19001/task/19009/stat : 19009 (java) S 1 18987 18821 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46210404 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.16
Current children cumulated vsize (KiB) 920644
[startup+23.6025 s]
/proc/loadavg: 2.81 2.74 2.63 3/84 19009
/proc/meminfo: memFree=1081856/2055920 swapFree=4191900/4192956
[pid=18987] ppid=18985 vsize=13600 CPUtime=16.95
/proc/18987/stat : 18987 (sugar) S 18985 18987 18821 0 -1 4194304 982 134047 0 1 3 0 1589 103 16 0 1 0 46208687 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 16384 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/18987/statm: 3400 797 370 3 0 500 0
[pid=19000] ppid=18987 vsize=0 CPUtime=0
/proc/19000/stat : 19000 (sh) Z 18987 18987 18821 0 -1 4195340 278 0 0 0 0 0 0 0 16 0 1 0 46210400 0 0 996147200 0 0 0 0 0 0 65536 4100 65538 18446744071563351923 0 0 17 1 0 0
/proc/19000/statm: 0 0 0 0 0 0 0
[pid=19001] ppid=1 vsize=907044 CPUtime=6.41
/proc/19001/stat : 19001 (java) S 1 18987 18821 0 -1 0 60927 0 1 0 614 27 0 0 16 0 9 0 46210400 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19001/statm: 226761 47364 2532 9 0 221343 0
[pid=19001/tid=19002] ppid=1 vsize=907044 CPUtime=3.1
/proc/19001/task/19002/stat : 19002 (java) S 1 18987 18821 0 -1 64 3669 0 1 0 307 3 0 0 25 0 9 0 46210401 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19003] ppid=1 vsize=907044 CPUtime=3.26
/proc/19001/task/19003/stat : 19003 (java) R 1 18987 18821 0 -1 64 56251 0 0 0 302 24 0 0 24 0 9 0 46210402 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 103736946 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19004] ppid=1 vsize=907044 CPUtime=0
/proc/19001/task/19004/stat : 19004 (java) S 1 18987 18821 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 46210402 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19005] ppid=1 vsize=907044 CPUtime=0
/proc/19001/task/19005/stat : 19005 (java) S 1 18987 18821 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 46210402 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19006] ppid=1 vsize=907044 CPUtime=0
/proc/19001/task/19006/stat : 19006 (java) S 1 18987 18821 0 -1 64 1 0 0 0 0 0 0 0 16 0 9 0 46210404 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19007] ppid=1 vsize=907044 CPUtime=0.04
/proc/19001/task/19007/stat : 19007 (java) S 1 18987 18821 0 -1 64 310 0 0 0 4 0 0 0 17 0 9 0 46210404 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19008] ppid=1 vsize=907044 CPUtime=0
/proc/19001/task/19008/stat : 19008 (java) S 1 18987 18821 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46210404 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19001/tid=19009] ppid=1 vsize=907044 CPUtime=0
/proc/19001/task/19009/stat : 19009 (java) S 1 18987 18821 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46210404 928813056 47364 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.36
Current children cumulated vsize (KiB) 920644
[startup+23.7026 s]
/proc/loadavg: 2.81 2.74 2.63 3/84 19009
/proc/meminfo: memFree=1081856/2055920 swapFree=4191900/4192956
[pid=18987] ppid=18985 vsize=13600 CPUtime=16.95
/proc/18987/stat : 18987 (sugar) S 18985 18987 18821 0 -1 4194304 982 134047 0 1 3 0 1589 103 16 0 1 0 46208687 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 16384 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/18987/statm: 3400 797 370 3 0 500 0
[pid=19000] ppid=18987 vsize=0 CPUtime=0
/proc/19000/stat : 19000 (sh) Z 18987 18987 18821 0 -1 4195340 278 0 0 0 0 0 0 0 16 0 1 0 46210400 0 0 996147200 0 0 0 0 0 0 65536 4100 65538 18446744071563351923 0 0 17 1 0 0
/proc/19000/statm: 0 0 0 0 0 0 0
[pid=19001] ppid=1 vsize=0 CPUtime=6.51
/proc/19001/stat : 19001 (java) Z 1 18987 18821 0 -1 1036 60991 0 1 0 622 29 0 0 15 0 2 0 46210400 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19001/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 23.46
Current children cumulated vsize (KiB) 13600
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18987 and gives
# childrusage.ru_utime.tv_sec=15
# childrusage.ru_utime.tv_usec=932577
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=41841
# CPU time returned by wait4() is 16.9744
# while last known CPU time is 23.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 23.7143
CPU time (s): 23.46
CPU user time (s): 22.14
CPU system time (s): 1.32
CPU usage (%): 98.9277
Max. virtual memory (cumulated for all children) (KiB): 926000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9326
system time used= 1.04184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135354
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= 1839
involuntary context switches= 1933
runsolver used 0.035994 second user time and 0.091986 second system time
The end
Begin job on node55 at 2008-07-12 22:38:20
IDJOB=1114010
IDBENCH=61674
IDSOLVER=368
FILE ID=node55/1114010-1215895095
PBS_JOBID= 7903690
Free space on /tmp= 66212 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-5.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114010-1215895095/watcher-1114010-1215895095 -o /tmp/evaluation-result-1114010-1215895095/solver-1114010-1215895095 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1114010-1215895095.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 12bcc8beb38dd34ffc03a20313fd6405
RANDOM SEED=184540814
node55.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.225
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.225
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: 1339064 kB
Buffers: 10084 kB
Cached: 296680 kB
SwapCached: 256 kB
Active: 618196 kB
Inactive: 41784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1339064 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 71732 kB
Writeback: 0 kB
Mapped: 363108 kB
Slab: 41420 kB
Committed_AS: 573788 kB
PageTables: 2488 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= 66212 MiB
End job on node55 at 2008-07-12 22:38:46