18.99/19.17 s SATISFIABLE
18.99/19.17 v 15 0 8 4 17 0 18 4 3 4 0 11 24 13 23 4 2 20 12 8 17 21 14 12 4 19 5 4 17 0 1 17 8 2 4 18 0 17 8 18 0 18 18 8 4 25 18 20 18 7 8 2 3 4 2 8 18 17 20 0 3 4 21 0 17 0 11 8 4 3 3 14 8 18 24 15 0 17 11 4 18 8 18 16 7 18 2 0 1 8 13 2 17 20 8 18 4 17 18 0 11 11 14 17 0 8 8 19 14 20 17 20 4 13 20 13 4 4 14 20 4 14 18 19 18 1 8 19 25 2 8 19
18.99/19.17 d AC 32
18.99/19.17 d RUNTIME 19.028
18.99/19.17 d NODES 48
18.99/19.17 d NODES/s 3
18.99/19.17 d BACKTRACKS 3
18.99/19.17 d BACKTRACKS/s 0
18.99/19.17 d CHECKS 142066941
18.99/19.17 d CHECKS/s 7466205
18.99/19.17 c SAT 19.028 TIME 48 NDS 892 PARSTIME 288 BUILDPB 545 CONFIG 17303 RES true RESTART 1 HEURISTIC true RANDVAL
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2116425-1248031049/watcher-2116425-1248031049 -o /tmp/evaluation-result-2116425-1248031049/solver-2116425-1248031049 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116425-1248031049.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 2.13 2.03 1.93 3/81 32390
/proc/meminfo: memFree=729296/2055920 swapFree=4192812/4192956
[pid=32390] ppid=32388 vsize=200 CPUtime=0
/proc/32390/stat : 32390 (java) R 32388 32390 31363 0 -1 0 48 0 0 0 0 0 0 0 18 0 1 0 90169987 204800 33 996147200 134512640 134550932 4294956064 18446744073709551615 4043556 0 0 4096 0 0 0 0 17 0 0 0
/proc/32390/statm: 68 34 26 9 0 4 0
[startup+0.0156781 s]
/proc/loadavg: 2.13 2.03 1.93 3/81 32390
/proc/meminfo: memFree=729296/2055920 swapFree=4192812/4192956
[pid=32390] ppid=32388 vsize=10964 CPUtime=0
/proc/32390/stat : 32390 (java) S 32388 32390 31363 0 -1 0 840 0 0 0 0 0 0 0 18 0 2 0 90169987 11227136 576 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/32390/statm: 2741 576 279 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10964
[startup+0.102663 s]
/proc/loadavg: 2.13 2.03 1.93 3/81 32390
/proc/meminfo: memFree=729296/2055920 swapFree=4192812/4192956
[pid=32390] ppid=32388 vsize=864060 CPUtime=0.08
/proc/32390/stat : 32390 (java) S 32388 32390 31363 0 -1 0 3929 0 1 0 6 2 0 0 18 0 9 0 90169987 884797440 3376 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32390/statm: 216015 3376 1766 9 0 210484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864060
[startup+0.301683 s]
/proc/loadavg: 2.13 2.03 1.93 3/81 32390
/proc/meminfo: memFree=729296/2055920 swapFree=4192812/4192956
[pid=32390] ppid=32388 vsize=864192 CPUtime=0.29
/proc/32390/stat : 32390 (java) S 32388 32390 31363 0 -1 0 4577 0 1 0 26 3 0 0 18 0 9 0 90169987 884932608 4002 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32390/statm: 216048 4002 1855 9 0 210517 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 864192
[startup+0.701735 s]
/proc/loadavg: 2.13 2.03 1.93 3/81 32390
/proc/meminfo: memFree=729296/2055920 swapFree=4192812/4192956
[pid=32390] ppid=32388 vsize=864932 CPUtime=0.69
/proc/32390/stat : 32390 (java) S 32388 32390 31363 0 -1 0 10442 0 1 0 63 6 0 0 18 0 9 0 90169987 885690368 9859 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32390/statm: 216233 9859 1880 9 0 210702 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 864932
[startup+1.50284 s]
/proc/loadavg: 2.13 2.03 1.93 3/90 32399
/proc/meminfo: memFree=685576/2055920 swapFree=4192812/4192956
[pid=32390] ppid=32388 vsize=865116 CPUtime=1.48
/proc/32390/stat : 32390 (java) S 32388 32390 31363 0 -1 0 20379 0 1 0 139 9 0 0 18 0 9 0 90169987 885878784 19755 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32390/statm: 216279 19755 1985 9 0 210748 0
[pid=32390/tid=32392] ppid=32388 vsize=865116 CPUtime=1.19
/proc/32390/task/32392/stat : 32392 (java) R 32388 32390 31363 0 -1 64 14780 0 1 0 113 6 0 0 25 0 9 0 90169988 885878784 19755 996147200 134512640 134550932 4294955888 18446744073709551615 103823537 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32393] ppid=32388 vsize=865116 CPUtime=0.04
/proc/32390/task/32393/stat : 32393 (java) S 32388 32390 31363 0 -1 64 4266 0 0 0 3 1 0 0 16 0 9 0 90169990 885878784 19755 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32394] ppid=32388 vsize=865116 CPUtime=0
/proc/32390/task/32394/stat : 32394 (java) S 32388 32390 31363 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90169990 885878784 19755 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32395] ppid=32388 vsize=865116 CPUtime=0
/proc/32390/task/32395/stat : 32395 (java) S 32388 32390 31363 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90169990 885878784 19755 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32396] ppid=32388 vsize=865116 CPUtime=0
/proc/32390/task/32396/stat : 32396 (java) S 32388 32390 31363 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90169992 885878784 19755 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32397] ppid=32388 vsize=865116 CPUtime=0.21
/proc/32390/task/32397/stat : 32397 (java) S 32388 32390 31363 0 -1 64 601 0 0 0 21 0 0 0 15 0 9 0 90169992 885878784 19755 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32398] ppid=32388 vsize=865116 CPUtime=0
/proc/32390/task/32398/stat : 32398 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90169992 885878784 19755 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32399] ppid=32388 vsize=865116 CPUtime=0
/proc/32390/task/32399/stat : 32399 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90169992 885878784 19755 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 865116
[startup+3.10104 s]
/proc/loadavg: 2.12 2.03 1.93 3/90 32399
/proc/meminfo: memFree=657160/2055920 swapFree=4192812/4192956
[pid=32390] ppid=32388 vsize=865248 CPUtime=3.08
/proc/32390/stat : 32390 (java) S 32388 32390 31363 0 -1 0 20514 0 1 0 297 11 0 0 18 0 9 0 90169987 886013952 19888 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32390/statm: 216312 19888 1988 9 0 210781 0
[pid=32390/tid=32392] ppid=32388 vsize=865248 CPUtime=2.67
/proc/32390/task/32392/stat : 32392 (java) R 32388 32390 31363 0 -1 64 14833 0 1 0 260 7 0 0 25 0 9 0 90169988 886013952 19888 996147200 134512640 134550932 4294955888 18446744073709551615 4125903099 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32393] ppid=32388 vsize=865248 CPUtime=0.04
/proc/32390/task/32393/stat : 32393 (java) S 32388 32390 31363 0 -1 64 4266 0 0 0 3 1 0 0 17 0 9 0 90169990 886013952 19888 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32394] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32394/stat : 32394 (java) S 32388 32390 31363 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 19888 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32395] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32395/stat : 32395 (java) S 32388 32390 31363 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 19888 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32396] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32396/stat : 32396 (java) S 32388 32390 31363 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90169992 886013952 19888 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32397] ppid=32388 vsize=865248 CPUtime=0.32
/proc/32390/task/32397/stat : 32397 (java) S 32388 32390 31363 0 -1 64 683 0 0 0 32 0 0 0 15 0 9 0 90169992 886013952 19888 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32398] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32398/stat : 32398 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90169992 886013952 19888 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32399] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32399/stat : 32399 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90169992 886013952 19888 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 865248
[startup+6.30144 s]
/proc/loadavg: 2.12 2.03 1.93 3/90 32399
/proc/meminfo: memFree=656904/2055920 swapFree=4192812/4192956
[pid=32390] ppid=32388 vsize=865248 CPUtime=6.26
/proc/32390/stat : 32390 (java) S 32388 32390 31363 0 -1 0 20521 0 1 0 615 11 0 0 18 0 9 0 90169987 886013952 19892 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32390/statm: 216312 19892 1988 9 0 210781 0
[pid=32390/tid=32392] ppid=32388 vsize=865248 CPUtime=5.85
/proc/32390/task/32392/stat : 32392 (java) R 32388 32390 31363 0 -1 64 14836 0 1 0 578 7 0 0 25 0 9 0 90169988 886013952 19892 996147200 134512640 134550932 4294955888 18446744073709551615 4127242259 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32393] ppid=32388 vsize=865248 CPUtime=0.04
/proc/32390/task/32393/stat : 32393 (java) S 32388 32390 31363 0 -1 64 4266 0 0 0 3 1 0 0 16 0 9 0 90169990 886013952 19892 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32394] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32394/stat : 32394 (java) S 32388 32390 31363 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 19892 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32395] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32395/stat : 32395 (java) S 32388 32390 31363 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 19892 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32396] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32396/stat : 32396 (java) S 32388 32390 31363 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90169992 886013952 19892 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32397] ppid=32388 vsize=865248 CPUtime=0.33
/proc/32390/task/32397/stat : 32397 (java) S 32388 32390 31363 0 -1 64 687 0 0 0 33 0 0 0 15 0 9 0 90169992 886013952 19892 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32398] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32398/stat : 32398 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90169992 886013952 19892 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32399] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32399/stat : 32399 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90169992 886013952 19892 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 865248
[startup+12.7012 s]
/proc/loadavg: 2.11 2.03 1.93 3/90 32399
/proc/meminfo: memFree=643224/2055920 swapFree=4192812/4192956
[pid=32390] ppid=32388 vsize=865248 CPUtime=12.63
/proc/32390/stat : 32390 (java) S 32388 32390 31363 0 -1 0 23909 0 1 0 1250 13 0 0 18 0 9 0 90169987 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32390/statm: 216312 23275 1989 9 0 210781 0
[pid=32390/tid=32392] ppid=32388 vsize=865248 CPUtime=12.13
/proc/32390/task/32392/stat : 32392 (java) R 32388 32390 31363 0 -1 64 14843 0 1 0 1206 7 0 0 25 0 9 0 90169988 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4127099144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32393] ppid=32388 vsize=865248 CPUtime=0.11
/proc/32390/task/32393/stat : 32393 (java) S 32388 32390 31363 0 -1 64 7640 0 0 0 8 3 0 0 17 0 9 0 90169990 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32394] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32394/stat : 32394 (java) S 32388 32390 31363 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32395] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32395/stat : 32395 (java) S 32388 32390 31363 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32396] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32396/stat : 32396 (java) S 32388 32390 31363 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32397] ppid=32388 vsize=865248 CPUtime=0.35
/proc/32390/task/32397/stat : 32397 (java) S 32388 32390 31363 0 -1 64 694 0 0 0 34 1 0 0 15 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32398] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32398/stat : 32398 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32399] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32399/stat : 32399 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 865248
Solver just ended. Dumping a history of the last processes samples
[startup+15.9027 s]
/proc/loadavg: 2.10 2.03 1.93 3/90 32399
/proc/meminfo: memFree=643224/2055920 swapFree=4192812/4192956
[pid=32390] ppid=32388 vsize=865248 CPUtime=15.81
/proc/32390/stat : 32390 (java) S 32388 32390 31363 0 -1 0 23911 0 1 0 1568 13 0 0 18 0 9 0 90169987 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32390/statm: 216312 23275 1989 9 0 210781 0
[pid=32390/tid=32392] ppid=32388 vsize=865248 CPUtime=15.31
/proc/32390/task/32392/stat : 32392 (java) R 32388 32390 31363 0 -1 64 14845 0 1 0 1524 7 0 0 25 0 9 0 90169988 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4127309863 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32393] ppid=32388 vsize=865248 CPUtime=0.11
/proc/32390/task/32393/stat : 32393 (java) S 32388 32390 31363 0 -1 64 7640 0 0 0 8 3 0 0 16 0 9 0 90169990 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32394] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32394/stat : 32394 (java) S 32388 32390 31363 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32395] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32395/stat : 32395 (java) S 32388 32390 31363 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32396] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32396/stat : 32396 (java) S 32388 32390 31363 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32397] ppid=32388 vsize=865248 CPUtime=0.35
/proc/32390/task/32397/stat : 32397 (java) S 32388 32390 31363 0 -1 64 694 0 0 0 34 1 0 0 16 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32398] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32398/stat : 32398 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32399] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32399/stat : 32399 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.81
Current children cumulated vsize (KiB) 865248
[startup+17.5029 s]
/proc/loadavg: 2.10 2.03 1.93 3/90 32399
/proc/meminfo: memFree=643224/2055920 swapFree=4192812/4192956
[pid=32390] ppid=32388 vsize=865248 CPUtime=17.4
/proc/32390/stat : 32390 (java) S 32388 32390 31363 0 -1 0 23911 0 1 0 1727 13 0 0 18 0 9 0 90169987 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32390/statm: 216312 23275 1989 9 0 210781 0
[pid=32390/tid=32392] ppid=32388 vsize=865248 CPUtime=16.92
/proc/32390/task/32392/stat : 32392 (java) R 32388 32390 31363 0 -1 64 14845 0 1 0 1684 8 0 0 25 0 9 0 90169988 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4127242259 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32393] ppid=32388 vsize=865248 CPUtime=0.11
/proc/32390/task/32393/stat : 32393 (java) S 32388 32390 31363 0 -1 64 7640 0 0 0 8 3 0 0 16 0 9 0 90169990 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32394] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32394/stat : 32394 (java) S 32388 32390 31363 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32395] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32395/stat : 32395 (java) S 32388 32390 31363 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32396] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32396/stat : 32396 (java) S 32388 32390 31363 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32397] ppid=32388 vsize=865248 CPUtime=0.35
/proc/32390/task/32397/stat : 32397 (java) S 32388 32390 31363 0 -1 64 694 0 0 0 34 1 0 0 16 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32398] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32398/stat : 32398 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32399] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32399/stat : 32399 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.4
Current children cumulated vsize (KiB) 865248
[startup+18.303 s]
/proc/loadavg: 2.10 2.03 1.93 3/90 32399
/proc/meminfo: memFree=643224/2055920 swapFree=4192812/4192956
[pid=32390] ppid=32388 vsize=865248 CPUtime=18.2
/proc/32390/stat : 32390 (java) S 32388 32390 31363 0 -1 0 23911 0 1 0 1807 13 0 0 18 0 9 0 90169987 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32390/statm: 216312 23275 1989 9 0 210781 0
[pid=32390/tid=32392] ppid=32388 vsize=865248 CPUtime=17.71
/proc/32390/task/32392/stat : 32392 (java) R 32388 32390 31363 0 -1 64 14845 0 1 0 1763 8 0 0 25 0 9 0 90169988 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4127242269 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32393] ppid=32388 vsize=865248 CPUtime=0.11
/proc/32390/task/32393/stat : 32393 (java) S 32388 32390 31363 0 -1 64 7640 0 0 0 8 3 0 0 16 0 9 0 90169990 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32394] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32394/stat : 32394 (java) S 32388 32390 31363 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32395] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32395/stat : 32395 (java) S 32388 32390 31363 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32396] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32396/stat : 32396 (java) S 32388 32390 31363 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32397] ppid=32388 vsize=865248 CPUtime=0.35
/proc/32390/task/32397/stat : 32397 (java) S 32388 32390 31363 0 -1 64 694 0 0 0 34 1 0 0 16 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32398] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32398/stat : 32398 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32399] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32399/stat : 32399 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90169992 886013952 23275 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.2
Current children cumulated vsize (KiB) 865248
[startup+18.708 s]
/proc/loadavg: 2.10 2.03 1.93 3/90 32399
/proc/meminfo: memFree=643224/2055920 swapFree=4192812/4192956
[pid=32390] ppid=32388 vsize=865248 CPUtime=18.6
/proc/32390/stat : 32390 (java) S 32388 32390 31363 0 -1 0 23918 0 1 0 1846 14 0 0 18 0 9 0 90169987 886013952 23282 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32390/statm: 216312 23282 1989 9 0 210781 0
[pid=32390/tid=32392] ppid=32388 vsize=865248 CPUtime=18.09
/proc/32390/task/32392/stat : 32392 (java) R 32388 32390 31363 0 -1 64 14846 0 1 0 1801 8 0 0 25 0 9 0 90169988 886013952 23282 996147200 134512640 134550932 4294955888 18446744073709551615 4127397456 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32393] ppid=32388 vsize=865248 CPUtime=0.11
/proc/32390/task/32393/stat : 32393 (java) S 32388 32390 31363 0 -1 64 7640 0 0 0 8 3 0 0 16 0 9 0 90169990 886013952 23282 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32394] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32394/stat : 32394 (java) S 32388 32390 31363 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 23282 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32395] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32395/stat : 32395 (java) S 32388 32390 31363 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 23282 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32396] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32396/stat : 32396 (java) S 32388 32390 31363 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90169992 886013952 23282 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32397] ppid=32388 vsize=865248 CPUtime=0.36
/proc/32390/task/32397/stat : 32397 (java) S 32388 32390 31363 0 -1 64 700 0 0 0 35 1 0 0 15 0 9 0 90169992 886013952 23282 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32398] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32398/stat : 32398 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90169992 886013952 23282 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32399] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32399/stat : 32399 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90169992 886013952 23282 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.6
Current children cumulated vsize (KiB) 865248
[startup+19.1021 s]
/proc/loadavg: 2.10 2.03 1.93 3/90 32399
/proc/meminfo: memFree=643224/2055920 swapFree=4192812/4192956
[pid=32390] ppid=32388 vsize=865248 CPUtime=18.99
/proc/32390/stat : 32390 (java) S 32388 32390 31363 0 -1 0 23926 0 1 0 1885 14 0 0 18 0 9 0 90169987 886013952 23289 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32390/statm: 216312 23289 1989 9 0 210781 0
[pid=32390/tid=32392] ppid=32388 vsize=865248 CPUtime=18.48
/proc/32390/task/32392/stat : 32392 (java) R 32388 32390 31363 0 -1 64 14851 0 1 0 1840 8 0 0 25 0 9 0 90169988 886013952 23289 996147200 134512640 134550932 4294955888 18446744073709551615 4125903077 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32393] ppid=32388 vsize=865248 CPUtime=0.11
/proc/32390/task/32393/stat : 32393 (java) S 32388 32390 31363 0 -1 64 7640 0 0 0 8 3 0 0 17 0 9 0 90169990 886013952 23289 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32394] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32394/stat : 32394 (java) S 32388 32390 31363 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 23289 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32395] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32395/stat : 32395 (java) S 32388 32390 31363 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90169990 886013952 23289 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32396] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32396/stat : 32396 (java) S 32388 32390 31363 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90169992 886013952 23289 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32397] ppid=32388 vsize=865248 CPUtime=0.36
/proc/32390/task/32397/stat : 32397 (java) S 32388 32390 31363 0 -1 64 703 0 0 0 35 1 0 0 15 0 9 0 90169992 886013952 23289 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32398] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32398/stat : 32398 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90169992 886013952 23289 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32390/tid=32399] ppid=32388 vsize=865248 CPUtime=0
/proc/32390/task/32399/stat : 32399 (java) S 32388 32390 31363 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90169992 886013952 23289 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.99
Current children cumulated vsize (KiB) 865248
Child status: 0
Real time (s): 19.1945
CPU time (s): 19.0931
CPU user time (s): 18.9321
CPU system time (s): 0.160975
CPU usage (%): 99.4716
Max. virtual memory (cumulated for all children) (KiB): 865248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.9321
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23969
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= 2436
involuntary context switches= 2621
runsolver used 0.027995 second user time and 0.066989 second system time
The end
Begin job on node92 at 2009-07-19 21:17:30
IDJOB=2116425
IDBENCH=56845
IDSOLVER=780
FILE ID=node92/2116425-1248031049
PBS_JOBID= 9528872
Free space on /tmp= 66112 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/ogdPuzzle/normalized-crossword-m1-ogd-puzzle22.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file BENCHNAME -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2116425-1248031049/watcher-2116425-1248031049 -o /tmp/evaluation-result-2116425-1248031049/solver-2116425-1248031049 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116425-1248031049.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4fd9722e59aa2e5ca5e508f77baf17c8
RANDOM SEED=787008606
node92.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.216
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.216
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 729840 kB
Buffers: 108704 kB
Cached: 974944 kB
SwapCached: 0 kB
Active: 474368 kB
Inactive: 744808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 729840 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 14944 kB
Writeback: 0 kB
Mapped: 153412 kB
Slab: 92024 kB
Committed_AS: 1255464 kB
PageTables: 2124 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= 66108 MiB
End job on node92 at 2009-07-19 21:17:49