0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/234816-1168081635/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=25 nbDomainTypes=25 minDomainSize=188 maxDomainSize=285
0.42 => wckTime=0.104 cpuTime=0.09 mem=6M919
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
2.14 nbConstraints=100 nbConvertedConstraints=100 nbConvertConstraintsChecks=5484605 nbExtensionStructures=100
2.14 nbSharedExtensionStructures=0 nbConflictsStructures=100 nbSharedConflictsStructures=0
2.14 nbSharedBinaryRepresentations=17982 maxDegree=8 maxArity=2
2.14 => wckTime=1.823 cpuTime=1.76 mem=13M746
2.18
2.18 solver IterativeSystematicSolver being built...
2.34 => wckTime=2.027 cpuTime=1.88 mem=15M634
2.35
2.35 preprocessing
2.35 nbConstraintChecks=0 nbPropagations=25 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.35 detectedInconsistency=no
2.35 => wckTime=0.0010 cpuTime=0.0 mem=15M634
2.51
2.51 search
2.51 run=0 nbConstraintChecks=2999602 nbPropagations=2111 nbRevisions=7069 nbUselessRevisions=2900
2.51 nbAssignments=258 nbFailedAssignments=247 nbBacktracks=10 nbVisitedNodes=516 nbRestartNogoods=0 mapSize=10
2.51 nbInferences=0 nbTooLargeKeys=0
2.51 => wckTime=0.163 cpuTime=0.13 mem=15M634
2.90
2.90 search
2.90 run=1 nbConstraintChecks=12769757 nbPropagations=12340 nbRevisions=42132 nbUselessRevisions=16146
2.90 nbAssignments=1445 nbFailedAssignments=1418 nbBacktracks=25 nbVisitedNodes=2889 nbRestartNogoods=10 mapSize=25
2.90 nbInferences=0 nbTooLargeKeys=0
2.90 => wckTime=0.56 cpuTime=0.52 mem=16M609
3.04
3.04 search
3.04 run=2 nbConstraintChecks=16167053 nbPropagations=24900 nbRevisions=85192 nbUselessRevisions=32298
3.04 nbAssignments=1774 nbFailedAssignments=1724 nbBacktracks=47 nbVisitedNodes=3546 nbRestartNogoods=25 mapSize=47
3.04 nbInferences=0 nbTooLargeKeys=0
3.04 => wckTime=0.692 cpuTime=0.64 mem=16M609
3.19
3.19 search
3.19 run=3 nbConstraintChecks=20761791 nbPropagations=41255 nbRevisions=141156 nbUselessRevisions=53960
3.19 nbAssignments=2192 nbFailedAssignments=2108 nbBacktracks=80 nbVisitedNodes=4381 nbRestartNogoods=86 mapSize=80
3.19 nbInferences=0 nbTooLargeKeys=0
3.19 => wckTime=0.843 cpuTime=0.77 mem=16M609
3.42
3.42 search
3.42 run=4 nbConstraintChecks=27710189 nbPropagations=63572 nbRevisions=216727 nbUselessRevisions=83015
3.42 nbAssignments=2884 nbFailedAssignments=2749 nbBacktracks=130 nbVisitedNodes=5764 nbRestartNogoods=122
3.42 mapSize=130 nbInferences=0 nbTooLargeKeys=0
3.42 => wckTime=1.079 cpuTime=1.01 mem=16M609
4.53
4.53 search
4.53 run=5 nbConstraintChecks=59679886 nbPropagations=111195 nbRevisions=381001 nbUselessRevisions=146933
4.53 nbAssignments=6395 nbFailedAssignments=6184 nbBacktracks=205 nbVisitedNodes=12785 nbRestartNogoods=174
4.53 mapSize=205 nbInferences=0 nbTooLargeKeys=0
4.53 => wckTime=2.188 cpuTime=2.1 mem=16M609
5.01
5.01 search
5.01 run=6 nbConstraintChecks=74555265 nbPropagations=171051 nbRevisions=586593 nbUselessRevisions=226857
5.01 nbAssignments=7826 nbFailedAssignments=7501 nbBacktracks=318 nbVisitedNodes=15646 nbRestartNogoods=228
5.01 mapSize=318 nbInferences=0 nbTooLargeKeys=0
5.01 => wckTime=2.669 cpuTime=2.59 mem=16M609
5.63
5.63 search
5.63 run=7 nbConstraintChecks=93537952 nbPropagations=246968 nbRevisions=845198 nbUselessRevisions=327256
5.63 nbAssignments=9621 nbFailedAssignments=9125 nbBacktracks=488 nbVisitedNodes=19235 nbRestartNogoods=232
5.63 mapSize=488 nbInferences=0 nbTooLargeKeys=0
5.63 => wckTime=3.285 cpuTime=3.2 mem=16M609
6.93
6.93 search
6.93 run=8 nbConstraintChecks=132545271 nbPropagations=354053 nbRevisions=1210678 nbUselessRevisions=468692
6.93 nbAssignments=13299 nbFailedAssignments=12546 nbBacktracks=744 nbVisitedNodes=26590 nbRestartNogoods=244
6.93 mapSize=744 nbInferences=0 nbTooLargeKeys=0
6.93 => wckTime=4.589 cpuTime=4.49 mem=16M609
8.75
8.75 search
8.75 run=9 nbConstraintChecks=188236123 nbPropagations=500270 nbRevisions=1722918 nbUselessRevisions=668558
8.75 nbAssignments=18303 nbFailedAssignments=17376 nbBacktracks=919 nbVisitedNodes=36598 nbRestartNogoods=251
8.75 mapSize=918 nbInferences=0 nbTooLargeKeys=0
8.75 => wckTime=6.405 cpuTime=6.29 mem=16M609
8.75
8.75 global
8.75 nbConstraintChecks=188236123 nbPropagations=500295 nbRevisions=1722918 nbUselessRevisions=668558
8.75 nbRestartNogoods=251 solvingWckTime=6.407 solvingCpuTime=6.29 expiredTime=no totalExploration=yes
8.75 nbFoundSolutions=0 globalCpuTime=8.22
8.75 => wckTime=8.438 cpuTime=8.17 mem=16M609
8.75
8.75 s UNSATISFIABLE
8.75 d NODES 18303
8.75 d CHECKS 188236123
8.75
8.76 totalWckTime=8.519 totalCpuTime=8.23
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-234816-1168081635 -o ROOT/results/node44/solver-234816-1168081635 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/234816-1168081635/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 1.74 1.80 1.76 4/80 10655
/proc/meminfo: memFree=1449584/2055920 swapFree=4192812/4192956
[pid=10654] ppid=10652 vsize=1784 CPUtime=0
/proc/10654/stat : 10654 (java) R 10652 10654 10531 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 156562526 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/10654/statm: 446 140 106 14 0 91 0
[startup+0.105514 s]
/proc/loadavg: 1.74 1.80 1.76 4/80 10655
/proc/meminfo: memFree=1449584/2055920 swapFree=4192812/4192956
[pid=10654] ppid=10652 vsize=914988 CPUtime=0.08
/proc/10654/stat : 10654 (java) R 10652 10654 10531 0 -1 0 2998 0 1 0 7 1 0 0 20 0 8 0 156562526 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10654/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514555 s]
/proc/loadavg: 1.74 1.80 1.76 4/80 10655
/proc/meminfo: memFree=1449584/2055920 swapFree=4192812/4192956
[pid=10654] ppid=10652 vsize=915460 CPUtime=0.49
/proc/10654/stat : 10654 (java) R 10652 10654 10531 0 -1 0 6515 0 1 0 44 5 0 0 18 0 8 0 156562526 937431040 6254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10654/statm: 228865 6254 2166 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460
[startup+1.33864 s]
/proc/loadavg: 1.74 1.80 1.76 3/87 10662
/proc/meminfo: memFree=1431160/2055920 swapFree=4192812/4192956
[pid=10654] ppid=10652 vsize=915460 CPUtime=1.3
/proc/10654/stat : 10654 (java) R 10652 10654 10531 0 -1 0 7159 0 1 0 125 5 0 0 25 0 8 0 156562526 937431040 6897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073601482 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10654/statm: 228865 6897 2167 14 0 215335 0
[pid=10654/tid=10656] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10656/stat : 10656 (java) S 10652 10654 10531 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156562530 937431040 6897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10657] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10657/stat : 10657 (java) S 10652 10654 10531 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156562531 937431040 6897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10658] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10658/stat : 10658 (java) S 10652 10654 10531 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156562531 937431040 6897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10659] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10659/stat : 10659 (java) S 10652 10654 10531 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156562534 937431040 6897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10660] ppid=10652 vsize=915460 CPUtime=0.08
/proc/10654/task/10660/stat : 10660 (java) S 10652 10654 10531 0 -1 64 314 0 0 0 8 0 0 0 16 0 8 0 156562534 937431040 6897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10661] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10661/stat : 10661 (java) S 10652 10654 10531 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156562534 937431040 6897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10662] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10662/stat : 10662 (java) S 10652 10654 10531 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156562534 937431040 6897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98081 s]
/proc/loadavg: 1.74 1.80 1.76 3/87 10662
/proc/meminfo: memFree=1424888/2055920 swapFree=4192812/4192956
[pid=10654] ppid=10652 vsize=915460 CPUtime=2.94
/proc/10654/stat : 10654 (java) R 10652 10654 10531 0 -1 0 8957 0 1 0 286 8 0 0 25 0 8 0 156562526 937431040 8694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10654/statm: 228865 8694 2532 14 0 215335 0
[pid=10654/tid=10656] ppid=10652 vsize=915460 CPUtime=0.03
/proc/10654/task/10656/stat : 10656 (java) S 10652 10654 10531 0 -1 64 684 0 0 0 3 0 0 0 16 0 8 0 156562530 937431040 8694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10657] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10657/stat : 10657 (java) S 10652 10654 10531 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156562531 937431040 8694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10658] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10658/stat : 10658 (java) S 10652 10654 10531 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156562531 937431040 8694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10659] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10659/stat : 10659 (java) S 10652 10654 10531 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156562534 937431040 8694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10660] ppid=10652 vsize=915460 CPUtime=0.18
/proc/10654/task/10660/stat : 10660 (java) S 10652 10654 10531 0 -1 64 366 0 0 0 18 0 0 0 16 0 8 0 156562534 937431040 8694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10661] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10661/stat : 10661 (java) S 10652 10654 10531 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156562534 937431040 8694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10662] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10662/stat : 10662 (java) S 10652 10654 10531 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156562534 937431040 8694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.26014 s]
/proc/loadavg: 1.76 1.80 1.76 3/87 10662
/proc/meminfo: memFree=1424312/2055920 swapFree=4192812/4192956
[pid=10654] ppid=10652 vsize=915460 CPUtime=6.19
/proc/10654/stat : 10654 (java) R 10652 10654 10531 0 -1 0 9048 0 1 0 611 8 0 0 25 0 8 0 156562526 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735732 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10654/statm: 228865 8783 2532 14 0 215335 0
[pid=10654/tid=10656] ppid=10652 vsize=915460 CPUtime=0.03
/proc/10654/task/10656/stat : 10656 (java) S 10652 10654 10531 0 -1 64 684 0 0 0 3 0 0 0 16 0 8 0 156562530 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10657] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10657/stat : 10657 (java) S 10652 10654 10531 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156562531 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10658] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10658/stat : 10658 (java) S 10652 10654 10531 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156562531 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10659] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10659/stat : 10659 (java) S 10652 10654 10531 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156562534 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10660] ppid=10652 vsize=915460 CPUtime=0.19
/proc/10654/task/10660/stat : 10660 (java) S 10652 10654 10531 0 -1 64 371 0 0 0 19 0 0 0 15 0 8 0 156562534 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10661] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10661/stat : 10661 (java) S 10652 10654 10531 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156562534 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10654/tid=10662] ppid=10652 vsize=915460 CPUtime=0
/proc/10654/task/10662/stat : 10662 (java) S 10652 10654 10531 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156562534 937431040 8783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 8.81851
CPU time (s): 8.67768
CPU user time (s): 8.58869
CPU system time (s): 0.088986
CPU usage (%): 98.403
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.58869
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9188
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= 1209
involuntary context switches= 1724
runsolver used 0.020996 s user time and 0.025996 s system time
The end
Begin job on node44 on Sat Jan 6 11:07:15 UTC 2007
IDJOB= 234816
IDBENCH= 6715
FILE ID= node44/234816-1168081635
PBS_JOBID= 3476240
Free space on /tmp= 66536 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-5/os-taillard-5-95-0.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/234816-1168081635/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-234816-1168081635 -o ROOT/results/node44/solver-234816-1168081635 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/234816-1168081635/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a3456e6d65e65aed2a5080188859f278
RANDOM SEED= 512724277
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.213
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.213
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: 1450064 kB
Buffers: 21764 kB
Cached: 311232 kB
SwapCached: 0 kB
Active: 252004 kB
Inactive: 284628 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1450064 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1972 kB
Writeback: 0 kB
Mapped: 223868 kB
Slab: 54212 kB
Committed_AS: 3740440 kB
PageTables: 2160 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= 66536 MiB
End job on node44 on Sat Jan 6 11:07:24 UTC 2007