0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=esac.xml
0.43
0.43 instance
0.43 name=/tmp/evaluation/226221-1168274812/unknown.xml
0.46
0.46 domains being loaded...
0.46
0.46 variables being loaded...
0.50 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.50 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.50
0.50 relations being loaded...
0.61
0.61 constraints being loaded...
0.69 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.69 => wckTime=0.29 cpuTime=0.23 mem=15M728
0.73
0.73 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.486 cpuTime=0.36 mem=14M928
0.93
0.93 preprocessing
0.93 nbConstraintChecks=86615 nbPropagations=836 nbRevisions=3723 nbUselessRevisions=2458 nbSingletonTests=52
0.93 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.046 cpuTime=0.02 mem=14M928
0.95
0.95 search
0.95 run=0 nbConstraintChecks=42616 nbPropagations=1342 nbRevisions=6806 nbUselessRevisions=4386 nbAssignments=24
0.95 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.066 cpuTime=0.04 mem=14M928
0.97
0.97 search
0.97 run=1 nbConstraintChecks=136150 nbPropagations=3758 nbRevisions=20081 nbUselessRevisions=12838
0.97 nbAssignments=68 nbFailedAssignments=37 nbBacktracks=26 nbVisitedNodes=122 nbRestartNogoods=1 mapSize=21
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.087 cpuTime=0.05 mem=14M928
1.00
1.00 search
1.00 run=2 nbConstraintChecks=243656 nbPropagations=7546 nbRevisions=41572 nbUselessRevisions=26445
1.00 nbAssignments=128 nbFailedAssignments=71 nbBacktracks=49 nbVisitedNodes=232 nbRestartNogoods=4 mapSize=42
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.109 cpuTime=0.07 mem=14M928
1.02
1.02 search
1.02 run=3 nbConstraintChecks=430806 nbPropagations=13461 nbRevisions=76571 nbUselessRevisions=48517
1.02 nbAssignments=228 nbFailedAssignments=134 nbBacktracks=83 nbVisitedNodes=419 nbRestartNogoods=10 mapSize=72
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.133 cpuTime=0.1 mem=14M928
1.04
1.04 search
1.04 run=4 nbConstraintChecks=595036 nbPropagations=21449 nbRevisions=124061 nbUselessRevisions=78419
1.04 nbAssignments=323 nbFailedAssignments=174 nbBacktracks=133 nbVisitedNodes=579 nbRestartNogoods=13 mapSize=110
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.154 cpuTime=0.12 mem=14M928
1.09
1.09 search
1.09 run=5 nbConstraintChecks=961867 nbPropagations=33692 nbRevisions=197128 nbUselessRevisions=124146
1.09 nbAssignments=499 nbFailedAssignments=265 nbBacktracks=208 nbVisitedNodes=890 nbRestartNogoods=16 mapSize=177
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.204 cpuTime=0.16 mem=14M928
1.16
1.16 search
1.17 run=6 nbConstraintChecks=1566371 nbPropagations=52660 nbRevisions=312113 nbUselessRevisions=195218
1.17 nbAssignments=775 nbFailedAssignments=427 nbBacktracks=321 nbVisitedNodes=1410 nbRestartNogoods=18 mapSize=281
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.278 cpuTime=0.23 mem=14M928
1.26
1.26 search
1.26 run=7 nbConstraintChecks=2373065 nbPropagations=81077 nbRevisions=485623 nbUselessRevisions=302326
1.26 nbAssignments=1152 nbFailedAssignments=631 nbBacktracks=491 nbVisitedNodes=2112 nbRestartNogoods=23
1.26 mapSize=433 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.372 cpuTime=0.32 mem=14M928
1.41
1.41 search
1.41 run=8 nbConstraintChecks=3669043 nbPropagations=124624 nbRevisions=750951 nbUselessRevisions=465828
1.41 nbAssignments=1733 nbFailedAssignments=947 nbBacktracks=747 nbVisitedNodes=3202 nbRestartNogoods=31
1.41 mapSize=679 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.523 cpuTime=0.45 mem=14M928
1.61
1.61 search
1.61 run=9 nbConstraintChecks=5615653 nbPropagations=189485 nbRevisions=1150375 nbUselessRevisions=712206
1.61 nbAssignments=2611 nbFailedAssignments=1438 nbBacktracks=1131 nbVisitedNodes=4844 nbRestartNogoods=47
1.61 mapSize=1031 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.719 cpuTime=0.64 mem=14M928
1.62
1.62 INFO : Stopping hyperNogood (mapSize=1047, nbTooLargekeys=0, mem=14M928)
1.89
1.89 search
1.89 run=10 nbConstraintChecks=8451784 nbPropagations=286751 nbRevisions=1747345 nbUselessRevisions=1080264
1.89 nbAssignments=3920 nbFailedAssignments=2168 nbBacktracks=1707 nbVisitedNodes=7300 nbRestartNogoods=61
1.89 => wckTime=0.999 cpuTime=0.92 mem=14M928
2.33
2.33 search
2.33 run=11 nbConstraintChecks=13041408 nbPropagations=436053 nbRevisions=2664913 nbUselessRevisions=1643356
2.33 nbAssignments=5973 nbFailedAssignments=3355 nbBacktracks=2571 nbVisitedNodes=11181 nbRestartNogoods=73
2.33 => wckTime=1.443 cpuTime=1.35 mem=14M928
2.87
2.87 search
2.87 run=12 nbConstraintChecks=18691854 nbPropagations=651123 nbRevisions=3988022 nbUselessRevisions=2455641
2.87 nbAssignments=8644 nbFailedAssignments=4725 nbBacktracks=3871 nbVisitedNodes=16081 nbRestartNogoods=79
2.87 => wckTime=1.982 cpuTime=1.89 mem=14M928
3.78
3.78 search
3.78 run=13 nbConstraintChecks=28251874 nbPropagations=972170 nbRevisions=5965274 nbUselessRevisions=3663437
3.78 nbAssignments=12846 nbFailedAssignments=6977 nbBacktracks=5818 nbVisitedNodes=23874 nbRestartNogoods=86
3.78 => wckTime=2.892 cpuTime=2.79 mem=14M928
3.84
3.84 search
3.84 run=14 nbConstraintChecks=28841819 nbPropagations=1299768 nbRevisions=7983154 nbUselessRevisions=4896224
3.84 nbAssignments=13100 nbFailedAssignments=7105 nbBacktracks=5944 nbVisitedNodes=24337 nbRestartNogoods=91
3.84 => wckTime=2.949 cpuTime=2.84 mem=14M928
3.84
3.84 global
3.84 nbConstraintChecks=28928434 nbPropagations=1300604 nbRevisions=7986877 nbUselessRevisions=4898682
3.84 nbRestartNogoods=91 solvingWckTime=2.949 solvingCpuTime=2.85 expiredTime=no totalExploration=yes
3.84 nbFoundSolutions=0 globalCpuTime=3.25
3.84 => wckTime=3.439 cpuTime=3.21 mem=15M904
3.84
3.84 s UNSATISFIABLE
3.84 d NODES 13100
3.84 d CHECKS 28928434
3.84
3.84 totalWckTime=3.515 totalCpuTime=3.25
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-226221-1168274812 -o ROOT/results/node44/solver-226221-1168274812 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226221-1168274812/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.67 1.22 1.24 4/74 11227
/proc/meminfo: memFree=1668664/2055920 swapFree=4191892/4192956
[pid=11226] ppid=11224 vsize=18540 CPUtime=0
/proc/11226/stat : 11226 (runsolver) R 11224 11226 11011 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 175880344 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264840473895 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/11226/statm: 4635 279 244 17 0 2626 0
[startup+0.107285 s]
/proc/loadavg: 1.67 1.22 1.24 4/74 11227
/proc/meminfo: memFree=1668664/2055920 swapFree=4191892/4192956
[pid=11226] ppid=11224 vsize=907676 CPUtime=0.03
/proc/11226/stat : 11226 (java) R 11224 11226 11011 0 -1 0 2275 0 1 0 2 1 0 0 20 0 4 0 175880344 929460224 2022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155274508 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 226919 2022 1141 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676
[startup+0.515324 s]
/proc/loadavg: 1.67 1.22 1.24 4/74 11227
/proc/meminfo: memFree=1668664/2055920 swapFree=4191892/4192956
[pid=11226] ppid=11224 vsize=915328 CPUtime=0.39
/proc/11226/stat : 11226 (java) R 11224 11226 11011 0 -1 0 6145 0 1 0 35 4 0 0 22 0 8 0 175880344 937295872 5884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 228832 5884 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.33747 s]
/proc/loadavg: 1.67 1.22 1.24 3/81 11234
/proc/meminfo: memFree=1643072/2055920 swapFree=4191892/4192956
[pid=11226] ppid=11224 vsize=915464 CPUtime=1.2
/proc/11226/stat : 11226 (java) R 11224 11226 11011 0 -1 0 9092 0 1 0 114 6 0 0 25 0 8 0 175880344 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 228866 8830 2524 14 0 215336 0
[pid=11226/tid=11228] ppid=11224 vsize=915464 CPUtime=0.03
/proc/11226/task/11228/stat : 11228 (java) S 11224 11226 11011 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 175880354 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11229] ppid=11224 vsize=915464 CPUtime=0
/proc/11226/task/11229/stat : 11229 (java) S 11224 11226 11011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175880354 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11230] ppid=11224 vsize=915464 CPUtime=0
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 11011 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175880354 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=915464 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 11011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175880362 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=915464 CPUtime=0.18
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 11011 0 -1 64 366 0 0 0 17 1 0 0 15 0 8 0 175880362 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=915464 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 11011 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 175880362 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=915464 CPUtime=0
/proc/11226/task/11234/stat : 11234 (java) S 11224 11226 11011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175880362 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915464
[startup+2.98957 s]
/proc/loadavg: 1.69 1.23 1.24 3/81 11234
/proc/meminfo: memFree=1643008/2055920 swapFree=4191892/4192956
[pid=11226] ppid=11224 vsize=915464 CPUtime=2.84
/proc/11226/stat : 11226 (java) R 11224 11226 11011 0 -1 0 9107 0 1 0 278 6 0 0 25 0 8 0 175880344 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754726 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11226/statm: 228866 8843 2524 14 0 215336 0
[pid=11226/tid=11228] ppid=11224 vsize=915464 CPUtime=0.03
/proc/11226/task/11228/stat : 11228 (java) S 11224 11226 11011 0 -1 64 254 0 0 0 3 0 0 0 17 0 8 0 175880354 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11229] ppid=11224 vsize=915464 CPUtime=0
/proc/11226/task/11229/stat : 11229 (java) S 11224 11226 11011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175880354 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11230] ppid=11224 vsize=915464 CPUtime=0
/proc/11226/task/11230/stat : 11230 (java) S 11224 11226 11011 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175880354 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11231] ppid=11224 vsize=915464 CPUtime=0
/proc/11226/task/11231/stat : 11231 (java) S 11224 11226 11011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 175880362 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11232] ppid=11224 vsize=915464 CPUtime=0.21
/proc/11226/task/11232/stat : 11232 (java) S 11224 11226 11011 0 -1 64 380 0 0 0 20 1 0 0 15 0 8 0 175880362 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11233] ppid=11224 vsize=915464 CPUtime=0
/proc/11226/task/11233/stat : 11233 (java) S 11224 11226 11011 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 175880362 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11226/tid=11234] ppid=11224 vsize=915464 CPUtime=0
/proc/11226/task/11234/stat : 11234 (java) R 11224 11226 11011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175880362 937435136 8843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 3.88404
CPU time (s): 3.69844
CPU user time (s): 3.62645
CPU system time (s): 0.071989
CPU usage (%): 95.2213
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.62645
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= 9115
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= 1170
involuntary context switches= 1409
runsolver used 0.010998 s user time and 0.020996 s system time
The end
Begin job on node44 on Mon Jan 8 16:46:52 UTC 2007
IDJOB= 226221
IDBENCH= 5945
FILE ID= node44/226221-1168274812
PBS_JOBID= 3483287
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-59_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226221-1168274812/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-226221-1168274812 -o ROOT/results/node44/solver-226221-1168274812 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226221-1168274812/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= de7bbd473d26b271a19054cb56e05924
RANDOM SEED= 888285969
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.213
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.213
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: 1669280 kB
Buffers: 45944 kB
Cached: 221060 kB
SwapCached: 304 kB
Active: 188164 kB
Inactive: 142756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1669280 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2068 kB
Writeback: 0 kB
Mapped: 74080 kB
Slab: 41060 kB
Committed_AS: 3963564 kB
PageTables: 1832 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= 66543 MiB
End job on node44 on Mon Jan 8 16:46:57 UTC 2007