0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/239991-1168368517/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.46 nbVariables=225 nbDomainTypes=16 minDomainSize=1 maxDomainSize=15
0.46 => wckTime=0.135 cpuTime=0.12 mem=7M894
0.46
0.46 relations being loaded...
0.46
0.46 constraints being loaded...
0.74 nbConstraints=2520 nbRelationTypes=17 nbSingletonDomainVariables=105 nbExtensionStructures=31
0.74 nbSharedExtensionStructures=2489 nbConflictsStructures=31 nbSharedConflictsStructures=2489
0.74 nbSharedBinaryRepresentations=493 maxDegree=28 maxArity=2
0.74 => wckTime=0.418 cpuTime=0.28 mem=15M712
0.79
0.79 solver IterativeSystematicSolver being built...
0.97 => wckTime=0.653 cpuTime=0.44 mem=16M651
1.07
1.07 preprocessing
1.07 nbConstraintChecks=41545 nbPropagations=1498 nbRevisions=10249 nbUselessRevisions=7840 nbSingletonTests=347
1.07 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=1276 detectedInconsistency=no
1.07 => wckTime=0.093 cpuTime=0.07 mem=16M651
1.11
1.11 search
1.11 run=0 nbConstraintChecks=3243 nbPropagations=1757 nbRevisions=11281 nbUselessRevisions=8411 nbAssignments=140
1.11 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=151 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.11 nbTooLargeKeys=0
1.11 => wckTime=0.133 cpuTime=0.09 mem=16M651
1.14
1.14 search
1.14 run=1 nbConstraintChecks=7299 nbPropagations=3947 nbRevisions=23962 nbUselessRevisions=17589 nbAssignments=325
1.14 nbFailedAssignments=13 nbBacktracks=27 nbVisitedNodes=350 nbRestartNogoods=1 mapSize=17 nbInferences=0
1.14 nbTooLargeKeys=0
1.14 => wckTime=0.161 cpuTime=0.12 mem=16M651
1.18
1.18 search
1.18 run=2 nbConstraintChecks=23372 nbPropagations=7555 nbRevisions=43953 nbUselessRevisions=32474
1.18 nbAssignments=640 nbFailedAssignments=19 nbBacktracks=49 nbVisitedNodes=534 nbRestartNogoods=7 mapSize=26
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.203 cpuTime=0.15 mem=16M651
1.21
1.21 search
1.21 run=3 nbConstraintChecks=33482 nbPropagations=12068 nbRevisions=68195 nbUselessRevisions=50363
1.21 nbAssignments=891 nbFailedAssignments=26 nbBacktracks=85 nbVisitedNodes=730 nbRestartNogoods=10 mapSize=37
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.233 cpuTime=0.18 mem=16M651
1.24
1.24 search
1.24 run=4 nbConstraintChecks=42459 nbPropagations=17368 nbRevisions=95915 nbUselessRevisions=70356
1.24 nbAssignments=1110 nbFailedAssignments=41 nbBacktracks=149 nbVisitedNodes=977 nbRestartNogoods=13 mapSize=62
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.263 cpuTime=0.21 mem=16M651
1.27
1.27 search
1.27 run=5 nbConstraintChecks=50667 nbPropagations=23506 nbRevisions=126634 nbUselessRevisions=92068
1.27 nbAssignments=1355 nbFailedAssignments=62 nbBacktracks=228 nbVisitedNodes=1270 nbRestartNogoods=16 mapSize=102
1.27 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.296 cpuTime=0.23 mem=16M651
1.31
1.31 search
1.31 run=6 nbConstraintChecks=64105 nbPropagations=30751 nbRevisions=162143 nbUselessRevisions=116556
1.31 nbAssignments=1629 nbFailedAssignments=90 nbBacktracks=343 nbVisitedNodes=1605 nbRestartNogoods=19 mapSize=157
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.329 cpuTime=0.26 mem=17M627
1.36
1.36 search
1.36 run=7 nbConstraintChecks=85763 nbPropagations=39989 nbRevisions=205187 nbUselessRevisions=145244
1.36 nbAssignments=2005 nbFailedAssignments=166 nbBacktracks=514 nbVisitedNodes=2110 nbRestartNogoods=23
1.36 mapSize=274 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.379 cpuTime=0.3 mem=17M627
1.41
1.41 search
1.41 run=8 nbConstraintChecks=118509 nbPropagations=51796 nbRevisions=261569 nbUselessRevisions=182429
1.41 nbAssignments=2486 nbFailedAssignments=219 nbBacktracks=772 nbVisitedNodes=2675 nbRestartNogoods=27
1.41 mapSize=379 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.431 cpuTime=0.35 mem=17M627
1.49
1.49 search
1.49 run=9 nbConstraintChecks=170062 nbPropagations=67318 nbRevisions=337996 nbUselessRevisions=231906
1.49 nbAssignments=3107 nbFailedAssignments=307 nbBacktracks=1164 nbVisitedNodes=3477 nbRestartNogoods=30
1.49 mapSize=534 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.514 cpuTime=0.43 mem=17M627
1.62
1.62 search
1.62 run=10 nbConstraintChecks=261874 nbPropagations=89452 nbRevisions=448952 nbUselessRevisions=301667
1.62 nbAssignments=4284 nbFailedAssignments=499 nbBacktracks=1741 nbVisitedNodes=4738 nbRestartNogoods=35
1.62 mapSize=833 nbInferences=0 nbTooLargeKeys=0
1.62 => wckTime=0.637 cpuTime=0.54 mem=17M627
1.70
1.70 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=17M627)
1.77
1.77 search
1.77 run=11 nbConstraintChecks=402914 nbPropagations=118501 nbRevisions=644579 nbUselessRevisions=442224
1.77 nbAssignments=5608 nbFailedAssignments=670 nbBacktracks=2606 nbVisitedNodes=6150 nbRestartNogoods=40
1.77 => wckTime=0.794 cpuTime=0.69 mem=17M627
1.98
1.98 search
1.98 run=12 nbConstraintChecks=625942 nbPropagations=158130 nbRevisions=972447 nbUselessRevisions=693459
1.98 nbAssignments=7212 nbFailedAssignments=953 nbBacktracks=3907 nbVisitedNodes=8339 nbRestartNogoods=45
1.98 => wckTime=1.005 cpuTime=0.9 mem=17M627
2.33
2.33 search
2.33 run=13 nbConstraintChecks=969518 nbPropagations=215119 nbRevisions=1496520 nbUselessRevisions=1106234
2.33 nbAssignments=9739 nbFailedAssignments=1505 nbBacktracks=5854 nbVisitedNodes=11979 nbRestartNogoods=50
2.33 => wckTime=1.35 cpuTime=1.24 mem=17M627
2.81
2.81 search
2.81 run=14 nbConstraintChecks=1525046 nbPropagations=296492 nbRevisions=2350418 nbUselessRevisions=1795806
2.81 nbAssignments=12976 nbFailedAssignments=2128 nbBacktracks=8243 nbVisitedNodes=16482 nbRestartNogoods=58
2.81 => wckTime=1.831 cpuTime=1.71 mem=17M627
2.81
2.81 global
2.81 nbConstraintChecks=1566591 nbPropagations=297990 nbRevisions=2360667 nbUselessRevisions=1803646
2.81 nbRestartNogoods=58 solvingWckTime=1.833 solvingCpuTime=1.71 expiredTime=no totalExploration=no
2.81 nbFoundSolutions=1 globalCpuTime=2.2
2.81 => wckTime=2.49 cpuTime=2.15 mem=17M627
2.81
2.81 s SATISFIABLE
2.81 v 4 13 10 12 3 5 2 14 11 6 1 8 0 7 9 5 4 9 8 12 6 11 0 10 14 2 13 7 3 1 11 1 5 13 9 7 6 12 4 0 10 3 8 14 2 3 8 4 14 11 10 7 1 6 12 9 5 2 13 0 14 12 1 11 10 4 5 2 8 13 6 9 3 0 7 8 7 11 9 0 3 10 13 5 2 12 14 1 4 6 9 5 6 0 4 2 3 10 13 8 14 7 11 1 12 0 11 13 2 6 8 4 7 14 5 3 1 12 9 10 1 10 7 6 2 14 12 8 3 9 5 0 13 11 4 2 3 0 7 14 12 1 5 9 10 11 6 4 8 13 13 2 14 1 7 11 9 4 0 3 8 12 10 6 5 7 9 3 10 13 0 8 6 12 1 4 11 5 2 14 10 6 12 3 1 9 0 11 2 7 13 4 14 5 8 12 0 8 4 5 13 14 9 1 11 7 2 6 10 3 6 14 2 5 8 1 13 3 7 4 0 10 9 12 11
2.81 d NODES 12976
2.81 d CHECKS 1566591
2.81
2.81 totalWckTime=2.578 totalCpuTime=2.21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-239991-1168368517 -o ROOT/results/node14/solver-239991-1168368517 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239991-1168368517/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: 2.08 2.02 2.01 5/88 14296
/proc/meminfo: memFree=1744696/2055920 swapFree=4158768/4192956
[pid=14295] ppid=14293 vsize=906644 CPUtime=0.03
/proc/14295/stat : 14295 (java) S 14293 14295 13989 0 -1 0 2069 0 1 0 2 1 0 0 18 0 2 0 185246603 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/14295/statm: 226661 1818 1036 14 0 214244 0
[pid=14295/tid=14297] ppid=14293 vsize=906644 CPUtime=0
/proc/14295/task/14297/stat : 14297 (java) R 14293 14295 13989 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 185246607 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103345 s]
/proc/loadavg: 2.08 2.02 2.01 5/88 14296
/proc/meminfo: memFree=1744696/2055920 swapFree=4158768/4192956
[pid=14295] ppid=14293 vsize=914988 CPUtime=0.09
/proc/14295/stat : 14295 (java) S 14293 14295 13989 0 -1 0 2996 0 1 0 8 1 0 0 17 0 8 0 185246603 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14295/statm: 228747 2742 1427 14 0 215242 0
[pid=14295/tid=14297] ppid=14293 vsize=914988 CPUtime=0
/proc/14295/task/14297/stat : 14297 (java) S 14293 14295 13989 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 185246607 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514387 s]
/proc/loadavg: 2.08 2.02 2.01 5/88 14296
/proc/meminfo: memFree=1744696/2055920 swapFree=4158768/4192956
[pid=14295] ppid=14293 vsize=915328 CPUtime=0.49
/proc/14295/stat : 14295 (java) R 14293 14295 13989 0 -1 0 6339 0 1 0 46 3 0 0 18 0 8 0 185246603 937295872 6078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14295/statm: 228832 6078 2138 14 0 215302 0
[pid=14295/tid=14297] ppid=14293 vsize=915328 CPUtime=0
/proc/14295/task/14297/stat : 14297 (java) S 14293 14295 13989 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 185246607 937295872 6078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34347 s]
/proc/loadavg: 2.08 2.02 2.01 3/95 14303
/proc/meminfo: memFree=1718528/2055920 swapFree=4158768/4192956
[pid=14295] ppid=14293 vsize=915580 CPUtime=1.32
/proc/14295/stat : 14295 (java) R 14293 14295 13989 0 -1 0 9265 0 1 0 126 6 0 0 24 0 8 0 185246603 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073967192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14295/statm: 228895 9003 2524 14 0 215365 0
[pid=14295/tid=14297] ppid=14293 vsize=915580 CPUtime=0.04
/proc/14295/task/14297/stat : 14297 (java) S 14293 14295 13989 0 -1 64 478 0 0 0 4 0 0 0 16 0 8 0 185246607 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14295/tid=14298] ppid=14293 vsize=915580 CPUtime=0
/proc/14295/task/14298/stat : 14298 (java) S 14293 14295 13989 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185246608 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14295/tid=14299] ppid=14293 vsize=915580 CPUtime=0
/proc/14295/task/14299/stat : 14299 (java) S 14293 14295 13989 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185246608 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14295/tid=14300] ppid=14293 vsize=915580 CPUtime=0
/proc/14295/task/14300/stat : 14300 (java) S 14293 14295 13989 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185246611 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14295/tid=14301] ppid=14293 vsize=915580 CPUtime=0.28
/proc/14295/task/14301/stat : 14301 (java) S 14293 14295 13989 0 -1 64 422 0 0 0 27 1 0 0 15 0 8 0 185246611 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14295/tid=14302] ppid=14293 vsize=915580 CPUtime=0
/proc/14295/task/14302/stat : 14302 (java) S 14293 14295 13989 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185246611 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14295/tid=14303] ppid=14293 vsize=915580 CPUtime=0
/proc/14295/task/14303/stat : 14303 (java) S 14293 14295 13989 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185246611 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 2.84845
CPU time (s): 2.79057
CPU user time (s): 2.71359
CPU system time (s): 0.076988
CPU usage (%): 97.9682
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.71359
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= 9534
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= 1339
involuntary context switches= 1574
runsolver used 0.004999 s user time and 0.018997 s system time
The end
Begin job on node14 on Tue Jan 9 18:48:37 UTC 2007
IDJOB= 239991
IDBENCH= 7096
FILE ID= node14/239991-1168368517
PBS_JOBID= 3503794
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-15/qcp-15-120-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239991-1168368517/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-239991-1168368517 -o ROOT/results/node14/solver-239991-1168368517 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239991-1168368517/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d63a7dee5ef3a3d65abe379e0165ba7b
RANDOM SEED= 24941825
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.227
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.227
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: 1745112 kB
Buffers: 35388 kB
Cached: 163740 kB
SwapCached: 3240 kB
Active: 144972 kB
Inactive: 110736 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1745112 kB
SwapTotal: 4192956 kB
SwapFree: 4158768 kB
Dirty: 2120 kB
Writeback: 0 kB
Mapped: 64888 kB
Slab: 39876 kB
Committed_AS: 6289820 kB
PageTables: 2252 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= 66560 MiB
End job on node14 on Tue Jan 9 18:48:40 UTC 2007