0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/202516-1168072579/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.59 nbConstraints=333 nbRelationTypes=333 nbExtensionStructures=333 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=333 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2772 maxDegree=23
0.59 maxArity=2
0.59 => wckTime=0.299 cpuTime=0.21 mem=12M803
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.482 cpuTime=0.33 mem=13M916
0.78
0.78 preprocessing
0.78 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.79 detectedInconsistency=no
0.79 => wckTime=0.0050 cpuTime=0.0 mem=13M916
0.83
0.83 search
0.83 run=0 nbConstraintChecks=37749 nbPropagations=544 nbRevisions=5918 nbUselessRevisions=4740 nbAssignments=29
0.83 nbFailedAssignments=10 nbBacktracks=14 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.051 cpuTime=0.03 mem=14M892
0.85
0.85 search
0.85 run=1 nbConstraintChecks=87383 nbPropagations=1736 nbRevisions=19432 nbUselessRevisions=15544 nbAssignments=63
0.85 nbFailedAssignments=21 nbBacktracks=34 nbVisitedNodes=104 nbRestartNogoods=3 mapSize=29 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.071 cpuTime=0.05 mem=14M892
0.87
0.87 search
0.87 run=2 nbConstraintChecks=150198 nbPropagations=3713 nbRevisions=42642 nbUselessRevisions=34120
0.87 nbAssignments=105 nbFailedAssignments=34 nbBacktracks=57 nbVisitedNodes=173 nbRestartNogoods=4 mapSize=46
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.092 cpuTime=0.06 mem=14M892
0.89
0.89 search
0.89 run=3 nbConstraintChecks=262714 nbPropagations=7037 nbRevisions=84122 nbUselessRevisions=67103
0.89 nbAssignments=172 nbFailedAssignments=63 nbBacktracks=90 nbVisitedNodes=290 nbRestartNogoods=8 mapSize=75
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.112 cpuTime=0.07 mem=14M892
0.91
0.91 search
0.91 run=4 nbConstraintChecks=366850 nbPropagations=11755 nbRevisions=143401 nbUselessRevisions=114209
0.91 nbAssignments=253 nbFailedAssignments=88 nbBacktracks=142 nbVisitedNodes=421 nbRestartNogoods=11 mapSize=110
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.132 cpuTime=0.09 mem=14M892
0.95
0.95 search
0.95 run=5 nbConstraintChecks=554527 nbPropagations=18780 nbRevisions=231468 nbUselessRevisions=183593
0.95 nbAssignments=379 nbFailedAssignments=132 nbBacktracks=219 nbVisitedNodes=627 nbRestartNogoods=15 mapSize=165
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.167 cpuTime=0.12 mem=14M892
1.00
1.00 search
1.00 run=6 nbConstraintChecks=870535 nbPropagations=29746 nbRevisions=373843 nbUselessRevisions=295734
1.00 nbAssignments=601 nbFailedAssignments=235 nbBacktracks=333 nbVisitedNodes=1010 nbRestartNogoods=20 mapSize=262
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.223 cpuTime=0.18 mem=14M892
1.07
1.07 search
1.07 run=7 nbConstraintChecks=1317617 nbPropagations=46181 nbRevisions=588558 nbUselessRevisions=464809
1.07 nbAssignments=893 nbFailedAssignments=351 nbBacktracks=504 nbVisitedNodes=1519 nbRestartNogoods=25 mapSize=404
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.294 cpuTime=0.25 mem=14M892
1.18
1.18 search
1.18 run=8 nbConstraintChecks=1945360 nbPropagations=70811 nbRevisions=914200 nbUselessRevisions=722522
1.18 nbAssignments=1341 nbFailedAssignments=538 nbBacktracks=760 nbVisitedNodes=2302 nbRestartNogoods=31
1.18 mapSize=630 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.403 cpuTime=0.36 mem=14M892
1.34
1.34 search
1.34 run=9 nbConstraintChecks=2877612 nbPropagations=107463 nbRevisions=1399472 nbUselessRevisions=1106747
1.34 nbAssignments=1977 nbFailedAssignments=784 nbBacktracks=1145 nbVisitedNodes=3389 nbRestartNogoods=37
1.34 mapSize=939 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.559 cpuTime=0.5 mem=14M892
1.38
1.38 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=14M892)
1.55
1.55 search
1.55 run=10 nbConstraintChecks=4229697 nbPropagations=161494 nbRevisions=2122076 nbUselessRevisions=1679290
1.55 nbAssignments=2924 nbFailedAssignments=1149 nbBacktracks=1724 nbVisitedNodes=5025 nbRestartNogoods=45
1.55 => wckTime=0.769 cpuTime=0.69 mem=14M892
1.87
1.87 search
1.87 run=11 nbConstraintChecks=6553814 nbPropagations=244900 nbRevisions=3242087 nbUselessRevisions=2566454
1.87 nbAssignments=4471 nbFailedAssignments=1826 nbBacktracks=2588 nbVisitedNodes=7760 nbRestartNogoods=49
1.87 => wckTime=1.092 cpuTime=1.01 mem=14M892
2.32
2.32 search
2.32 run=12 nbConstraintChecks=9811785 nbPropagations=370261 nbRevisions=4932765 nbUselessRevisions=3908352
2.32 nbAssignments=6719 nbFailedAssignments=2772 nbBacktracks=3887 nbVisitedNodes=11707 nbRestartNogoods=61
2.32 => wckTime=1.544 cpuTime=1.47 mem=14M892
3.08
3.08 search
3.08 run=13 nbConstraintChecks=15366438 nbPropagations=564753 nbRevisions=7589937 nbUselessRevisions=6020825
3.08 nbAssignments=10231 nbFailedAssignments=4334 nbBacktracks=5834 nbVisitedNodes=18027 nbRestartNogoods=65
3.08 => wckTime=2.301 cpuTime=2.22 mem=14M892
3.80
3.80 search
3.80 run=14 nbConstraintChecks=20669527 nbPropagations=825158 nbRevisions=11109862 nbUselessRevisions=8808452
3.80 nbAssignments=13830 nbFailedAssignments=5700 nbBacktracks=8027 nbVisitedNodes=24130 nbRestartNogoods=70
3.80 => wckTime=3.024 cpuTime=2.94 mem=14M892
3.81
3.81 global
3.81 nbConstraintChecks=20669527 nbPropagations=825198 nbRevisions=11109862 nbUselessRevisions=8808452
3.81 nbRestartNogoods=70 solvingWckTime=3.025 solvingCpuTime=2.94 expiredTime=no totalExploration=no
3.81 nbFoundSolutions=1 globalCpuTime=3.32
3.81 => wckTime=3.511 cpuTime=3.27 mem=14M892
3.81
3.81 s SATISFIABLE
3.81 v 2 4 0 13 2 12 15 6 2 14 4 11 8 14 16 12 11 18 5 15 2 2 18 11 18 10 11 8 12 12 4 17 17 8 4 18 18 8 3 15
3.81 d NODES 13830
3.81 d CHECKS 20669527
3.81
3.81 totalWckTime=3.586 totalCpuTime=3.33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-202516-1168072579 -o ROOT/results/node12/solver-202516-1168072579 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202516-1168072579/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.41 1.72 1.84 4/93 19970
/proc/meminfo: memFree=1157680/2055920 swapFree=4160348/4192956
[pid=19969] ppid=19967 vsize=1784 CPUtime=0
/proc/19969/stat : 19969 (java) D 19967 19969 19790 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 155653132 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/19969/statm: 446 160 125 14 0 91 0
[startup+0.108522 s]
/proc/loadavg: 1.41 1.72 1.84 4/93 19970
/proc/meminfo: memFree=1157680/2055920 swapFree=4160348/4192956
[pid=19969] ppid=19967 vsize=914988 CPUtime=0.08
/proc/19969/stat : 19969 (java) R 19967 19969 19790 0 -1 0 3070 0 1 0 7 1 0 0 22 0 8 0 155653132 936947712 2816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19969/statm: 228747 2816 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516597 s]
/proc/loadavg: 1.41 1.72 1.84 4/93 19970
/proc/meminfo: memFree=1157680/2055920 swapFree=4160348/4192956
[pid=19969] ppid=19967 vsize=915328 CPUtime=0.49
/proc/19969/stat : 19969 (java) R 19967 19969 19790 0 -1 0 6991 0 1 0 45 4 0 0 25 0 8 0 155653132 937295872 6730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19969/statm: 228832 6730 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33974 s]
/proc/loadavg: 1.41 1.72 1.84 3/100 19977
/proc/meminfo: memFree=1134200/2055920 swapFree=4160348/4192956
[pid=19969] ppid=19967 vsize=915456 CPUtime=1.31
/proc/19969/stat : 19969 (java) R 19967 19969 19790 0 -1 0 8643 0 1 0 125 6 0 0 25 0 8 0 155653132 937426944 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816289 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19969/statm: 228864 8381 2513 14 0 215334 0
[pid=19969/tid=19971] ppid=19967 vsize=915456 CPUtime=0.03
/proc/19969/task/19971/stat : 19971 (java) S 19967 19969 19790 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155653136 937426944 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19969/tid=19972] ppid=19967 vsize=915456 CPUtime=0
/proc/19969/task/19972/stat : 19972 (java) S 19967 19969 19790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155653136 937426944 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19969/tid=19973] ppid=19967 vsize=915456 CPUtime=0
/proc/19969/task/19973/stat : 19973 (java) S 19967 19969 19790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155653136 937426944 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19969/tid=19974] ppid=19967 vsize=915456 CPUtime=0
/proc/19969/task/19974/stat : 19974 (java) S 19967 19969 19790 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155653139 937426944 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19969/tid=19975] ppid=19967 vsize=915456 CPUtime=0.22
/proc/19969/task/19975/stat : 19975 (java) S 19967 19969 19790 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 155653139 937426944 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19969/tid=19976] ppid=19967 vsize=915456 CPUtime=0
/proc/19969/task/19976/stat : 19976 (java) S 19967 19969 19790 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155653139 937426944 8381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19969/tid=19977] ppid=19967 vsize=915456 CPUtime=0
/proc/19969/task/19977/stat : 19977 (java) S 19967 19969 19790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155653139 937426944 8381 18446744073709551615 134512640 134570532 4294956464 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) 915456
[startup+2.98304 s]
/proc/loadavg: 1.46 1.72 1.84 3/100 19977
/proc/meminfo: memFree=1133944/2055920 swapFree=4160348/4192956
[pid=19969] ppid=19967 vsize=915456 CPUtime=2.95
/proc/19969/stat : 19969 (java) R 19967 19969 19790 0 -1 0 8668 0 1 0 289 6 0 0 25 0 8 0 155653132 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831481 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19969/statm: 228864 8405 2513 14 0 215334 0
[pid=19969/tid=19971] ppid=19967 vsize=915456 CPUtime=0.03
/proc/19969/task/19971/stat : 19971 (java) S 19967 19969 19790 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155653136 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19969/tid=19972] ppid=19967 vsize=915456 CPUtime=0
/proc/19969/task/19972/stat : 19972 (java) S 19967 19969 19790 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155653136 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19969/tid=19973] ppid=19967 vsize=915456 CPUtime=0
/proc/19969/task/19973/stat : 19973 (java) S 19967 19969 19790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155653136 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19969/tid=19974] ppid=19967 vsize=915456 CPUtime=0
/proc/19969/task/19974/stat : 19974 (java) S 19967 19969 19790 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155653139 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19969/tid=19975] ppid=19967 vsize=915456 CPUtime=0.23
/proc/19969/task/19975/stat : 19975 (java) S 19967 19969 19790 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 155653139 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19969/tid=19976] ppid=19967 vsize=915456 CPUtime=0
/proc/19969/task/19976/stat : 19976 (java) S 19967 19969 19790 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155653139 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19969/tid=19977] ppid=19967 vsize=915456 CPUtime=0
/proc/19969/task/19977/stat : 19977 (java) S 19967 19969 19790 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155653139 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 3.83196
CPU time (s): 3.79742
CPU user time (s): 3.72143
CPU system time (s): 0.075988
CPU usage (%): 99.0988
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.72143
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8764
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= 1213
involuntary context switches= 1488
runsolver used 0.009998 s user time and 0.020996 s system time
The end
Begin job on node12 on Sat Jan 6 08:36:21 UTC 2007
IDJOB= 202516
IDBENCH= 3862
FILE ID= node12/202516-1168072579
PBS_JOBID= 3475752
Free space on /tmp= 66316 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202516-1168072579/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-202516-1168072579 -o ROOT/results/node12/solver-202516-1168072579 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202516-1168072579/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d67733b7b2752dd74a89c290b958bd4b
RANDOM SEED= 970302729
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: 1158096 kB
Buffers: 27708 kB
Cached: 231312 kB
SwapCached: 4684 kB
Active: 606072 kB
Inactive: 209776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1158096 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2028 kB
Writeback: 0 kB
Mapped: 576520 kB
Slab: 65704 kB
Committed_AS: 4709004 kB
PageTables: 3140 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= 66316 MiB
End job on node12 on Sat Jan 6 08:36:26 UTC 2007