13.06/13.29 s SATISFIABLE
13.06/13.29 v 14 6 11 4 15 17 8 18 12 4 2 7 14 18 11 0 24 7 14 17 18 4 11 4 14 13 11 8 13 4 1 0 2 10 4 17 4 13 14 11 14 1 4 11 8 18 10 2 7 0 19 19 24 8 2 4 1 8 10 8 13 8 6 11 0 3 4 6 4 19 18 14 12 0 11 24 0 15 15 11 4 0 18 4 17 4 13 0 15 3 15 18 20 17 17 4 0 11 19 8 19 18 11 4 22 6 20 8 11 19 24 4 19 2 24 4 0 17 13 13 18 5 18 0 17 0 7 17 8 24 0 3 7 12 8 13 18 13 0 19 2 7 5 8 13 13 8 18 7 11 8 13 19 4 5 5 0 2 4 0 1 11 4 14 13 2 4 0 1 0 2 10 11 8 0 17 1 4 4 13 3 8 17 19 24 4 3 6 4
13.06/13.29 d AC 32
13.06/13.29 d RUNTIME 13.128
13.06/13.29 d NODES 276
13.06/13.29 d NODES/s 21
13.06/13.29 d BACKTRACKS 217
13.06/13.29 d BACKTRACKS/s 17
13.06/13.29 d CHECKS 71790812
13.06/13.29 d CHECKS/s 5468526
13.06/13.29 c SAT 13.128 TIME 276 NDS 496 PARSTIME 256 BUILDPB 490 CONFIG 11886 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-2115706-1248029529/watcher-2115706-1248029529 -o /tmp/evaluation-result-2115706-1248029529/solver-2115706-1248029529 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2115706-1248029529.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.06 2.02 1.91 3/81 30216
/proc/meminfo: memFree=1065600/2055920 swapFree=4192812/4192956
[pid=30216] ppid=30214 vsize=18576 CPUtime=0
/proc/30216/stat : 30216 (runsolver) R 30214 30216 29919 0 -1 4194368 16 0 0 0 0 0 0 0 22 0 1 0 90018122 19021824 285 996147200 4194304 4302564 548682068272 18446744073709551615 249069890855 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30216/statm: 4644 285 249 26 0 2626 0
[startup+0.0494449 s]
/proc/loadavg: 2.06 2.02 1.91 3/81 30216
/proc/meminfo: memFree=1065600/2055920 swapFree=4192812/4192956
[pid=30216] ppid=30214 vsize=859892 CPUtime=0.03
/proc/30216/stat : 30216 (java) S 30214 30216 29919 0 -1 0 2268 0 1 0 2 1 0 0 18 0 5 0 90018122 880529408 1853 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/30216/statm: 214973 1853 863 9 0 209888 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 859892
[startup+0.101078 s]
/proc/loadavg: 2.06 2.02 1.91 3/81 30216
/proc/meminfo: memFree=1065600/2055920 swapFree=4192812/4192956
[pid=30216] ppid=30214 vsize=864072 CPUtime=0.07
/proc/30216/stat : 30216 (java) S 30214 30216 29919 0 -1 0 3342 0 1 0 6 1 0 0 18 0 9 0 90018122 884809728 2807 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30216/statm: 216018 2807 1321 9 0 210487 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 864072
[startup+0.30106 s]
/proc/loadavg: 2.06 2.02 1.91 3/81 30216
/proc/meminfo: memFree=1065600/2055920 swapFree=4192812/4192956
[pid=30216] ppid=30214 vsize=864860 CPUtime=0.27
/proc/30216/stat : 30216 (java) S 30214 30216 29919 0 -1 0 4930 0 1 0 25 2 0 0 18 0 9 0 90018122 885616640 4355 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30216/statm: 216215 4355 1858 9 0 210684 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 864860
[startup+0.701097 s]
/proc/loadavg: 2.06 2.02 1.91 3/81 30216
/proc/meminfo: memFree=1065600/2055920 swapFree=4192812/4192956
[pid=30216] ppid=30214 vsize=865112 CPUtime=0.67
/proc/30216/stat : 30216 (java) S 30214 30216 29919 0 -1 0 8301 0 1 0 63 4 0 0 18 0 9 0 90018122 885874688 7696 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30216/statm: 216278 7696 1950 9 0 210747 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 865112
[startup+1.50118 s]
/proc/loadavg: 2.06 2.02 1.91 3/90 30225
/proc/meminfo: memFree=1032760/2055920 swapFree=4192812/4192956
[pid=30216] ppid=30214 vsize=865244 CPUtime=1.46
/proc/30216/stat : 30216 (java) S 30214 30216 29919 0 -1 0 14723 0 1 0 139 7 0 0 18 0 9 0 90018122 886009856 14101 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30216/statm: 216311 14101 1978 9 0 210780 0
[pid=30216/tid=30218] ppid=30214 vsize=865244 CPUtime=1.11
/proc/30216/task/30218/stat : 30218 (java) R 30214 30216 29919 0 -1 64 13314 0 1 0 105 6 0 0 25 0 9 0 90018124 886009856 14101 996147200 134512640 134550932 4294955888 18446744073709551615 4127328400 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30219] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30219/stat : 30219 (java) S 30214 30216 29919 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 90018125 886009856 14101 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30220] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30220/stat : 30220 (java) S 30214 30216 29919 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 90018126 886009856 14101 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30221] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30221/stat : 30221 (java) S 30214 30216 29919 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 90018126 886009856 14101 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30222] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30222/stat : 30222 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90018128 886009856 14101 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30223] ppid=30214 vsize=865244 CPUtime=0.33
/proc/30216/task/30223/stat : 30223 (java) S 30214 30216 29919 0 -1 64 680 0 0 0 33 0 0 0 15 0 9 0 90018128 886009856 14101 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30224] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30224/stat : 30224 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90018128 886009856 14101 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30225] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30225/stat : 30225 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90018128 886009856 14101 996147200 134512640 134550932 4294955888 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) 865244
[startup+3.10133 s]
/proc/loadavg: 2.05 2.02 1.91 3/90 30225
/proc/meminfo: memFree=1013176/2055920 swapFree=4192812/4192956
[pid=30216] ppid=30214 vsize=865244 CPUtime=3.05
/proc/30216/stat : 30216 (java) S 30214 30216 29919 0 -1 0 19944 0 1 0 295 10 0 0 18 0 9 0 90018122 886009856 19318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30216/statm: 216311 19318 1989 9 0 210780 0
[pid=30216/tid=30218] ppid=30214 vsize=865244 CPUtime=2.59
/proc/30216/task/30218/stat : 30218 (java) R 30214 30216 29919 0 -1 64 14842 0 1 0 252 7 0 0 25 0 9 0 90018124 886009856 19318 996147200 134512640 134550932 4294955888 18446744073709551615 4127257080 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30219] ppid=30214 vsize=865244 CPUtime=0.08
/proc/30216/task/30219/stat : 30219 (java) S 30214 30216 29919 0 -1 64 3678 0 0 0 7 1 0 0 16 0 9 0 90018125 886009856 19318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30220] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30220/stat : 30220 (java) S 30214 30216 29919 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90018126 886009856 19318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30221] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30221/stat : 30221 (java) S 30214 30216 29919 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 90018126 886009856 19318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30222] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30222/stat : 30222 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90018128 886009856 19318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30223] ppid=30214 vsize=865244 CPUtime=0.35
/proc/30216/task/30223/stat : 30223 (java) S 30214 30216 29919 0 -1 64 689 0 0 0 35 0 0 0 16 0 9 0 90018128 886009856 19318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30224] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30224/stat : 30224 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90018128 886009856 19318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30225] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30225/stat : 30225 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90018128 886009856 19318 996147200 134512640 134550932 4294955888 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) 865244
[startup+6.30264 s]
/proc/loadavg: 2.05 2.02 1.91 3/90 30225
/proc/meminfo: memFree=995512/2055920 swapFree=4192812/4192956
[pid=30216] ppid=30214 vsize=865244 CPUtime=6.23
/proc/30216/stat : 30216 (java) S 30214 30216 29919 0 -1 0 19955 0 1 0 612 11 0 0 18 0 9 0 90018122 886009856 19326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30216/statm: 216311 19326 1989 9 0 210780 0
[pid=30216/tid=30218] ppid=30214 vsize=865244 CPUtime=5.75
/proc/30216/task/30218/stat : 30218 (java) R 30214 30216 29919 0 -1 64 14845 0 1 0 567 8 0 0 25 0 9 0 90018124 886009856 19326 996147200 134512640 134550932 4294955888 18446744073709551615 4127255024 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30219] ppid=30214 vsize=865244 CPUtime=0.08
/proc/30216/task/30219/stat : 30219 (java) S 30214 30216 29919 0 -1 64 3678 0 0 0 7 1 0 0 16 0 9 0 90018125 886009856 19326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30220] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30220/stat : 30220 (java) S 30214 30216 29919 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90018126 886009856 19326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30221] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30221/stat : 30221 (java) S 30214 30216 29919 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 90018126 886009856 19326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30222] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30222/stat : 30222 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90018128 886009856 19326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30223] ppid=30214 vsize=865244 CPUtime=0.36
/proc/30216/task/30223/stat : 30223 (java) S 30214 30216 29919 0 -1 64 697 0 0 0 36 0 0 0 16 0 9 0 90018128 886009856 19326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30224] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30224/stat : 30224 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90018128 886009856 19326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30225] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30225/stat : 30225 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90018128 886009856 19326 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 865244
[startup+12.7023 s]
/proc/loadavg: 2.04 2.02 1.91 3/90 30225
/proc/meminfo: memFree=989752/2055920 swapFree=4192812/4192956
[pid=30216] ppid=30214 vsize=865244 CPUtime=12.56
/proc/30216/stat : 30216 (java) S 30214 30216 29919 0 -1 0 21367 0 1 0 1244 12 0 0 18 0 9 0 90018122 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30216/statm: 216311 20732 1991 9 0 210780 0
[pid=30216/tid=30218] ppid=30214 vsize=865244 CPUtime=12.03
/proc/30216/task/30218/stat : 30218 (java) R 30214 30216 29919 0 -1 64 14859 0 1 0 1194 9 0 0 25 0 9 0 90018124 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4127328435 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30219] ppid=30214 vsize=865244 CPUtime=0.13
/proc/30216/task/30219/stat : 30219 (java) S 30214 30216 29919 0 -1 64 5065 0 0 0 11 2 0 0 16 0 9 0 90018125 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30220] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30220/stat : 30220 (java) S 30214 30216 29919 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90018126 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30221] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30221/stat : 30221 (java) S 30214 30216 29919 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 90018126 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30222] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30222/stat : 30222 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90018128 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30223] ppid=30214 vsize=865244 CPUtime=0.38
/proc/30216/task/30223/stat : 30223 (java) S 30214 30216 29919 0 -1 64 708 0 0 0 38 0 0 0 15 0 9 0 90018128 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30224] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30224/stat : 30224 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90018128 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30225] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30225/stat : 30225 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90018128 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 865244
Solver just ended. Dumping a history of the last processes samples
[startup+13.1023 s]
/proc/loadavg: 2.04 2.02 1.91 3/90 30225
/proc/meminfo: memFree=989752/2055920 swapFree=4192812/4192956
[pid=30216] ppid=30214 vsize=865244 CPUtime=12.96
/proc/30216/stat : 30216 (java) S 30214 30216 29919 0 -1 0 21367 0 1 0 1284 12 0 0 18 0 9 0 90018122 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30216/statm: 216311 20732 1991 9 0 210780 0
[pid=30216/tid=30218] ppid=30214 vsize=865244 CPUtime=12.43
/proc/30216/task/30218/stat : 30218 (java) R 30214 30216 29919 0 -1 64 14859 0 1 0 1234 9 0 0 25 0 9 0 90018124 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4127267999 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30219] ppid=30214 vsize=865244 CPUtime=0.13
/proc/30216/task/30219/stat : 30219 (java) S 30214 30216 29919 0 -1 64 5065 0 0 0 11 2 0 0 16 0 9 0 90018125 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30220] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30220/stat : 30220 (java) S 30214 30216 29919 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90018126 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30221] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30221/stat : 30221 (java) S 30214 30216 29919 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 90018126 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30222] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30222/stat : 30222 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90018128 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30223] ppid=30214 vsize=865244 CPUtime=0.38
/proc/30216/task/30223/stat : 30223 (java) S 30214 30216 29919 0 -1 64 708 0 0 0 38 0 0 0 15 0 9 0 90018128 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30224] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30224/stat : 30224 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90018128 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30225] ppid=30214 vsize=865244 CPUtime=0
/proc/30216/task/30225/stat : 30225 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90018128 886009856 20732 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.96
Current children cumulated vsize (KiB) 865244
[startup+13.3023 s]
/proc/loadavg: 2.04 2.02 1.91 3/90 30225
/proc/meminfo: memFree=989752/2055920 swapFree=4192812/4192956
[pid=30216] ppid=30214 vsize=865568 CPUtime=13.16
/proc/30216/stat : 30216 (java) S 30214 30216 29919 0 -1 0 21406 0 1 0 1303 13 0 0 18 0 9 0 90018122 886341632 20767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30216/statm: 216392 20767 2001 9 0 210861 0
[pid=30216/tid=30218] ppid=30214 vsize=865568 CPUtime=12.6
/proc/30216/task/30218/stat : 30218 (java) S 30214 30216 29919 0 -1 64 14881 0 1 0 1251 9 0 0 25 0 9 0 90018124 886341632 20767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30219] ppid=30214 vsize=865568 CPUtime=0.13
/proc/30216/task/30219/stat : 30219 (java) S 30214 30216 29919 0 -1 64 5066 0 0 0 11 2 0 0 17 0 9 0 90018125 886341632 20767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30220] ppid=30214 vsize=865568 CPUtime=0
/proc/30216/task/30220/stat : 30220 (java) S 30214 30216 29919 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90018126 886341632 20767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30221] ppid=30214 vsize=865568 CPUtime=0
/proc/30216/task/30221/stat : 30221 (java) S 30214 30216 29919 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 90018126 886341632 20767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30222] ppid=30214 vsize=865568 CPUtime=0
/proc/30216/task/30222/stat : 30222 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90018128 886341632 20767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30223] ppid=30214 vsize=865568 CPUtime=0.39
/proc/30216/task/30223/stat : 30223 (java) S 30214 30216 29919 0 -1 64 719 0 0 0 39 0 0 0 16 0 9 0 90018128 886341632 20767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30224] ppid=30214 vsize=865568 CPUtime=0
/proc/30216/task/30224/stat : 30224 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90018128 886341632 20767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30216/tid=30225] ppid=30214 vsize=865568 CPUtime=0
/proc/30216/task/30225/stat : 30225 (java) S 30214 30216 29919 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90018128 886341632 20767 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.16
Current children cumulated vsize (KiB) 865568
Child status: 0
Real time (s): 13.3636
CPU time (s): 13.174
CPU user time (s): 13.031
CPU system time (s): 0.142978
CPU usage (%): 98.581
Max. virtual memory (cumulated for all children) (KiB): 865568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.031
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21409
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= 2583
involuntary context switches= 3020
runsolver used 0.022996 second user time and 0.045993 second system time
The end
Begin job on node89 at 2009-07-19 20:52:09
IDJOB=2115706
IDBENCH=55445
IDSOLVER=780
FILE ID=node89/2115706-1248029529
PBS_JOBID= 9528878
Free space on /tmp= 66268 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/lexHerald/normalized-crossword-m1-lex-15-01.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-2115706-1248029529/watcher-2115706-1248029529 -o /tmp/evaluation-result-2115706-1248029529/solver-2115706-1248029529 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2115706-1248029529.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= 0389a008320032d4e55e89d7ac6d4180
RANDOM SEED=1020867551
node89.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.213
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.213
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: 1066088 kB
Buffers: 104376 kB
Cached: 682044 kB
SwapCached: 0 kB
Active: 349416 kB
Inactive: 541964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1066088 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5384 kB
Writeback: 0 kB
Mapped: 122808 kB
Slab: 83544 kB
Committed_AS: 1256012 kB
PageTables: 1952 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= 66260 MiB
End job on node89 at 2009-07-19 20:52:23