0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/228494-1168080882/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.42 => wckTime=0.099 cpuTime=0.1 mem=6M951
0.42
0.42 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8222 maxDegree=26
0.62 maxArity=2
0.62 => wckTime=0.299 cpuTime=0.23 mem=10M852
0.66
0.66 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.496 cpuTime=0.35 mem=13M696
0.83
0.83 preprocessing
0.83 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.83 detectedInconsistency=no
0.83 => wckTime=0.0070 cpuTime=0.01 mem=13M696
0.86
0.86 search
0.86 run=0 nbConstraintChecks=15522 nbPropagations=405 nbRevisions=3965 nbUselessRevisions=3262 nbAssignments=22
0.86 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=32 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.046 cpuTime=0.03 mem=14M671
0.89
0.89 search
0.89 run=1 nbConstraintChecks=34949 nbPropagations=1247 nbRevisions=12818 nbUselessRevisions=10594 nbAssignments=56
0.89 nbFailedAssignments=12 nbBacktracks=30 nbVisitedNodes=82 nbRestartNogoods=2 mapSize=20 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.07 cpuTime=0.04 mem=14M671
0.90
0.90 search
0.91 run=2 nbConstraintChecks=61931 nbPropagations=2636 nbRevisions=28357 nbUselessRevisions=23342 nbAssignments=91
0.91 nbFailedAssignments=21 nbBacktracks=52 nbVisitedNodes=136 nbRestartNogoods=3 mapSize=36 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.088 cpuTime=0.05 mem=14M671
0.92
0.92 search
0.92 run=3 nbConstraintChecks=105500 nbPropagations=4890 nbRevisions=54951 nbUselessRevisions=45279
0.92 nbAssignments=149 nbFailedAssignments=37 nbBacktracks=87 nbVisitedNodes=224 nbRestartNogoods=4 mapSize=59
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.105 cpuTime=0.07 mem=14M671
0.94
0.94 search
0.94 run=4 nbConstraintChecks=173620 nbPropagations=8443 nbRevisions=98735 nbUselessRevisions=81265
0.94 nbAssignments=228 nbFailedAssignments=58 nbBacktracks=138 nbVisitedNodes=352 nbRestartNogoods=6 mapSize=98
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.127 cpuTime=0.09 mem=14M671
0.97
0.97 search
0.97 run=5 nbConstraintChecks=263658 nbPropagations=13751 nbRevisions=166827 nbUselessRevisions=137578
0.97 nbAssignments=347 nbFailedAssignments=92 nbBacktracks=217 nbVisitedNodes=544 nbRestartNogoods=10 mapSize=160
0.97 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.156 cpuTime=0.11 mem=14M671
1.01
1.02 search
1.02 run=6 nbConstraintChecks=394103 nbPropagations=21543 nbRevisions=270551 nbUselessRevisions=223638
1.02 nbAssignments=522 nbFailedAssignments=145 nbBacktracks=330 nbVisitedNodes=833 nbRestartNogoods=14 mapSize=252
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.198 cpuTime=0.15 mem=14M671
1.07
1.07 search
1.07 run=7 nbConstraintChecks=602778 nbPropagations=33190 nbRevisions=430434 nbUselessRevisions=356105
1.07 nbAssignments=785 nbFailedAssignments=226 nbBacktracks=503 nbVisitedNodes=1267 nbRestartNogoods=19 mapSize=388
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.256 cpuTime=0.21 mem=14M671
1.17
1.17 search
1.17 run=8 nbConstraintChecks=918819 nbPropagations=50720 nbRevisions=675850 nbUselessRevisions=559539
1.17 nbAssignments=1184 nbFailedAssignments=361 nbBacktracks=761 nbVisitedNodes=1932 nbRestartNogoods=25
1.17 mapSize=593 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.352 cpuTime=0.3 mem=14M671
1.31
1.31 search
1.31 run=9 nbConstraintChecks=1377502 nbPropagations=76757 nbRevisions=1048825 nbUselessRevisions=868825
1.31 nbAssignments=1769 nbFailedAssignments=553 nbBacktracks=1148 nbVisitedNodes=2915 nbRestartNogoods=29
1.31 mapSize=913 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.489 cpuTime=0.42 mem=14M671
1.35
1.35 INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=14M671)
1.49
1.49 search
1.49 run=10 nbConstraintChecks=2075428 nbPropagations=115703 nbRevisions=1613773 nbUselessRevisions=1337692
1.49 nbAssignments=2639 nbFailedAssignments=839 nbBacktracks=1726 nbVisitedNodes=4365 nbRestartNogoods=35
1.49 => wckTime=0.669 cpuTime=0.58 mem=14M671
1.74
1.74 search
1.74 run=11 nbConstraintChecks=3219684 nbPropagations=175453 nbRevisions=2491539 nbUselessRevisions=2066776
1.74 nbAssignments=3957 nbFailedAssignments=1286 nbBacktracks=2591 nbVisitedNodes=6601 nbRestartNogoods=40
1.74 => wckTime=0.923 cpuTime=0.83 mem=14M671
2.08
2.09 search
2.09 run=12 nbConstraintChecks=4757574 nbPropagations=263468 nbRevisions=3794430 nbUselessRevisions=3148822
2.09 nbAssignments=5960 nbFailedAssignments=1984 nbBacktracks=3888 nbVisitedNodes=9972 nbRestartNogoods=48
2.09 => wckTime=1.268 cpuTime=1.18 mem=14M671
2.52
2.52 search
2.52 run=13 nbConstraintChecks=6634443 nbPropagations=387235 nbRevisions=5632422 nbUselessRevisions=4679389
2.52 nbAssignments=8612 nbFailedAssignments=2828 nbBacktracks=5656 nbVisitedNodes=14333 nbRestartNogoods=55
2.52 => wckTime=1.706 cpuTime=1.6 mem=14M671
2.52
2.52 global
2.52 nbConstraintChecks=6634443 nbPropagations=387275 nbRevisions=5632422 nbUselessRevisions=4679389
2.53 nbRestartNogoods=55 solvingWckTime=1.708 solvingCpuTime=1.6 expiredTime=no totalExploration=no
2.53 nbFoundSolutions=1 globalCpuTime=2.0
2.53 => wckTime=2.207 cpuTime=1.95 mem=14M671
2.53
2.53 s SATISFIABLE
2.53 v 7 5 10 4 2 0 7 0 1 4 5 9 2 5 1 3 9 8 5 7 7 5 6 5 4 5 9 8 7 2 8 8 4 1 7 5 2 6 3 0
2.53 d NODES 8612
2.53 d CHECKS 6634443
2.53
2.53 totalWckTime=2.293 totalCpuTime=2.01
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-228494-1168080882 -o ROOT/results/node58/solver-228494-1168080882 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228494-1168080882/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.31 0.60 1.20 4/80 29648
/proc/meminfo: memFree=1633240/2055920 swapFree=4192812/4192956
[pid=29647] ppid=29645 vsize=18540 CPUtime=0
/proc/29647/stat : 29647 (runsolver) R 29645 29647 29392 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156487351 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29647/statm: 4635 279 244 17 0 2626 0
[startup+0.109496 s]
/proc/loadavg: 0.31 0.60 1.20 4/80 29648
/proc/meminfo: memFree=1633240/2055920 swapFree=4192812/4192956
[pid=29647] ppid=29645 vsize=914988 CPUtime=0.08
/proc/29647/stat : 29647 (java) R 29645 29647 29392 0 -1 0 3049 0 1 0 7 1 0 0 17 0 8 0 156487351 936947712 2795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153581839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29647/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.521529 s]
/proc/loadavg: 0.31 0.60 1.20 4/80 29648
/proc/meminfo: memFree=1633240/2055920 swapFree=4192812/4192956
[pid=29647] ppid=29645 vsize=915328 CPUtime=0.5
/proc/29647/stat : 29647 (java) R 29645 29647 29392 0 -1 0 6437 0 1 0 46 4 0 0 17 0 8 0 156487351 937295872 6176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073592944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29647/statm: 228832 6176 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.3446 s]
/proc/loadavg: 0.31 0.60 1.20 3/87 29655
/proc/meminfo: memFree=1609888/2055920 swapFree=4192812/4192956
[pid=29647] ppid=29645 vsize=915456 CPUtime=1.31
/proc/29647/stat : 29647 (java) R 29645 29647 29392 0 -1 0 8580 0 1 0 125 6 0 0 20 0 8 0 156487351 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29647/statm: 228864 8318 2513 14 0 215334 0
[pid=29647/tid=29649] ppid=29645 vsize=915456 CPUtime=0.03
/proc/29647/task/29649/stat : 29649 (java) S 29645 29647 29392 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 156487355 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29647/tid=29650] ppid=29645 vsize=915456 CPUtime=0
/proc/29647/task/29650/stat : 29650 (java) S 29645 29647 29392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156487355 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29647/tid=29651] ppid=29645 vsize=915456 CPUtime=0
/proc/29647/task/29651/stat : 29651 (java) S 29645 29647 29392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487355 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29647/tid=29652] ppid=29645 vsize=915456 CPUtime=0
/proc/29647/task/29652/stat : 29652 (java) S 29645 29647 29392 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156487359 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29647/tid=29653] ppid=29645 vsize=915456 CPUtime=0.22
/proc/29647/task/29653/stat : 29653 (java) S 29645 29647 29392 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 156487359 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29647/tid=29654] ppid=29645 vsize=915456 CPUtime=0
/proc/29647/task/29654/stat : 29654 (java) S 29645 29647 29392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156487359 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29647/tid=29655] ppid=29645 vsize=915456 CPUtime=0
/proc/29647/task/29655/stat : 29655 (java) S 29645 29647 29392 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156487359 937426944 8318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 2.54912
CPU time (s): 2.49662
CPU user time (s): 2.42663
CPU system time (s): 0.069989
CPU usage (%): 97.9406
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.42663
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8687
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= 874
involuntary context switches= 1150
runsolver used 0.007998 s user time and 0.015997 s system time
The end
Begin job on node58 on Sat Jan 6 10:54:44 UTC 2007
IDJOB= 228494
IDBENCH= 6201
FILE ID= node58/228494-1168080882
PBS_JOBID= 3476180
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228494-1168080882/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-228494-1168080882 -o ROOT/results/node58/solver-228494-1168080882 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228494-1168080882/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3ec24b8706bbeba143d2e7e82cfb50d7
RANDOM SEED= 524477944
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.223
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.223
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: 1633712 kB
Buffers: 23000 kB
Cached: 289392 kB
SwapCached: 0 kB
Active: 102436 kB
Inactive: 253852 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1633712 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3604 kB
Writeback: 0 kB
Mapped: 64148 kB
Slab: 51340 kB
Committed_AS: 3048148 kB
PageTables: 1828 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= 66534 MiB
End job on node58 on Sat Jan 6 10:55:09 UTC 2007