0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/225128-1168270977/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.43 => wckTime=0.105 cpuTime=0.08 mem=6M951
0.43
0.43 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=11 maxArity=2
0.71 => wckTime=0.386 cpuTime=0.32 mem=21M596
0.76
0.76 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.602 cpuTime=0.46 mem=15M362
0.99
0.99 preprocessing
0.99 nbConstraintChecks=206584 nbPropagations=1106 nbRevisions=3909 nbUselessRevisions=2139 nbSingletonTests=56
0.99 nbEffectiveSingletonTests=0 nbESACBranches=11 nbRemovedValues=0 detectedInconsistency=no
0.99 => wckTime=0.059 cpuTime=0.04 mem=15M362
1.02
1.02 search
1.02 run=0 nbConstraintChecks=113008 nbPropagations=2110 nbRevisions=8341 nbUselessRevisions=4516 nbAssignments=31
1.02 nbFailedAssignments=19 nbBacktracks=11 nbVisitedNodes=59 nbRestartNogoods=0 mapSize=11 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.09 cpuTime=0.07 mem=15M362
1.05
1.05 search
1.06 run=1 nbConstraintChecks=397594 nbPropagations=5786 nbRevisions=24368 nbUselessRevisions=13211
1.06 nbAssignments=93 nbFailedAssignments=64 nbBacktracks=26 nbVisitedNodes=175 nbRestartNogoods=3 mapSize=23
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.123 cpuTime=0.09 mem=15M362
1.08
1.08 search
1.08 run=2 nbConstraintChecks=576353 nbPropagations=10948 nbRevisions=47142 nbUselessRevisions=25485
1.08 nbAssignments=137 nbFailedAssignments=84 nbBacktracks=49 nbVisitedNodes=255 nbRestartNogoods=4 mapSize=43
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.15 cpuTime=0.11 mem=15M362
1.12
1.12 search
1.12 run=3 nbConstraintChecks=943669 nbPropagations=18895 nbRevisions=83043 nbUselessRevisions=44937
1.12 nbAssignments=224 nbFailedAssignments=137 nbBacktracks=82 nbVisitedNodes=418 nbRestartNogoods=8 mapSize=73
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.184 cpuTime=0.15 mem=15M362
1.18
1.18 search
1.18 run=4 nbConstraintChecks=1674857 nbPropagations=30937 nbRevisions=139620 nbUselessRevisions=75832
1.18 nbAssignments=375 nbFailedAssignments=236 nbBacktracks=133 nbVisitedNodes=703 nbRestartNogoods=18 mapSize=120
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.251 cpuTime=0.2 mem=15M362
1.25
1.25 search
1.25 run=5 nbConstraintChecks=2385773 nbPropagations=48108 nbRevisions=220617 nbUselessRevisions=119921
1.25 nbAssignments=537 nbFailedAssignments=322 nbBacktracks=208 nbVisitedNodes=1006 nbRestartNogoods=23 mapSize=190
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.316 cpuTime=0.27 mem=15M362
1.36
1.36 search
1.36 run=6 nbConstraintChecks=3651096 nbPropagations=74665 nbRevisions=345834 nbUselessRevisions=187722
1.36 nbAssignments=833 nbFailedAssignments=502 nbBacktracks=321 nbVisitedNodes=1570 nbRestartNogoods=24 mapSize=295
1.36 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.428 cpuTime=0.38 mem=15M362
1.53
1.53 search
1.53 run=7 nbConstraintChecks=5685280 nbPropagations=114077 nbRevisions=535030 nbUselessRevisions=290115
1.53 nbAssignments=1262 nbFailedAssignments=758 nbBacktracks=491 nbVisitedNodes=2386 nbRestartNogoods=29
1.53 mapSize=451 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.603 cpuTime=0.54 mem=15M362
1.81
1.81 search
1.81 run=8 nbConstraintChecks=8985574 nbPropagations=174145 nbRevisions=823948 nbUselessRevisions=447331
1.81 nbAssignments=2000 nbFailedAssignments=1237 nbBacktracks=748 nbVisitedNodes=3791 nbRestartNogoods=41
1.81 mapSize=690 nbInferences=0 nbTooLargeKeys=0
1.81 => wckTime=0.874 cpuTime=0.8 mem=15M362
2.13
2.13 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=16M337)
2.16
2.16 search
2.16 run=9 nbConstraintChecks=13533714 nbPropagations=262639 nbRevisions=1252618 nbUselessRevisions=679851
2.16 nbAssignments=2963 nbFailedAssignments=1814 nbBacktracks=1133 nbVisitedNodes=5613 nbRestartNogoods=45
2.16 => wckTime=1.23 cpuTime=1.15 mem=16M337
2.68
2.68 search
2.68 run=10 nbConstraintChecks=20283307 nbPropagations=393972 nbRevisions=1890032 nbUselessRevisions=1024785
2.68 nbAssignments=4390 nbFailedAssignments=2664 nbBacktracks=1709 nbVisitedNodes=8313 nbRestartNogoods=47
2.68 => wckTime=1.749 cpuTime=1.65 mem=16M337
3.45
3.45 search
3.45 run=11 nbConstraintChecks=30429771 nbPropagations=591939 nbRevisions=2853602 nbUselessRevisions=1546344
3.45 nbAssignments=6563 nbFailedAssignments=3970 nbBacktracks=2573 nbVisitedNodes=12445 nbRestartNogoods=57
3.45 => wckTime=2.519 cpuTime=2.41 mem=16M337
4.63
4.63 search
4.63 run=12 nbConstraintChecks=46248552 nbPropagations=891456 nbRevisions=4315523 nbUselessRevisions=2339983
4.63 nbAssignments=9988 nbFailedAssignments=6095 nbBacktracks=3871 nbVisitedNodes=18991 nbRestartNogoods=65
4.63 => wckTime=3.701 cpuTime=3.58 mem=16M337
4.65
4.65 search
4.65 run=13 nbConstraintChecks=46420875 nbPropagations=1191990 nbRevisions=5782483 nbUselessRevisions=3136449
4.65 nbAssignments=10026 nbFailedAssignments=6120 nbBacktracks=3885 nbVisitedNodes=19063 nbRestartNogoods=66
4.65 => wckTime=3.714 cpuTime=3.59 mem=16M337
4.65
4.65 global
4.65 nbConstraintChecks=46627459 nbPropagations=1193096 nbRevisions=5786392 nbUselessRevisions=3138588
4.65 nbRestartNogoods=66 solvingWckTime=3.715 solvingCpuTime=3.59 expiredTime=no totalExploration=yes
4.65 nbFoundSolutions=0 globalCpuTime=4.11
4.65 => wckTime=4.322 cpuTime=4.05 mem=16M337
4.65
4.65 s UNSATISFIABLE
4.65 d NODES 10026
4.65 d CHECKS 46627459
4.65
4.65 totalWckTime=4.41 totalCpuTime=4.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-225128-1168270977 -o ROOT/results/node59/solver-225128-1168270977 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225128-1168270977/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.92 1.40 1.38 5/85 13696
/proc/meminfo: memFree=1709832/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=1784 CPUtime=0
/proc/13695/stat : 13695 (java) R 13693 13695 13347 0 -1 0 368 0 0 0 0 0 0 0 20 0 1 0 175495669 1826816 158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 446 158 123 14 0 91 0
[startup+0.105173 s]
/proc/loadavg: 1.92 1.40 1.38 5/85 13696
/proc/meminfo: memFree=1709832/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=914988 CPUtime=0.08
/proc/13695/stat : 13695 (java) R 13693 13695 13347 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 175495669 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13695/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514183 s]
/proc/loadavg: 1.92 1.40 1.38 5/85 13696
/proc/meminfo: memFree=1709832/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=915328 CPUtime=0.48
/proc/13695/stat : 13695 (java) R 13693 13695 13347 0 -1 0 7139 0 1 0 44 4 0 0 18 0 8 0 175495669 937295872 6878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073561786 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13695/statm: 228832 6878 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34326 s]
/proc/loadavg: 1.92 1.41 1.39 3/92 13703
/proc/meminfo: memFree=1678480/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=915464 CPUtime=1.3
/proc/13695/stat : 13695 (java) R 13693 13695 13347 0 -1 0 10541 0 1 0 123 7 0 0 24 0 8 0 175495669 937435136 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13695/statm: 228866 10279 2524 14 0 215336 0
[pid=13695/tid=13697] ppid=13693 vsize=915464 CPUtime=0.03
/proc/13695/task/13697/stat : 13697 (java) S 13693 13695 13347 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 175495673 937435136 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13695/tid=13698] ppid=13693 vsize=915464 CPUtime=0
/proc/13695/task/13698/stat : 13698 (java) S 13693 13695 13347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175495673 937435136 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13695/tid=13699] ppid=13693 vsize=915464 CPUtime=0
/proc/13695/task/13699/stat : 13699 (java) S 13693 13695 13347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175495673 937435136 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13695/tid=13700] ppid=13693 vsize=915464 CPUtime=0
/proc/13695/task/13700/stat : 13700 (java) S 13693 13695 13347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175495677 937435136 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13695/tid=13701] ppid=13693 vsize=915464 CPUtime=0.19
/proc/13695/task/13701/stat : 13701 (java) S 13693 13695 13347 0 -1 64 360 0 0 0 18 1 0 0 15 0 8 0 175495677 937435136 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13695/tid=13702] ppid=13693 vsize=915464 CPUtime=0
/proc/13695/task/13702/stat : 13702 (java) S 13693 13695 13347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175495677 937435136 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13695/tid=13703] ppid=13693 vsize=915464 CPUtime=0
/proc/13695/task/13703/stat : 13703 (java) S 13693 13695 13347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175495677 937435136 10279 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) 915464
[startup+2.98845 s]
/proc/loadavg: 1.92 1.41 1.39 3/92 13703
/proc/meminfo: memFree=1678352/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=915464 CPUtime=2.93
/proc/13695/stat : 13695 (java) R 13693 13695 13347 0 -1 0 10560 0 1 0 286 7 0 0 25 0 8 0 175495669 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727338 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13695/statm: 228866 10296 2524 14 0 215336 0
[pid=13695/tid=13697] ppid=13693 vsize=915464 CPUtime=0.03
/proc/13695/task/13697/stat : 13697 (java) S 13693 13695 13347 0 -1 64 352 0 0 0 3 0 0 0 17 0 8 0 175495673 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13695/tid=13698] ppid=13693 vsize=915464 CPUtime=0
/proc/13695/task/13698/stat : 13698 (java) S 13693 13695 13347 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175495673 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13695/tid=13699] ppid=13693 vsize=915464 CPUtime=0
/proc/13695/task/13699/stat : 13699 (java) S 13693 13695 13347 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175495673 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13695/tid=13700] ppid=13693 vsize=915464 CPUtime=0
/proc/13695/task/13700/stat : 13700 (java) S 13693 13695 13347 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175495677 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13695/tid=13701] ppid=13693 vsize=915464 CPUtime=0.22
/proc/13695/task/13701/stat : 13701 (java) S 13693 13695 13347 0 -1 64 378 0 0 0 21 1 0 0 15 0 8 0 175495677 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13695/tid=13702] ppid=13693 vsize=915464 CPUtime=0
/proc/13695/task/13702/stat : 13702 (java) S 13693 13695 13347 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175495677 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13695/tid=13703] ppid=13693 vsize=915464 CPUtime=0
/proc/13695/task/13703/stat : 13703 (java) S 13693 13695 13347 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175495677 937435136 10296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 4.68733
CPU time (s): 4.5973
CPU user time (s): 4.51531
CPU system time (s): 0.081987
CPU usage (%): 98.0792
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.51531
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10568
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= 1078
involuntary context switches= 1425
runsolver used 0.008998 s user time and 0.030995 s system time
The end
Begin job on node59 on Mon Jan 8 15:42:57 UTC 2007
IDJOB= 225128
IDBENCH= 5825
FILE ID= node59/225128-1168270977
PBS_JOBID= 3483188
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-79_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225128-1168270977/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-225128-1168270977 -o ROOT/results/node59/solver-225128-1168270977 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225128-1168270977/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ef74412dcce82e3ae72faf928ec1b3de
RANDOM SEED= 657489943
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.239
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.239
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: 1710312 kB
Buffers: 41864 kB
Cached: 104404 kB
SwapCached: 0 kB
Active: 223408 kB
Inactive: 68412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1710312 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2392 kB
Writeback: 0 kB
Mapped: 165720 kB
Slab: 38776 kB
Committed_AS: 4407524 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= 66555 MiB
End job on node59 on Mon Jan 8 15:43:02 UTC 2007