0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/224779-1168269811/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.45 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.45
0.45 relations being loaded...
0.62
0.62 constraints being loaded...
0.71 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.71 => wckTime=0.359 cpuTime=0.31 mem=21M596
0.75
0.75 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.564 cpuTime=0.43 mem=15M362
0.97
0.97 preprocessing
0.97 nbConstraintChecks=203749 nbPropagations=1187 nbRevisions=4494 nbUselessRevisions=2457 nbSingletonTests=55
0.97 nbEffectiveSingletonTests=0 nbESACBranches=10 nbRemovedValues=0 detectedInconsistency=no
0.97 => wckTime=0.056 cpuTime=0.04 mem=15M362
1.00
1.00 search
1.00 run=0 nbConstraintChecks=122584 nbPropagations=2196 nbRevisions=8921 nbUselessRevisions=4847 nbAssignments=34
1.00 nbFailedAssignments=20 nbBacktracks=11 nbVisitedNodes=63 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.085 cpuTime=0.06 mem=15M362
1.03
1.03 search
1.03 run=1 nbConstraintChecks=447932 nbPropagations=6301 nbRevisions=27197 nbUselessRevisions=14733
1.03 nbAssignments=99 nbFailedAssignments=68 nbBacktracks=26 nbVisitedNodes=190 nbRestartNogoods=5 mapSize=25
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.118 cpuTime=0.09 mem=15M362
1.06
1.06 search
1.06 run=2 nbConstraintChecks=672489 nbPropagations=12077 nbRevisions=52552 nbUselessRevisions=28349
1.06 nbAssignments=158 nbFailedAssignments=95 nbBacktracks=48 nbVisitedNodes=282 nbRestartNogoods=12 mapSize=45
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.144 cpuTime=0.11 mem=15M362
1.09
1.09 search
1.09 run=3 nbConstraintChecks=1039236 nbPropagations=20741 nbRevisions=91163 nbUselessRevisions=49063
1.09 nbAssignments=251 nbFailedAssignments=153 nbBacktracks=81 nbVisitedNodes=459 nbRestartNogoods=15 mapSize=76
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.178 cpuTime=0.15 mem=15M362
1.16
1.16 search
1.16 run=4 nbConstraintChecks=1800043 nbPropagations=33972 nbRevisions=152785 nbUselessRevisions=81842
1.16 nbAssignments=408 nbFailedAssignments=255 nbBacktracks=134 nbVisitedNodes=759 nbRestartNogoods=19 mapSize=125
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.241 cpuTime=0.21 mem=15M362
1.22
1.22 search
1.22 run=5 nbConstraintChecks=2498056 nbPropagations=52836 nbRevisions=240398 nbUselessRevisions=128423
1.22 nbAssignments=591 nbFailedAssignments=361 nbBacktracks=210 nbVisitedNodes=1099 nbRestartNogoods=25 mapSize=194
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.305 cpuTime=0.27 mem=15M362
1.36
1.36 search
1.36 run=6 nbConstraintChecks=4289700 nbPropagations=82772 nbRevisions=383852 nbUselessRevisions=204326
1.36 nbAssignments=956 nbFailedAssignments=610 nbBacktracks=324 nbVisitedNodes=1808 nbRestartNogoods=35 mapSize=303
1.36 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.448 cpuTime=0.41 mem=15M362
1.50
1.50 search
1.50 run=7 nbConstraintChecks=6033535 nbPropagations=125289 nbRevisions=586999 nbUselessRevisions=312007
1.50 nbAssignments=1344 nbFailedAssignments=819 nbBacktracks=494 nbVisitedNodes=2522 nbRestartNogoods=49
1.50 mapSize=460 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.588 cpuTime=0.55 mem=15M362
1.87
1.87 search
1.87 run=8 nbConstraintChecks=11169750 nbPropagations=194581 nbRevisions=928690 nbUselessRevisions=494541
1.87 nbAssignments=2287 nbFailedAssignments=1504 nbBacktracks=751 nbVisitedNodes=4376 nbRestartNogoods=61
1.87 mapSize=711 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.959 cpuTime=0.91 mem=15M362
2.15
2.15 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=16M337)
2.19
2.19 search
2.19 run=9 nbConstraintChecks=15218855 nbPropagations=293492 nbRevisions=1410354 nbUselessRevisions=751786
2.19 nbAssignments=3215 nbFailedAssignments=2047 nbBacktracks=1135 nbVisitedNodes=6111 nbRestartNogoods=62
2.19 => wckTime=1.274 cpuTime=1.22 mem=16M337
2.61
2.61 search
2.61 run=10 nbConstraintChecks=20685772 nbPropagations=433750 nbRevisions=2086825 nbUselessRevisions=1113602
2.61 nbAssignments=4500 nbFailedAssignments=2755 nbBacktracks=1711 nbVisitedNodes=8496 nbRestartNogoods=68
2.61 => wckTime=1.696 cpuTime=1.63 mem=16M337
3.47
3.48 search
3.48 run=11 nbConstraintChecks=32734258 nbPropagations=649666 nbRevisions=3144169 nbUselessRevisions=1679521
3.48 nbAssignments=7045 nbFailedAssignments=4432 nbBacktracks=2576 nbVisitedNodes=13385 nbRestartNogoods=77
3.48 => wckTime=2.56 cpuTime=2.49 mem=16M337
4.38
4.38 search
4.38 run=12 nbConstraintChecks=45054585 nbPropagations=954199 nbRevisions=4625940 nbUselessRevisions=2474803
4.38 nbAssignments=9810 nbFailedAssignments=5897 nbBacktracks=3873 nbVisitedNodes=18500 nbRestartNogoods=83
4.38 => wckTime=3.465 cpuTime=3.4 mem=16M337
4.83
4.83 search
4.83 run=13 nbConstraintChecks=51254115 nbPropagations=1302486 nbRevisions=6319640 nbUselessRevisions=3385507
4.83 nbAssignments=11164 nbFailedAssignments=6629 nbBacktracks=4493 nbVisitedNodes=21025 nbRestartNogoods=95
4.83 => wckTime=3.918 cpuTime=3.85 mem=16M337
4.83
4.83 global
4.83 nbConstraintChecks=51457864 nbPropagations=1303673 nbRevisions=6324134 nbUselessRevisions=3387964
4.83 nbRestartNogoods=95 solvingWckTime=3.919 solvingCpuTime=3.85 expiredTime=no totalExploration=yes
4.83 nbFoundSolutions=0 globalCpuTime=4.33
4.83 => wckTime=4.488 cpuTime=4.28 mem=16M337
4.84
4.84 s UNSATISFIABLE
4.84 d NODES 11164
4.84 d CHECKS 51457864
4.84
4.84 totalWckTime=4.563 totalCpuTime=4.33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-224779-1168269811 -o ROOT/results/node12/solver-224779-1168269811 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224779-1168269811/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.73 1.94 1.98 3/78 30461
/proc/meminfo: memFree=1793232/2055920 swapFree=4160348/4192956
[pid=30460] ppid=30458 vsize=168 CPUtime=0
/proc/30460/stat : 30460 (java) R 30458 30460 29570 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 175376132 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 9696036 0 0 4096 0 0 0 0 17 1 0 0
/proc/30460/statm: 42 23 18 14 0 2 0
[startup+0.106966 s]
/proc/loadavg: 1.73 1.94 1.98 3/78 30461
/proc/meminfo: memFree=1793232/2055920 swapFree=4160348/4192956
[pid=30460] ppid=30458 vsize=907676 CPUtime=0.04
/proc/30460/stat : 30460 (java) R 30458 30460 29570 0 -1 0 2371 0 1 0 3 1 0 0 19 0 4 0 175376132 929460224 2118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155476988 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/30460/statm: 226919 2118 1182 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.515036 s]
/proc/loadavg: 1.73 1.94 1.98 3/78 30461
/proc/meminfo: memFree=1793232/2055920 swapFree=4160348/4192956
[pid=30460] ppid=30458 vsize=915328 CPUtime=0.44
/proc/30460/stat : 30460 (java) R 30458 30460 29570 0 -1 0 6992 0 1 0 40 4 0 0 16 0 8 0 175376132 937295872 6732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567406 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30460/statm: 228832 6732 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.33718 s]
/proc/loadavg: 1.73 1.94 1.98 2/88 30499
/proc/meminfo: memFree=1756672/2055920 swapFree=4160348/4192956
[pid=30460] ppid=30458 vsize=915464 CPUtime=1.26
/proc/30460/stat : 30460 (java) R 30458 30460 29570 0 -1 0 10537 0 1 0 119 7 0 0 16 0 8 0 175376132 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30460/statm: 228866 10275 2524 14 0 215336 0
[pid=30460/tid=30462] ppid=30458 vsize=915464 CPUtime=0.03
/proc/30460/task/30462/stat : 30462 (java) S 30458 30460 29570 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 175376140 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30460/tid=30463] ppid=30458 vsize=915464 CPUtime=0
/proc/30460/task/30463/stat : 30463 (java) S 30458 30460 29570 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175376141 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30460/tid=30464] ppid=30458 vsize=915464 CPUtime=0
/proc/30460/task/30464/stat : 30464 (java) S 30458 30460 29570 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175376141 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30460/tid=30465] ppid=30458 vsize=915464 CPUtime=0
/proc/30460/task/30465/stat : 30465 (java) S 30458 30460 29570 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175376144 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30460/tid=30466] ppid=30458 vsize=915464 CPUtime=0.16
/proc/30460/task/30466/stat : 30466 (java) S 30458 30460 29570 0 -1 64 360 0 0 0 15 1 0 0 16 0 8 0 175376144 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30460/tid=30467] ppid=30458 vsize=915464 CPUtime=0
/proc/30460/task/30467/stat : 30467 (java) S 30458 30460 29570 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175376144 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30460/tid=30468] ppid=30458 vsize=915464 CPUtime=0
/proc/30460/task/30468/stat : 30468 (java) S 30458 30460 29570 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175376144 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915464
[startup+2.98048 s]
/proc/loadavg: 1.73 1.94 1.98 3/89 30503
/proc/meminfo: memFree=1756472/2055920 swapFree=4160348/4192956
[pid=30460] ppid=30458 vsize=915464 CPUtime=2.91
/proc/30460/stat : 30460 (java) R 30458 30460 29570 0 -1 0 10555 0 1 0 284 7 0 0 17 0 8 0 175376132 937435136 10291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741190 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30460/statm: 228866 10291 2524 14 0 215336 0
[pid=30460/tid=30462] ppid=30458 vsize=915464 CPUtime=0.03
/proc/30460/task/30462/stat : 30462 (java) S 30458 30460 29570 0 -1 64 353 0 0 0 3 0 0 0 17 0 8 0 175376140 937435136 10291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30460/tid=30463] ppid=30458 vsize=915464 CPUtime=0
/proc/30460/task/30463/stat : 30463 (java) S 30458 30460 29570 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175376141 937435136 10291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30460/tid=30464] ppid=30458 vsize=915464 CPUtime=0
/proc/30460/task/30464/stat : 30464 (java) S 30458 30460 29570 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175376141 937435136 10291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30460/tid=30465] ppid=30458 vsize=915464 CPUtime=0
/proc/30460/task/30465/stat : 30465 (java) S 30458 30460 29570 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175376144 937435136 10291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30460/tid=30466] ppid=30458 vsize=915464 CPUtime=0.19
/proc/30460/task/30466/stat : 30466 (java) S 30458 30460 29570 0 -1 64 377 0 0 0 18 1 0 0 15 0 8 0 175376144 937435136 10291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30460/tid=30467] ppid=30458 vsize=915464 CPUtime=0
/proc/30460/task/30467/stat : 30467 (java) S 30458 30460 29570 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175376144 937435136 10291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30460/tid=30468] ppid=30458 vsize=915464 CPUtime=0
/proc/30460/task/30468/stat : 30468 (java) S 30458 30460 29570 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175376144 937435136 10291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 4.87869
CPU time (s): 4.78527
CPU user time (s): 4.70229
CPU system time (s): 0.082987
CPU usage (%): 98.0852
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.70228
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10564
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= 834
involuntary context switches= 265
runsolver used 0.005999 s user time and 0.026995 s system time
The end
Begin job on node12 on Mon Jan 8 15:23:31 UTC 2007
IDJOB= 224779
IDBENCH= 5792
FILE ID= node12/224779-1168269811
PBS_JOBID= 3482915
Free space on /tmp= 66326 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-73_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224779-1168269811/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-224779-1168269811 -o ROOT/results/node12/solver-224779-1168269811 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224779-1168269811/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1c421096d04939b2325835991d641f60
RANDOM SEED= 483269786
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.265
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.265
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: 1793648 kB
Buffers: 51804 kB
Cached: 131288 kB
SwapCached: 5132 kB
Active: 125604 kB
Inactive: 86632 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1793648 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2572 kB
Writeback: 0 kB
Mapped: 38388 kB
Slab: 35600 kB
Committed_AS: 5030104 kB
PageTables: 1720 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= 66325 MiB
End job on node12 on Mon Jan 8 15:23:36 UTC 2007