0.03/0.08
0.03/0.08 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=mac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1071642-1215169605.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.35
0.28/0.36 variables being loaded...
0.38/0.41 nbVariables=225 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3 nbTotalValues=675
0.38/0.41 => wckTime=0.178 cpuTime=0.14 mem=8M894
0.38/0.41
0.38/0.41 predicates being loaded...
0.38/0.48
0.38/0.48 constraints being loaded...
8.77/8.95 nbConstraints=11053 nbGlobalConstraints=28 nbConflictsStructures=1 nbSharedConflictsStructures=11024
8.77/8.95 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=11024 minDegree=198
8.77/8.95 maxDegree=201 minArity=4 avgArity=4.08 maxArity=210 nbGenerators=28 nbFusions=0 symmetryWckTime=2.125
8.77/8.95 symmetryCpuTime=0.43
8.77/8.95 => wckTime=8.719 cpuTime=6.35 mem=48M764
9.07/9.21
9.07/9.21 solver IterativeSystematicSolver being built...
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1071642-1215169605/watcher-1071642-1215169605 -o /tmp/evaluation-result-1071642-1215169605/solver-1071642-1215169605 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1071642-1215169605.xml
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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.78 1.97 2.02 4/80 31900
/proc/meminfo: memFree=1772768/2055920 swapFree=4178936/4192956
[pid=31900] ppid=31898 vsize=10616 CPUtime=0
/proc/31900/stat : 31900 (java) S 31898 31900 31863 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 1995930847 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31900/statm: 2654 472 209 9 0 1184 0
[pid=31900/tid=31901] ppid=31898 vsize=10616 CPUtime=0
/proc/31900/task/31901/stat : 31901 (java) R 31898 31900 31863 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 1995930848 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 2682840 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0409499 s]
/proc/loadavg: 1.78 1.97 2.02 4/80 31900
/proc/meminfo: memFree=1772768/2055920 swapFree=4178936/4192956
[pid=31900] ppid=31898 vsize=861876 CPUtime=0.03
/proc/31900/stat : 31900 (java) S 31898 31900 31863 0 -1 0 2256 0 1 0 2 1 0 0 18 0 5 0 1995930847 882561024 1865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/31900/statm: 215469 1881 860 9 0 210448 0
[pid=31900/tid=31901] ppid=31898 vsize=861876 CPUtime=0.02
/proc/31900/task/31901/stat : 31901 (java) D 31898 31900 31863 0 -1 64 1580 0 1 0 2 0 0 0 17 0 5 0 1995930848 882561024 1881 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800971 18446744072099937270 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876
[startup+0.109342 s]
/proc/loadavg: 1.78 1.97 2.02 4/80 31900
/proc/meminfo: memFree=1772768/2055920 swapFree=4178936/4192956
[pid=31900] ppid=31898 vsize=865884 CPUtime=0.1
/proc/31900/stat : 31900 (java) S 31898 31900 31863 0 -1 0 3902 0 1 0 8 2 0 0 18 0 9 0 1995930847 886665216 3342 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31900/statm: 216471 3342 1757 9 0 211026 0
[pid=31900/tid=31901] ppid=31898 vsize=865884 CPUtime=0.08
/proc/31900/task/31901/stat : 31901 (java) R 31898 31900 31863 0 -1 64 2993 0 1 0 7 1 0 0 18 0 9 0 1995930848 886665216 3342 996147200 134512640 134550740 4294955968 18446744073709551615 4125962285 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865884
[startup+0.301365 s]
/proc/loadavg: 1.78 1.97 2.02 4/80 31900
/proc/meminfo: memFree=1772768/2055920 swapFree=4178936/4192956
[pid=31900] ppid=31898 vsize=866196 CPUtime=0.28
/proc/31900/stat : 31900 (java) S 31898 31900 31863 0 -1 0 5625 0 1 0 25 3 0 0 18 0 9 0 1995930847 886984704 5039 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31900/statm: 216549 5039 1903 9 0 211097 0
[pid=31900/tid=31901] ppid=31898 vsize=866196 CPUtime=0.23
/proc/31900/task/31901/stat : 31901 (java) R 31898 31900 31863 0 -1 64 4654 0 1 0 21 2 0 0 19 0 9 0 1995930848 886984704 5039 996147200 134512640 134550740 4294955968 18446744073709551615 1835812 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701407 s]
/proc/loadavg: 1.78 1.97 2.02 4/80 31900
/proc/meminfo: memFree=1772768/2055920 swapFree=4178936/4192956
[pid=31900] ppid=31898 vsize=867096 CPUtime=0.68
/proc/31900/stat : 31900 (java) S 31898 31900 31863 0 -1 0 8742 0 1 0 63 5 0 0 18 0 9 0 1995930847 887906304 8102 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31900/statm: 216774 8102 2007 9 0 211280 0
[pid=31900/tid=31901] ppid=31898 vsize=867096 CPUtime=0.54
/proc/31900/task/31901/stat : 31901 (java) R 31898 31900 31863 0 -1 64 7549 0 1 0 50 4 0 0 20 0 9 0 1995930848 887906304 8102 996147200 134512640 134550740 4294955968 18446744073709551615 102307517 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867096
[startup+1.5025 s]
/proc/loadavg: 1.80 1.97 2.02 3/89 31909
/proc/meminfo: memFree=1729560/2055920 swapFree=4178936/4192956
[pid=31900] ppid=31898 vsize=867600 CPUtime=1.48
/proc/31900/stat : 31900 (java) S 31898 31900 31863 0 -1 0 18044 0 1 0 137 11 0 0 18 0 9 0 1995930847 888422400 17379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31900/statm: 216900 17379 2003 9 0 211428 0
[pid=31900/tid=31901] ppid=31898 vsize=867600 CPUtime=1.26
/proc/31900/task/31901/stat : 31901 (java) R 31898 31900 31863 0 -1 64 15739 0 1 0 117 9 0 0 25 0 9 0 1995930848 888422400 17379 996147200 134512640 134550740 4294955968 18446744073709551615 102300288 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31903] ppid=31898 vsize=867600 CPUtime=0.03
/proc/31900/task/31903/stat : 31903 (java) S 31898 31900 31863 0 -1 64 938 0 0 0 3 0 0 0 16 0 9 0 1995930849 888422400 17379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31904] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31904/stat : 31904 (java) S 31898 31900 31863 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1995930849 888422400 17379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31905] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31905/stat : 31905 (java) S 31898 31900 31863 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995930849 888422400 17379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31906] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31906/stat : 31906 (java) S 31898 31900 31863 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995930851 888422400 17379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31907] ppid=31898 vsize=867600 CPUtime=0.16
/proc/31900/task/31907/stat : 31907 (java) S 31898 31900 31863 0 -1 64 671 0 0 0 16 0 0 0 16 0 9 0 1995930851 888422400 17379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31908] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31908/stat : 31908 (java) S 31898 31900 31863 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1995930851 888422400 17379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31909] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31909/stat : 31909 (java) S 31898 31900 31863 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995930852 888422400 17379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867600
[startup+3.10267 s]
/proc/loadavg: 1.80 1.97 2.02 3/89 31909
/proc/meminfo: memFree=1703192/2055920 swapFree=4178936/4192956
[pid=31900] ppid=31898 vsize=867600 CPUtime=3.06
/proc/31900/stat : 31900 (java) S 31898 31900 31863 0 -1 0 21049 0 1 0 285 21 0 0 18 0 9 0 1995930847 888422400 20382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31900/statm: 216900 20382 2005 9 0 211428 0
[pid=31900/tid=31901] ppid=31898 vsize=867600 CPUtime=2.66
/proc/31900/task/31901/stat : 31901 (java) R 31898 31900 31863 0 -1 64 15762 0 1 0 248 18 0 0 25 0 9 0 1995930848 888422400 20382 996147200 134512640 134550740 4294955968 18446744073709551615 102594529 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31903] ppid=31898 vsize=867600 CPUtime=0.16
/proc/31900/task/31903/stat : 31903 (java) S 31898 31900 31863 0 -1 64 3873 0 0 0 14 2 0 0 16 0 9 0 1995930849 888422400 20382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31904] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31904/stat : 31904 (java) S 31898 31900 31863 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1995930849 888422400 20382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31905] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31905/stat : 31905 (java) S 31898 31900 31863 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995930849 888422400 20382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31906] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31906/stat : 31906 (java) S 31898 31900 31863 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995930851 888422400 20382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31907] ppid=31898 vsize=867600 CPUtime=0.21
/proc/31900/task/31907/stat : 31907 (java) S 31898 31900 31863 0 -1 64 718 0 0 0 21 0 0 0 16 0 9 0 1995930851 888422400 20382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31908] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31908/stat : 31908 (java) S 31898 31900 31863 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1995930851 888422400 20382 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31909] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31909/stat : 31909 (java) S 31898 31900 31863 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995930852 888422400 20382 996147200 134512640 134550740 4294955968 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) 867600
[startup+6.30202 s]
/proc/loadavg: 1.80 1.97 2.02 3/89 31909
/proc/meminfo: memFree=1685800/2055920 swapFree=4178936/4192956
[pid=31900] ppid=31898 vsize=867600 CPUtime=6.23
/proc/31900/stat : 31900 (java) S 31898 31900 31863 0 -1 0 25298 0 1 0 568 55 0 0 18 0 9 0 1995930847 888422400 24626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31900/statm: 216900 24626 2005 9 0 211428 0
[pid=31900/tid=31901] ppid=31898 vsize=867600 CPUtime=5.65
/proc/31900/task/31901/stat : 31901 (java) R 31898 31900 31863 0 -1 64 15767 0 1 0 515 50 0 0 25 0 9 0 1995930848 888422400 24626 996147200 134512640 134550740 4294955968 18446744073709551615 4126888028 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31903] ppid=31898 vsize=867600 CPUtime=0.34
/proc/31900/task/31903/stat : 31903 (java) S 31898 31900 31863 0 -1 64 8117 0 0 0 31 3 0 0 16 0 9 0 1995930849 888422400 24626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31904] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31904/stat : 31904 (java) S 31898 31900 31863 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1995930849 888422400 24626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31905] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31905/stat : 31905 (java) S 31898 31900 31863 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1995930849 888422400 24626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31906] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31906/stat : 31906 (java) S 31898 31900 31863 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1995930851 888422400 24626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31907] ppid=31898 vsize=867600 CPUtime=0.21
/proc/31900/task/31907/stat : 31907 (java) S 31898 31900 31863 0 -1 64 718 0 0 0 21 0 0 0 16 0 9 0 1995930851 888422400 24626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31908] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31908/stat : 31908 (java) S 31898 31900 31863 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1995930851 888422400 24626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31909] ppid=31898 vsize=867600 CPUtime=0
/proc/31900/task/31909/stat : 31909 (java) S 31898 31900 31863 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1995930852 888422400 24626 996147200 134512640 134550740 4294955968 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) 867600
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+8.70228 s]
/proc/loadavg: 1.81 1.97 2.02 3/91 31913
/proc/meminfo: memFree=1669584/2055920 swapFree=4178936/4192956
[pid=31900] ppid=31898 vsize=868248 CPUtime=8.6
/proc/31900/stat : 31900 (java) S 31898 31900 31863 0 -1 0 37139 2411 1 0 638 67 153 2 18 0 10 0 1995930847 889085952 27121 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31900/statm: 217062 27121 2014 9 0 211590 0
[pid=31913] ppid=31900 vsize=868248 CPUtime=0
/proc/31913/stat : 31913 (java) R 31900 31900 31863 0 -1 64 23 0 0 0 0 0 0 0 18 0 1 0 1995931716 889085952 27121 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 17 1 0 0
/proc/31913/statm: 217062 27121 2014 9 0 211590 0
[pid=31900/tid=31901] ppid=31898 vsize=868248 CPUtime=7.87
/proc/31900/task/31901/stat : 31901 (java) S 31898 31900 31863 0 -1 64 20698 2411 1 0 574 58 153 2 15 0 10 0 1995930848 889085952 27121 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31903] ppid=31898 vsize=868248 CPUtime=1.99
/proc/31900/task/31903/stat : 31903 (java) S 31898 31900 31863 0 -1 64 14880 2411 0 0 39 5 153 2 15 0 10 0 1995930849 889085952 27121 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31904] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31904/stat : 31904 (java) S 31898 31900 31863 0 -1 64 20 2411 0 0 0 0 153 2 16 0 10 0 1995930849 889085952 27121 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31905] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31905/stat : 31905 (java) S 31898 31900 31863 0 -1 64 10 2411 0 0 0 0 153 2 16 0 10 0 1995930849 889085952 27121 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31906] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31906/stat : 31906 (java) S 31898 31900 31863 0 -1 64 1 2411 0 0 0 0 153 2 18 0 10 0 1995930851 889085952 27121 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31907] ppid=31898 vsize=868248 CPUtime=1.78
/proc/31900/task/31907/stat : 31907 (java) S 31898 31900 31863 0 -1 64 755 2411 0 0 23 0 153 2 15 0 10 0 1995930851 889085952 27121 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31908] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31908/stat : 31908 (java) S 31898 31900 31863 0 -1 64 1 2411 0 0 0 0 153 2 19 0 10 0 1995930851 889085952 27121 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31909] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31909/stat : 31909 (java) S 31898 31900 31863 0 -1 64 10 2411 0 0 0 0 153 2 15 0 10 0 1995930852 889085952 27121 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31912] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31912/stat : 31912 (java) S 31898 31900 31863 0 -1 64 10 2411 0 0 0 0 153 2 16 0 10 0 1995931716 889085952 27121 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.6
Current children cumulated vsize (KiB) 1736496
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+9.00232 s]
/proc/loadavg: 1.81 1.97 2.02 3/91 31913
/proc/meminfo: memFree=1669584/2055920 swapFree=4178936/4192956
[pid=31900] ppid=31898 vsize=868248 CPUtime=8.87
/proc/31900/stat : 31900 (java) S 31898 31900 31863 0 -1 0 44399 2411 1 0 664 68 153 2 16 0 10 0 1995930847 889085952 27256 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31900/statm: 217062 27256 2066 9 0 211590 0
[pid=31913] ppid=31900 vsize=44 CPUtime=0
/proc/31913/stat : 31913 (rm) R 31900 31900 31863 0 -1 4194304 26 0 0 0 0 0 0 0 18 0 1 0 1995931716 45056 2 996147200 0 0 548682069478 18446744073709551615 4294960144 0 4 0 0 0 0 0 17 1 0 0
/proc/31913/statm: 11 2 0 0 0 1 0
[pid=31900/tid=31901] ppid=31898 vsize=868248 CPUtime=8.1
/proc/31900/task/31901/stat : 31901 (java) S 31898 31900 31863 0 -1 64 21872 2411 1 0 596 59 153 2 16 0 10 0 1995930848 889085952 27256 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31903] ppid=31898 vsize=868248 CPUtime=2.03
/proc/31900/task/31903/stat : 31903 (java) R 31898 31900 31863 0 -1 64 20676 2411 0 0 42 6 153 2 16 0 10 0 1995930849 889085952 27256 996147200 134512640 134550740 4294955968 18446744073709551615 102721807 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31904] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31904/stat : 31904 (java) S 31898 31900 31863 0 -1 64 20 2411 0 0 0 0 153 2 16 0 10 0 1995930849 889085952 27256 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31905] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31905/stat : 31905 (java) S 31898 31900 31863 0 -1 64 10 2411 0 0 0 0 153 2 16 0 10 0 1995930849 889085952 27256 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31906] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31906/stat : 31906 (java) S 31898 31900 31863 0 -1 64 50 2411 0 0 0 0 153 2 17 0 10 0 1995930851 889085952 27256 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31907] ppid=31898 vsize=868248 CPUtime=1.79
/proc/31900/task/31907/stat : 31907 (java) S 31898 31900 31863 0 -1 64 925 2411 0 0 24 0 153 2 15 0 10 0 1995930851 889085952 27256 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31908] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31908/stat : 31908 (java) S 31898 31900 31863 0 -1 64 1 2411 0 0 0 0 153 2 19 0 10 0 1995930851 889085952 27256 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31912] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31912/stat : 31912 (java) R 31898 31900 31863 0 -1 64 36 2411 0 0 0 0 153 2 17 0 10 0 1995931716 889085952 27256 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.87
Current children cumulated vsize (KiB) 868292
[startup+9.20234 s]
/proc/loadavg: 1.81 1.97 2.02 3/91 31913
/proc/meminfo: memFree=1669584/2055920 swapFree=4178936/4192956
[pid=31900] ppid=31898 vsize=868248 CPUtime=9.07
/proc/31900/stat : 31900 (java) S 31898 31900 31863 0 -1 0 49797 2411 1 0 683 69 153 2 16 0 10 0 1995930847 889085952 28404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31900/statm: 217062 28404 2613 9 0 211590 0
[pid=31913] ppid=31900 vsize=44 CPUtime=0
/proc/31913/stat : 31913 (rm) R 31900 31900 31863 0 -1 4194304 26 0 0 0 0 0 0 0 18 0 1 0 1995931716 45056 2 996147200 0 0 548682069478 18446744073709551615 4294960144 0 4 0 0 0 0 0 17 1 0 0
/proc/31913/statm: 11 2 0 0 0 1 0
[pid=31900/tid=31901] ppid=31898 vsize=868248 CPUtime=8.1
/proc/31900/task/31901/stat : 31901 (java) S 31898 31900 31863 0 -1 64 21872 2411 1 0 596 59 153 2 16 0 10 0 1995930848 889085952 28404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31903] ppid=31898 vsize=868248 CPUtime=2.23
/proc/31900/task/31903/stat : 31903 (java) R 31898 31900 31863 0 -1 64 26074 2411 0 0 62 6 153 2 17 0 10 0 1995930849 889085952 28404 996147200 134512640 134550740 4294955968 18446744073709551615 103736902 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31904] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31904/stat : 31904 (java) S 31898 31900 31863 0 -1 64 20 2411 0 0 0 0 153 2 16 0 10 0 1995930849 889085952 28404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31905] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31905/stat : 31905 (java) S 31898 31900 31863 0 -1 64 10 2411 0 0 0 0 153 2 16 0 10 0 1995930849 889085952 28404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31906] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31906/stat : 31906 (java) S 31898 31900 31863 0 -1 64 50 2411 0 0 0 0 153 2 17 0 10 0 1995930851 889085952 28404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31907] ppid=31898 vsize=868248 CPUtime=1.79
/proc/31900/task/31907/stat : 31907 (java) S 31898 31900 31863 0 -1 64 925 2411 0 0 24 0 153 2 15 0 10 0 1995930851 889085952 28404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31908] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31908/stat : 31908 (java) S 31898 31900 31863 0 -1 64 1 2411 0 0 0 0 153 2 19 0 10 0 1995930851 889085952 28404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31900/tid=31912] ppid=31898 vsize=868248 CPUtime=1.55
/proc/31900/task/31912/stat : 31912 (java) S 31898 31900 31863 0 -1 64 36 2411 0 0 0 0 153 2 17 0 10 0 1995931716 889085952 28404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.07
Current children cumulated vsize (KiB) 868292
Child status: 143
Real time (s): 9.25485
CPU time (s): 9.14161
CPU user time (s): 8.39672
CPU system time (s): 0.744886
CPU usage (%): 98.7764
Max. virtual memory (cumulated for all children) (KiB): 1736496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.39672
system time used= 0.744886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52690
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= 1814
involuntary context switches= 1726
runsolver used 0.013997 second user time and 0.041993 second system time
The end
Begin job on node64 at 2008-07-04 13:06:45
IDJOB=1071642
IDBENCH=56100
IDSOLVER=363
FILE ID=node64/1071642-1215169605
PBS_JOBID= 7881498
Free space on /tmp= 66552 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/chessboardColoration/normalized-cc-15-15-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1071642-1215169605/watcher-1071642-1215169605 -o /tmp/evaluation-result-1071642-1215169605/solver-1071642-1215169605 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1071642-1215169605.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 788bc16485f787ede0b4976a55d63308
RANDOM SEED=948860967
node64.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.248
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.248
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: 1773248 kB
Buffers: 16192 kB
Cached: 93332 kB
SwapCached: 7368 kB
Active: 197492 kB
Inactive: 29828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1773248 kB
SwapTotal: 4192956 kB
SwapFree: 4178936 kB
Dirty: 4156 kB
Writeback: 0 kB
Mapped: 131280 kB
Slab: 40060 kB
Committed_AS: 4792636 kB
PageTables: 1988 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66548 MiB
End job on node64 at 2008-07-04 13:06:56