12.57/12.78 s SATISFIABLE
12.57/12.78 v 1 1 0 0 0 0 1 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0
12.57/12.78 d AC 32
12.57/12.78 d RUNTIME 12.668
12.57/12.78 d NODES 185921
12.57/12.78 d NODES/s 14676
12.57/12.78 d BACKTRACKS 277062
12.57/12.78 d BACKTRACKS/s 21871
12.57/12.78 d CHECKS 0
12.57/12.78 d CHECKS/s 0
12.57/12.78 c SAT 12.668 TIME 185921 NDS 284 PARSTIME 149 BUILDPB 145 CONFIG 12090 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-2116022-1248030600/watcher-2116022-1248030600 -o /tmp/evaluation-result-2116022-1248030600/solver-2116022-1248030600 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116022-1248030600.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.00 1.91 4/80 26746
/proc/meminfo: memFree=1184688/2055920 swapFree=4192812/4192956
[pid=26746] ppid=26744 vsize=10676 CPUtime=0
/proc/26746/stat : 26746 (java) S 26744 26746 26173 0 -1 0 710 0 0 0 0 0 0 0 18 0 2 0 90126472 10932224 488 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26746/statm: 2669 488 211 9 0 1184 0
[pid=26746/tid=26747] ppid=26744 vsize=10676 CPUtime=0
/proc/26746/task/26747/stat : 26747 (java) R 26744 26746 26173 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 90126473 10932224 488 996147200 134512640 134550932 4294955888 18446744073709551615 9285592 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.104459 s]
/proc/loadavg: 2.07 2.00 1.91 4/80 26746
/proc/meminfo: memFree=1184688/2055920 swapFree=4192812/4192956
[pid=26746] ppid=26744 vsize=864072 CPUtime=0.09
/proc/26746/stat : 26746 (java) S 26744 26746 26173 0 -1 0 3875 0 1 0 6 3 0 0 18 0 9 0 90126472 884809728 3325 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26746/statm: 216018 3325 1747 9 0 210487 0
[pid=26746/tid=26747] ppid=26744 vsize=864072 CPUtime=0.07
/proc/26746/task/26747/stat : 26747 (java) R 26744 26746 26173 0 -1 64 2926 0 1 0 5 2 0 0 20 0 9 0 90126473 884809728 3325 996147200 134512640 134550932 4294955888 18446744073709551615 4125910135 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864072
[startup+0.201469 s]
/proc/loadavg: 2.07 2.00 1.91 4/80 26746
/proc/meminfo: memFree=1184688/2055920 swapFree=4192812/4192956
[pid=26746] ppid=26744 vsize=864228 CPUtime=0.19
/proc/26746/stat : 26746 (java) S 26744 26746 26173 0 -1 0 4430 0 1 0 16 3 0 0 18 0 9 0 90126472 884969472 3855 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26746/statm: 216057 3855 1855 9 0 210526 0
[pid=26746/tid=26747] ppid=26744 vsize=864228 CPUtime=0.14
/proc/26746/task/26747/stat : 26747 (java) R 26744 26746 26173 0 -1 64 3452 0 1 0 12 2 0 0 18 0 9 0 90126473 884969472 3855 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 864228
[startup+0.301479 s]
/proc/loadavg: 2.07 2.00 1.91 4/80 26746
/proc/meminfo: memFree=1184688/2055920 swapFree=4192812/4192956
[pid=26746] ppid=26744 vsize=864984 CPUtime=0.28
/proc/26746/stat : 26746 (java) S 26744 26746 26173 0 -1 0 4759 0 1 0 25 3 0 0 18 0 9 0 90126472 885743616 4181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26746/statm: 216246 4181 1866 9 0 210715 0
[pid=26746/tid=26747] ppid=26744 vsize=864984 CPUtime=0.18
/proc/26746/task/26747/stat : 26747 (java) R 26744 26746 26173 0 -1 64 3555 0 1 0 16 2 0 0 18 0 9 0 90126473 885743616 4181 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864984
[startup+0.701522 s]
/proc/loadavg: 2.07 2.00 1.91 4/80 26746
/proc/meminfo: memFree=1184688/2055920 swapFree=4192812/4192956
[pid=26746] ppid=26744 vsize=865092 CPUtime=0.68
/proc/26746/stat : 26746 (java) S 26744 26746 26173 0 -1 0 6785 0 1 0 64 4 0 0 18 0 9 0 90126472 885854208 6170 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26746/statm: 216273 6170 1963 9 0 210742 0
[pid=26746/tid=26747] ppid=26744 vsize=865092 CPUtime=0.48
/proc/26746/task/26747/stat : 26747 (java) R 26744 26746 26173 0 -1 64 5502 0 1 0 45 3 0 0 21 0 9 0 90126473 885854208 6170 996147200 134512640 134550932 4294955888 18446744073709551615 104603293 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865092
[startup+1.5016 s]
/proc/loadavg: 2.07 2.00 1.91 4/89 26755
/proc/meminfo: memFree=1165416/2055920 swapFree=4192812/4192956
[pid=26746] ppid=26744 vsize=865092 CPUtime=1.47
/proc/26746/stat : 26746 (java) S 26744 26746 26173 0 -1 0 8204 0 1 0 138 9 0 0 18 0 9 0 90126472 885854208 7588 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26746/statm: 216273 7588 1972 9 0 210742 0
[pid=26746/tid=26747] ppid=26744 vsize=865092 CPUtime=1.22
/proc/26746/task/26747/stat : 26747 (java) R 26744 26746 26173 0 -1 64 6871 0 1 0 115 7 0 0 25 0 9 0 90126473 885854208 7588 996147200 134512640 134550932 4294955888 18446744073709551615 4126866736 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26749] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26749/stat : 26749 (java) S 26744 26746 26173 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 90126474 885854208 7588 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26750] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26750/stat : 26750 (java) S 26744 26746 26173 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90126474 885854208 7588 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26751] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26751/stat : 26751 (java) S 26744 26746 26173 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 90126474 885854208 7588 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26752] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26752/stat : 26752 (java) S 26744 26746 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90126476 885854208 7588 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26753] ppid=26744 vsize=865092 CPUtime=0.23
/proc/26746/task/26753/stat : 26753 (java) S 26744 26746 26173 0 -1 64 604 0 0 0 23 0 0 0 15 0 9 0 90126476 885854208 7588 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26754] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26754/stat : 26754 (java) S 26744 26746 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90126476 885854208 7588 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26755] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26755/stat : 26755 (java) S 26744 26746 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90126477 885854208 7588 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) 865092
[startup+3.10178 s]
/proc/loadavg: 2.07 2.00 1.91 3/89 26755
/proc/meminfo: memFree=1155752/2055920 swapFree=4192812/4192956
[pid=26746] ppid=26744 vsize=865092 CPUtime=3.05
/proc/26746/stat : 26746 (java) S 26744 26746 26173 0 -1 0 11583 0 1 0 287 18 0 0 18 0 9 0 90126472 885854208 10966 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26746/statm: 216273 10966 1972 9 0 210742 0
[pid=26746/tid=26747] ppid=26744 vsize=865092 CPUtime=2.81
/proc/26746/task/26747/stat : 26747 (java) R 26744 26746 26173 0 -1 64 10250 0 1 0 264 17 0 0 25 0 9 0 90126473 885854208 10966 996147200 134512640 134550932 4294955888 18446744073709551615 4126888487 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26749] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26749/stat : 26749 (java) S 26744 26746 26173 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 90126474 885854208 10966 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26750] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26750/stat : 26750 (java) S 26744 26746 26173 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 90126474 885854208 10966 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26751] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26751/stat : 26751 (java) S 26744 26746 26173 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 90126474 885854208 10966 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26752] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26752/stat : 26752 (java) S 26744 26746 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90126476 885854208 10966 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26753] ppid=26744 vsize=865092 CPUtime=0.23
/proc/26746/task/26753/stat : 26753 (java) S 26744 26746 26173 0 -1 64 604 0 0 0 23 0 0 0 15 0 9 0 90126476 885854208 10966 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26754] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26754/stat : 26754 (java) S 26744 26746 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90126476 885854208 10966 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26755] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26755/stat : 26755 (java) S 26744 26746 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90126477 885854208 10966 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) 865092
[startup+6.30212 s]
/proc/loadavg: 2.07 2.00 1.91 3/89 26755
/proc/meminfo: memFree=1128232/2055920 swapFree=4192812/4192956
[pid=26746] ppid=26744 vsize=865092 CPUtime=6.23
/proc/26746/stat : 26746 (java) S 26744 26746 26173 0 -1 0 16552 0 1 0 587 36 0 0 18 0 9 0 90126472 885854208 15931 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26746/statm: 216273 15931 1983 9 0 210742 0
[pid=26746/tid=26747] ppid=26744 vsize=865092 CPUtime=5.96
/proc/26746/task/26747/stat : 26747 (java) R 26744 26746 26173 0 -1 64 14722 0 1 0 562 34 0 0 25 0 9 0 90126473 885854208 15931 996147200 134512640 134550932 4294955888 18446744073709551615 4126866752 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26749] ppid=26744 vsize=865092 CPUtime=0.01
/proc/26746/task/26749/stat : 26749 (java) S 26744 26746 26173 0 -1 64 493 0 0 0 1 0 0 0 16 0 9 0 90126474 885854208 15931 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26750] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26750/stat : 26750 (java) S 26744 26746 26173 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90126474 885854208 15931 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26751] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26751/stat : 26751 (java) S 26744 26746 26173 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90126474 885854208 15931 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26752] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26752/stat : 26752 (java) S 26744 26746 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90126476 885854208 15931 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26753] ppid=26744 vsize=865092 CPUtime=0.23
/proc/26746/task/26753/stat : 26753 (java) S 26744 26746 26173 0 -1 64 604 0 0 0 23 0 0 0 15 0 9 0 90126476 885854208 15931 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26754] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26754/stat : 26754 (java) S 26744 26746 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90126476 885854208 15931 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26755] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26755/stat : 26755 (java) S 26744 26746 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90126477 885854208 15931 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 865092
[startup+12.7028 s]
/proc/loadavg: 2.06 2.00 1.91 3/89 26755
/proc/meminfo: memFree=1126120/2055920 swapFree=4192812/4192956
[pid=26746] ppid=26744 vsize=865092 CPUtime=12.57
/proc/26746/stat : 26746 (java) S 26744 26746 26173 0 -1 0 17032 0 1 0 1188 69 0 0 18 0 9 0 90126472 885854208 16410 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26746/statm: 216273 16410 1983 9 0 210742 0
[pid=26746/tid=26747] ppid=26744 vsize=865092 CPUtime=12.29
/proc/26746/task/26747/stat : 26747 (java) R 26744 26746 26173 0 -1 64 14723 0 1 0 1162 67 0 0 25 0 9 0 90126473 885854208 16410 996147200 134512640 134550932 4294955888 18446744073709551615 4126866796 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26749] ppid=26744 vsize=865092 CPUtime=0.01
/proc/26746/task/26749/stat : 26749 (java) S 26744 26746 26173 0 -1 64 972 0 0 0 1 0 0 0 16 0 9 0 90126474 885854208 16410 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26750] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26750/stat : 26750 (java) S 26744 26746 26173 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90126474 885854208 16410 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26751] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26751/stat : 26751 (java) S 26744 26746 26173 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90126474 885854208 16410 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26752] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26752/stat : 26752 (java) S 26744 26746 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90126476 885854208 16410 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26753] ppid=26744 vsize=865092 CPUtime=0.23
/proc/26746/task/26753/stat : 26753 (java) S 26744 26746 26173 0 -1 64 604 0 0 0 23 0 0 0 15 0 9 0 90126476 885854208 16410 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26754] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26754/stat : 26754 (java) S 26744 26746 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90126476 885854208 16410 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26755] ppid=26744 vsize=865092 CPUtime=0
/proc/26746/task/26755/stat : 26755 (java) S 26744 26746 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90126477 885854208 16410 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 865092
Solver just ended. Dumping a history of the last processes samples
[startup+12.8028 s]
/proc/loadavg: 2.06 2.00 1.91 3/89 26755
/proc/meminfo: memFree=1126120/2055920 swapFree=4192812/4192956
[pid=26746] ppid=26744 vsize=865416 CPUtime=12.64
/proc/26746/stat : 26746 (java) S 26744 26746 26173 0 -1 0 17055 0 1 0 1195 69 0 0 18 0 9 0 90126472 886185984 16430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26746/statm: 216354 16430 1988 9 0 210823 0
[pid=26746/tid=26747] ppid=26744 vsize=865416 CPUtime=12.37
/proc/26746/task/26747/stat : 26747 (java) S 26744 26746 26173 0 -1 64 14741 0 1 0 1169 68 0 0 25 0 9 0 90126473 886185984 16430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26749] ppid=26744 vsize=865416 CPUtime=0.01
/proc/26746/task/26749/stat : 26749 (java) S 26744 26746 26173 0 -1 64 972 0 0 0 1 0 0 0 16 0 9 0 90126474 886185984 16430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26750] ppid=26744 vsize=865416 CPUtime=0
/proc/26746/task/26750/stat : 26750 (java) S 26744 26746 26173 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90126474 886185984 16430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26751] ppid=26744 vsize=865416 CPUtime=0
/proc/26746/task/26751/stat : 26751 (java) S 26744 26746 26173 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90126474 886185984 16430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26752] ppid=26744 vsize=865416 CPUtime=0
/proc/26746/task/26752/stat : 26752 (java) S 26744 26746 26173 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 90126476 886185984 16430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26753] ppid=26744 vsize=865416 CPUtime=0.23
/proc/26746/task/26753/stat : 26753 (java) S 26744 26746 26173 0 -1 64 604 0 0 0 23 0 0 0 17 0 9 0 90126476 886185984 16430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26754] ppid=26744 vsize=865416 CPUtime=0
/proc/26746/task/26754/stat : 26754 (java) S 26744 26746 26173 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 90126476 886185984 16430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26746/tid=26755] ppid=26744 vsize=865416 CPUtime=0
/proc/26746/task/26755/stat : 26755 (java) S 26744 26746 26173 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90126477 886185984 16430 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 865416
Child status: 0
Real time (s): 12.8242
CPU time (s): 12.6671
CPU user time (s): 11.9572
CPU system time (s): 0.709892
CPU usage (%): 98.7744
Max. virtual memory (cumulated for all children) (KiB): 865416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9572
system time used= 0.709892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17059
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= 1447
involuntary context switches= 1922
runsolver used 0.014997 second user time and 0.049992 second system time
The end
Begin job on node21 at 2009-07-19 21:10:00
IDJOB=2116022
IDBENCH=56120
IDSOLVER=780
FILE ID=node21/2116022-1248030600
PBS_JOBID= 9529004
Free space on /tmp= 66332 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/aim-200/normalized-aim-200-2-0-sat-4_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-2116022-1248030600/watcher-2116022-1248030600 -o /tmp/evaluation-result-2116022-1248030600/solver-2116022-1248030600 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116022-1248030600.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= 8550dc7c851e929e27cf8ad7c5994e0a
RANDOM SEED=1070301573
node21.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.240
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.240
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: 1185168 kB
Buffers: 94916 kB
Cached: 607864 kB
SwapCached: 0 kB
Active: 305896 kB
Inactive: 477232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1185168 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5340 kB
Writeback: 0 kB
Mapped: 98144 kB
Slab: 72892 kB
Committed_AS: 1226764 kB
PageTables: 1904 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= 66328 MiB
End job on node21 at 2009-07-19 21:10:13