0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/244832-1168386272/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.45
0.45 constraints being loaded...
0.62 nbConstraints=848 nbRelationTypes=242 nbExtensionStructures=242 nbSharedExtensionStructures=606
0.62 nbConflictsStructures=242 nbSharedConflictsStructures=606 nbSharedBinaryRepresentations=20 maxDegree=61
0.62 maxArity=11
0.62 => wckTime=0.313 cpuTime=0.21 mem=11M827
0.67
0.67 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.581 cpuTime=0.4 mem=23M47
0.97
0.98 preprocessing
0.98 nbConstraintChecks=1890 nbValidityChecks=935 nbPropagations=478 nbRevisions=2477 nbUselessRevisions=2193
0.98 nbSingletonTests=139 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=2 detectedInconsistency=no
0.98 => wckTime=0.084 cpuTime=0.06 mem=23M47
1.01
1.02 search
1.02 run=0 nbConstraintChecks=743 nbValidityChecks=468 nbPropagations=582 nbRevisions=3422 nbUselessRevisions=3018
1.02 nbAssignments=46 nbFailedAssignments=1 nbBacktracks=34 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=2
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.124 cpuTime=0.08 mem=23M47
1.03
1.03 search
1.03 run=1 nbConstraintChecks=1110 nbValidityChecks=779 nbPropagations=1236 nbRevisions=7323
1.03 nbUselessRevisions=6426 nbAssignments=89 nbFailedAssignments=2 nbBacktracks=63 nbVisitedNodes=95
1.03 nbRestartNogoods=1 mapSize=3 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.137 cpuTime=0.1 mem=23M47
1.04
1.04 search
1.04 run=2 nbConstraintChecks=1687 nbValidityChecks=1261 nbPropagations=2000 nbRevisions=11929
1.04 nbUselessRevisions=10399 nbAssignments=124 nbFailedAssignments=4 nbBacktracks=86 nbVisitedNodes=136
1.04 nbRestartNogoods=2 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.15 cpuTime=0.11 mem=23M47
1.06
1.06 search
1.06 run=3 nbConstraintChecks=2202 nbValidityChecks=1741 nbPropagations=2886 nbRevisions=17241
1.06 nbUselessRevisions=14941 nbAssignments=195 nbFailedAssignments=6 nbBacktracks=139 nbVisitedNodes=212
1.06 nbRestartNogoods=3 mapSize=11 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.168 cpuTime=0.13 mem=23M47
1.09
1.09 search
1.09 run=4 nbConstraintChecks=3890 nbValidityChecks=3592 nbPropagations=4083 nbRevisions=25211
1.09 nbUselessRevisions=21760 nbAssignments=295 nbFailedAssignments=13 nbBacktracks=201 nbVisitedNodes=325
1.09 nbRestartNogoods=5 mapSize=21 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.2 cpuTime=0.16 mem=23M47
1.13
1.14 search
1.14 run=5 nbConstraintChecks=5984 nbValidityChecks=6011 nbPropagations=5629 nbRevisions=36410
1.14 nbUselessRevisions=31388 nbAssignments=410 nbFailedAssignments=22 nbBacktracks=286 nbVisitedNodes=454
1.14 nbRestartNogoods=8 mapSize=30 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.242 cpuTime=0.19 mem=23M47
1.19
1.19 search
1.19 run=6 nbConstraintChecks=10197 nbValidityChecks=11608 nbPropagations=7924 nbRevisions=55213
1.19 nbUselessRevisions=47693 nbAssignments=605 nbFailedAssignments=40 nbBacktracks=407 nbVisitedNodes=659
1.19 nbRestartNogoods=12 mapSize=56 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.3 cpuTime=0.25 mem=23M47
1.27
1.27 search
1.27 run=7 nbConstraintChecks=16487 nbValidityChecks=19333 nbPropagations=11314 nbRevisions=84080
1.27 nbUselessRevisions=72717 nbAssignments=858 nbFailedAssignments=66 nbBacktracks=606 nbVisitedNodes=952
1.28 nbRestartNogoods=16 mapSize=108 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.383 cpuTime=0.33 mem=23M47
1.37
1.37 search
1.37 run=8 nbConstraintChecks=23232 nbValidityChecks=28497 nbPropagations=15879 nbRevisions=124770
1.37 nbUselessRevisions=108125 nbAssignments=1168 nbFailedAssignments=95 nbBacktracks=863 nbVisitedNodes=1314
1.37 nbRestartNogoods=19 mapSize=160 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.476 cpuTime=0.41 mem=23M47
1.43
1.44 search
1.44 run=9 nbConstraintChecks=27740 nbValidityChecks=34434 nbPropagations=21278 nbRevisions=172997
1.44 nbUselessRevisions=150042 nbAssignments=1371 nbFailedAssignments=119 nbBacktracks=1043 nbVisitedNodes=1568
1.44 nbRestartNogoods=23 mapSize=211 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.541 cpuTime=0.47 mem=23M47
1.44
1.44 global
1.44 nbConstraintChecks=29630 nbValidityChecks=35369 nbPropagations=21756 nbRevisions=175474
1.44 nbUselessRevisions=152235 nbRestartNogoods=23 solvingWckTime=0.543 solvingCpuTime=0.47 expiredTime=no
1.44 totalExploration=yes nbFoundSolutions=0 globalCpuTime=0.92
1.44 => wckTime=1.125 cpuTime=0.87 mem=23M47
1.44
1.44 s UNSATISFIABLE
1.44 d NODES 1371
1.44 d CHECKS 29630
1.44
1.44 totalWckTime=1.2 totalCpuTime=0.93
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-244832-1168386272 -o ROOT/results/node17/solver-244832-1168386272 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/244832-1168386272/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: 0.15 0.46 0.75 2/81 12664
/proc/meminfo: memFree=1708752/2055920 swapFree=4192812/4192956
[pid=12663] ppid=12661 vsize=1500 CPUtime=0
/proc/12663/stat : 12663 (java) R 12661 12663 12560 0 -1 0 87 0 0 0 0 0 0 0 19 0 1 0 187022416 1536000 69 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2830944 0 0 4096 0 0 0 0 17 1 0 0
/proc/12663/statm: 375 69 54 14 0 8 0
[startup+0.103293 s]
/proc/loadavg: 0.15 0.46 0.75 2/81 12664
/proc/meminfo: memFree=1708752/2055920 swapFree=4192812/4192956
[pid=12663] ppid=12661 vsize=914988 CPUtime=0.08
/proc/12663/stat : 12663 (java) R 12661 12663 12560 0 -1 0 2955 0 1 0 6 2 0 0 16 0 8 0 187022416 936947712 2701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12663/statm: 228747 2701 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515345 s]
/proc/loadavg: 0.15 0.46 0.75 2/81 12664
/proc/meminfo: memFree=1708752/2055920 swapFree=4192812/4192956
[pid=12663] ppid=12661 vsize=915328 CPUtime=0.49
/proc/12663/stat : 12663 (java) R 12661 12663 12560 0 -1 0 6395 0 1 0 44 5 0 0 16 0 8 0 187022416 937295872 6134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634363 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12663/statm: 228832 6135 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33642 s]
/proc/loadavg: 0.30 0.48 0.75 4/101 12697
/proc/meminfo: memFree=1650416/2055920 swapFree=4192812/4192956
[pid=12663] ppid=12661 vsize=916580 CPUtime=1.31
/proc/12663/stat : 12663 (java) R 12661 12663 12560 0 -1 0 10740 0 1 0 123 8 0 0 16 0 8 0 187022416 938577920 10478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073343280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12663/statm: 229145 10478 2526 14 0 215615 0
[pid=12663/tid=12665] ppid=12661 vsize=916580 CPUtime=0.03
/proc/12663/task/12665/stat : 12665 (java) S 12661 12663 12560 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 187022421 938577920 10478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12663/tid=12666] ppid=12661 vsize=916580 CPUtime=0
/proc/12663/task/12666/stat : 12666 (java) S 12661 12663 12560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187022421 938577920 10478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12663/tid=12667] ppid=12661 vsize=916580 CPUtime=0
/proc/12663/task/12667/stat : 12667 (java) S 12661 12663 12560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187022421 938577920 10478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12663/tid=12668] ppid=12661 vsize=916580 CPUtime=0
/proc/12663/task/12668/stat : 12668 (java) S 12661 12663 12560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 187022424 938577920 10478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12663/tid=12669] ppid=12661 vsize=916580 CPUtime=0.24
/proc/12663/task/12669/stat : 12669 (java) S 12661 12663 12560 0 -1 64 402 0 0 0 23 1 0 0 15 0 8 0 187022424 938577920 10478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12663/tid=12670] ppid=12661 vsize=916580 CPUtime=0
/proc/12663/task/12670/stat : 12670 (java) S 12661 12663 12560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 187022424 938577920 10478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12663/tid=12671] ppid=12661 vsize=916580 CPUtime=0
/proc/12663/task/12671/stat : 12671 (java) S 12661 12663 12560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187022425 938577920 10478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 916580
Child status: 0
Real time (s): 1.45341
CPU time (s): 1.43278
CPU user time (s): 1.3368
CPU system time (s): 0.095985
CPU usage (%): 98.5806
Max. virtual memory (cumulated for all children) (KiB): 916580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3368
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10844
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= 965
involuntary context switches= 356
runsolver used 0.006998 s user time and 0.007998 s system time
The end
Begin job on node17 on Tue Jan 9 23:44:33 UTC 2007
IDJOB= 244832
IDBENCH= 8505
FILE ID= node17/244832-1168386272
PBS_JOBID= 3522678
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/jnhUnsat/jnh03_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/244832-1168386272/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-244832-1168386272 -o ROOT/results/node17/solver-244832-1168386272 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/244832-1168386272/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7bd490f86ce70f2b334b0413a8a9f06a
RANDOM SEED= 376069659
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.236
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.236
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: 1708896 kB
Buffers: 71880 kB
Cached: 156736 kB
SwapCached: 0 kB
Active: 181888 kB
Inactive: 107064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1708896 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5500 kB
Writeback: 0 kB
Mapped: 77092 kB
Slab: 43088 kB
Committed_AS: 5899080 kB
PageTables: 2156 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= 66556 MiB
End job on node17 on Tue Jan 9 23:44:38 UTC 2007