26.43/26.75 s SATISFIABLE
26.43/26.75 v 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39
26.43/26.75 d ASSIGNMENTS 1
26.43/26.75 c SAT 26658 TIME 1 NDS 19407 PARSTIME 7068 BUILDPB 183 RES false RESTART 1 HEURISTIC
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1038247-1214965120/watcher-1038247-1214965120 -o /tmp/evaluation-result-1038247-1214965120/solver-1038247-1214965120 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1038247-1214965120.xml
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): 2200 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.01 2.02 2.00 4/72 31228
/proc/meminfo: memFree=1534256/2055920 swapFree=4164432/4192956
[pid=31228] ppid=31226 vsize=1804 CPUtime=0
/proc/31228/stat : 31228 (java) D 31226 31228 29223 0 -1 0 195 0 0 0 0 0 0 0 18 0 1 0 1975487006 1847296 163 996147200 134512640 134550740 4294956192 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/31228/statm: 451 163 124 9 0 93 0
[startup+0.018122 s]
/proc/loadavg: 2.01 2.02 2.00 4/72 31228
/proc/meminfo: memFree=1534256/2055920 swapFree=4164432/4192956
[pid=31228] ppid=31226 vsize=44664 CPUtime=0
/proc/31228/stat : 31228 (java) S 31226 31228 29223 0 -1 0 942 0 1 0 0 0 0 0 18 0 2 0 1975487006 45735936 674 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/31228/statm: 11166 674 365 9 0 9564 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 44664
[startup+0.111138 s]
/proc/loadavg: 2.01 2.02 2.00 4/72 31228
/proc/meminfo: memFree=1534256/2055920 swapFree=4164432/4192956
[pid=31228] ppid=31226 vsize=866556 CPUtime=0.09
/proc/31228/stat : 31228 (java) S 31226 31228 29223 0 -1 0 3917 0 1 0 7 2 0 0 18 0 9 0 1975487006 887353344 3376 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31228/statm: 216639 3376 1793 9 0 211111 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866556
[startup+0.30116 s]
/proc/loadavg: 2.01 2.02 2.00 4/72 31228
/proc/meminfo: memFree=1534256/2055920 swapFree=4164432/4192956
[pid=31228] ppid=31226 vsize=866556 CPUtime=0.27
/proc/31228/stat : 31228 (java) S 31226 31228 29223 0 -1 0 4391 0 1 0 25 2 0 0 18 0 9 0 1975487006 887353344 3844 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31228/statm: 216639 3844 1852 9 0 211111 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866556
[startup+0.701224 s]
/proc/loadavg: 2.01 2.02 2.00 4/72 31228
/proc/meminfo: memFree=1534256/2055920 swapFree=4164432/4192956
[pid=31228] ppid=31226 vsize=867316 CPUtime=0.68
/proc/31228/stat : 31228 (java) S 31226 31228 29223 0 -1 0 11603 0 1 0 60 8 0 0 18 0 9 0 1975487006 888131584 11056 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31228/statm: 216829 11056 1854 9 0 211301 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867316
[startup+1.50234 s]
/proc/loadavg: 2.01 2.02 2.00 3/81 31237
/proc/meminfo: memFree=1433896/2055920 swapFree=4164432/4192956
[pid=31228] ppid=31226 vsize=867316 CPUtime=1.46
/proc/31228/stat : 31228 (java) S 31226 31228 29223 0 -1 0 41210 0 1 0 122 24 0 0 18 0 9 0 1975487006 888131584 40658 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31228/statm: 216829 40658 1869 9 0 211301 0
[pid=31228/tid=31230] ppid=31226 vsize=867316 CPUtime=1.18
/proc/31228/task/31230/stat : 31230 (java) R 31226 31228 29223 0 -1 64 14944 0 1 0 106 12 0 0 25 0 9 0 1975487007 888131584 40658 996147200 134512640 134550740 4294956032 18446744073709551615 4126447888 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31231] ppid=31226 vsize=867316 CPUtime=0.16
/proc/31228/task/31231/stat : 31231 (java) S 31226 31228 29223 0 -1 64 25040 0 0 0 6 10 0 0 16 0 9 0 1975487009 888131584 40658 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31232] ppid=31226 vsize=867316 CPUtime=0
/proc/31228/task/31232/stat : 31232 (java) S 31226 31228 29223 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1975487009 888131584 40658 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31233] ppid=31226 vsize=867316 CPUtime=0
/proc/31228/task/31233/stat : 31233 (java) S 31226 31228 29223 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1975487009 888131584 40658 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31234] ppid=31226 vsize=867316 CPUtime=0
/proc/31228/task/31234/stat : 31234 (java) S 31226 31228 29223 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1975487011 888131584 40658 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31235] ppid=31226 vsize=867316 CPUtime=0.09
/proc/31228/task/31235/stat : 31235 (java) S 31226 31228 29223 0 -1 64 491 0 0 0 9 0 0 0 16 0 9 0 1975487011 888131584 40658 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31236] ppid=31226 vsize=867316 CPUtime=0
/proc/31228/task/31236/stat : 31236 (java) S 31226 31228 29223 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1975487011 888131584 40658 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31237] ppid=31226 vsize=867316 CPUtime=0
/proc/31228/task/31237/stat : 31237 (java) S 31226 31228 29223 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1975487011 888131584 40658 996147200 134512640 134550740 4294956032 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) 867316
[startup+3.10258 s]
/proc/loadavg: 2.01 2.02 2.00 3/81 31237
/proc/meminfo: memFree=1332456/2055920 swapFree=4164432/4192956
[pid=31228] ppid=31226 vsize=867448 CPUtime=3.05
/proc/31228/stat : 31228 (java) S 31226 31228 29223 0 -1 0 68210 0 1 0 267 38 0 0 18 0 9 0 1975487006 888266752 67650 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31228/statm: 216862 67650 1880 9 0 211334 0
[pid=31228/tid=31230] ppid=31226 vsize=867448 CPUtime=2.42
/proc/31228/task/31230/stat : 31230 (java) R 31226 31228 29223 0 -1 64 15003 0 1 0 227 15 0 0 25 0 9 0 1975487007 888266752 67650 996147200 134512640 134550740 4294956032 18446744073709551615 4126739421 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31231] ppid=31226 vsize=867448 CPUtime=0.47
/proc/31228/task/31231/stat : 31231 (java) S 31226 31228 29223 0 -1 64 51950 0 0 0 26 21 0 0 17 0 9 0 1975487009 888266752 67650 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31232] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31232/stat : 31232 (java) S 31226 31228 29223 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1975487009 888266752 67650 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31233] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31233/stat : 31233 (java) S 31226 31228 29223 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1975487009 888266752 67650 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31234] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31234/stat : 31234 (java) S 31226 31228 29223 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1975487011 888266752 67650 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31235] ppid=31226 vsize=867448 CPUtime=0.14
/proc/31228/task/31235/stat : 31235 (java) S 31226 31228 29223 0 -1 64 522 0 0 0 13 1 0 0 16 0 9 0 1975487011 888266752 67650 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31236] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31236/stat : 31236 (java) S 31226 31228 29223 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1975487011 888266752 67650 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31237] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31237/stat : 31237 (java) S 31226 31228 29223 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1975487011 888266752 67650 996147200 134512640 134550740 4294956032 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) 867448
[startup+6.30205 s]
/proc/loadavg: 2.01 2.02 2.00 3/81 31237
/proc/meminfo: memFree=1185704/2055920 swapFree=4164432/4192956
[pid=31228] ppid=31226 vsize=867448 CPUtime=6.22
/proc/31228/stat : 31228 (java) S 31226 31228 29223 0 -1 0 100541 0 1 0 569 53 0 0 18 0 9 0 1975487006 888266752 99974 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31228/statm: 216862 99974 1880 9 0 211334 0
[pid=31228/tid=31230] ppid=31226 vsize=867448 CPUtime=4.88
/proc/31228/task/31230/stat : 31230 (java) R 31226 31228 29223 0 -1 64 15010 0 1 0 473 15 0 0 25 0 9 0 1975487007 888266752 99974 996147200 134512640 134550740 4294956032 18446744073709551615 4126740508 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31231] ppid=31226 vsize=867448 CPUtime=1.15
/proc/31228/task/31231/stat : 31231 (java) S 31226 31228 29223 0 -1 64 84270 0 0 0 80 35 0 0 17 0 9 0 1975487009 888266752 99974 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31232] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31232/stat : 31232 (java) S 31226 31228 29223 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1975487009 888266752 99974 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31233] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31233/stat : 31233 (java) S 31226 31228 29223 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1975487009 888266752 99974 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31234] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31234/stat : 31234 (java) S 31226 31228 29223 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1975487011 888266752 99974 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31235] ppid=31226 vsize=867448 CPUtime=0.15
/proc/31228/task/31235/stat : 31235 (java) S 31226 31228 29223 0 -1 64 526 0 0 0 14 1 0 0 16 0 9 0 1975487011 888266752 99974 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31236] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31236/stat : 31236 (java) S 31226 31228 29223 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1975487011 888266752 99974 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31237] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31237/stat : 31237 (java) S 31226 31228 29223 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1975487011 888266752 99974 996147200 134512640 134550740 4294956032 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) 867448
[startup+12.703 s]
/proc/loadavg: 2.08 2.04 2.00 3/81 31237
/proc/meminfo: memFree=926760/2055920 swapFree=4164432/4192956
[pid=31228] ppid=31226 vsize=867448 CPUtime=12.56
/proc/31228/stat : 31228 (java) S 31226 31228 29223 0 -1 0 159759 0 1 0 1177 79 0 0 18 0 9 0 1975487006 888266752 159181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31228/statm: 216862 159181 1880 9 0 211334 0
[pid=31228/tid=31230] ppid=31226 vsize=867448 CPUtime=9.95
/proc/31228/task/31230/stat : 31230 (java) R 31226 31228 29223 0 -1 64 15021 0 1 0 980 15 0 0 25 0 9 0 1975487007 888266752 159181 996147200 134512640 134550740 4294956032 18446744073709551615 104454879 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31231] ppid=31226 vsize=867448 CPUtime=2.43
/proc/31228/task/31231/stat : 31231 (java) S 31226 31228 29223 0 -1 64 143473 0 0 0 182 61 0 0 17 0 9 0 1975487009 888266752 159181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31232] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31232/stat : 31232 (java) S 31226 31228 29223 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1975487009 888266752 159181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31233] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31233/stat : 31233 (java) S 31226 31228 29223 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1975487009 888266752 159181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31234] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31234/stat : 31234 (java) S 31226 31228 29223 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1975487011 888266752 159181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31235] ppid=31226 vsize=867448 CPUtime=0.15
/proc/31228/task/31235/stat : 31235 (java) S 31226 31228 29223 0 -1 64 530 0 0 0 14 1 0 0 17 0 9 0 1975487011 888266752 159181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31236] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31236/stat : 31236 (java) S 31226 31228 29223 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1975487011 888266752 159181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31237] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31237/stat : 31237 (java) S 31226 31228 29223 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1975487011 888266752 159181 996147200 134512640 134550740 4294956032 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) 867448
[startup+25.5019 s]
/proc/loadavg: 2.07 2.04 2.00 4/81 31237
/proc/meminfo: memFree=749096/2055920 swapFree=4164432/4192956
[pid=31228] ppid=31226 vsize=867448 CPUtime=25.25
/proc/31228/stat : 31228 (java) S 31226 31228 29223 0 -1 0 199697 0 1 0 2430 95 0 0 18 0 9 0 1975487006 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31228/statm: 216862 198905 2647 9 0 211334 0
[pid=31228/tid=31230] ppid=31226 vsize=867448 CPUtime=14.29
/proc/31228/task/31230/stat : 31230 (java) R 31226 31228 29223 0 -1 64 15297 0 1 0 1413 16 0 0 19 0 9 0 1975487007 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4126887262 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31231] ppid=31226 vsize=867448 CPUtime=10.72
/proc/31228/task/31231/stat : 31231 (java) S 31226 31228 29223 0 -1 64 183109 0 0 0 996 76 0 0 25 0 9 0 1975487009 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31232] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31232/stat : 31232 (java) S 31226 31228 29223 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1975487009 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31233] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31233/stat : 31233 (java) S 31226 31228 29223 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1975487009 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31234] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31234/stat : 31234 (java) S 31226 31228 29223 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1975487011 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31235] ppid=31226 vsize=867448 CPUtime=0.2
/proc/31228/task/31235/stat : 31235 (java) S 31226 31228 29223 0 -1 64 556 0 0 0 19 1 0 0 15 0 9 0 1975487011 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31236] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31236/stat : 31236 (java) S 31226 31228 29223 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1975487011 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31237] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31237/stat : 31237 (java) S 31226 31228 29223 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1975487011 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867448
Solver just ended. Dumping a history of the last processes samples
[startup+26.303 s]
/proc/loadavg: 2.07 2.04 2.00 3/81 31237
/proc/meminfo: memFree=749096/2055920 swapFree=4164432/4192956
[pid=31228] ppid=31226 vsize=867448 CPUtime=26.05
/proc/31228/stat : 31228 (java) S 31226 31228 29223 0 -1 0 199701 0 1 0 2510 95 0 0 18 0 9 0 1975487006 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31228/statm: 216862 198905 2647 9 0 211334 0
[pid=31228/tid=31230] ppid=31226 vsize=867448 CPUtime=15.07
/proc/31228/task/31230/stat : 31230 (java) R 31226 31228 29223 0 -1 64 15301 0 1 0 1491 16 0 0 25 0 9 0 1975487007 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4126887165 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31231] ppid=31226 vsize=867448 CPUtime=10.74
/proc/31228/task/31231/stat : 31231 (java) S 31226 31228 29223 0 -1 64 183109 0 0 0 998 76 0 0 22 0 9 0 1975487009 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31232] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31232/stat : 31232 (java) S 31226 31228 29223 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1975487009 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31233] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31233/stat : 31233 (java) S 31226 31228 29223 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1975487009 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31234] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31234/stat : 31234 (java) S 31226 31228 29223 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1975487011 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31235] ppid=31226 vsize=867448 CPUtime=0.2
/proc/31228/task/31235/stat : 31235 (java) S 31226 31228 29223 0 -1 64 556 0 0 0 19 1 0 0 15 0 9 0 1975487011 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31236] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31236/stat : 31236 (java) S 31226 31228 29223 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1975487011 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31237] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31237/stat : 31237 (java) S 31226 31228 29223 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1975487011 888266752 198905 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.05
Current children cumulated vsize (KiB) 867448
[startup+26.701 s]
/proc/loadavg: 2.07 2.04 2.00 3/81 31237
/proc/meminfo: memFree=749096/2055920 swapFree=4164432/4192956
[pid=31228] ppid=31226 vsize=867448 CPUtime=26.43
/proc/31228/stat : 31228 (java) S 31226 31228 29223 0 -1 0 199811 0 1 0 2548 95 0 0 18 0 9 0 1975487006 888266752 199008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31228/statm: 216862 199008 2649 9 0 211334 0
[pid=31228/tid=31230] ppid=31226 vsize=867448 CPUtime=15.4
/proc/31228/task/31230/stat : 31230 (java) R 31226 31228 29223 0 -1 64 15374 0 1 0 1524 16 0 0 25 0 9 0 1975487007 888266752 199008 996147200 134512640 134550740 4294956032 18446744073709551615 4126888416 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31231] ppid=31226 vsize=867448 CPUtime=10.74
/proc/31228/task/31231/stat : 31231 (java) S 31226 31228 29223 0 -1 64 183109 0 0 0 998 76 0 0 22 0 9 0 1975487009 888266752 199008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31232] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31232/stat : 31232 (java) S 31226 31228 29223 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1975487009 888266752 199008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31233] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31233/stat : 31233 (java) S 31226 31228 29223 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1975487009 888266752 199008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31234] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31234/stat : 31234 (java) S 31226 31228 29223 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1975487011 888266752 199008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31235] ppid=31226 vsize=867448 CPUtime=0.26
/proc/31228/task/31235/stat : 31235 (java) S 31226 31228 29223 0 -1 64 593 0 0 0 25 1 0 0 16 0 9 0 1975487011 888266752 199008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31236] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31236/stat : 31236 (java) S 31226 31228 29223 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1975487011 888266752 199008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31228/tid=31237] ppid=31226 vsize=867448 CPUtime=0
/proc/31228/task/31237/stat : 31237 (java) S 31226 31228 29223 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1975487011 888266752 199008 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.43
Current children cumulated vsize (KiB) 867448
[startup+26.9024 s]
/proc/loadavg: 2.07 2.04 2.00 3/81 31237
/proc/meminfo: memFree=749096/2055920 swapFree=4164432/4192956
[pid=31228] ppid=31226 vsize=0 CPUtime=26.59
/proc/31228/stat : 31228 (java) Z 31226 31228 29223 0 -1 12 199852 0 1 0 2555 104 0 0 16 0 2 0 1975487006 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31228/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 26.59
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 26.9341
CPU time (s): 26.6389
CPU user time (s): 25.5591
CPU system time (s): 1.07983
CPU usage (%): 98.9041
Max. virtual memory (cumulated for all children) (KiB): 867772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.5591
system time used= 1.07984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199852
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= 2134
involuntary context switches= 2642
runsolver used 0.037994 second user time and 0.093985 second system time
The end
Begin job on node22 at 2008-07-02 04:18:48
IDJOB=1038247
IDBENCH=53553
IDSOLVER=349
FILE ID=node22/1038247-1214965120
PBS_JOBID= 7870289
Free space on /tmp= 66472 MiB
SOLVER NAME= choco2_dwdeg 2008-06-26
BENCH NAME= CPAI08/csp/marc/normalized-large-88-sat_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1038247-1214965120/watcher-1038247-1214965120 -o /tmp/evaluation-result-1038247-1214965120/solver-1038247-1214965120 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1038247-1214965120.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= dd27e97e48b6e78409370aee787bfb74
RANDOM SEED=101042117
node22.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.267
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.267
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: 1534672 kB
Buffers: 56180 kB
Cached: 359060 kB
SwapCached: 22816 kB
Active: 191132 kB
Inactive: 254916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1534672 kB
SwapTotal: 4192956 kB
SwapFree: 4164432 kB
Dirty: 90240 kB
Writeback: 0 kB
Mapped: 22060 kB
Slab: 60532 kB
Committed_AS: 3188636 kB
PageTables: 1680 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= 66468 MiB
End job on node22 at 2008-07-02 04:19:16