9.39/9.50 s UNSATISFIABLE
9.39/9.50 d AC 32
9.39/9.50 d RUNTIME 9.399
9.39/9.50 d NODES 2231
9.39/9.50 d NODES/s 237
9.39/9.50 d BACKTRACKS 5908
9.39/9.50 d BACKTRACKS/s 629
9.39/9.50 d CHECKS 0
9.39/9.50 d CHECKS/s 0
9.39/9.50 c UNSAT 9.399 TIME 2231 NDS 611 PARSTIME 122 BUILDPB 125 CONFIG 8541 RES false 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-2117626-1248034726/watcher-2117626-1248034726 -o /tmp/evaluation-result-2117626-1248034726/solver-2117626-1248034726 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2117626-1248034726.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: 1.95 1.98 1.99 4/80 26258
/proc/meminfo: memFree=821336/2055920 swapFree=4192812/4192956
[pid=26258] ppid=26256 vsize=18576 CPUtime=0
/proc/26258/stat : 26258 (runsolver) R 26256 26258 23615 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 90539069 19021824 284 996147200 4194304 4302564 548682068272 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26258/statm: 4644 284 249 26 0 2626 0
[startup+0.0988911 s]
/proc/loadavg: 1.95 1.98 1.99 4/80 26258
/proc/meminfo: memFree=821336/2055920 swapFree=4192812/4192956
[pid=26258] ppid=26256 vsize=863912 CPUtime=0.08
/proc/26258/stat : 26258 (java) S 26256 26258 23615 0 -1 0 3758 0 1 0 7 1 0 0 18 0 9 0 90539069 884645888 3215 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26258/statm: 215978 3215 1713 9 0 210447 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 863912
[startup+0.102887 s]
/proc/loadavg: 1.95 1.98 1.99 4/80 26258
/proc/meminfo: memFree=821336/2055920 swapFree=4192812/4192956
[pid=26258] ppid=26256 vsize=863912 CPUtime=0.08
/proc/26258/stat : 26258 (java) S 26256 26258 23615 0 -1 0 3800 0 1 0 7 1 0 0 18 0 9 0 90539069 884645888 3250 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26258/statm: 215978 3250 1729 9 0 210447 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 863912
[startup+0.301912 s]
/proc/loadavg: 1.95 1.98 1.99 4/80 26258
/proc/meminfo: memFree=821336/2055920 swapFree=4192812/4192956
[pid=26258] ppid=26256 vsize=864052 CPUtime=0.28
/proc/26258/stat : 26258 (java) S 26256 26258 23615 0 -1 0 4497 0 1 0 26 2 0 0 18 0 9 0 90539069 884789248 3922 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26258/statm: 216013 3922 1835 9 0 210482 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864052
[startup+0.702976 s]
/proc/loadavg: 1.95 1.98 1.99 4/80 26258
/proc/meminfo: memFree=821336/2055920 swapFree=4192812/4192956
[pid=26258] ppid=26256 vsize=864452 CPUtime=0.67
/proc/26258/stat : 26258 (java) S 26256 26258 23615 0 -1 0 7933 0 1 0 63 4 0 0 18 0 9 0 90539069 885198848 7350 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26258/statm: 216113 7350 1879 9 0 210582 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 864452
[startup+1.50109 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 26267
/proc/meminfo: memFree=788752/2055920 swapFree=4192812/4192956
[pid=26258] ppid=26256 vsize=864572 CPUtime=1.47
/proc/26258/stat : 26258 (java) S 26256 26258 23615 0 -1 0 11100 0 1 0 140 7 0 0 18 0 9 0 90539069 885321728 10479 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26258/statm: 216143 10479 1963 9 0 210612 0
[pid=26258/tid=26260] ppid=26256 vsize=864572 CPUtime=1.33
/proc/26258/task/26260/stat : 26260 (java) R 26256 26258 23615 0 -1 64 10014 0 1 0 127 6 0 0 25 0 9 0 90539071 885321728 10479 996147200 134512640 134550932 4294955888 18446744073709551615 4126650592 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26261] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26261/stat : 26261 (java) S 26256 26258 23615 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 90539072 885321728 10479 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26262] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26262/stat : 26262 (java) S 26256 26258 23615 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90539072 885321728 10479 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26263] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26263/stat : 26263 (java) S 26256 26258 23615 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 90539072 885321728 10479 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26264] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26264/stat : 26264 (java) S 26256 26258 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90539074 885321728 10479 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26265] ppid=26256 vsize=864572 CPUtime=0.12
/proc/26258/task/26265/stat : 26265 (java) S 26256 26258 23615 0 -1 64 356 0 0 0 12 0 0 0 16 0 9 0 90539074 885321728 10479 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26266] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26266/stat : 26266 (java) S 26256 26258 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90539074 885321728 10479 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26267] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26267/stat : 26267 (java) S 26256 26258 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90539074 885321728 10479 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 864572
[startup+3.10132 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 26267
/proc/meminfo: memFree=784336/2055920 swapFree=4192812/4192956
[pid=26258] ppid=26256 vsize=864572 CPUtime=3.05
/proc/26258/stat : 26258 (java) S 26256 26258 23615 0 -1 0 12702 0 1 0 297 8 0 0 18 0 9 0 90539069 885321728 12079 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26258/statm: 216143 12079 1963 9 0 210612 0
[pid=26258/tid=26260] ppid=26256 vsize=864572 CPUtime=2.9
/proc/26258/task/26260/stat : 26260 (java) R 26256 26258 23615 0 -1 64 11609 0 1 0 283 7 0 0 25 0 9 0 90539071 885321728 12079 996147200 134512640 134550932 4294955888 18446744073709551615 4126682254 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26261] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26261/stat : 26261 (java) S 26256 26258 23615 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 90539072 885321728 12079 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26262] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26262/stat : 26262 (java) S 26256 26258 23615 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90539072 885321728 12079 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26263] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26263/stat : 26263 (java) S 26256 26258 23615 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 90539072 885321728 12079 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26264] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26264/stat : 26264 (java) S 26256 26258 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90539074 885321728 12079 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26265] ppid=26256 vsize=864572 CPUtime=0.13
/proc/26258/task/26265/stat : 26265 (java) S 26256 26258 23615 0 -1 64 363 0 0 0 13 0 0 0 16 0 9 0 90539074 885321728 12079 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26266] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26266/stat : 26266 (java) S 26256 26258 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90539074 885321728 12079 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26267] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26267/stat : 26267 (java) S 26256 26258 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90539074 885321728 12079 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) 864572
[startup+6.30278 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 26267
/proc/meminfo: memFree=770640/2055920 swapFree=4192812/4192956
[pid=26258] ppid=26256 vsize=864572 CPUtime=6.22
/proc/26258/stat : 26258 (java) S 26256 26258 23615 0 -1 0 17187 0 1 0 611 11 0 0 18 0 9 0 90539069 885321728 16558 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26258/statm: 216143 16558 1979 9 0 210612 0
[pid=26258/tid=26260] ppid=26256 vsize=864572 CPUtime=6.04
/proc/26258/task/26260/stat : 26260 (java) R 26256 26258 23615 0 -1 64 14761 0 1 0 594 10 0 0 25 0 9 0 90539071 885321728 16558 996147200 134512640 134550932 4294955888 18446744073709551615 4126686448 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26261] ppid=26256 vsize=864572 CPUtime=0.01
/proc/26258/task/26261/stat : 26261 (java) S 26256 26258 23615 0 -1 64 1315 0 0 0 1 0 0 0 17 0 9 0 90539072 885321728 16558 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26262] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26262/stat : 26262 (java) S 26256 26258 23615 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90539072 885321728 16558 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26263] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26263/stat : 26263 (java) S 26256 26258 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90539072 885321728 16558 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26264] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26264/stat : 26264 (java) S 26256 26258 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90539074 885321728 16558 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26265] ppid=26256 vsize=864572 CPUtime=0.15
/proc/26258/task/26265/stat : 26265 (java) S 26256 26258 23615 0 -1 64 378 0 0 0 15 0 0 0 16 0 9 0 90539074 885321728 16558 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26266] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26266/stat : 26266 (java) S 26256 26258 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90539074 885321728 16558 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26267] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26267/stat : 26267 (java) S 26256 26258 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90539074 885321728 16558 996147200 134512640 134550932 4294955888 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) 864572
Solver just ended. Dumping a history of the last processes samples
[startup+7.90201 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 26267
/proc/meminfo: memFree=762320/2055920 swapFree=4192812/4192956
[pid=26258] ppid=26256 vsize=864572 CPUtime=7.81
/proc/26258/stat : 26258 (java) S 26256 26258 23615 0 -1 0 17189 0 1 0 769 12 0 0 18 0 9 0 90539069 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26258/statm: 216143 16560 1979 9 0 210612 0
[pid=26258/tid=26260] ppid=26256 vsize=864572 CPUtime=7.61
/proc/26258/task/26260/stat : 26260 (java) R 26256 26258 23615 0 -1 64 14762 0 1 0 751 10 0 0 25 0 9 0 90539071 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4126669534 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26261] ppid=26256 vsize=864572 CPUtime=0.01
/proc/26258/task/26261/stat : 26261 (java) S 26256 26258 23615 0 -1 64 1315 0 0 0 1 0 0 0 16 0 9 0 90539072 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26262] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26262/stat : 26262 (java) S 26256 26258 23615 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90539072 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26263] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26263/stat : 26263 (java) S 26256 26258 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90539072 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26264] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26264/stat : 26264 (java) S 26256 26258 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90539074 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26265] ppid=26256 vsize=864572 CPUtime=0.15
/proc/26258/task/26265/stat : 26265 (java) S 26256 26258 23615 0 -1 64 379 0 0 0 15 0 0 0 16 0 9 0 90539074 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26266] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26266/stat : 26266 (java) S 26256 26258 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90539074 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26267] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26267/stat : 26267 (java) S 26256 26258 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90539074 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.81
Current children cumulated vsize (KiB) 864572
[startup+8.70112 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 26267
/proc/meminfo: memFree=762256/2055920 swapFree=4192812/4192956
[pid=26258] ppid=26256 vsize=864572 CPUtime=8.6
/proc/26258/stat : 26258 (java) S 26256 26258 23615 0 -1 0 17190 0 1 0 848 12 0 0 18 0 9 0 90539069 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26258/statm: 216143 16560 1979 9 0 210612 0
[pid=26258/tid=26260] ppid=26256 vsize=864572 CPUtime=8.41
/proc/26258/task/26260/stat : 26260 (java) R 26256 26258 23615 0 -1 64 14763 0 1 0 831 10 0 0 25 0 9 0 90539071 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4126651464 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26261] ppid=26256 vsize=864572 CPUtime=0.01
/proc/26258/task/26261/stat : 26261 (java) S 26256 26258 23615 0 -1 64 1315 0 0 0 1 0 0 0 17 0 9 0 90539072 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26262] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26262/stat : 26262 (java) S 26256 26258 23615 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90539072 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26263] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26263/stat : 26263 (java) S 26256 26258 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90539072 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26264] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26264/stat : 26264 (java) S 26256 26258 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90539074 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26265] ppid=26256 vsize=864572 CPUtime=0.15
/proc/26258/task/26265/stat : 26265 (java) S 26256 26258 23615 0 -1 64 379 0 0 0 15 0 0 0 16 0 9 0 90539074 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26266] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26266/stat : 26266 (java) S 26256 26258 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90539074 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26267] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26267/stat : 26267 (java) S 26256 26258 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90539074 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.6
Current children cumulated vsize (KiB) 864572
[startup+9.10218 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 26267
/proc/meminfo: memFree=762256/2055920 swapFree=4192812/4192956
[pid=26258] ppid=26256 vsize=864572 CPUtime=9
/proc/26258/stat : 26258 (java) S 26256 26258 23615 0 -1 0 17190 0 1 0 888 12 0 0 18 0 9 0 90539069 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26258/statm: 216143 16560 1979 9 0 210612 0
[pid=26258/tid=26260] ppid=26256 vsize=864572 CPUtime=8.8
/proc/26258/task/26260/stat : 26260 (java) R 26256 26258 23615 0 -1 64 14763 0 1 0 870 10 0 0 25 0 9 0 90539071 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4126652538 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26261] ppid=26256 vsize=864572 CPUtime=0.01
/proc/26258/task/26261/stat : 26261 (java) S 26256 26258 23615 0 -1 64 1315 0 0 0 1 0 0 0 17 0 9 0 90539072 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26262] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26262/stat : 26262 (java) S 26256 26258 23615 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90539072 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26263] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26263/stat : 26263 (java) S 26256 26258 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90539072 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26264] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26264/stat : 26264 (java) S 26256 26258 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90539074 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26265] ppid=26256 vsize=864572 CPUtime=0.15
/proc/26258/task/26265/stat : 26265 (java) S 26256 26258 23615 0 -1 64 379 0 0 0 15 0 0 0 16 0 9 0 90539074 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26266] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26266/stat : 26266 (java) S 26256 26258 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90539074 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26267] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26267/stat : 26267 (java) S 26256 26258 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90539074 885321728 16560 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9
Current children cumulated vsize (KiB) 864572
[startup+9.50224 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 26267
/proc/meminfo: memFree=762256/2055920 swapFree=4192812/4192956
[pid=26258] ppid=26256 vsize=864572 CPUtime=9.39
/proc/26258/stat : 26258 (java) S 26256 26258 23615 0 -1 0 17192 0 1 0 927 12 0 0 18 0 9 0 90539069 885321728 16562 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26258/statm: 216143 16562 1980 9 0 210612 0
[pid=26258/tid=26260] ppid=26256 vsize=864572 CPUtime=9.2
/proc/26258/task/26260/stat : 26260 (java) R 26256 26258 23615 0 -1 64 14763 0 1 0 910 10 0 0 25 0 9 0 90539071 885321728 16562 996147200 134512640 134550932 4294955888 18446744073709551615 4126665210 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26261] ppid=26256 vsize=864572 CPUtime=0.01
/proc/26258/task/26261/stat : 26261 (java) S 26256 26258 23615 0 -1 64 1315 0 0 0 1 0 0 0 16 0 9 0 90539072 885321728 16562 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26262] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26262/stat : 26262 (java) S 26256 26258 23615 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90539072 885321728 16562 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26263] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26263/stat : 26263 (java) S 26256 26258 23615 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90539072 885321728 16562 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26264] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26264/stat : 26264 (java) S 26256 26258 23615 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90539074 885321728 16562 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26265] ppid=26256 vsize=864572 CPUtime=0.15
/proc/26258/task/26265/stat : 26265 (java) S 26256 26258 23615 0 -1 64 381 0 0 0 15 0 0 0 16 0 9 0 90539074 885321728 16562 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26266] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26266/stat : 26266 (java) S 26256 26258 23615 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90539074 885321728 16562 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26258/tid=26267] ppid=26256 vsize=864572 CPUtime=0
/proc/26258/task/26267/stat : 26267 (java) S 26256 26258 23615 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90539074 885321728 16562 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (KiB) 864572
Child status: 0
Real time (s): 9.55614
CPU time (s): 9.42057
CPU user time (s): 9.28859
CPU system time (s): 0.131979
CPU usage (%): 98.5813
Max. virtual memory (cumulated for all children) (KiB): 864572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.28859
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17216
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= 1090
involuntary context switches= 1264
runsolver used 0.018997 second user time and 0.031995 second system time
The end
Begin job on node22 at 2009-07-19 22:18:46
IDJOB=2117626
IDBENCH=60319
IDSOLVER=780
FILE ID=node22/2117626-1248034726
PBS_JOBID= 9529002
Free space on /tmp= 66384 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/tightness0.8/normalized-rand-2-40-80-103-800-56_ext.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-2117626-1248034726/watcher-2117626-1248034726 -o /tmp/evaluation-result-2117626-1248034726/solver-2117626-1248034726 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2117626-1248034726.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= 89f0f3cf545c93f0fde036f6c7f85c9b
RANDOM SEED=1632057005
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.278
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.278
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 : 5636.09
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 821816 kB
Buffers: 105128 kB
Cached: 885564 kB
SwapCached: 0 kB
Active: 274156 kB
Inactive: 859900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 821816 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5852 kB
Writeback: 0 kB
Mapped: 161224 kB
Slab: 85072 kB
Committed_AS: 1332040 kB
PageTables: 1996 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= 66380 MiB
End job on node22 at 2009-07-19 22:18:55