0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=esac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/231731-1168318441/unknown.xml
0.45
0.45 domains being loaded...
0.46
0.46 variables being loaded...
0.50 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.50 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.50
0.50 relations being loaded...
0.63
0.63 constraints being loaded...
0.76 nbConstraints=470 nbRelationTypes=470 nbExtensionStructures=470 nbSharedExtensionStructures=0
0.76 nbConflictsStructures=470 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4582 maxDegree=31
0.76 maxArity=2
0.76 => wckTime=0.371 cpuTime=0.27 mem=15M744
0.81
0.81 solver IterativeSystematicSolver being built...
0.97 => wckTime=0.578 cpuTime=0.41 mem=15M447
1.03
1.03 preprocessing
1.03 nbConstraintChecks=84934 nbPropagations=1097 nbRevisions=8499 nbUselessRevisions=6899 nbSingletonTests=61
1.03 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
1.03 => wckTime=0.059 cpuTime=0.04 mem=15M447
1.06
1.06 search
1.06 run=0 nbConstraintChecks=29507 nbPropagations=1494 nbRevisions=12835 nbUselessRevisions=10464 nbAssignments=20
1.06 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=32 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.06 nbTooLargeKeys=0
1.06 => wckTime=0.082 cpuTime=0.06 mem=15M447
1.08
1.08 search
1.08 run=1 nbConstraintChecks=72501 nbPropagations=3511 nbRevisions=32081 nbUselessRevisions=26211 nbAssignments=55
1.08 nbFailedAssignments=12 nbBacktracks=30 nbVisitedNodes=81 nbRestartNogoods=2 mapSize=18 nbInferences=0
1.08 nbTooLargeKeys=0
1.08 => wckTime=0.104 cpuTime=0.07 mem=15M447
1.09
1.09 search
1.09 run=2 nbConstraintChecks=141646 nbPropagations=6388 nbRevisions=62891 nbUselessRevisions=51260
1.09 nbAssignments=97 nbFailedAssignments=26 nbBacktracks=52 nbVisitedNodes=150 nbRestartNogoods=7 mapSize=36
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.12 cpuTime=0.09 mem=15M447
1.11
1.11 search
1.11 run=3 nbConstraintChecks=220103 nbPropagations=10286 nbRevisions=107199 nbUselessRevisions=87250
1.11 nbAssignments=156 nbFailedAssignments=45 nbBacktracks=87 nbVisitedNodes=244 nbRestartNogoods=11 mapSize=64
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.138 cpuTime=0.1 mem=15M447
1.14
1.14 search
1.14 run=4 nbConstraintChecks=349369 nbPropagations=15728 nbRevisions=172903 nbUselessRevisions=140843
1.14 nbAssignments=241 nbFailedAssignments=71 nbBacktracks=138 nbVisitedNodes=385 nbRestartNogoods=12 mapSize=107
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.171 cpuTime=0.13 mem=15M447
1.19
1.19 search
1.19 run=5 nbConstraintChecks=582833 nbPropagations=23663 nbRevisions=274218 nbUselessRevisions=222770
1.19 nbAssignments=378 nbFailedAssignments=126 nbBacktracks=213 nbVisitedNodes=621 nbRestartNogoods=17 mapSize=169
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.217 cpuTime=0.17 mem=15M447
1.24
1.24 search
1.24 run=6 nbConstraintChecks=849789 nbPropagations=34846 nbRevisions=419866 nbUselessRevisions=340110
1.24 nbAssignments=558 nbFailedAssignments=185 nbBacktracks=329 nbVisitedNodes=919 nbRestartNogoods=23 mapSize=257
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.267 cpuTime=0.22 mem=15M447
1.31
1.32 search
1.32 run=7 nbConstraintChecks=1265720 nbPropagations=50870 nbRevisions=631262 nbUselessRevisions=509140
1.32 nbAssignments=826 nbFailedAssignments=271 nbBacktracks=502 nbVisitedNodes=1371 nbRestartNogoods=27 mapSize=389
1.32 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.343 cpuTime=0.3 mem=15M447
1.43
1.43 search
1.43 run=8 nbConstraintChecks=1926388 nbPropagations=74161 nbRevisions=937472 nbUselessRevisions=751076
1.43 nbAssignments=1245 nbFailedAssignments=412 nbBacktracks=760 nbVisitedNodes=2028 nbRestartNogoods=33
1.43 mapSize=577 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.461 cpuTime=0.41 mem=15M447
1.60
1.60 search
1.60 run=9 nbConstraintChecks=2800136 nbPropagations=107565 nbRevisions=1382682 nbUselessRevisions=1103314
1.60 nbAssignments=1849 nbFailedAssignments=609 nbBacktracks=1144 nbVisitedNodes=3002 nbRestartNogoods=40
1.60 mapSize=863 nbInferences=0 nbTooLargeKeys=0
1.60 => wckTime=0.626 cpuTime=0.56 mem=15M447
1.68
1.68 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=15M447)
1.82
1.82 search
1.82 run=10 nbConstraintChecks=4079240 nbPropagations=155746 nbRevisions=2030348 nbUselessRevisions=1614778
1.82 nbAssignments=2741 nbFailedAssignments=920 nbBacktracks=1720 nbVisitedNodes=4476 nbRestartNogoods=46
1.82 => wckTime=0.843 cpuTime=0.76 mem=15M447
2.14
2.14 search
2.14 run=11 nbConstraintChecks=6266772 nbPropagations=228088 nbRevisions=3007091 nbUselessRevisions=2385288
2.14 nbAssignments=4063 nbFailedAssignments=1369 nbBacktracks=2587 nbVisitedNodes=6682 nbRestartNogoods=53
2.14 => wckTime=1.166 cpuTime=1.08 mem=15M447
2.62
2.62 search
2.62 run=12 nbConstraintChecks=9442102 nbPropagations=335420 nbRevisions=4446523 nbUselessRevisions=3516009
2.62 nbAssignments=6043 nbFailedAssignments=2042 nbBacktracks=3887 nbVisitedNodes=9975 nbRestartNogoods=60
2.62 => wckTime=1.643 cpuTime=1.55 mem=15M447
3.28
3.29 search
3.29 run=13 nbConstraintChecks=13914635 nbPropagations=492784 nbRevisions=6559121 nbUselessRevisions=5173619
3.29 nbAssignments=8996 nbFailedAssignments=3039 nbBacktracks=5835 nbVisitedNodes=14867 nbRestartNogoods=65
3.29 => wckTime=2.313 cpuTime=2.22 mem=15M447
4.42
4.42 search
4.42 run=14 nbConstraintChecks=21647832 nbPropagations=734995 nbRevisions=9857148 nbUselessRevisions=7769117
4.42 nbAssignments=13473 nbFailedAssignments=4589 nbBacktracks=8755 nbVisitedNodes=22411 nbRestartNogoods=76
4.42 => wckTime=3.452 cpuTime=3.36 mem=15M447
4.65
4.65 search
4.65 run=15 nbConstraintChecks=23086838 nbPropagations=993800 nbRevisions=13391370 nbUselessRevisions=10553731
4.65 nbAssignments=14495 nbFailedAssignments=4950 nbBacktracks=9366 nbVisitedNodes=24127 nbRestartNogoods=90
4.65 => wckTime=3.678 cpuTime=3.57 mem=16M422
4.65
4.65 global
4.65 nbConstraintChecks=23171772 nbPropagations=994897 nbRevisions=13399869 nbUselessRevisions=10560630
4.65 nbRestartNogoods=90 solvingWckTime=3.679 solvingCpuTime=3.58 expiredTime=no totalExploration=no
4.65 nbFoundSolutions=1 globalCpuTime=4.04
4.65 => wckTime=4.26 cpuTime=3.99 mem=16M422
4.65
4.65 s SATISFIABLE
4.65 v 10 15 1 13 2 19 12 12 14 14 13 9 8 4 19 18 10 18 9 13 2 12 6 11 19 17 7 3 13 10 18 2 6 12 15 4 6 13 18 6 7 7 3 5 15 4 18 4 20 19
4.65 d NODES 14495
4.65 d CHECKS 23171772
4.65
4.65 totalWckTime=4.34 totalCpuTime=4.04
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-231731-1168318441 -o ROOT/results/node18/solver-231731-1168318441 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231731-1168318441/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.87 1.52 1.55 4/88 16895
/proc/meminfo: memFree=1444016/2055920 swapFree=4192812/4192956
[pid=16894] ppid=16892 vsize=18540 CPUtime=0
/proc/16894/stat : 16894 (runsolver) R 16892 16894 16463 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 180238823 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16894/statm: 4635 279 244 17 0 2626 0
[startup+0.109855 s]
/proc/loadavg: 1.87 1.52 1.55 4/88 16895
/proc/meminfo: memFree=1444016/2055920 swapFree=4192812/4192956
[pid=16894] ppid=16892 vsize=905992 CPUtime=0.01
/proc/16894/stat : 16894 (java) R 16892 16894 16463 0 -1 0 1871 0 1 0 1 0 0 0 17 0 1 0 180238823 927735808 1620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151978015 0 4 0 7368 0 0 0 17 1 0 0
/proc/16894/statm: 226498 1620 952 14 0 214081 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 905992
[startup+0.517887 s]
/proc/loadavg: 1.87 1.52 1.55 4/88 16895
/proc/meminfo: memFree=1444016/2055920 swapFree=4192812/4192956
[pid=16894] ppid=16892 vsize=915328 CPUtime=0.41
/proc/16894/stat : 16894 (java) S 16892 16894 16463 0 -1 0 6148 0 1 0 38 3 0 0 18 0 8 0 180238823 937295872 5887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16894/statm: 228832 5887 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.33897 s]
/proc/loadavg: 1.87 1.52 1.55 4/95 16902
/proc/meminfo: memFree=1418360/2055920 swapFree=4192812/4192956
[pid=16894] ppid=16892 vsize=915460 CPUtime=1.23
/proc/16894/stat : 16894 (java) R 16892 16894 16463 0 -1 0 9128 0 1 0 117 6 0 0 19 0 8 0 180238823 937431040 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073341584 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16894/statm: 228865 8866 2524 14 0 215335 0
[pid=16894/tid=16896] ppid=16892 vsize=915460 CPUtime=0.03
/proc/16894/task/16896/stat : 16896 (java) S 16892 16894 16463 0 -1 64 374 0 0 0 3 0 0 0 16 0 8 0 180238835 937431040 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16894/tid=16897] ppid=16892 vsize=915460 CPUtime=0
/proc/16894/task/16897/stat : 16897 (java) S 16892 16894 16463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180238835 937431040 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16894/tid=16898] ppid=16892 vsize=915460 CPUtime=0
/proc/16894/task/16898/stat : 16898 (java) S 16892 16894 16463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180238835 937431040 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16894/tid=16899] ppid=16892 vsize=915460 CPUtime=0
/proc/16894/task/16899/stat : 16899 (java) S 16892 16894 16463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180238839 937431040 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16894/tid=16900] ppid=16892 vsize=915460 CPUtime=0.2
/proc/16894/task/16900/stat : 16900 (java) S 16892 16894 16463 0 -1 64 380 0 0 0 19 1 0 0 19 0 8 0 180238839 937431040 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16894/tid=16901] ppid=16892 vsize=915460 CPUtime=0
/proc/16894/task/16901/stat : 16901 (java) S 16892 16894 16463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180238839 937431040 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16894/tid=16902] ppid=16892 vsize=915460 CPUtime=0
/proc/16894/task/16902/stat : 16902 (java) S 16892 16894 16463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180238839 937431040 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915460
[startup+2.97812 s]
/proc/loadavg: 1.87 1.52 1.55 3/95 16902
/proc/meminfo: memFree=1418232/2055920 swapFree=4192812/4192956
[pid=16894] ppid=16892 vsize=915460 CPUtime=2.86
/proc/16894/stat : 16894 (java) R 16892 16894 16463 0 -1 0 9146 0 1 0 279 7 0 0 25 0 8 0 180238823 937431040 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16894/statm: 228865 8883 2524 14 0 215335 0
[pid=16894/tid=16896] ppid=16892 vsize=915460 CPUtime=0.03
/proc/16894/task/16896/stat : 16896 (java) S 16892 16894 16463 0 -1 64 374 0 0 0 3 0 0 0 17 0 8 0 180238835 937431040 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16894/tid=16897] ppid=16892 vsize=915460 CPUtime=0
/proc/16894/task/16897/stat : 16897 (java) S 16892 16894 16463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180238835 937431040 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16894/tid=16898] ppid=16892 vsize=915460 CPUtime=0
/proc/16894/task/16898/stat : 16898 (java) S 16892 16894 16463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180238835 937431040 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16894/tid=16899] ppid=16892 vsize=915460 CPUtime=0
/proc/16894/task/16899/stat : 16899 (java) S 16892 16894 16463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 180238839 937431040 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16894/tid=16900] ppid=16892 vsize=915460 CPUtime=0.24
/proc/16894/task/16900/stat : 16900 (java) S 16892 16894 16463 0 -1 64 397 0 0 0 22 2 0 0 16 0 8 0 180238839 937431040 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16894/tid=16901] ppid=16892 vsize=915460 CPUtime=0
/proc/16894/task/16901/stat : 16901 (java) S 16892 16894 16463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180238839 937431040 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16894/tid=16902] ppid=16892 vsize=915460 CPUtime=0
/proc/16894/task/16902/stat : 16902 (java) S 16892 16894 16463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180238839 937431040 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 4.70406
CPU time (s): 4.54631
CPU user time (s): 4.46632
CPU system time (s): 0.079987
CPU usage (%): 96.6464
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.46632
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9156
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= 960
involuntary context switches= 1308
runsolver used 0.009998 s user time and 0.021996 s system time
The end
Begin job on node18 on Tue Jan 9 04:54:01 UTC 2007
IDJOB= 231731
IDBENCH= 6482
FILE ID= node18/231731-1168318441
PBS_JOBID= 3502639
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-73_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231731-1168318441/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-231731-1168318441 -o ROOT/results/node18/solver-231731-1168318441 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231731-1168318441/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9a9a7267ea5fd64dd8e46fb651783c82
RANDOM SEED= 512204928
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.231
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.231
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: 1444496 kB
Buffers: 99192 kB
Cached: 386940 kB
SwapCached: 0 kB
Active: 349200 kB
Inactive: 200912 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1444496 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2204 kB
Writeback: 0 kB
Mapped: 84520 kB
Slab: 46304 kB
Committed_AS: 5407624 kB
PageTables: 2096 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= 66550 MiB
End job on node18 on Tue Jan 9 04:54:06 UTC 2007