0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=esac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/223894-1168266930/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.49 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.49 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.49
0.49 relations being loaded...
0.60
0.60 constraints being loaded...
0.70 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=2
0.70 => wckTime=0.316 cpuTime=0.24 mem=13M811
0.75
0.75 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.529 cpuTime=0.37 mem=14M840
0.97
0.97 preprocessing
0.97 nbConstraintChecks=70226 nbPropagations=693 nbRevisions=4838 nbUselessRevisions=3809 nbSingletonTests=48
0.97 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.97 => wckTime=0.048 cpuTime=0.03 mem=14M840
0.99
0.99 search
0.99 run=0 nbConstraintChecks=43298 nbPropagations=1288 nbRevisions=9634 nbUselessRevisions=7239 nbAssignments=27
0.99 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.071 cpuTime=0.05 mem=14M840
1.01
1.01 search
1.01 run=1 nbConstraintChecks=122070 nbPropagations=3508 nbRevisions=27352 nbUselessRevisions=20081
1.01 nbAssignments=68 nbFailedAssignments=36 nbBacktracks=25 nbVisitedNodes=124 nbRestartNogoods=4 mapSize=23
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.093 cpuTime=0.06 mem=14M840
1.03
1.03 search
1.03 run=2 nbConstraintChecks=218769 nbPropagations=6893 nbRevisions=55152 nbUselessRevisions=39895
1.03 nbAssignments=120 nbFailedAssignments=63 nbBacktracks=47 nbVisitedNodes=221 nbRestartNogoods=7 mapSize=44
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.115 cpuTime=0.09 mem=14M840
1.05
1.05 search
1.05 run=3 nbConstraintChecks=329083 nbPropagations=11688 nbRevisions=94461 nbUselessRevisions=68013
1.05 nbAssignments=187 nbFailedAssignments=88 nbBacktracks=80 nbVisitedNodes=329 nbRestartNogoods=12 mapSize=71
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.133 cpuTime=0.1 mem=14M840
1.08
1.08 search
1.08 run=4 nbConstraintChecks=514755 nbPropagations=18885 nbRevisions=154076 nbUselessRevisions=110181
1.08 nbAssignments=297 nbFailedAssignments=145 nbBacktracks=130 nbVisitedNodes=534 nbRestartNogoods=14 mapSize=119
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.163 cpuTime=0.13 mem=14M840
1.13
1.13 search
1.13 run=5 nbConstraintChecks=780995 nbPropagations=29626 nbRevisions=243825 nbUselessRevisions=173247
1.13 nbAssignments=457 nbFailedAssignments=226 nbBacktracks=206 nbVisitedNodes=826 nbRestartNogoods=18 mapSize=189
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.206 cpuTime=0.17 mem=14M840
1.19
1.20 search
1.20 run=6 nbConstraintChecks=1170884 nbPropagations=45601 nbRevisions=377562 nbUselessRevisions=267303
1.20 nbAssignments=704 nbFailedAssignments=356 nbBacktracks=320 nbVisitedNodes=1278 nbRestartNogoods=22 mapSize=290
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.276 cpuTime=0.23 mem=14M840
1.30
1.30 search
1.30 run=7 nbConstraintChecks=1900491 nbPropagations=70318 nbRevisions=585597 nbUselessRevisions=412484
1.30 nbAssignments=1086 nbFailedAssignments=556 nbBacktracks=490 nbVisitedNodes=1977 nbRestartNogoods=32
1.30 mapSize=449 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.379 cpuTime=0.32 mem=14M840
1.45
1.45 search
1.45 run=8 nbConstraintChecks=2883222 nbPropagations=107902 nbRevisions=903223 nbUselessRevisions=634170
1.45 nbAssignments=1671 nbFailedAssignments=872 nbBacktracks=747 nbVisitedNodes=3054 nbRestartNogoods=41
1.45 mapSize=692 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.528 cpuTime=0.46 mem=14M840
1.60
1.60 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=14M840)
1.62
1.62 search
1.62 run=9 nbConstraintChecks=4140585 nbPropagations=162318 nbRevisions=1358744 nbUselessRevisions=951172
1.62 nbAssignments=2435 nbFailedAssignments=1248 nbBacktracks=1131 nbVisitedNodes=4453 nbRestartNogoods=49
1.62 => wckTime=0.698 cpuTime=0.62 mem=14M840
1.90
1.90 search
1.90 run=10 nbConstraintChecks=6375836 nbPropagations=245515 nbRevisions=2059810 nbUselessRevisions=1437707
1.90 nbAssignments=3695 nbFailedAssignments=1928 nbBacktracks=1707 nbVisitedNodes=6819 nbRestartNogoods=57
1.90 => wckTime=0.979 cpuTime=0.89 mem=14M840
2.29
2.29 search
2.29 run=11 nbConstraintChecks=9532621 nbPropagations=370126 nbRevisions=3112202 nbUselessRevisions=2167229
2.29 nbAssignments=5496 nbFailedAssignments=2861 nbBacktracks=2574 nbVisitedNodes=10181 nbRestartNogoods=68
2.29 => wckTime=1.367 cpuTime=1.27 mem=14M840
2.86
2.86 search
2.86 run=12 nbConstraintChecks=14265457 nbPropagations=555754 nbRevisions=4679655 nbUselessRevisions=3250297
2.86 nbAssignments=8164 nbFailedAssignments=4231 nbBacktracks=3871 nbVisitedNodes=15125 nbRestartNogoods=70
2.86 => wckTime=1.941 cpuTime=1.84 mem=14M840
3.53
3.53 search
3.53 run=13 nbConstraintChecks=19793083 nbPropagations=812093 nbRevisions=6848575 nbUselessRevisions=4747839
3.53 nbAssignments=11227 nbFailedAssignments=5858 nbBacktracks=5308 nbVisitedNodes=20874 nbRestartNogoods=76
3.53 => wckTime=2.608 cpuTime=2.49 mem=14M840
3.53
3.53 global
3.53 nbConstraintChecks=19863309 nbPropagations=812786 nbRevisions=6853413 nbUselessRevisions=4751648
3.53 nbRestartNogoods=76 solvingWckTime=2.609 solvingCpuTime=2.49 expiredTime=no totalExploration=yes
3.53 nbFoundSolutions=0 globalCpuTime=2.92
3.53 => wckTime=3.142 cpuTime=2.87 mem=14M840
3.53
3.53 s UNSATISFIABLE
3.53 d NODES 11227
3.53 d CHECKS 19863309
3.53
3.53 totalWckTime=3.226 totalCpuTime=2.92
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-223894-1168266930 -o ROOT/results/node9/solver-223894-1168266930 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223894-1168266930/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: 2.00 1.96 1.50 3/98 26016
/proc/meminfo: memFree=1699352/2055920 swapFree=4191880/4192956
[pid=26015] ppid=26013 vsize=18540 CPUtime=0
/proc/26015/stat : 26015 (runsolver) R 26013 26015 25152 0 -1 4194368 17 0 0 0 0 0 0 0 25 0 1 0 175088163 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26015/statm: 4635 279 244 17 0 2626 0
[startup+0.108146 s]
/proc/loadavg: 2.00 1.96 1.50 3/98 26016
/proc/meminfo: memFree=1699352/2055920 swapFree=4191880/4192956
[pid=26015] ppid=26013 vsize=906644 CPUtime=0.02
/proc/26015/stat : 26015 (java) R 26013 26015 25152 0 -1 0 2132 0 1 0 2 0 0 0 18 0 2 0 175088163 928403456 1881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155746737 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/26015/statm: 226661 1881 1067 14 0 214244 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906644
[startup+0.520189 s]
/proc/loadavg: 2.00 1.96 1.50 3/98 26016
/proc/meminfo: memFree=1699352/2055920 swapFree=4191880/4192956
[pid=26015] ppid=26013 vsize=915328 CPUtime=0.43
/proc/26015/stat : 26015 (java) R 26013 26015 25152 0 -1 0 6188 0 1 0 39 4 0 0 18 0 8 0 175088163 937295872 5927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942674 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26015/statm: 228832 5927 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.34528 s]
/proc/loadavg: 2.00 1.96 1.50 3/105 26023
/proc/meminfo: memFree=1610080/2055920 swapFree=4191880/4192956
[pid=26015] ppid=26013 vsize=915452 CPUtime=1.24
/proc/26015/stat : 26015 (java) R 26013 26015 25152 0 -1 0 8670 0 1 0 117 7 0 0 24 0 8 0 175088163 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26015/statm: 228863 8408 2524 14 0 215333 0
[pid=26015/tid=26017] ppid=26013 vsize=915452 CPUtime=0.03
/proc/26015/task/26017/stat : 26017 (java) S 26013 26015 25152 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 175088174 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26015/tid=26018] ppid=26013 vsize=915452 CPUtime=0
/proc/26015/task/26018/stat : 26018 (java) S 26013 26015 25152 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175088174 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26015/tid=26019] ppid=26013 vsize=915452 CPUtime=0
/proc/26015/task/26019/stat : 26019 (java) S 26013 26015 25152 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175088174 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26015/tid=26020] ppid=26013 vsize=915452 CPUtime=0
/proc/26015/task/26020/stat : 26020 (java) S 26013 26015 25152 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175088178 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26015/tid=26021] ppid=26013 vsize=915452 CPUtime=0.2
/proc/26015/task/26021/stat : 26021 (java) S 26013 26015 25152 0 -1 64 375 0 0 0 19 1 0 0 15 0 8 0 175088178 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26015/tid=26022] ppid=26013 vsize=915452 CPUtime=0
/proc/26015/task/26022/stat : 26022 (java) S 26013 26015 25152 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175088178 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26015/tid=26023] ppid=26013 vsize=915452 CPUtime=0
/proc/26015/task/26023/stat : 26023 (java) S 26013 26015 25152 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175088178 937422848 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915452
[startup+2.98246 s]
/proc/loadavg: 2.00 1.96 1.50 3/105 26023
/proc/meminfo: memFree=1609824/2055920 swapFree=4191880/4192956
[pid=26015] ppid=26013 vsize=915452 CPUtime=2.86
/proc/26015/stat : 26015 (java) R 26013 26015 25152 0 -1 0 8726 0 1 0 279 7 0 0 25 0 8 0 175088163 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26015/statm: 228863 8462 2524 14 0 215333 0
[pid=26015/tid=26017] ppid=26013 vsize=915452 CPUtime=0.03
/proc/26015/task/26017/stat : 26017 (java) S 26013 26015 25152 0 -1 64 244 0 0 0 3 0 0 0 17 0 8 0 175088174 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26015/tid=26018] ppid=26013 vsize=915452 CPUtime=0
/proc/26015/task/26018/stat : 26018 (java) S 26013 26015 25152 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175088174 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26015/tid=26019] ppid=26013 vsize=915452 CPUtime=0
/proc/26015/task/26019/stat : 26019 (java) S 26013 26015 25152 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175088174 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26015/tid=26020] ppid=26013 vsize=915452 CPUtime=0
/proc/26015/task/26020/stat : 26020 (java) S 26013 26015 25152 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175088178 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26015/tid=26021] ppid=26013 vsize=915452 CPUtime=0.24
/proc/26015/task/26021/stat : 26021 (java) S 26013 26015 25152 0 -1 64 390 0 0 0 23 1 0 0 15 0 8 0 175088178 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26015/tid=26022] ppid=26013 vsize=915452 CPUtime=0
/proc/26015/task/26022/stat : 26022 (java) S 26013 26015 25152 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175088178 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26015/tid=26023] ppid=26013 vsize=915452 CPUtime=0
/proc/26015/task/26023/stat : 26023 (java) S 26013 26015 25152 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175088178 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 3.56101
CPU time (s): 3.42448
CPU user time (s): 3.34049
CPU system time (s): 0.083987
CPU usage (%): 96.1659
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.34049
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8818
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= 1139
involuntary context switches= 1414
runsolver used 0.007998 s user time and 0.020996 s system time
The end
Begin job on node9 on Mon Jan 8 14:35:30 UTC 2007
IDJOB= 223894
IDBENCH= 5690
FILE ID= node9/223894-1168266930
PBS_JOBID= 3482810
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223894-1168266930/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-223894-1168266930 -o ROOT/results/node9/solver-223894-1168266930 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223894-1168266930/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f2cd65a73abe6a207b75be7eb6e35b9c
RANDOM SEED= 377734344
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.231
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.231
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: 1699832 kB
Buffers: 52436 kB
Cached: 115796 kB
SwapCached: 408 kB
Active: 218172 kB
Inactive: 78508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1699832 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1976 kB
Writeback: 0 kB
Mapped: 149988 kB
Slab: 43844 kB
Committed_AS: 5790724 kB
PageTables: 2492 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= 66544 MiB
End job on node9 on Mon Jan 8 14:35:34 UTC 2007