12.27/12.40 s SATISFIABLE
12.27/12.40 v 17 13 16 19 9 1 5 8 11 6 18 2 12 4 7 3 10 15 14 0 5 14 19 17 7 3 11 4 10 13 0 18 9 2 6 16 8 12 15 1 2 10 3 1 6 7 9 0 18 11 17 8 15 14 16 4 12 13 5 19 12 15 0 18 1 6 2 19 4 10 14 7 3 8 5 9 17 16 13 11 15 4 18 14 8 10 7 17 19 5 3 1 11 12 0 6 9 2 16 13 6 2 11 0 10 14 15 7 8 18 12 5 4 17 19 13 16 3 1 9 19 9 8 6 4 5 10 14 16 17 2 15 1 3 12 7 13 11 0 18 7 16 14 12 18 13 8 9 6 4 1 11 2 5 15 0 19 10 17 3 11 0 6 9 5 4 3 15 2 1 7 12 13 10 8 19 14 17 18 16 0 7 9 3 11 8 18 12 15 14 10 6 16 13 1 2 5 19 4 17 10 3 15 16 2 17 14 5 0 19 6 13 18 7 11 8 1 4 9 12 8 11 4 7 13 19 1 6 5 16 9 3 10 18 17 15 0 14 12 2 4 1 13 8 14 11 19 18 12 15 5 9 6 16 3 17 2 0 7 10 9 6 2 10 15 0 12 16 13 3 4 17 19 11 14 1 7 18 8 5 1 18 10 13 0 9 4 3 17 12 16 19 7 6 2 14 15 5 11 8 13 5 7 2 3 16 0 11 1 9 15 14 17 19 4 12 18 8 10 6 3 17 5 4 12 15 16 2 9 8 13 0 14 1 18 10 11 6 19 7 14 8 12 11 17 18 6 10 3 7 19 16 0 9 13 5 4 1 2 15 16 12 17 5 19 2 13 1 14 0 11 10 8 15 9 18 6 7 3 4 18 19 1 15 16 12 17 13 7 2 8 4 5 0 10 11 3 9 6 14
12.27/12.40 d AC 32
12.27/12.40 d RUNTIME 12.289
12.27/12.40 d NODES 51
12.27/12.40 d NODES/s 4
12.27/12.40 d BACKTRACKS 11
12.27/12.40 d BACKTRACKS/s 1
12.27/12.40 d CHECKS 0
12.27/12.40 d CHECKS/s 0
12.27/12.40 c SAT 12.289 TIME 51 NDS 653 PARSTIME 1082 BUILDPB 10554 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-2058815-1247322253/watcher-2058815-1247322253 -o /tmp/evaluation-result-2058815-1247322253/solver-2058815-1247322253 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2058815-1247322253.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -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 2.04 1.98 4/80 11526
/proc/meminfo: memFree=1045960/2055920 swapFree=4192956/4192956
[pid=11526] ppid=11524 vsize=18576 CPUtime=0
/proc/11526/stat : 11526 (runsolver) R 11524 11526 11026 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 19288806 19021824 284 996147200 4194304 4302564 548682068192 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11526/statm: 4644 284 249 26 0 2626 0
[startup+0.0849719 s]
/proc/loadavg: 1.95 2.04 1.98 4/80 11526
/proc/meminfo: memFree=1045960/2055920 swapFree=4192956/4192956
[pid=11526] ppid=11524 vsize=862208 CPUtime=0.07
/proc/11526/stat : 11526 (java) S 11524 11526 11026 0 -1 0 3110 0 1 0 5 2 0 0 18 0 9 0 19288806 882900992 2578 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11526/statm: 215552 2578 1249 9 0 210421 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 862208
[startup+0.101973 s]
/proc/loadavg: 1.95 2.04 1.98 4/80 11526
/proc/meminfo: memFree=1045960/2055920 swapFree=4192956/4192956
[pid=11526] ppid=11524 vsize=864064 CPUtime=0.08
/proc/11526/stat : 11526 (java) S 11524 11526 11026 0 -1 0 3753 0 1 0 6 2 0 0 18 0 9 0 19288806 884801536 3218 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11526/statm: 216016 3218 1699 9 0 210484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864064
[startup+0.301988 s]
/proc/loadavg: 1.95 2.04 1.98 4/80 11526
/proc/meminfo: memFree=1045960/2055920 swapFree=4192956/4192956
[pid=11526] ppid=11524 vsize=864196 CPUtime=0.28
/proc/11526/stat : 11526 (java) S 11524 11526 11026 0 -1 0 4452 0 1 0 26 2 0 0 18 0 9 0 19288806 884936704 3877 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11526/statm: 216049 3877 1852 9 0 210517 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864196
[startup+0.701024 s]
/proc/loadavg: 1.95 2.04 1.98 4/80 11526
/proc/meminfo: memFree=1045960/2055920 swapFree=4192956/4192956
[pid=11526] ppid=11524 vsize=865048 CPUtime=0.68
/proc/11526/stat : 11526 (java) S 11524 11526 11026 0 -1 0 6146 0 1 0 65 3 0 0 18 0 9 0 19288806 885809152 5562 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11526/statm: 216262 5562 1883 9 0 210730 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865048
[startup+1.5011 s]
/proc/loadavg: 1.95 2.04 1.98 3/89 11535
/proc/meminfo: memFree=1023296/2055920 swapFree=4192956/4192956
[pid=11526] ppid=11524 vsize=865136 CPUtime=1.47
/proc/11526/stat : 11526 (java) S 11524 11526 11026 0 -1 0 12722 0 1 0 140 7 0 0 18 0 9 0 19288806 885899264 12099 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11526/statm: 216284 12099 1969 9 0 210752 0
[pid=11526/tid=11528] ppid=11524 vsize=865136 CPUtime=1.16
/proc/11526/task/11528/stat : 11528 (java) R 11524 11526 11026 0 -1 64 11349 0 1 0 110 6 0 0 25 0 9 0 19288808 885899264 12099 996147200 134512640 134550932 4294955840 18446744073709551615 4125903024 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11529] ppid=11524 vsize=865136 CPUtime=0
/proc/11526/task/11529/stat : 11529 (java) S 11524 11526 11026 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 19288809 885899264 12099 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11530] ppid=11524 vsize=865136 CPUtime=0
/proc/11526/task/11530/stat : 11530 (java) S 11524 11526 11026 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 19288810 885899264 12099 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11531] ppid=11524 vsize=865136 CPUtime=0
/proc/11526/task/11531/stat : 11531 (java) S 11524 11526 11026 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 19288810 885899264 12099 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11532] ppid=11524 vsize=865136 CPUtime=0
/proc/11526/task/11532/stat : 11532 (java) S 11524 11526 11026 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 19288812 885899264 12099 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11533] ppid=11524 vsize=865136 CPUtime=0.29
/proc/11526/task/11533/stat : 11533 (java) S 11524 11526 11026 0 -1 64 642 0 0 0 29 0 0 0 15 0 9 0 19288812 885899264 12099 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11534] ppid=11524 vsize=865136 CPUtime=0
/proc/11526/task/11534/stat : 11534 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 19288812 885899264 12099 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11535] ppid=11524 vsize=865136 CPUtime=0
/proc/11526/task/11535/stat : 11535 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 19288812 885899264 12099 996147200 134512640 134550932 4294955840 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) 865136
[startup+3.10224 s]
/proc/loadavg: 1.95 2.04 1.98 3/89 11535
/proc/meminfo: memFree=979072/2055920 swapFree=4192956/4192956
[pid=11526] ppid=11524 vsize=865268 CPUtime=3.06
/proc/11526/stat : 11526 (java) S 11524 11526 11026 0 -1 0 20863 0 1 0 294 12 0 0 18 0 9 0 19288806 886034432 20236 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11526/statm: 216317 20236 1978 9 0 210785 0
[pid=11526/tid=11528] ppid=11524 vsize=865268 CPUtime=2.55
/proc/11526/task/11528/stat : 11528 (java) R 11524 11526 11026 0 -1 64 14761 0 1 0 247 8 0 0 25 0 9 0 19288808 886034432 20236 996147200 134512640 134550932 4294955840 18446744073709551615 4127213922 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11529] ppid=11524 vsize=865268 CPUtime=0.12
/proc/11526/task/11529/stat : 11529 (java) S 11524 11526 11026 0 -1 64 4692 0 0 0 10 2 0 0 16 0 9 0 19288809 886034432 20236 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11530] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11530/stat : 11530 (java) S 11524 11526 11026 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 19288810 886034432 20236 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11531] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11531/stat : 11531 (java) S 11524 11526 11026 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 19288810 886034432 20236 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11532] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11532/stat : 11532 (java) S 11524 11526 11026 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 19288812 886034432 20236 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11533] ppid=11524 vsize=865268 CPUtime=0.35
/proc/11526/task/11533/stat : 11533 (java) S 11524 11526 11026 0 -1 64 678 0 0 0 35 0 0 0 15 0 9 0 19288812 886034432 20236 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11534] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11534/stat : 11534 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 19288812 886034432 20236 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11535] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11535/stat : 11535 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 19288812 886034432 20236 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 865268
[startup+6.30253 s]
/proc/loadavg: 1.95 2.04 1.98 3/89 11535
/proc/meminfo: memFree=972096/2055920 swapFree=4192956/4192956
[pid=11526] ppid=11524 vsize=865268 CPUtime=6.23
/proc/11526/stat : 11526 (java) S 11524 11526 11026 0 -1 0 20877 0 1 0 611 12 0 0 18 0 9 0 19288806 886034432 20244 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11526/statm: 216317 20244 1978 9 0 210785 0
[pid=11526/tid=11528] ppid=11524 vsize=865268 CPUtime=5.68
/proc/11526/task/11528/stat : 11528 (java) R 11524 11526 11026 0 -1 64 14768 0 1 0 560 8 0 0 25 0 9 0 19288808 886034432 20244 996147200 134512640 134550932 4294955840 18446744073709551615 4127081383 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11529] ppid=11524 vsize=865268 CPUtime=0.15
/proc/11526/task/11529/stat : 11529 (java) S 11524 11526 11026 0 -1 64 4694 0 0 0 13 2 0 0 16 0 9 0 19288809 886034432 20244 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11530] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11530/stat : 11530 (java) S 11524 11526 11026 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 19288810 886034432 20244 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11531] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11531/stat : 11531 (java) S 11524 11526 11026 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 19288810 886034432 20244 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11532] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11532/stat : 11532 (java) S 11524 11526 11026 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 19288812 886034432 20244 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11533] ppid=11524 vsize=865268 CPUtime=0.36
/proc/11526/task/11533/stat : 11533 (java) S 11524 11526 11026 0 -1 64 683 0 0 0 36 0 0 0 15 0 9 0 19288812 886034432 20244 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11534] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11534/stat : 11534 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 19288812 886034432 20244 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11535] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11535/stat : 11535 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 19288812 886034432 20244 996147200 134512640 134550932 4294955840 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) 865268
Solver just ended. Dumping a history of the last processes samples
[startup+9.50181 s]
/proc/loadavg: 1.95 2.04 1.98 3/89 11535
/proc/meminfo: memFree=972224/2055920 swapFree=4192956/4192956
[pid=11526] ppid=11524 vsize=865268 CPUtime=9.39
/proc/11526/stat : 11526 (java) S 11524 11526 11026 0 -1 0 20883 0 1 0 927 12 0 0 18 0 9 0 19288806 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11526/statm: 216317 20245 1978 9 0 210785 0
[pid=11526/tid=11528] ppid=11524 vsize=865268 CPUtime=8.82
/proc/11526/task/11528/stat : 11528 (java) R 11524 11526 11026 0 -1 64 14773 0 1 0 874 8 0 0 25 0 9 0 19288808 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4127080844 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11529] ppid=11524 vsize=865268 CPUtime=0.17
/proc/11526/task/11529/stat : 11529 (java) S 11524 11526 11026 0 -1 64 4694 0 0 0 15 2 0 0 16 0 9 0 19288809 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11530] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11530/stat : 11530 (java) S 11524 11526 11026 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 19288810 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11531] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11531/stat : 11531 (java) S 11524 11526 11026 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 19288810 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11532] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11532/stat : 11532 (java) S 11524 11526 11026 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 19288812 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11533] ppid=11524 vsize=865268 CPUtime=0.37
/proc/11526/task/11533/stat : 11533 (java) S 11524 11526 11026 0 -1 64 684 0 0 0 37 0 0 0 15 0 9 0 19288812 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11534] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11534/stat : 11534 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 19288812 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11535] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11535/stat : 11535 (java) R 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 19288812 886034432 20245 996147200 134512640 134550932 4294955840 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) 865268
[startup+11.103 s]
/proc/loadavg: 1.95 2.04 1.98 3/89 11535
/proc/meminfo: memFree=972096/2055920 swapFree=4192956/4192956
[pid=11526] ppid=11524 vsize=865268 CPUtime=10.97
/proc/11526/stat : 11526 (java) S 11524 11526 11026 0 -1 0 20886 0 1 0 1085 12 0 0 18 0 9 0 19288806 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11526/statm: 216317 20245 1978 9 0 210785 0
[pid=11526/tid=11528] ppid=11524 vsize=865268 CPUtime=10.39
/proc/11526/task/11528/stat : 11528 (java) R 11524 11526 11026 0 -1 64 14776 0 1 0 1031 8 0 0 25 0 9 0 19288808 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4127263840 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11529] ppid=11524 vsize=865268 CPUtime=0.18
/proc/11526/task/11529/stat : 11529 (java) S 11524 11526 11026 0 -1 64 4694 0 0 0 16 2 0 0 16 0 9 0 19288809 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11530] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11530/stat : 11530 (java) S 11524 11526 11026 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 19288810 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11531] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11531/stat : 11531 (java) S 11524 11526 11026 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 19288810 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11532] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11532/stat : 11532 (java) S 11524 11526 11026 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 19288812 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11533] ppid=11524 vsize=865268 CPUtime=0.37
/proc/11526/task/11533/stat : 11533 (java) S 11524 11526 11026 0 -1 64 684 0 0 0 37 0 0 0 15 0 9 0 19288812 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11534] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11534/stat : 11534 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 19288812 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11535] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11535/stat : 11535 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 19288812 886034432 20245 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.97
Current children cumulated vsize (KiB) 865268
[startup+11.902 s]
/proc/loadavg: 1.95 2.04 1.98 3/89 11535
/proc/meminfo: memFree=972096/2055920 swapFree=4192956/4192956
[pid=11526] ppid=11524 vsize=865268 CPUtime=11.77
/proc/11526/stat : 11526 (java) S 11524 11526 11026 0 -1 0 20897 0 1 0 1165 12 0 0 18 0 9 0 19288806 886034432 20255 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11526/statm: 216317 20255 1978 9 0 210785 0
[pid=11526/tid=11528] ppid=11524 vsize=865268 CPUtime=11.18
/proc/11526/task/11528/stat : 11528 (java) R 11524 11526 11026 0 -1 64 14783 0 1 0 1110 8 0 0 25 0 9 0 19288808 886034432 20255 996147200 134512640 134550932 4294955840 18446744073709551615 4127112176 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11529] ppid=11524 vsize=865268 CPUtime=0.19
/proc/11526/task/11529/stat : 11529 (java) S 11524 11526 11026 0 -1 64 4695 0 0 0 17 2 0 0 16 0 9 0 19288809 886034432 20255 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11530] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11530/stat : 11530 (java) S 11524 11526 11026 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 19288810 886034432 20255 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11531] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11531/stat : 11531 (java) S 11524 11526 11026 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 19288810 886034432 20255 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11532] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11532/stat : 11532 (java) S 11524 11526 11026 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 19288812 886034432 20255 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11533] ppid=11524 vsize=865268 CPUtime=0.37
/proc/11526/task/11533/stat : 11533 (java) S 11524 11526 11026 0 -1 64 687 0 0 0 37 0 0 0 16 0 9 0 19288812 886034432 20255 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11534] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11534/stat : 11534 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 19288812 886034432 20255 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11535] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11535/stat : 11535 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 19288812 886034432 20255 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.77
Current children cumulated vsize (KiB) 865268
[startup+12.3021 s]
/proc/loadavg: 1.96 2.04 1.98 3/89 11535
/proc/meminfo: memFree=972032/2055920 swapFree=4192956/4192956
[pid=11526] ppid=11524 vsize=865268 CPUtime=12.17
/proc/11526/stat : 11526 (java) S 11524 11526 11026 0 -1 0 21262 0 1 0 1204 13 0 0 18 0 9 0 19288806 886034432 20619 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11526/statm: 216317 20619 1980 9 0 210785 0
[pid=11526/tid=11528] ppid=11524 vsize=865268 CPUtime=11.56
/proc/11526/task/11528/stat : 11528 (java) R 11524 11526 11026 0 -1 64 14786 0 1 0 1148 8 0 0 25 0 9 0 19288808 886034432 20619 996147200 134512640 134550932 4294955840 18446744073709551615 4127286775 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11529] ppid=11524 vsize=865268 CPUtime=0.19
/proc/11526/task/11529/stat : 11529 (java) S 11524 11526 11026 0 -1 64 5057 0 0 0 17 2 0 0 16 0 9 0 19288809 886034432 20619 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11530] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11530/stat : 11530 (java) S 11524 11526 11026 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 19288810 886034432 20619 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11531] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11531/stat : 11531 (java) S 11524 11526 11026 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 19288810 886034432 20619 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11532] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11532/stat : 11532 (java) S 11524 11526 11026 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 19288812 886034432 20619 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11533] ppid=11524 vsize=865268 CPUtime=0.37
/proc/11526/task/11533/stat : 11533 (java) S 11524 11526 11026 0 -1 64 687 0 0 0 37 0 0 0 16 0 9 0 19288812 886034432 20619 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11534] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11534/stat : 11534 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 19288812 886034432 20619 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11535] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11535/stat : 11535 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 19288812 886034432 20619 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 865268
[startup+12.4021 s]
/proc/loadavg: 1.96 2.04 1.98 3/89 11535
/proc/meminfo: memFree=972032/2055920 swapFree=4192956/4192956
[pid=11526] ppid=11524 vsize=865268 CPUtime=12.27
/proc/11526/stat : 11526 (java) S 11524 11526 11026 0 -1 0 21264 0 1 0 1214 13 0 0 18 0 9 0 19288806 886034432 20621 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11526/statm: 216317 20621 1980 9 0 210785 0
[pid=11526/tid=11528] ppid=11524 vsize=865268 CPUtime=11.66
/proc/11526/task/11528/stat : 11528 (java) R 11524 11526 11026 0 -1 64 14788 0 1 0 1158 8 0 0 25 0 9 0 19288808 886034432 20621 996147200 134512640 134550932 4294955840 18446744073709551615 4125928380 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11529] ppid=11524 vsize=865268 CPUtime=0.19
/proc/11526/task/11529/stat : 11529 (java) S 11524 11526 11026 0 -1 64 5057 0 0 0 17 2 0 0 16 0 9 0 19288809 886034432 20621 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11530] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11530/stat : 11530 (java) S 11524 11526 11026 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 19288810 886034432 20621 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11531] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11531/stat : 11531 (java) S 11524 11526 11026 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 19288810 886034432 20621 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11532] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11532/stat : 11532 (java) S 11524 11526 11026 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 19288812 886034432 20621 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11533] ppid=11524 vsize=865268 CPUtime=0.37
/proc/11526/task/11533/stat : 11533 (java) S 11524 11526 11026 0 -1 64 687 0 0 0 37 0 0 0 16 0 9 0 19288812 886034432 20621 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11534] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11534/stat : 11534 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 19288812 886034432 20621 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11526/tid=11535] ppid=11524 vsize=865268 CPUtime=0
/proc/11526/task/11535/stat : 11535 (java) S 11524 11526 11026 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 19288812 886034432 20621 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 865268
Child status: 0
Real time (s): 12.4295
CPU time (s): 12.2951
CPU user time (s): 12.1512
CPU system time (s): 0.143978
CPU usage (%): 98.9193
Max. virtual memory (cumulated for all children) (KiB): 865268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1512
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21284
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= 2155
involuntary context switches= 2571
runsolver used 0.016997 second user time and 0.046992 second system time
The end
Begin job on node51 at 2009-07-11 16:24:13
IDJOB=2058815
IDBENCH=53525
IDSOLVER=737
FILE ID=node51/2058815-1247322253
PBS_JOBID= 9506527
Free space on /tmp= 66172 MiB
SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/QCP-20/normalized-qcp-20-187-5_ext.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file BENCHNAME -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2058815-1247322253/watcher-2058815-1247322253 -o /tmp/evaluation-result-2058815-1247322253/solver-2058815-1247322253 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2058815-1247322253.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5b2fe862187ed0ba199d823a817be31e
RANDOM SEED=1879947615
node51.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.225
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.225
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: 1046440 kB
Buffers: 55720 kB
Cached: 822772 kB
SwapCached: 0 kB
Active: 183228 kB
Inactive: 774548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1046440 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2984 kB
Writeback: 0 kB
Mapped: 97108 kB
Slab: 36808 kB
Committed_AS: 883532 kB
PageTables: 1928 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= 66168 MiB
End job on node51 at 2009-07-11 16:24:26