0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/208292-1168186661/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=333 nbRelationTypes=333 nbExtensionStructures=333 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=333 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2782 maxDegree=23
0.60 maxArity=2
0.60 => wckTime=0.305 cpuTime=0.23 mem=12M803
0.64
0.64 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.498 cpuTime=0.36 mem=15M7
0.85
0.85 preprocessing
0.85 nbConstraintChecks=70768 nbPropagations=919 nbRevisions=7317 nbUselessRevisions=5958 nbSingletonTests=51
0.85 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.85 => wckTime=0.051 cpuTime=0.03 mem=15M7
0.87
0.87 search
0.87 run=0 nbConstraintChecks=31470 nbPropagations=1330 nbRevisions=12167 nbUselessRevisions=9845 nbAssignments=24
0.87 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.073 cpuTime=0.04 mem=15M7
0.89
0.89 search
0.89 run=1 nbConstraintChecks=75219 nbPropagations=3312 nbRevisions=32503 nbUselessRevisions=26425 nbAssignments=57
0.89 nbFailedAssignments=20 nbBacktracks=26 nbVisitedNodes=94 nbRestartNogoods=1 mapSize=26 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.094 cpuTime=0.06 mem=15M7
0.91
0.91 search
0.91 run=2 nbConstraintChecks=142724 nbPropagations=6151 nbRevisions=63382 nbUselessRevisions=51300
0.91 nbAssignments=105 nbFailedAssignments=40 nbBacktracks=50 nbVisitedNodes=175 nbRestartNogoods=3 mapSize=47
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.112 cpuTime=0.07 mem=15M7
0.93
0.93 search
0.93 run=3 nbConstraintChecks=231061 nbPropagations=10257 nbRevisions=110712 nbUselessRevisions=89387
0.93 nbAssignments=171 nbFailedAssignments=66 nbBacktracks=84 nbVisitedNodes=284 nbRestartNogoods=4 mapSize=73
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.129 cpuTime=0.09 mem=15M7
0.96
0.96 search
0.96 run=4 nbConstraintChecks=397975 nbPropagations=16478 nbRevisions=185786 nbUselessRevisions=149909
0.96 nbAssignments=277 nbFailedAssignments=104 nbBacktracks=134 nbVisitedNodes=451 nbRestartNogoods=8 mapSize=119
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.16 cpuTime=0.11 mem=15M7
1.01
1.01 search
1.01 run=5 nbConstraintChecks=563059 nbPropagations=24900 nbRevisions=288500 nbUselessRevisions=232251
1.02 nbAssignments=405 nbFailedAssignments=151 nbBacktracks=209 nbVisitedNodes=661 nbRestartNogoods=12 mapSize=173
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.218 cpuTime=0.14 mem=15M7
1.06
1.06 search
1.06 run=6 nbConstraintChecks=842068 nbPropagations=37053 nbRevisions=436765 nbUselessRevisions=350696
1.06 nbAssignments=608 nbFailedAssignments=217 nbBacktracks=323 nbVisitedNodes=975 nbRestartNogoods=17 mapSize=271
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.266 cpuTime=0.19 mem=15M7
1.15
1.15 search
1.15 run=7 nbConstraintChecks=1369656 nbPropagations=55638 nbRevisions=672615 nbUselessRevisions=537949
1.15 nbAssignments=927 nbFailedAssignments=351 nbBacktracks=493 nbVisitedNodes=1520 nbRestartNogoods=23 mapSize=421
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.35 cpuTime=0.27 mem=15M7
1.25
1.25 search
1.25 run=8 nbConstraintChecks=1966633 nbPropagations=81727 nbRevisions=1002666 nbUselessRevisions=798545
1.25 nbAssignments=1349 nbFailedAssignments=499 nbBacktracks=749 nbVisitedNodes=2212 nbRestartNogoods=32
1.25 mapSize=625 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.452 cpuTime=0.37 mem=15M7
1.39
1.39 search
1.39 run=9 nbConstraintChecks=2742678 nbPropagations=118939 nbRevisions=1478971 nbUselessRevisions=1176092
1.39 nbAssignments=1967 nbFailedAssignments=726 nbBacktracks=1133 nbVisitedNodes=3264 nbRestartNogoods=35
1.39 mapSize=938 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.597 cpuTime=0.5 mem=15M7
1.44
1.44 INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=15M7)
1.61
1.61 search
1.61 run=10 nbConstraintChecks=4100217 nbPropagations=173618 nbRevisions=2189868 nbUselessRevisions=1739252
1.61 nbAssignments=2934 nbFailedAssignments=1111 nbBacktracks=1709 nbVisitedNodes=4943 nbRestartNogoods=43
1.61 => wckTime=0.81 cpuTime=0.7 mem=15M7
1.91
1.91 search
1.91 run=11 nbConstraintChecks=6249463 nbPropagations=255401 nbRevisions=3263733 nbUselessRevisions=2589469
1.91 nbAssignments=4352 nbFailedAssignments=1646 nbBacktracks=2573 nbVisitedNodes=7386 nbRestartNogoods=54
1.91 => wckTime=1.115 cpuTime=1.0 mem=15M7
2.37
2.37 search
2.37 run=12 nbConstraintChecks=9493741 nbPropagations=379249 nbRevisions=4894405 nbUselessRevisions=3879743
2.37 nbAssignments=6530 nbFailedAssignments=2523 nbBacktracks=3870 nbVisitedNodes=11178 nbRestartNogoods=62
2.37 => wckTime=1.576 cpuTime=1.46 mem=15M7
3.08
3.09 search
3.09 run=13 nbConstraintChecks=14612024 nbPropagations=566987 nbRevisions=7388825 nbUselessRevisions=5853224
3.09 nbAssignments=9861 nbFailedAssignments=3901 nbBacktracks=5817 nbVisitedNodes=17031 nbRestartNogoods=70
3.09 => wckTime=2.289 cpuTime=2.17 mem=15M7
4.11
4.11 search
4.11 run=14 nbConstraintChecks=22058153 nbPropagations=845690 nbRevisions=11095396 nbUselessRevisions=8778714
4.11 nbAssignments=14663 nbFailedAssignments=5777 nbBacktracks=8738 nbVisitedNodes=25391 nbRestartNogoods=78
4.11 => wckTime=3.309 cpuTime=3.19 mem=15M7
5.67
5.67 search
5.67 run=15 nbConstraintChecks=33407755 nbPropagations=1266075 nbRevisions=16706610 nbUselessRevisions=13210117
5.67 nbAssignments=21988 nbFailedAssignments=8718 nbBacktracks=13118 nbVisitedNodes=38174 nbRestartNogoods=88
5.67 => wckTime=4.875 cpuTime=4.76 mem=15M7
5.90
5.90 search
5.90 run=16 nbConstraintChecks=34991139 nbPropagations=1706968 nbRevisions=22595591 nbUselessRevisions=17862243
5.90 nbAssignments=23125 nbFailedAssignments=9157 nbBacktracks=13776 nbVisitedNodes=40118 nbRestartNogoods=95
5.90 => wckTime=5.101 cpuTime=4.98 mem=15M982
5.90
5.90 global
5.90 nbConstraintChecks=35061907 nbPropagations=1707887 nbRevisions=22602908 nbUselessRevisions=17868201
5.90 nbRestartNogoods=95 solvingWckTime=5.102 solvingCpuTime=4.98 expiredTime=no totalExploration=no
5.90 nbFoundSolutions=1 globalCpuTime=5.39
5.90 => wckTime=5.603 cpuTime=5.35 mem=15M982
5.90
5.90 s SATISFIABLE
5.90 v 10 17 15 16 14 2 7 12 1 11 12 13 2 16 7 3 4 2 8 10 0 9 0 14 5 15 7 16 6 16 1 13 12 14 0 14 1 6 12 9
5.90 d NODES 23125
5.90 d CHECKS 35061907
5.90
5.90 totalWckTime=5.681 totalCpuTime=5.39
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-208292-1168186661 -o ROOT/results/node5/solver-208292-1168186661 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208292-1168186661/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.94 2.01 1.99 4/94 13545
/proc/meminfo: memFree=1539048/2055920 swapFree=4192812/4192956
[pid=13544] ppid=13542 vsize=172 CPUtime=0
/proc/13544/stat : 13544 (java) R 13542 13544 13388 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 147280596 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7893291 0 0 4096 0 0 0 0 17 0 0 0
/proc/13544/statm: 43 24 18 14 0 3 0
[startup+0.106518 s]
/proc/loadavg: 1.94 2.01 1.99 4/94 13545
/proc/meminfo: memFree=1539048/2055920 swapFree=4192812/4192956
[pid=13544] ppid=13542 vsize=914988 CPUtime=0.09
/proc/13544/stat : 13544 (java) R 13542 13544 13388 0 -1 0 3061 0 1 0 8 1 0 0 22 0 8 0 147280596 936947712 2807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13544/statm: 228747 2807 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514564 s]
/proc/loadavg: 1.94 2.01 1.99 4/94 13545
/proc/meminfo: memFree=1539048/2055920 swapFree=4192812/4192956
[pid=13544] ppid=13542 vsize=915328 CPUtime=0.49
/proc/13544/stat : 13544 (java) R 13542 13544 13388 0 -1 0 6942 0 1 0 46 3 0 0 25 0 8 0 147280596 937295872 6681 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13544/statm: 228832 6681 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33766 s]
/proc/loadavg: 1.94 2.01 1.99 3/101 13552
/proc/meminfo: memFree=1515248/2055920 swapFree=4192812/4192956
[pid=13544] ppid=13542 vsize=915456 CPUtime=1.28
/proc/13544/stat : 13544 (java) R 13542 13544 13388 0 -1 0 8739 0 1 0 124 4 0 0 25 0 8 0 147280596 937426944 8477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13544/statm: 228864 8477 2524 14 0 215334 0
[pid=13544/tid=13546] ppid=13542 vsize=915456 CPUtime=0.03
/proc/13544/task/13546/stat : 13546 (java) S 13542 13544 13388 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 147280600 937426944 8477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13544/tid=13547] ppid=13542 vsize=915456 CPUtime=0
/proc/13544/task/13547/stat : 13547 (java) S 13542 13544 13388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 147280600 937426944 8477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13544/tid=13548] ppid=13542 vsize=915456 CPUtime=0
/proc/13544/task/13548/stat : 13548 (java) S 13542 13544 13388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 147280601 937426944 8477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13544/tid=13549] ppid=13542 vsize=915456 CPUtime=0
/proc/13544/task/13549/stat : 13549 (java) S 13542 13544 13388 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 147280604 937426944 8477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13544/tid=13550] ppid=13542 vsize=915456 CPUtime=0.21
/proc/13544/task/13550/stat : 13550 (java) S 13542 13544 13388 0 -1 64 385 0 0 0 21 0 0 0 16 0 8 0 147280604 937426944 8477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13544/tid=13551] ppid=13542 vsize=915456 CPUtime=0
/proc/13544/task/13551/stat : 13551 (java) S 13542 13544 13388 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 147280604 937426944 8477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13544/tid=13552] ppid=13542 vsize=915456 CPUtime=0
/proc/13544/task/13552/stat : 13552 (java) S 13542 13544 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 147280604 937426944 8477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915456
[startup+2.98985 s]
/proc/loadavg: 1.94 2.01 1.99 3/101 13552
/proc/meminfo: memFree=1514864/2055920 swapFree=4192812/4192956
[pid=13544] ppid=13542 vsize=915456 CPUtime=2.93
/proc/13544/stat : 13544 (java) R 13542 13544 13388 0 -1 0 8771 0 1 0 289 4 0 0 25 0 8 0 147280596 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13544/statm: 228864 8508 2524 14 0 215334 0
[pid=13544/tid=13546] ppid=13542 vsize=915456 CPUtime=0.03
/proc/13544/task/13546/stat : 13546 (java) S 13542 13544 13388 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 147280600 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13544/tid=13547] ppid=13542 vsize=915456 CPUtime=0
/proc/13544/task/13547/stat : 13547 (java) S 13542 13544 13388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 147280600 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13544/tid=13548] ppid=13542 vsize=915456 CPUtime=0
/proc/13544/task/13548/stat : 13548 (java) S 13542 13544 13388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 147280601 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13544/tid=13549] ppid=13542 vsize=915456 CPUtime=0
/proc/13544/task/13549/stat : 13549 (java) S 13542 13544 13388 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 147280604 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13544/tid=13550] ppid=13542 vsize=915456 CPUtime=0.22
/proc/13544/task/13550/stat : 13550 (java) S 13542 13544 13388 0 -1 64 394 0 0 0 22 0 0 0 15 0 8 0 147280604 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13544/tid=13551] ppid=13542 vsize=915456 CPUtime=0
/proc/13544/task/13551/stat : 13551 (java) S 13542 13544 13388 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 147280604 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13544/tid=13552] ppid=13542 vsize=915456 CPUtime=0
/proc/13544/task/13552/stat : 13552 (java) S 13542 13544 13388 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 147280604 937426944 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 5.96215
CPU time (s): 5.86911
CPU user time (s): 5.81412
CPU system time (s): 0.054991
CPU usage (%): 98.4394
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.81412
system time used= 0.054991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8872
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= 1295
involuntary context switches= 1607
runsolver used 0.009998 s user time and 0.032994 s system time
The end
Begin job on node5 on Sun Jan 7 16:17:42 UTC 2007
IDJOB= 208292
IDBENCH= 4368
FILE ID= node5/208292-1168186661
PBS_JOBID= 3478963
Free space on /tmp= 66351 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208292-1168186661/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-208292-1168186661 -o ROOT/results/node5/solver-208292-1168186661 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208292-1168186661/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 66e986fd846fc81697d2cd1c2dfa6b7b
RANDOM SEED= 348547402
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.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: 1539464 kB
Buffers: 48516 kB
Cached: 346972 kB
SwapCached: 0 kB
Active: 126652 kB
Inactive: 327384 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1539464 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1960 kB
Writeback: 0 kB
Mapped: 85108 kB
Slab: 47000 kB
Committed_AS: 3742468 kB
PageTables: 2264 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= 66351 MiB
End job on node5 on Sun Jan 7 16:17:48 UTC 2007