24.76/25.09 s SATISFIABLE
24.76/25.09 v 15 4 0 13 4 15 18 14 12 3 17 0 0 20 11 13 0 13 0 10 5 0 4 0 20 23 17 13 8 18 3 17 8 5 19 18 8 17 4 18 4 11 0 2 8 4 13 20 19 8 11 4 18 11 0 21 4 6 17 14 6 17 4 15 8 15 4 3 14 8 18 13 4 0 20 7 8 18 18 0 0 9 20 19 18 3 20 13 4 17 8 4 7 20 8 11 4 14 8 13 19 19 0 19 6 0 6 13 4 19 0 11 4 4 14 19 19 14 13 8 4 13 8 17 17 4 4 11 15 14 19 19 14 1 4 8 4 13 5 14 20 8 3 17 4 18 18 4 13 19 13 4 14 13 4 17 17 4 17 19 14 20 4 13 14 20 2 13 14 20 4 4 24 20 4 18 0 18 18 4 18 8 4 13 18 18 4 17 19
24.76/25.09 d AC 32
24.76/25.09 d RUNTIME 24.911
24.76/25.09 d NODES 70
24.76/25.09 d NODES/s 3
24.76/25.09 d BACKTRACKS 5
24.76/25.09 d BACKTRACKS/s 0
24.76/25.09 d CHECKS 195721125
24.76/25.09 d CHECKS/s 7856815
24.76/25.09 c SAT 24.911 TIME 70 NDS 789 PARSTIME 404 BUILDPB 736 CONFIG 22982 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-2116217-1248030796/watcher-2116217-1248030796 -o /tmp/evaluation-result-2116217-1248030796/solver-2116217-1248030796 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116217-1248030796.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.04 2.01 1.91 3/80 25069
/proc/meminfo: memFree=1355632/2055920 swapFree=4192812/4192956
[pid=25069] ppid=25067 vsize=18576 CPUtime=0
/proc/25069/stat : 25069 (runsolver) R 25067 25069 23949 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 90143672 19021824 284 996147200 4194304 4302564 548682068272 18446744073709551615 266890439975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25069/statm: 4644 284 249 26 0 2626 0
[startup+0.088873 s]
/proc/loadavg: 2.04 2.01 1.91 3/80 25069
/proc/meminfo: memFree=1355632/2055920 swapFree=4192812/4192956
[pid=25069] ppid=25067 vsize=862264 CPUtime=0.07
/proc/25069/stat : 25069 (java) S 25067 25069 23949 0 -1 0 3246 0 1 0 6 1 0 0 18 0 9 0 90143672 882958336 2714 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25069/statm: 215566 2714 1298 9 0 210436 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 862264
[startup+0.102878 s]
/proc/loadavg: 2.04 2.01 1.91 3/80 25069
/proc/meminfo: memFree=1355632/2055920 swapFree=4192812/4192956
[pid=25069] ppid=25067 vsize=864072 CPUtime=0.09
/proc/25069/stat : 25069 (java) S 25067 25069 23949 0 -1 0 3774 0 1 0 7 2 0 0 18 0 9 0 90143672 884809728 3239 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25069/statm: 216018 3239 1704 9 0 210487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864072
[startup+0.302896 s]
/proc/loadavg: 2.04 2.01 1.91 3/80 25069
/proc/meminfo: memFree=1355632/2055920 swapFree=4192812/4192956
[pid=25069] ppid=25067 vsize=864860 CPUtime=0.28
/proc/25069/stat : 25069 (java) S 25067 25069 23949 0 -1 0 5397 0 1 0 25 3 0 0 18 0 9 0 90143672 885616640 4822 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25069/statm: 216215 4822 1858 9 0 210684 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864860
[startup+0.702943 s]
/proc/loadavg: 2.04 2.01 1.91 3/80 25069
/proc/meminfo: memFree=1355632/2055920 swapFree=4192812/4192956
[pid=25069] ppid=25067 vsize=864992 CPUtime=0.68
/proc/25069/stat : 25069 (java) S 25067 25069 23949 0 -1 0 12672 0 1 0 61 7 0 0 18 0 9 0 90143672 885751808 12088 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25069/statm: 216248 12088 1889 9 0 210717 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 864992
[startup+1.50103 s]
/proc/loadavg: 2.04 2.01 1.91 3/89 25078
/proc/meminfo: memFree=1303656/2055920 swapFree=4192812/4192956
[pid=25069] ppid=25067 vsize=865120 CPUtime=1.46
/proc/25069/stat : 25069 (java) S 25067 25069 23949 0 -1 0 20455 0 1 0 134 12 0 0 18 0 9 0 90143672 885882880 19832 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25069/statm: 216280 19832 1985 9 0 210749 0
[pid=25069/tid=25071] ppid=25067 vsize=865120 CPUtime=1.13
/proc/25069/task/25071/stat : 25071 (java) R 25067 25069 23949 0 -1 64 14774 0 1 0 103 10 0 0 25 0 9 0 90143674 885882880 19832 996147200 134512640 134550932 4294955888 18446744073709551615 4159675168 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25072] ppid=25067 vsize=865120 CPUtime=0.05
/proc/25069/task/25072/stat : 25072 (java) S 25067 25069 23949 0 -1 64 4332 0 0 0 4 1 0 0 17 0 9 0 90143675 885882880 19832 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25073] ppid=25067 vsize=865120 CPUtime=0
/proc/25069/task/25073/stat : 25073 (java) S 25067 25069 23949 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90143675 885882880 19832 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25074] ppid=25067 vsize=865120 CPUtime=0
/proc/25069/task/25074/stat : 25074 (java) S 25067 25069 23949 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143675 885882880 19832 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25075] ppid=25067 vsize=865120 CPUtime=0
/proc/25069/task/25075/stat : 25075 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90143678 885882880 19832 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25076] ppid=25067 vsize=865120 CPUtime=0.26
/proc/25069/task/25076/stat : 25076 (java) S 25067 25069 23949 0 -1 64 616 0 0 0 26 0 0 0 15 0 9 0 90143678 885882880 19832 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25077] ppid=25067 vsize=865120 CPUtime=0
/proc/25069/task/25077/stat : 25077 (java) S 25067 25069 23949 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90143678 885882880 19832 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25078] ppid=25067 vsize=865120 CPUtime=0
/proc/25069/task/25078/stat : 25078 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90143678 885882880 19832 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 865120
[startup+3.10121 s]
/proc/loadavg: 2.04 2.01 1.91 3/89 25078
/proc/meminfo: memFree=1283176/2055920 swapFree=4192812/4192956
[pid=25069] ppid=25067 vsize=865252 CPUtime=3.05
/proc/25069/stat : 25069 (java) S 25067 25069 23949 0 -1 0 20603 0 1 0 291 14 0 0 18 0 9 0 90143672 886018048 19977 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25069/statm: 216313 19977 1989 9 0 210782 0
[pid=25069/tid=25071] ppid=25067 vsize=865252 CPUtime=2.59
/proc/25069/task/25071/stat : 25071 (java) R 25067 25069 23949 0 -1 64 14826 0 1 0 248 11 0 0 25 0 9 0 90143674 886018048 19977 996147200 134512640 134550932 4294955888 18446744073709551615 4127338835 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25072] ppid=25067 vsize=865252 CPUtime=0.05
/proc/25069/task/25072/stat : 25072 (java) S 25067 25069 23949 0 -1 64 4333 0 0 0 4 1 0 0 17 0 9 0 90143675 886018048 19977 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25073] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25073/stat : 25073 (java) S 25067 25069 23949 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90143675 886018048 19977 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25074] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25074/stat : 25074 (java) S 25067 25069 23949 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143675 886018048 19977 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25075] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25075/stat : 25075 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90143678 886018048 19977 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25076] ppid=25067 vsize=865252 CPUtime=0.39
/proc/25069/task/25076/stat : 25076 (java) S 25067 25069 23949 0 -1 64 711 0 0 0 38 1 0 0 15 0 9 0 90143678 886018048 19977 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25077] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25077/stat : 25077 (java) S 25067 25069 23949 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90143678 886018048 19977 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25078] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25078/stat : 25078 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90143678 886018048 19977 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) 865252
[startup+6.30256 s]
/proc/loadavg: 2.03 2.01 1.91 3/89 25078
/proc/meminfo: memFree=1282984/2055920 swapFree=4192812/4192956
[pid=25069] ppid=25067 vsize=865252 CPUtime=6.22
/proc/25069/stat : 25069 (java) S 25067 25069 23949 0 -1 0 20609 0 1 0 608 14 0 0 18 0 9 0 90143672 886018048 19981 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25069/statm: 216313 19981 1989 9 0 210782 0
[pid=25069/tid=25071] ppid=25067 vsize=865252 CPUtime=5.75
/proc/25069/task/25071/stat : 25071 (java) R 25067 25069 23949 0 -1 64 14828 0 1 0 564 11 0 0 25 0 9 0 90143674 886018048 19981 996147200 134512640 134550932 4294955888 18446744073709551615 4127338893 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25072] ppid=25067 vsize=865252 CPUtime=0.05
/proc/25069/task/25072/stat : 25072 (java) S 25067 25069 23949 0 -1 64 4333 0 0 0 4 1 0 0 16 0 9 0 90143675 886018048 19981 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25073] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25073/stat : 25073 (java) S 25067 25069 23949 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90143675 886018048 19981 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25074] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25074/stat : 25074 (java) S 25067 25069 23949 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143675 886018048 19981 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25075] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25075/stat : 25075 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90143678 886018048 19981 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25076] ppid=25067 vsize=865252 CPUtime=0.4
/proc/25069/task/25076/stat : 25076 (java) S 25067 25069 23949 0 -1 64 715 0 0 0 39 1 0 0 15 0 9 0 90143678 886018048 19981 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25077] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25077/stat : 25077 (java) S 25067 25069 23949 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90143678 886018048 19981 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25078] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25078/stat : 25078 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90143678 886018048 19981 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) 865252
[startup+12.7013 s]
/proc/loadavg: 2.03 2.01 1.91 3/89 25078
/proc/meminfo: memFree=1260136/2055920 swapFree=4192812/4192956
[pid=25069] ppid=25067 vsize=865252 CPUtime=12.56
/proc/25069/stat : 25069 (java) S 25067 25069 23949 0 -1 0 26282 0 1 0 1239 17 0 0 18 0 9 0 90143672 886018048 25650 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25069/statm: 216313 25650 1990 9 0 210782 0
[pid=25069/tid=25071] ppid=25067 vsize=865252 CPUtime=11.92
/proc/25069/task/25071/stat : 25071 (java) R 25067 25069 23949 0 -1 64 14835 0 1 0 1181 11 0 0 25 0 9 0 90143674 886018048 25650 996147200 134512640 134550932 4294955888 18446744073709551615 4127391539 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25072] ppid=25067 vsize=865252 CPUtime=0.2
/proc/25069/task/25072/stat : 25072 (java) S 25067 25069 23949 0 -1 64 9992 0 0 0 17 3 0 0 16 0 9 0 90143675 886018048 25650 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25073] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25073/stat : 25073 (java) S 25067 25069 23949 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90143675 886018048 25650 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25074] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25074/stat : 25074 (java) S 25067 25069 23949 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143675 886018048 25650 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25075] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25075/stat : 25075 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90143678 886018048 25650 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25076] ppid=25067 vsize=865252 CPUtime=0.41
/proc/25069/task/25076/stat : 25076 (java) S 25067 25069 23949 0 -1 64 722 0 0 0 40 1 0 0 17 0 9 0 90143678 886018048 25650 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25077] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25077/stat : 25077 (java) S 25067 25069 23949 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90143678 886018048 25650 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25078] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25078/stat : 25078 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90143678 886018048 25650 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 865252
Solver just ended. Dumping a history of the last processes samples
[startup+19.102 s]
/proc/loadavg: 2.02 2.01 1.91 3/89 25078
/proc/meminfo: memFree=1260264/2055920 swapFree=4192812/4192956
[pid=25069] ppid=25067 vsize=865252 CPUtime=18.9
/proc/25069/stat : 25069 (java) S 25067 25069 23949 0 -1 0 26286 0 1 0 1873 17 0 0 18 0 9 0 90143672 886018048 25653 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25069/statm: 216313 25653 1990 9 0 210782 0
[pid=25069/tid=25071] ppid=25067 vsize=865252 CPUtime=18.25
/proc/25069/task/25071/stat : 25071 (java) R 25067 25069 23949 0 -1 64 14837 0 1 0 1814 11 0 0 25 0 9 0 90143674 886018048 25653 996147200 134512640 134550932 4294955888 18446744073709551615 4127338835 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25072] ppid=25067 vsize=865252 CPUtime=0.2
/proc/25069/task/25072/stat : 25072 (java) S 25067 25069 23949 0 -1 64 9992 0 0 0 17 3 0 0 16 0 9 0 90143675 886018048 25653 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25073] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25073/stat : 25073 (java) S 25067 25069 23949 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90143675 886018048 25653 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25074] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25074/stat : 25074 (java) S 25067 25069 23949 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143675 886018048 25653 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25075] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25075/stat : 25075 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90143678 886018048 25653 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25076] ppid=25067 vsize=865252 CPUtime=0.42
/proc/25069/task/25076/stat : 25076 (java) S 25067 25069 23949 0 -1 64 724 0 0 0 40 2 0 0 16 0 9 0 90143678 886018048 25653 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25077] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25077/stat : 25077 (java) S 25067 25069 23949 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90143678 886018048 25653 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25078] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25078/stat : 25078 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90143678 886018048 25653 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.9
Current children cumulated vsize (KiB) 865252
[startup+22.3023 s]
/proc/loadavg: 2.02 2.01 1.91 3/89 25078
/proc/meminfo: memFree=1260264/2055920 swapFree=4192812/4192956
[pid=25069] ppid=25067 vsize=865252 CPUtime=22.07
/proc/25069/stat : 25069 (java) S 25067 25069 23949 0 -1 0 26289 0 1 0 2189 18 0 0 18 0 9 0 90143672 886018048 25654 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25069/statm: 216313 25654 1990 9 0 210782 0
[pid=25069/tid=25071] ppid=25067 vsize=865252 CPUtime=21.43
/proc/25069/task/25071/stat : 25071 (java) R 25067 25069 23949 0 -1 64 14839 0 1 0 2131 12 0 0 25 0 9 0 90143674 886018048 25654 996147200 134512640 134550932 4294955888 18446744073709551615 4127391512 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25072] ppid=25067 vsize=865252 CPUtime=0.2
/proc/25069/task/25072/stat : 25072 (java) S 25067 25069 23949 0 -1 64 9992 0 0 0 17 3 0 0 17 0 9 0 90143675 886018048 25654 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25073] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25073/stat : 25073 (java) S 25067 25069 23949 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90143675 886018048 25654 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25074] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25074/stat : 25074 (java) S 25067 25069 23949 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143675 886018048 25654 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25075] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25075/stat : 25075 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90143678 886018048 25654 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25076] ppid=25067 vsize=865252 CPUtime=0.42
/proc/25069/task/25076/stat : 25076 (java) S 25067 25069 23949 0 -1 64 725 0 0 0 40 2 0 0 15 0 9 0 90143678 886018048 25654 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25077] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25077/stat : 25077 (java) S 25067 25069 23949 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90143678 886018048 25654 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25078] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25078/stat : 25078 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90143678 886018048 25654 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.07
Current children cumulated vsize (KiB) 865252
[startup+23.9025 s]
/proc/loadavg: 2.02 2.01 1.91 3/89 25078
/proc/meminfo: memFree=1260200/2055920 swapFree=4192812/4192956
[pid=25069] ppid=25067 vsize=865252 CPUtime=23.67
/proc/25069/stat : 25069 (java) S 25067 25069 23949 0 -1 0 26305 0 1 0 2347 20 0 0 18 0 9 0 90143672 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25069/statm: 216313 25668 1990 9 0 210782 0
[pid=25069/tid=25071] ppid=25067 vsize=865252 CPUtime=23
/proc/25069/task/25071/stat : 25071 (java) R 25067 25069 23949 0 -1 64 14846 0 1 0 2286 14 0 0 25 0 9 0 90143674 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4127358268 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25072] ppid=25067 vsize=865252 CPUtime=0.2
/proc/25069/task/25072/stat : 25072 (java) S 25067 25069 23949 0 -1 64 9992 0 0 0 17 3 0 0 17 0 9 0 90143675 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25073] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25073/stat : 25073 (java) S 25067 25069 23949 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90143675 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25074] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25074/stat : 25074 (java) S 25067 25069 23949 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143675 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25075] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25075/stat : 25075 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90143678 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25076] ppid=25067 vsize=865252 CPUtime=0.45
/proc/25069/task/25076/stat : 25076 (java) S 25067 25069 23949 0 -1 64 734 0 0 0 43 2 0 0 15 0 9 0 90143678 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25077] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25077/stat : 25077 (java) S 25067 25069 23949 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90143678 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25078] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25078/stat : 25078 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90143678 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.67
Current children cumulated vsize (KiB) 865252
[startup+24.7026 s]
/proc/loadavg: 2.02 2.01 1.91 3/89 25078
/proc/meminfo: memFree=1260136/2055920 swapFree=4192812/4192956
[pid=25069] ppid=25067 vsize=865252 CPUtime=24.46
/proc/25069/stat : 25069 (java) S 25067 25069 23949 0 -1 0 26305 0 1 0 2426 20 0 0 18 0 9 0 90143672 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25069/statm: 216313 25668 1990 9 0 210782 0
[pid=25069/tid=25071] ppid=25067 vsize=865252 CPUtime=23.79
/proc/25069/task/25071/stat : 25071 (java) R 25067 25069 23949 0 -1 64 14846 0 1 0 2365 14 0 0 25 0 9 0 90143674 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4127330883 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25072] ppid=25067 vsize=865252 CPUtime=0.2
/proc/25069/task/25072/stat : 25072 (java) S 25067 25069 23949 0 -1 64 9992 0 0 0 17 3 0 0 17 0 9 0 90143675 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25073] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25073/stat : 25073 (java) S 25067 25069 23949 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90143675 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25074] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25074/stat : 25074 (java) S 25067 25069 23949 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143675 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25075] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25075/stat : 25075 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90143678 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25076] ppid=25067 vsize=865252 CPUtime=0.45
/proc/25069/task/25076/stat : 25076 (java) S 25067 25069 23949 0 -1 64 734 0 0 0 43 2 0 0 15 0 9 0 90143678 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25077] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25077/stat : 25077 (java) S 25067 25069 23949 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90143678 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25078] ppid=25067 vsize=865252 CPUtime=0
/proc/25069/task/25078/stat : 25078 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90143678 886018048 25668 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.46
Current children cumulated vsize (KiB) 865252
[startup+25.1026 s]
/proc/loadavg: 2.02 2.01 1.91 3/89 25078
/proc/meminfo: memFree=1260136/2055920 swapFree=4192812/4192956
[pid=25069] ppid=25067 vsize=865576 CPUtime=24.85
/proc/25069/stat : 25069 (java) S 25067 25069 23949 0 -1 0 26345 0 1 0 2465 20 0 0 18 0 9 0 90143672 886349824 25703 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25069/statm: 216394 25703 1999 9 0 210863 0
[pid=25069/tid=25071] ppid=25067 vsize=865576 CPUtime=24.16
/proc/25069/task/25071/stat : 25071 (java) S 25067 25069 23949 0 -1 64 14869 0 1 0 2402 14 0 0 25 0 9 0 90143674 886349824 25703 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25072] ppid=25067 vsize=865576 CPUtime=0.2
/proc/25069/task/25072/stat : 25072 (java) S 25067 25069 23949 0 -1 64 9992 0 0 0 17 3 0 0 16 0 9 0 90143675 886349824 25703 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25073] ppid=25067 vsize=865576 CPUtime=0
/proc/25069/task/25073/stat : 25073 (java) S 25067 25069 23949 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90143675 886349824 25703 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25074] ppid=25067 vsize=865576 CPUtime=0
/proc/25069/task/25074/stat : 25074 (java) S 25067 25069 23949 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90143675 886349824 25703 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25075] ppid=25067 vsize=865576 CPUtime=0
/proc/25069/task/25075/stat : 25075 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90143678 886349824 25703 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25076] ppid=25067 vsize=865576 CPUtime=0.46
/proc/25069/task/25076/stat : 25076 (java) S 25067 25069 23949 0 -1 64 746 0 0 0 44 2 0 0 16 0 9 0 90143678 886349824 25703 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25077] ppid=25067 vsize=865576 CPUtime=0
/proc/25069/task/25077/stat : 25077 (java) S 25067 25069 23949 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90143678 886349824 25703 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25069/tid=25078] ppid=25067 vsize=865576 CPUtime=0
/proc/25069/task/25078/stat : 25078 (java) S 25067 25069 23949 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 90143678 886349824 25703 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.85
Current children cumulated vsize (KiB) 865576
Child status: 0
Real time (s): 25.1414
CPU time (s): 24.8712
CPU user time (s): 24.6523
CPU system time (s): 0.218966
CPU usage (%): 98.9253
Max. virtual memory (cumulated for all children) (KiB): 865576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.6523
system time used= 0.218966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26348
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= 2897
involuntary context switches= 3394
runsolver used 0.035994 second user time and 0.090986 second system time
The end
Begin job on node38 at 2009-07-19 21:13:16
IDJOB=2116217
IDBENCH=56498
IDSOLVER=780
FILE ID=node38/2116217-1248030796
PBS_JOBID= 9528972
Free space on /tmp= 66216 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/ogdHerald/normalized-crossword-m1-ogd-15-03.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-2116217-1248030796/watcher-2116217-1248030796 -o /tmp/evaluation-result-2116217-1248030796/solver-2116217-1248030796 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2116217-1248030796.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= 6023d8b01905dd6c34bb294891b52766
RANDOM SEED=20051932
node38.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.229
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.229
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: 1356112 kB
Buffers: 41348 kB
Cached: 492792 kB
SwapCached: 0 kB
Active: 206768 kB
Inactive: 420956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1356112 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6640 kB
Writeback: 0 kB
Mapped: 111488 kB
Slab: 57080 kB
Committed_AS: 1289572 kB
PageTables: 2036 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= 66208 MiB
End job on node38 at 2009-07-19 21:13:41