0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/208388-1168074692/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.43 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.54
0.54 constraints being loaded...
0.64 nbConstraints=351 nbRelationTypes=351 nbExtensionStructures=351 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=351 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3255 maxDegree=24
0.64 maxArity=2
0.64 => wckTime=0.306 cpuTime=0.22 mem=13M780
0.68
0.68 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.493 cpuTime=0.35 mem=13M941
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0050 cpuTime=0.01 mem=13M941
0.89
0.89 search
0.89 run=0 nbConstraintChecks=36890 nbPropagations=490 nbRevisions=5299 nbUselessRevisions=4130 nbAssignments=20
0.89 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=33 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.05 cpuTime=0.03 mem=14M916
0.90
0.90 search
0.90 run=1 nbConstraintChecks=78847 nbPropagations=1558 nbRevisions=17517 nbUselessRevisions=13849 nbAssignments=50
0.90 nbFailedAssignments=15 nbBacktracks=25 nbVisitedNodes=79 nbRestartNogoods=3 mapSize=19 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.07 cpuTime=0.05 mem=14M916
0.93
0.93 search
0.93 run=2 nbConstraintChecks=142335 nbPropagations=3421 nbRevisions=40468 nbUselessRevisions=32224
0.93 nbAssignments=99 nbFailedAssignments=35 nbBacktracks=47 nbVisitedNodes=159 nbRestartNogoods=6 mapSize=37
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.092 cpuTime=0.06 mem=14M916
0.94
0.94 search
0.94 run=3 nbConstraintChecks=229113 nbPropagations=6371 nbRevisions=77566 nbUselessRevisions=61810
0.94 nbAssignments=160 nbFailedAssignments=53 nbBacktracks=82 nbVisitedNodes=256 nbRestartNogoods=10 mapSize=60
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.109 cpuTime=0.08 mem=14M916
0.97
0.97 search
0.97 run=4 nbConstraintChecks=341406 nbPropagations=10834 nbRevisions=134612 nbUselessRevisions=107363
0.97 nbAssignments=245 nbFailedAssignments=83 nbBacktracks=132 nbVisitedNodes=399 nbRestartNogoods=14 mapSize=101
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.133 cpuTime=0.1 mem=14M916
1.01
1.01 search
1.01 run=5 nbConstraintChecks=569435 nbPropagations=18109 nbRevisions=233228 nbUselessRevisions=186507
1.01 nbAssignments=401 nbFailedAssignments=157 nbBacktracks=208 nbVisitedNodes=675 nbRestartNogoods=16 mapSize=168
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.176 cpuTime=0.14 mem=14M916
1.06
1.06 search
1.06 run=6 nbConstraintChecks=855269 nbPropagations=29143 nbRevisions=382316 nbUselessRevisions=305670
1.06 nbAssignments=602 nbFailedAssignments=236 nbBacktracks=321 nbVisitedNodes=1019 nbRestartNogoods=19 mapSize=260
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.228 cpuTime=0.19 mem=14M916
1.14
1.14 search
1.14 run=7 nbConstraintChecks=1315268 nbPropagations=45929 nbRevisions=613228 nbUselessRevisions=490828
1.14 nbAssignments=911 nbFailedAssignments=370 nbBacktracks=491 nbVisitedNodes=1562 nbRestartNogoods=25 mapSize=404
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.305 cpuTime=0.26 mem=14M916
1.24
1.24 search
1.24 run=8 nbConstraintChecks=1908001 nbPropagations=70240 nbRevisions=943304 nbUselessRevisions=754235
1.24 nbAssignments=1323 nbFailedAssignments=520 nbBacktracks=747 nbVisitedNodes=2263 nbRestartNogoods=29
1.24 mapSize=603 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.41 cpuTime=0.36 mem=14M916
1.42
1.42 search
1.42 run=9 nbConstraintChecks=2943850 nbPropagations=107321 nbRevisions=1455990 nbUselessRevisions=1163295
1.42 nbAssignments=2020 nbFailedAssignments=827 nbBacktracks=1131 nbVisitedNodes=3487 nbRestartNogoods=35
1.42 mapSize=932 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.587 cpuTime=0.53 mem=14M916
1.47
1.47 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=14M916)
1.64
1.64 search
1.64 run=10 nbConstraintChecks=4329165 nbPropagations=162850 nbRevisions=2233535 nbUselessRevisions=1786340
1.64 nbAssignments=3042 nbFailedAssignments=1265 nbBacktracks=1708 nbVisitedNodes=5282 nbRestartNogoods=44
1.65 => wckTime=0.811 cpuTime=0.75 mem=14M916
1.95
1.95 search
1.95 run=11 nbConstraintChecks=6487230 nbPropagations=244441 nbRevisions=3367313 nbUselessRevisions=2690680
1.95 nbAssignments=4463 nbFailedAssignments=1816 nbBacktracks=2572 nbVisitedNodes=7723 nbRestartNogoods=50
1.95 => wckTime=1.114 cpuTime=1.05 mem=14M916
2.43
2.43 search
2.43 run=12 nbConstraintChecks=9847244 nbPropagations=367789 nbRevisions=5090220 nbUselessRevisions=4065239
2.43 nbAssignments=6686 nbFailedAssignments=2736 nbBacktracks=3869 nbVisitedNodes=11635 nbRestartNogoods=54
2.43 => wckTime=1.595 cpuTime=1.53 mem=14M916
2.46
2.46 search
2.46 run=13 nbConstraintChecks=10039213 nbPropagations=493696 nbRevisions=6847763 nbUselessRevisions=5467624
2.46 nbAssignments=6850 nbFailedAssignments=2785 nbBacktracks=3944 nbVisitedNodes=11889 nbRestartNogoods=60
2.46 => wckTime=1.626 cpuTime=1.56 mem=14M916
2.46
2.46 global
2.46 nbConstraintChecks=10039213 nbPropagations=493736 nbRevisions=6847763 nbUselessRevisions=5467624
2.46 nbRestartNogoods=60 solvingWckTime=1.627 solvingCpuTime=1.56 expiredTime=no totalExploration=no
2.46 nbFoundSolutions=1 globalCpuTime=1.95
2.46 => wckTime=2.124 cpuTime=1.91 mem=14M916
2.46
2.46 s SATISFIABLE
2.46 v 7 2 18 14 13 1 10 4 5 9 16 1 12 1 14 8 10 13 9 10 6 10 4 15 8 1 3 18 0 17 9 6 3 1 9 16 2 2 7 10
2.46 d NODES 6850
2.46 d CHECKS 10039213
2.46
2.46 totalWckTime=2.2 totalCpuTime=1.95
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-208388-1168074692 -o ROOT/results/node19/solver-208388-1168074692 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208388-1168074692/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.95 2.00 1.99 4/93 22427
/proc/meminfo: memFree=1151776/2055920 swapFree=4171232/4192956
[pid=22426] ppid=22424 vsize=1784 CPUtime=0
/proc/22426/stat : 22426 (java) D 22424 22426 21991 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 155863866 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/22426/statm: 446 160 125 14 0 91 0
[startup+0.108762 s]
/proc/loadavg: 1.95 2.00 1.99 4/93 22427
/proc/meminfo: memFree=1151776/2055920 swapFree=4171232/4192956
[pid=22426] ppid=22424 vsize=907808 CPUtime=0.04
/proc/22426/stat : 22426 (java) R 22424 22426 21991 0 -1 0 2456 0 1 0 4 0 0 0 20 0 4 0 155863866 929595392 2203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/22426/statm: 226952 2203 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907808
[startup+0.520838 s]
/proc/loadavg: 1.95 2.00 1.99 4/93 22427
/proc/meminfo: memFree=1151776/2055920 swapFree=4171232/4192956
[pid=22426] ppid=22424 vsize=915328 CPUtime=0.45
/proc/22426/stat : 22426 (java) R 22424 22426 21991 0 -1 0 6749 0 1 0 42 3 0 0 25 0 8 0 155863866 937295872 6489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22426/statm: 228832 6490 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.34199 s]
/proc/loadavg: 1.95 2.00 1.99 3/100 22434
/proc/meminfo: memFree=1128232/2055920 swapFree=4171232/4192956
[pid=22426] ppid=22424 vsize=915456 CPUtime=1.27
/proc/22426/stat : 22426 (java) R 22424 22426 21991 0 -1 0 8642 0 1 0 121 6 0 0 25 0 8 0 155863866 937426944 8380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22426/statm: 228864 8380 2513 14 0 215334 0
[pid=22426/tid=22428] ppid=22424 vsize=915456 CPUtime=0.03
/proc/22426/task/22428/stat : 22428 (java) S 22424 22426 21991 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 155863874 937426944 8380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22426/tid=22429] ppid=22424 vsize=915456 CPUtime=0
/proc/22426/task/22429/stat : 22429 (java) S 22424 22426 21991 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863875 937426944 8380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22426/tid=22430] ppid=22424 vsize=915456 CPUtime=0
/proc/22426/task/22430/stat : 22430 (java) S 22424 22426 21991 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863875 937426944 8380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22426/tid=22431] ppid=22424 vsize=915456 CPUtime=0
/proc/22426/task/22431/stat : 22431 (java) S 22424 22426 21991 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155863878 937426944 8380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22426/tid=22432] ppid=22424 vsize=915456 CPUtime=0.2
/proc/22426/task/22432/stat : 22432 (java) S 22424 22426 21991 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 155863878 937426944 8380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22426/tid=22433] ppid=22424 vsize=915456 CPUtime=0
/proc/22426/task/22433/stat : 22433 (java) S 22424 22426 21991 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155863878 937426944 8380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22426/tid=22434] ppid=22424 vsize=915456 CPUtime=0
/proc/22426/task/22434/stat : 22434 (java) S 22424 22426 21991 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155863878 937426944 8380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 2.52092
CPU time (s): 2.41863
CPU user time (s): 2.34164
CPU system time (s): 0.076988
CPU usage (%): 95.9424
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.34164
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8768
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= 1148
involuntary context switches= 1405
runsolver used 0.004999 s user time and 0.015997 s system time
The end
Begin job on node19 on Sat Jan 6 09:11:32 UTC 2007
IDJOB= 208388
IDBENCH= 4382
FILE ID= node19/208388-1168074692
PBS_JOBID= 3475755
Free space on /tmp= 66304 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208388-1168074692/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-208388-1168074692 -o ROOT/results/node19/solver-208388-1168074692 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208388-1168074692/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7bc1444cdb9251565aae0e00e6f236db
RANDOM SEED= 629871764
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.260
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.260
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: 1152192 kB
Buffers: 70096 kB
Cached: 577428 kB
SwapCached: 10036 kB
Active: 397824 kB
Inactive: 404920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1152192 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 2072 kB
Writeback: 0 kB
Mapped: 174544 kB
Slab: 85320 kB
Committed_AS: 4366084 kB
PageTables: 2652 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= 66304 MiB
End job on node19 on Sat Jan 6 09:11:35 UTC 2007