11.41/11.46 s UNSATISFIABLE
11.41/11.46 d AC 32
11.41/11.46 d RUNTIME 11.375
11.41/11.46 d NODES 2894
11.41/11.46 d NODES/s 254
11.41/11.46 d BACKTRACKS 6080
11.41/11.46 d BACKTRACKS/s 535
11.41/11.46 d CHECKS 0
11.41/11.46 d CHECKS/s 0
11.41/11.46 c UNSAT 11.375 TIME 2894 NDS 183 PARSTIME 89 BUILDPB 164 CONFIG 10939 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-2114822-1248026647/watcher-2114822-1248026647 -o /tmp/evaluation-result-2114822-1248026647/solver-2114822-1248026647 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2114822-1248026647.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: 0.66 0.16 0.05 3/67 28016
/proc/meminfo: memFree=813528/2055920 swapFree=4192812/4192956
[pid=28016] ppid=28014 vsize=152 CPUtime=0
/proc/28016/stat : 28016 (java) R 28014 28016 27607 0 -1 0 222 0 0 0 0 0 0 0 18 0 1 0 89732156 155648 26 996147200 134512640 134550932 4294955888 18446744073709551615 7893796 0 0 4096 0 0 0 0 17 0 0 0
/proc/28016/statm: 38 26 19 9 0 4 0
[startup+0.101892 s]
/proc/loadavg: 0.66 0.16 0.05 3/67 28016
/proc/meminfo: memFree=813528/2055920 swapFree=4192812/4192956
[pid=28016] ppid=28014 vsize=864104 CPUtime=0.1
/proc/28016/stat : 28016 (java) S 28014 28016 27607 0 -1 0 4008 0 1 0 8 2 0 0 18 0 9 0 89732156 884842496 3455 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 216026 3455 1778 9 0 210495 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 864104
[startup+0.202918 s]
/proc/loadavg: 0.66 0.16 0.05 3/67 28016
/proc/meminfo: memFree=813528/2055920 swapFree=4192812/4192956
[pid=28016] ppid=28014 vsize=865264 CPUtime=0.22
/proc/28016/stat : 28016 (java) S 28014 28016 27607 0 -1 0 4737 0 1 0 20 2 0 0 18 0 9 0 89732156 886030336 4153 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 216316 4154 1883 9 0 210785 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 865264
[startup+0.302935 s]
/proc/loadavg: 0.66 0.16 0.05 3/67 28016
/proc/meminfo: memFree=813528/2055920 swapFree=4192812/4192956
[pid=28016] ppid=28014 vsize=865264 CPUtime=0.32
/proc/28016/stat : 28016 (java) S 28014 28016 27607 0 -1 0 5340 0 1 0 30 2 0 0 18 0 9 0 89732156 886030336 4744 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 216316 4744 1919 9 0 210785 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 865264
[startup+0.703014 s]
/proc/loadavg: 0.66 0.16 0.05 3/67 28016
/proc/meminfo: memFree=813528/2055920 swapFree=4192812/4192956
[pid=28016] ppid=28014 vsize=865264 CPUtime=0.72
/proc/28016/stat : 28016 (java) S 28014 28016 27607 0 -1 0 7383 0 1 0 68 4 0 0 18 0 9 0 89732156 886030336 6761 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 216316 6761 1977 9 0 210785 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 865264
[startup+1.50183 s]
/proc/loadavg: 0.66 0.16 0.05 4/89 28043
/proc/meminfo: memFree=760040/2055920 swapFree=4192812/4192956
[pid=28016] ppid=28014 vsize=865264 CPUtime=1.51
/proc/28016/stat : 28016 (java) S 28014 28016 27607 0 -1 0 11331 0 1 0 144 7 0 0 18 0 9 0 89732156 886030336 10708 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 216316 10708 1983 9 0 210785 0
[pid=28016/tid=28018] ppid=28014 vsize=865264 CPUtime=1.33
/proc/28016/task/28018/stat : 28018 (java) R 28014 28016 27607 0 -1 64 10188 0 1 0 127 6 0 0 25 0 9 0 89732157 886030336 10709 996147200 134512640 134550932 4294955888 18446744073709551615 4126647546 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28019] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28019/stat : 28019 (java) S 28014 28016 27607 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 89732158 886030336 10709 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28020] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28020/stat : 28020 (java) S 28014 28016 27607 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 89732158 886030336 10709 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28021] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28021/stat : 28021 (java) S 28014 28016 27607 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 89732158 886030336 10710 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28022] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28022/stat : 28022 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89732160 886030336 10710 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28023] ppid=28014 vsize=865264 CPUtime=0.17
/proc/28016/task/28023/stat : 28023 (java) S 28014 28016 27607 0 -1 64 415 0 0 0 17 0 0 0 15 0 9 0 89732160 886030336 10710 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28024] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28024/stat : 28024 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89732160 886030336 10711 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28025] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28025/stat : 28025 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89732160 886030336 10711 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 865264
[startup+3.10247 s]
/proc/loadavg: 0.66 0.16 0.05 3/89 28043
/proc/meminfo: memFree=716008/2055920 swapFree=4192812/4192956
[pid=28016] ppid=28014 vsize=865264 CPUtime=3.11
/proc/28016/stat : 28016 (java) S 28014 28016 27607 0 -1 0 16419 0 1 0 301 10 0 0 18 0 9 0 89732156 886030336 15792 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 216316 15792 1993 9 0 210785 0
[pid=28016/tid=28018] ppid=28014 vsize=865264 CPUtime=2.9
/proc/28016/task/28018/stat : 28018 (java) R 28014 28016 27607 0 -1 64 14902 0 1 0 281 9 0 0 25 0 9 0 89732157 886030336 15792 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28019] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28019/stat : 28019 (java) S 28014 28016 27607 0 -1 64 364 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 15792 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28020] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28020/stat : 28020 (java) S 28014 28016 27607 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 15792 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28021] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28021/stat : 28021 (java) S 28014 28016 27607 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 15792 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28022] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28022/stat : 28022 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89732160 886030336 15792 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28023] ppid=28014 vsize=865264 CPUtime=0.18
/proc/28016/task/28023/stat : 28023 (java) S 28014 28016 27607 0 -1 64 419 0 0 0 18 0 0 0 15 0 9 0 89732160 886030336 15792 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28024] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28024/stat : 28024 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89732160 886030336 15792 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28025] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28025/stat : 28025 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89732160 886030336 15792 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 865264
[startup+6.30108 s]
/proc/loadavg: 0.84 0.20 0.07 3/89 28043
/proc/meminfo: memFree=693480/2055920 swapFree=4192812/4192956
[pid=28016] ppid=28014 vsize=865264 CPUtime=6.32
/proc/28016/stat : 28016 (java) S 28014 28016 27607 0 -1 0 16789 0 1 0 620 12 0 0 18 0 9 0 89732156 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 216316 16157 1997 9 0 210785 0
[pid=28016/tid=28018] ppid=28014 vsize=865264 CPUtime=6.07
/proc/28016/task/28018/stat : 28018 (java) R 28014 28016 27607 0 -1 64 14908 0 1 0 597 10 0 0 25 0 9 0 89732157 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4126467036 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28019] ppid=28014 vsize=865264 CPUtime=0.02
/proc/28016/task/28019/stat : 28019 (java) S 28014 28016 27607 0 -1 64 713 0 0 0 2 0 0 0 17 0 9 0 89732158 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28020] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28020/stat : 28020 (java) S 28014 28016 27607 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28021] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28021/stat : 28021 (java) S 28014 28016 27607 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28022] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28022/stat : 28022 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89732160 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28023] ppid=28014 vsize=865264 CPUtime=0.2
/proc/28016/task/28023/stat : 28023 (java) S 28014 28016 27607 0 -1 64 434 0 0 0 20 0 0 0 17 0 9 0 89732160 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28024] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28024/stat : 28024 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89732160 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28025] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28025/stat : 28025 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89732160 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 865264
Solver just ended. Dumping a history of the last processes samples
[startup+6.4011 s]
/proc/loadavg: 0.84 0.20 0.07 3/89 28043
/proc/meminfo: memFree=693480/2055920 swapFree=4192812/4192956
[pid=28016] ppid=28014 vsize=865264 CPUtime=6.42
/proc/28016/stat : 28016 (java) S 28014 28016 27607 0 -1 0 16789 0 1 0 630 12 0 0 18 0 9 0 89732156 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 216316 16157 1997 9 0 210785 0
[pid=28016/tid=28018] ppid=28014 vsize=865264 CPUtime=6.17
/proc/28016/task/28018/stat : 28018 (java) R 28014 28016 27607 0 -1 64 14908 0 1 0 607 10 0 0 25 0 9 0 89732157 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4126467055 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28019] ppid=28014 vsize=865264 CPUtime=0.02
/proc/28016/task/28019/stat : 28019 (java) S 28014 28016 27607 0 -1 64 713 0 0 0 2 0 0 0 17 0 9 0 89732158 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28020] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28020/stat : 28020 (java) S 28014 28016 27607 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28021] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28021/stat : 28021 (java) S 28014 28016 27607 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28022] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28022/stat : 28022 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89732160 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28023] ppid=28014 vsize=865264 CPUtime=0.2
/proc/28016/task/28023/stat : 28023 (java) S 28014 28016 27607 0 -1 64 434 0 0 0 20 0 0 0 17 0 9 0 89732160 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28024] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28024/stat : 28024 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89732160 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28025] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28025/stat : 28025 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89732160 886030336 16157 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 865264
[startup+9.60271 s]
/proc/loadavg: 0.94 0.23 0.08 3/89 28043
/proc/meminfo: memFree=693416/2055920 swapFree=4192812/4192956
[pid=28016] ppid=28014 vsize=865264 CPUtime=9.61
/proc/28016/stat : 28016 (java) S 28014 28016 27607 0 -1 0 16792 0 1 0 949 12 0 0 18 0 9 0 89732156 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 216316 16158 1997 9 0 210785 0
[pid=28016/tid=28018] ppid=28014 vsize=865264 CPUtime=9.37
/proc/28016/task/28018/stat : 28018 (java) R 28014 28016 27607 0 -1 64 14910 0 1 0 926 11 0 0 25 0 9 0 89732157 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4126596748 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28019] ppid=28014 vsize=865264 CPUtime=0.02
/proc/28016/task/28019/stat : 28019 (java) S 28014 28016 27607 0 -1 64 713 0 0 0 2 0 0 0 16 0 9 0 89732158 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28020] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28020/stat : 28020 (java) S 28014 28016 27607 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28021] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28021/stat : 28021 (java) S 28014 28016 27607 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28022] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28022/stat : 28022 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89732160 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28023] ppid=28014 vsize=865264 CPUtime=0.2
/proc/28016/task/28023/stat : 28023 (java) S 28014 28016 27607 0 -1 64 435 0 0 0 20 0 0 0 16 0 9 0 89732160 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28024] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28024/stat : 28024 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89732160 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28025] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28025/stat : 28025 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89732160 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.61
Current children cumulated vsize (KiB) 865264
[startup+10.4029 s]
/proc/loadavg: 0.94 0.23 0.08 3/89 28043
/proc/meminfo: memFree=693480/2055920 swapFree=4192812/4192956
[pid=28016] ppid=28014 vsize=865264 CPUtime=10.41
/proc/28016/stat : 28016 (java) S 28014 28016 27607 0 -1 0 16793 0 1 0 1029 12 0 0 18 0 9 0 89732156 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 216316 16158 1997 9 0 210785 0
[pid=28016/tid=28018] ppid=28014 vsize=865264 CPUtime=10.16
/proc/28016/task/28018/stat : 28018 (java) R 28014 28016 27607 0 -1 64 14911 0 1 0 1005 11 0 0 25 0 9 0 89732157 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4126600974 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28019] ppid=28014 vsize=865264 CPUtime=0.03
/proc/28016/task/28019/stat : 28019 (java) S 28014 28016 27607 0 -1 64 713 0 0 0 3 0 0 0 16 0 9 0 89732158 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28020] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28020/stat : 28020 (java) S 28014 28016 27607 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28021] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28021/stat : 28021 (java) S 28014 28016 27607 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28022] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28022/stat : 28022 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89732160 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28023] ppid=28014 vsize=865264 CPUtime=0.2
/proc/28016/task/28023/stat : 28023 (java) S 28014 28016 27607 0 -1 64 435 0 0 0 20 0 0 0 16 0 9 0 89732160 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28024] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28024/stat : 28024 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89732160 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28025] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28025/stat : 28025 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89732160 886030336 16158 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.41
Current children cumulated vsize (KiB) 865264
[startup+11.202 s]
/proc/loadavg: 0.94 0.23 0.08 3/89 28043
/proc/meminfo: memFree=693288/2055920 swapFree=4192812/4192956
[pid=28016] ppid=28014 vsize=865264 CPUtime=11.21
/proc/28016/stat : 28016 (java) S 28014 28016 27607 0 -1 0 16795 0 1 0 1109 12 0 0 18 0 9 0 89732156 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 216316 16160 1998 9 0 210785 0
[pid=28016/tid=28018] ppid=28014 vsize=865264 CPUtime=10.96
/proc/28016/task/28018/stat : 28018 (java) R 28014 28016 27607 0 -1 64 14911 0 1 0 1085 11 0 0 25 0 9 0 89732157 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4126687265 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28019] ppid=28014 vsize=865264 CPUtime=0.03
/proc/28016/task/28019/stat : 28019 (java) S 28014 28016 27607 0 -1 64 713 0 0 0 3 0 0 0 16 0 9 0 89732158 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28020] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28020/stat : 28020 (java) S 28014 28016 27607 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28021] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28021/stat : 28021 (java) S 28014 28016 27607 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28022] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28022/stat : 28022 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89732160 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28023] ppid=28014 vsize=865264 CPUtime=0.2
/proc/28016/task/28023/stat : 28023 (java) S 28014 28016 27607 0 -1 64 437 0 0 0 20 0 0 0 16 0 9 0 89732160 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28024] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28024/stat : 28024 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89732160 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28025] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28025/stat : 28025 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89732160 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.21
Current children cumulated vsize (KiB) 865264
[startup+11.4011 s]
/proc/loadavg: 0.94 0.23 0.08 3/89 28043
/proc/meminfo: memFree=693288/2055920 swapFree=4192812/4192956
[pid=28016] ppid=28014 vsize=865264 CPUtime=11.41
/proc/28016/stat : 28016 (java) S 28014 28016 27607 0 -1 0 16795 0 1 0 1129 12 0 0 18 0 9 0 89732156 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 216316 16160 1998 9 0 210785 0
[pid=28016/tid=28018] ppid=28014 vsize=865264 CPUtime=11.16
/proc/28016/task/28018/stat : 28018 (java) R 28014 28016 27607 0 -1 64 14911 0 1 0 1105 11 0 0 25 0 9 0 89732157 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4126620714 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28019] ppid=28014 vsize=865264 CPUtime=0.03
/proc/28016/task/28019/stat : 28019 (java) S 28014 28016 27607 0 -1 64 713 0 0 0 3 0 0 0 16 0 9 0 89732158 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28020] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28020/stat : 28020 (java) S 28014 28016 27607 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28021] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28021/stat : 28021 (java) S 28014 28016 27607 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89732158 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28022] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28022/stat : 28022 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89732160 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28023] ppid=28014 vsize=865264 CPUtime=0.2
/proc/28016/task/28023/stat : 28023 (java) S 28014 28016 27607 0 -1 64 437 0 0 0 20 0 0 0 16 0 9 0 89732160 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28024] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28024/stat : 28024 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 89732160 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28016/tid=28025] ppid=28014 vsize=865264 CPUtime=0
/proc/28016/task/28025/stat : 28025 (java) S 28014 28016 27607 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89732160 886030336 16160 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (KiB) 865264
[startup+11.5011 s]
/proc/loadavg: 0.94 0.23 0.08 3/89 28043
/proc/meminfo: memFree=693288/2055920 swapFree=4192812/4192956
[pid=28016] ppid=28014 vsize=0 CPUtime=11.49
/proc/28016/stat : 28016 (java) Z 28014 28016 27607 0 -1 12 16815 0 1 0 1136 13 0 0 16 0 2 0 89732156 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28016/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.49
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 11.5096
CPU time (s): 11.5023
CPU user time (s): 11.3613
CPU system time (s): 0.140978
CPU usage (%): 99.9359
Max. virtual memory (cumulated for all children) (KiB): 865264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3613
system time used= 0.140978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16815
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= 1733
involuntary context switches= 1492
runsolver used 0.019996 second user time and 0.039993 second system time
The end
Begin job on node5 at 2009-07-19 20:04:07
IDJOB=2114822
IDBENCH=53809
IDSOLVER=780
FILE ID=node5/2114822-1248026647
PBS_JOBID= 9529036
Free space on /tmp= 66292 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/rcpspTighter/normalized-rcpsptight25-28.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-2114822-1248026647/watcher-2114822-1248026647 -o /tmp/evaluation-result-2114822-1248026647/solver-2114822-1248026647 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2114822-1248026647.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= 5f8d375685691bad3f64ee1a73c89c2c
RANDOM SEED=1684911093
node5.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.258
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.258
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: 814072 kB
Buffers: 102716 kB
Cached: 1022412 kB
SwapCached: 0 kB
Active: 299044 kB
Inactive: 841532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 814072 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5484 kB
Writeback: 0 kB
Mapped: 25192 kB
Slab: 87080 kB
Committed_AS: 594384 kB
PageTables: 1604 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= 66284 MiB
End job on node5 at 2009-07-19 20:04:18