0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/225147-1168271089/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.40 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.57
0.57 constraints being loaded...
0.66 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.66 => wckTime=0.355 cpuTime=0.3 mem=21M612
0.70
0.70 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.553 cpuTime=0.43 mem=15M362
0.91
0.91 preprocessing
0.91 nbConstraintChecks=180173 nbPropagations=1003 nbRevisions=3465 nbUselessRevisions=1889 nbSingletonTests=54
0.91 nbEffectiveSingletonTests=0 nbESACBranches=10 nbRemovedValues=0 detectedInconsistency=no
0.91 => wckTime=0.053 cpuTime=0.03 mem=15M362
0.94
0.94 search
0.94 run=0 nbConstraintChecks=73678 nbPropagations=1747 nbRevisions=6357 nbUselessRevisions=3362 nbAssignments=22
0.94 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.078 cpuTime=0.05 mem=15M362
0.97
0.97 search
0.97 run=1 nbConstraintChecks=286318 nbPropagations=4934 nbRevisions=19258 nbUselessRevisions=10249
0.97 nbAssignments=81 nbFailedAssignments=39 nbBacktracks=26 nbVisitedNodes=127 nbRestartNogoods=5 mapSize=17
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.105 cpuTime=0.07 mem=15M362
0.99
0.99 search
0.99 run=2 nbConstraintChecks=517166 nbPropagations=9962 nbRevisions=40206 nbUselessRevisions=21387
0.99 nbAssignments=148 nbFailedAssignments=71 nbBacktracks=48 nbVisitedNodes=233 nbRestartNogoods=9 mapSize=33
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.133 cpuTime=0.09 mem=15M362
1.02
1.02 search
1.02 run=3 nbConstraintChecks=812542 nbPropagations=17402 nbRevisions=71669 nbUselessRevisions=38046
1.02 nbAssignments=227 nbFailedAssignments=113 nbBacktracks=81 nbVisitedNodes=376 nbRestartNogoods=11 mapSize=64
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.16 cpuTime=0.12 mem=15M362
1.06
1.06 search
1.06 run=4 nbConstraintChecks=1274294 nbPropagations=28428 nbRevisions=119319 nbUselessRevisions=63438
1.06 nbAssignments=358 nbFailedAssignments=181 nbBacktracks=131 nbVisitedNodes=597 nbRestartNogoods=17 mapSize=110
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.201 cpuTime=0.16 mem=15M362
1.14
1.14 search
1.14 run=5 nbConstraintChecks=2022071 nbPropagations=45543 nbRevisions=194947 nbUselessRevisions=103486
1.14 nbAssignments=560 nbFailedAssignments=303 nbBacktracks=207 nbVisitedNodes=971 nbRestartNogoods=21 mapSize=180
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.275 cpuTime=0.22 mem=15M362
1.24
1.24 search
1.24 run=6 nbConstraintChecks=3221957 nbPropagations=72253 nbRevisions=314447 nbUselessRevisions=166256
1.24 nbAssignments=878 nbFailedAssignments=503 nbBacktracks=321 nbVisitedNodes=1574 nbRestartNogoods=25 mapSize=288
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.377 cpuTime=0.32 mem=15M362
1.34
1.34 search
1.34 run=7 nbConstraintChecks=4366250 nbPropagations=109257 nbRevisions=477609 nbUselessRevisions=252017
1.34 nbAssignments=1225 nbFailedAssignments=673 nbBacktracks=493 nbVisitedNodes=2192 nbRestartNogoods=29
1.34 mapSize=436 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.481 cpuTime=0.42 mem=15M362
1.55
1.55 search
1.55 run=8 nbConstraintChecks=6825724 nbPropagations=165300 nbRevisions=730424 nbUselessRevisions=384696
1.55 nbAssignments=1851 nbFailedAssignments=1039 nbBacktracks=750 nbVisitedNodes=3359 nbRestartNogoods=37
1.55 mapSize=659 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.694 cpuTime=0.62 mem=15M362
1.63
1.63 search
1.63 run=9 nbConstraintChecks=7781021 nbPropagations=228796 nbRevisions=1016045 nbUselessRevisions=534448
1.63 nbAssignments=2131 nbFailedAssignments=1173 nbBacktracks=847 nbVisitedNodes=3831 nbRestartNogoods=51
1.63 mapSize=744 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.772 cpuTime=0.69 mem=16M337
1.63
1.63 global
1.63 nbConstraintChecks=7961194 nbPropagations=229799 nbRevisions=1019510 nbUselessRevisions=536337
1.63 nbRestartNogoods=51 solvingWckTime=0.774 solvingCpuTime=0.69 expiredTime=no totalExploration=no
1.64 nbFoundSolutions=1 globalCpuTime=1.17
1.64 => wckTime=1.332 cpuTime=1.12 mem=16M337
1.64
1.64 s SATISFIABLE
1.64 v 19 67 16 17 21 63 78 26 57 61 17 38 57 11 79 76 19 77 75 49 26 18 29 51 1 45 0 28 70 23 22 16 9 79 24 9 0 4 39 14
1.64 d NODES 2131
1.64 d CHECKS 7961194
1.64
1.64 totalWckTime=1.409 totalCpuTime=1.17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-225147-1168271089 -o ROOT/results/node13/solver-225147-1168271089 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225147-1168271089/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.89 2.02 2.21 4/88 14257
/proc/meminfo: memFree=1655296/2055920 swapFree=4192812/4192956
[pid=14256] ppid=14254 vsize=18540 CPUtime=0
/proc/14256/stat : 14256 (runsolver) R 14254 14256 14189 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 175503863 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/14256/statm: 4635 279 244 17 0 2626 0
[startup+0.106987 s]
/proc/loadavg: 1.89 2.02 2.21 4/88 14257
/proc/meminfo: memFree=1655296/2055920 swapFree=4192812/4192956
[pid=14256] ppid=14254 vsize=914988 CPUtime=0.08
/proc/14256/stat : 14256 (java) R 14254 14256 14189 0 -1 0 3004 0 1 0 6 2 0 0 24 0 8 0 175503863 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14256/statm: 228747 2750 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515042 s]
/proc/loadavg: 1.89 2.02 2.21 4/88 14257
/proc/meminfo: memFree=1655296/2055920 swapFree=4192812/4192956
[pid=14256] ppid=14254 vsize=915328 CPUtime=0.49
/proc/14256/stat : 14256 (java) R 14254 14256 14189 0 -1 0 7825 0 1 0 44 5 0 0 25 0 8 0 175503863 937295872 7564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073588483 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14256/statm: 228832 7564 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33715 s]
/proc/loadavg: 1.89 2.02 2.21 3/95 14264
/proc/meminfo: memFree=1624008/2055920 swapFree=4192812/4192956
[pid=14256] ppid=14254 vsize=915464 CPUtime=1.3
/proc/14256/stat : 14256 (java) R 14254 14256 14189 0 -1 0 10538 0 1 0 124 6 0 0 25 0 8 0 175503863 937435136 10276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14256/statm: 228866 10276 2524 14 0 215336 0
[pid=14256/tid=14258] ppid=14254 vsize=915464 CPUtime=0.03
/proc/14256/task/14258/stat : 14258 (java) S 14254 14256 14189 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 175503868 937435136 10276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14256/tid=14259] ppid=14254 vsize=915464 CPUtime=0
/proc/14256/task/14259/stat : 14259 (java) S 14254 14256 14189 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175503868 937435136 10276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14256/tid=14260] ppid=14254 vsize=915464 CPUtime=0
/proc/14256/task/14260/stat : 14260 (java) S 14254 14256 14189 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175503868 937435136 10276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14256/tid=14261] ppid=14254 vsize=915464 CPUtime=0
/proc/14256/task/14261/stat : 14261 (java) S 14254 14256 14189 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 175503871 937435136 10276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14256/tid=14262] ppid=14254 vsize=915464 CPUtime=0.18
/proc/14256/task/14262/stat : 14262 (java) S 14254 14256 14189 0 -1 64 364 0 0 0 17 1 0 0 15 0 8 0 175503871 937435136 10276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14256/tid=14263] ppid=14254 vsize=915464 CPUtime=0
/proc/14256/task/14263/stat : 14263 (java) S 14254 14256 14189 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 175503871 937435136 10276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14256/tid=14264] ppid=14254 vsize=915464 CPUtime=0
/proc/14256/task/14264/stat : 14264 (java) S 14254 14256 14189 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175503871 937435136 10276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 1.65132
CPU time (s): 1.61475
CPU user time (s): 1.54277
CPU system time (s): 0.071989
CPU usage (%): 97.7858
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.54276
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10554
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= 1079
involuntary context switches= 1219
runsolver used 0.002999 s user time and 0.014997 s system time
The end
Begin job on node13 on Mon Jan 8 15:44:49 UTC 2007
IDJOB= 225147
IDBENCH= 5826
FILE ID= node13/225147-1168271089
PBS_JOBID= 3483001
Free space on /tmp= 66324 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225147-1168271089/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-225147-1168271089 -o ROOT/results/node13/solver-225147-1168271089 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225147-1168271089/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d289aba8ef3634ad11565c09f6353321
RANDOM SEED= 913731098
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.247
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.247
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: 1655976 kB
Buffers: 58700 kB
Cached: 225132 kB
SwapCached: 0 kB
Active: 161344 kB
Inactive: 178884 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1655976 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3904 kB
Writeback: 0 kB
Mapped: 76912 kB
Slab: 44316 kB
Committed_AS: 4736900 kB
PageTables: 2424 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= 66324 MiB
End job on node13 on Mon Jan 8 15:44:50 UTC 2007