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/239934-1168368337/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.45 nbVariables=225 nbDomainTypes=16 minDomainSize=1 maxDomainSize=15
0.45 => wckTime=0.135 cpuTime=0.11 mem=7M894
0.45
0.45 relations being loaded...
0.46
0.46 constraints being loaded...
0.74 nbConstraints=2519 nbRelationTypes=17 nbSingletonDomainVariables=105 nbExtensionStructures=31
0.74 nbSharedExtensionStructures=2488 nbConflictsStructures=31 nbSharedConflictsStructures=2488
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.648 cpuTime=0.42 mem=16M651
1.06
1.06 preprocessing
1.06 nbConstraintChecks=40128 nbPropagations=1542 nbRevisions=10355 nbUselessRevisions=7884 nbSingletonTests=361
1.06 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=1298 detectedInconsistency=no
1.06 => wckTime=0.086 cpuTime=0.06 mem=16M651
1.10
1.10 search
1.10 run=0 nbConstraintChecks=3062 nbPropagations=1858 nbRevisions=11357 nbUselessRevisions=8462 nbAssignments=158
1.10 nbFailedAssignments=4 nbBacktracks=16 nbVisitedNodes=170 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.10 nbTooLargeKeys=0
1.10 => wckTime=0.125 cpuTime=0.08 mem=16M651
1.12
1.12 search
1.12 run=1 nbConstraintChecks=6457 nbPropagations=4063 nbRevisions=23854 nbUselessRevisions=17580 nbAssignments=324
1.12 nbFailedAssignments=8 nbBacktracks=38 nbVisitedNodes=346 nbRestartNogoods=1 mapSize=18 nbInferences=0
1.12 nbTooLargeKeys=0
1.12 => wckTime=0.145 cpuTime=0.1 mem=16M651
1.14
1.14 search
1.14 run=2 nbConstraintChecks=11105 nbPropagations=6694 nbRevisions=37921 nbUselessRevisions=27586
1.14 nbAssignments=504 nbFailedAssignments=18 nbBacktracks=62 nbVisitedNodes=545 nbRestartNogoods=3 mapSize=33
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.172 cpuTime=0.12 mem=16M651
1.17
1.17 search
1.17 run=3 nbConstraintChecks=20084 nbPropagations=10142 nbRevisions=55682 nbUselessRevisions=40169
1.17 nbAssignments=737 nbFailedAssignments=29 nbBacktracks=105 nbVisitedNodes=751 nbRestartNogoods=7 mapSize=51
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.202 cpuTime=0.15 mem=16M651
1.20
1.20 search
1.20 run=4 nbConstraintChecks=28292 nbPropagations=14270 nbRevisions=76683 nbUselessRevisions=54806
1.20 nbAssignments=944 nbFailedAssignments=40 nbBacktracks=164 nbVisitedNodes=981 nbRestartNogoods=8 mapSize=73
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.228 cpuTime=0.17 mem=16M651
1.24
1.24 search
1.24 run=5 nbConstraintChecks=38082 nbPropagations=19170 nbRevisions=101419 nbUselessRevisions=71726
1.24 nbAssignments=1165 nbFailedAssignments=57 nbBacktracks=242 nbVisitedNodes=1230 nbRestartNogoods=9 mapSize=100
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.264 cpuTime=0.2 mem=16M651
1.26
1.26 search
1.26 run=6 nbConstraintChecks=50001 nbPropagations=25073 nbRevisions=130660 nbUselessRevisions=91305
1.27 nbAssignments=1438 nbFailedAssignments=82 nbBacktracks=358 nbVisitedNodes=1559 nbRestartNogoods=10 mapSize=152
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.294 cpuTime=0.23 mem=17M626
1.32
1.32 search
1.32 run=7 nbConstraintChecks=78007 nbPropagations=32912 nbRevisions=171194 nbUselessRevisions=118170
1.32 nbAssignments=1802 nbFailedAssignments=124 nbBacktracks=535 nbVisitedNodes=1979 nbRestartNogoods=14
1.32 mapSize=225 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.346 cpuTime=0.27 mem=17M626
1.37
1.37 search
1.37 run=8 nbConstraintChecks=118159 nbPropagations=43650 nbRevisions=228537 nbUselessRevisions=155811
1.37 nbAssignments=2284 nbFailedAssignments=179 nbBacktracks=791 nbVisitedNodes=2561 nbRestartNogoods=16
1.37 mapSize=342 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.401 cpuTime=0.32 mem=17M626
1.45
1.45 search
1.45 run=9 nbConstraintChecks=179369 nbPropagations=58859 nbRevisions=311823 nbUselessRevisions=210651
1.45 nbAssignments=2953 nbFailedAssignments=261 nbBacktracks=1182 nbVisitedNodes=3341 nbRestartNogoods=20
1.45 mapSize=501 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.482 cpuTime=0.4 mem=17M626
1.55
1.55 search
1.55 run=10 nbConstraintChecks=255432 nbPropagations=79508 nbRevisions=427002 nbUselessRevisions=286097
1.55 nbAssignments=3753 nbFailedAssignments=353 nbBacktracks=1760 nbVisitedNodes=4352 nbRestartNogoods=23
1.55 mapSize=704 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.583 cpuTime=0.49 mem=17M626
1.65
1.65 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=17M626)
1.68
1.68 search
1.68 run=11 nbConstraintChecks=371165 nbPropagations=108754 nbRevisions=590493 nbUselessRevisions=392592
1.68 nbAssignments=4986 nbFailedAssignments=590 nbBacktracks=2628 nbVisitedNodes=6024 nbRestartNogoods=28
1.68 => wckTime=0.71 cpuTime=0.62 mem=17M626
1.88
1.88 search
1.88 run=12 nbConstraintChecks=564606 nbPropagations=147773 nbRevisions=869662 nbUselessRevisions=595790
1.88 nbAssignments=6594 nbFailedAssignments=874 nbBacktracks=3928 nbVisitedNodes=8245 nbRestartNogoods=32
1.88 => wckTime=0.908 cpuTime=0.81 mem=17M626
1.93
1.93 search
1.94 run=13 nbConstraintChecks=626396 nbPropagations=189179 nbRevisions=1186967 nbUselessRevisions=831967
1.94 nbAssignments=7063 nbFailedAssignments=909 nbBacktracks=4137 nbVisitedNodes=8778 nbRestartNogoods=37
1.94 => wckTime=0.964 cpuTime=0.86 mem=17M626
1.94
1.94 global
1.94 nbConstraintChecks=666524 nbPropagations=190721 nbRevisions=1197322 nbUselessRevisions=839851
1.94 nbRestartNogoods=37 solvingWckTime=0.965 solvingCpuTime=0.86 expiredTime=no totalExploration=no
1.94 nbFoundSolutions=1 globalCpuTime=1.33
1.94 => wckTime=1.617 cpuTime=1.28 mem=17M626
1.94
1.94 s SATISFIABLE
1.94 v 12 5 13 14 3 7 0 6 10 4 8 2 9 1 11 13 12 11 2 5 1 14 10 0 7 4 9 6 8 3 6 3 2 0 13 9 4 8 12 10 7 11 14 5 1 10 8 4 7 2 5 12 0 14 13 6 1 3 11 9 0 2 8 10 12 3 11 7 6 9 14 5 1 13 4 11 9 7 1 8 10 2 14 5 6 12 3 0 4 13 14 13 6 8 0 11 9 12 3 1 2 4 7 10 5 3 11 0 13 4 14 5 2 1 12 9 8 10 7 6 2 10 5 6 1 4 7 13 9 8 3 0 11 14 12 4 1 14 12 6 13 3 9 8 11 0 7 5 2 10 7 6 1 9 10 12 8 4 2 5 11 14 13 3 0 5 4 9 3 11 0 13 1 7 2 10 12 8 6 14 1 0 12 11 7 2 6 3 13 14 5 10 4 9 8 9 7 10 4 14 8 1 5 11 3 13 6 12 0 2 8 14 3 5 9 6 10 11 4 0 1 13 2 12 7
1.94 d NODES 7063
1.94 d CHECKS 666524
1.94
1.94 totalWckTime=1.698 totalCpuTime=1.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-239934-1168368337 -o ROOT/results/node2/solver-239934-1168368337 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239934-1168368337/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.83 1.93 1.97 4/88 27300
/proc/meminfo: memFree=1761032/2055920 swapFree=4180528/4192956
[pid=27299] ppid=27297 vsize=18540 CPUtime=0
/proc/27299/stat : 27299 (runsolver) R 27297 27299 26549 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 185229378 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27299/statm: 4635 279 244 17 0 2626 0
[startup+0.1029 s]
/proc/loadavg: 1.83 1.93 1.97 4/88 27300
/proc/meminfo: memFree=1761032/2055920 swapFree=4180528/4192956
[pid=27299] ppid=27297 vsize=913228 CPUtime=0.08
/proc/27299/stat : 27299 (java) S 27297 27299 26549 0 -1 0 2911 0 1 0 7 1 0 0 18 0 8 0 185229378 935145472 2657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27299/statm: 228307 2657 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.514984 s]
/proc/loadavg: 1.83 1.93 1.97 4/88 27300
/proc/meminfo: memFree=1761032/2055920 swapFree=4180528/4192956
[pid=27299] ppid=27297 vsize=915328 CPUtime=0.49
/proc/27299/stat : 27299 (java) R 27297 27299 26549 0 -1 0 6353 0 1 0 46 3 0 0 18 0 8 0 185229378 937295872 6092 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27299/statm: 228832 6092 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33612 s]
/proc/loadavg: 1.83 1.93 1.97 3/95 27307
/proc/meminfo: memFree=1734864/2055920 swapFree=4180528/4192956
[pid=27299] ppid=27297 vsize=915580 CPUtime=1.3
/proc/27299/stat : 27299 (java) R 27297 27299 26549 0 -1 0 9268 0 1 0 124 6 0 0 24 0 8 0 185229378 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27299/statm: 228895 9006 2524 14 0 215365 0
[pid=27299/tid=27301] ppid=27297 vsize=915580 CPUtime=0.04
/proc/27299/task/27301/stat : 27301 (java) S 27297 27299 26549 0 -1 64 477 0 0 0 4 0 0 0 16 0 8 0 185229382 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27299/tid=27302] ppid=27297 vsize=915580 CPUtime=0
/proc/27299/task/27302/stat : 27302 (java) S 27297 27299 26549 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185229382 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27299/tid=27303] ppid=27297 vsize=915580 CPUtime=0
/proc/27299/task/27303/stat : 27303 (java) S 27297 27299 26549 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185229382 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27299/tid=27304] ppid=27297 vsize=915580 CPUtime=0
/proc/27299/task/27304/stat : 27304 (java) S 27297 27299 26549 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185229386 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27299/tid=27305] ppid=27297 vsize=915580 CPUtime=0.27
/proc/27299/task/27305/stat : 27305 (java) S 27297 27299 26549 0 -1 64 421 0 0 0 27 0 0 0 15 0 8 0 185229386 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27299/tid=27306] ppid=27297 vsize=915580 CPUtime=0
/proc/27299/task/27306/stat : 27306 (java) S 27297 27299 26549 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185229386 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27299/tid=27307] ppid=27297 vsize=915580 CPUtime=0
/proc/27299/task/27307/stat : 27307 (java) S 27297 27299 26549 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185229386 937553920 9006 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) 915580
Child status: 0
Real time (s): 1.97811
CPU time (s): 1.91471
CPU user time (s): 1.83572
CPU system time (s): 0.078987
CPU usage (%): 96.795
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.83572
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9546
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= 1343
involuntary context switches= 1487
runsolver used 0.004999 s user time and 0.012998 s system time
The end
Begin job on node2 on Tue Jan 9 18:45:37 UTC 2007
IDJOB= 239934
IDBENCH= 7092
FILE ID= node2/239934-1168368337
PBS_JOBID= 3503821
Free space on /tmp= 66531 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-15/qcp-15-120-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239934-1168368337/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-239934-1168368337 -o ROOT/results/node2/solver-239934-1168368337 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239934-1168368337/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1b8d10feeed92e33cb3a72650528ece1
RANDOM SEED= 748203154
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.259
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 : 5931.00
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.259
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: 1761512 kB
Buffers: 33376 kB
Cached: 143252 kB
SwapCached: 376 kB
Active: 157172 kB
Inactive: 85452 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1761512 kB
SwapTotal: 4192956 kB
SwapFree: 4180528 kB
Dirty: 2224 kB
Writeback: 0 kB
Mapped: 78440 kB
Slab: 36324 kB
Committed_AS: 5101816 kB
PageTables: 2396 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= 66531 MiB
End job on node2 on Tue Jan 9 18:45:39 UTC 2007