0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=esac.xml
0.31
0.31 instance
0.32 name=/tmp/evaluation/227889-1168278975/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.38 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.38
0.38 relations being loaded...
0.47
0.47 constraints being loaded...
0.57 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8219 maxDegree=29
0.57 maxArity=2
0.57 => wckTime=0.279 cpuTime=0.19 mem=10M852
0.60
0.60 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.47 cpuTime=0.33 mem=14M819
0.81
0.81 preprocessing
0.81 nbConstraintChecks=33960 nbPropagations=914 nbRevisions=6090 nbUselessRevisions=4930 nbSingletonTests=52
0.81 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.81 => wckTime=0.048 cpuTime=0.03 mem=14M819
0.83
0.83 search
0.83 run=0 nbConstraintChecks=22784 nbPropagations=1367 nbRevisions=11749 nbUselessRevisions=9615 nbAssignments=25
0.83 nbFailedAssignments=7 nbBacktracks=13 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.071 cpuTime=0.04 mem=14M819
0.85
0.85 search
0.85 run=1 nbConstraintChecks=57921 nbPropagations=3374 nbRevisions=32558 nbUselessRevisions=26688 nbAssignments=59
0.85 nbFailedAssignments=19 nbBacktracks=30 nbVisitedNodes=97 nbRestartNogoods=1 mapSize=26 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.089 cpuTime=0.05 mem=14M819
0.86
0.86 search
0.86 run=2 nbConstraintChecks=86519 nbPropagations=5960 nbRevisions=60802 nbUselessRevisions=49933 nbAssignments=95
0.86 nbFailedAssignments=27 nbBacktracks=52 nbVisitedNodes=153 nbRestartNogoods=3 mapSize=42 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.102 cpuTime=0.06 mem=14M819
0.88
0.88 search
0.88 run=3 nbConstraintChecks=138523 nbPropagations=9531 nbRevisions=102674 nbUselessRevisions=84387
0.88 nbAssignments=158 nbFailedAssignments=49 nbBacktracks=87 nbVisitedNodes=256 nbRestartNogoods=5 mapSize=70
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.117 cpuTime=0.07 mem=14M819
0.90
0.90 search
0.90 run=4 nbConstraintChecks=206696 nbPropagations=14377 nbRevisions=161460 nbUselessRevisions=132663
0.90 nbAssignments=236 nbFailedAssignments=72 nbBacktracks=137 nbVisitedNodes=383 nbRestartNogoods=7 mapSize=107
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.136 cpuTime=0.09 mem=14M819
0.93
0.93 search
0.93 run=5 nbConstraintChecks=301516 nbPropagations=21041 nbRevisions=246905 nbUselessRevisions=203247
0.93 nbAssignments=362 nbFailedAssignments=113 nbBacktracks=215 nbVisitedNodes=593 nbRestartNogoods=10 mapSize=173
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.167 cpuTime=0.12 mem=14M819
0.97
0.97 search
0.97 run=6 nbConstraintChecks=458930 nbPropagations=30570 nbRevisions=374638 nbUselessRevisions=309042
0.97 nbAssignments=543 nbFailedAssignments=174 nbBacktracks=328 nbVisitedNodes=896 nbRestartNogoods=12 mapSize=267
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.211 cpuTime=0.16 mem=14M819
1.03
1.03 search
1.03 run=7 nbConstraintChecks=684352 nbPropagations=44273 nbRevisions=561965 nbUselessRevisions=463946
1.03 nbAssignments=823 nbFailedAssignments=276 nbBacktracks=501 nbVisitedNodes=1368 nbRestartNogoods=17 mapSize=413
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.267 cpuTime=0.21 mem=14M819
1.12
1.12 search
1.12 run=8 nbConstraintChecks=1060360 nbPropagations=64539 nbRevisions=845779 nbUselessRevisions=698389
1.12 nbAssignments=1233 nbFailedAssignments=423 nbBacktracks=757 nbVisitedNodes=2069 nbRestartNogoods=19
1.12 mapSize=631 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.358 cpuTime=0.3 mem=14M819
1.25
1.25 search
1.26 run=9 nbConstraintChecks=1598360 nbPropagations=94576 nbRevisions=1277720 nbUselessRevisions=1056188
1.26 nbAssignments=1841 nbFailedAssignments=638 nbBacktracks=1143 nbVisitedNodes=3102 nbRestartNogoods=24
1.26 mapSize=952 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.495 cpuTime=0.42 mem=14M819
1.29
1.29 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=14M819)
1.42
1.42 search
1.42 run=10 nbConstraintChecks=2308392 nbPropagations=137642 nbRevisions=1904621 nbUselessRevisions=1576523
1.42 nbAssignments=2730 nbFailedAssignments=943 nbBacktracks=1722 nbVisitedNodes=4595 nbRestartNogoods=29
1.42 => wckTime=0.657 cpuTime=0.57 mem=14M819
1.63
1.63 search
1.63 run=11 nbConstraintChecks=3320235 nbPropagations=199804 nbRevisions=2816118 nbUselessRevisions=2333946
1.63 nbAssignments=4017 nbFailedAssignments=1357 nbBacktracks=2587 nbVisitedNodes=6735 nbRestartNogoods=32
1.63 => wckTime=0.869 cpuTime=0.78 mem=14M819
1.97
1.97 search
1.97 run=12 nbConstraintChecks=5012816 nbPropagations=292241 nbRevisions=4184603 nbUselessRevisions=3472380
1.97 nbAssignments=6018 nbFailedAssignments=2052 nbBacktracks=3886 nbVisitedNodes=10105 nbRestartNogoods=37
1.97 => wckTime=1.207 cpuTime=1.11 mem=14M819
2.47
2.47 search
2.47 run=13 nbConstraintChecks=7474899 nbPropagations=428967 nbRevisions=6229438 nbUselessRevisions=5175001
2.47 nbAssignments=9015 nbFailedAssignments=3084 nbBacktracks=5834 nbVisitedNodes=15134 nbRestartNogoods=45
2.47 => wckTime=1.707 cpuTime=1.61 mem=14M819
3.14
3.14 search
3.14 run=14 nbConstraintChecks=10808294 nbPropagations=627058 nbRevisions=9189129 nbUselessRevisions=7638897
3.14 nbAssignments=13120 nbFailedAssignments=4400 nbBacktracks=8583 nbVisitedNodes=21993 nbRestartNogoods=50
3.14 => wckTime=2.381 cpuTime=2.28 mem=14M819
3.14
3.14 global
3.14 nbConstraintChecks=10842254 nbPropagations=627972 nbRevisions=9195219 nbUselessRevisions=7643827
3.14 nbRestartNogoods=50 solvingWckTime=2.382 solvingCpuTime=2.28 expiredTime=no totalExploration=no
3.14 nbFoundSolutions=1 globalCpuTime=2.65
3.14 => wckTime=2.855 cpuTime=2.61 mem=14M819
3.14
3.14 s SATISFIABLE
3.14 v 5 6 0 6 8 1 0 9 0 0 9 8 0 1 6 6 8 2 7 4 3 3 6 7 0 8 10 9 6 0 3 8 10 3 10 7 10 1 6 7
3.14 d NODES 13120
3.14 d CHECKS 10842254
3.14
3.15 totalWckTime=2.93 totalCpuTime=2.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-227889-1168278975 -o ROOT/results/node14/solver-227889-1168278975 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227889-1168278975/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.61 1.75 1.85 4/88 3412
/proc/meminfo: memFree=1715776/2055920 swapFree=4182236/4192956
[pid=3411] ppid=3409 vsize=1784 CPUtime=0
/proc/3411/stat : 3411 (java) D 3409 3411 3101 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 176292476 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6927140 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/3411/statm: 2400 163 128 14 0 91 0
[startup+0.10809 s]
/proc/loadavg: 1.61 1.75 1.85 4/88 3412
/proc/meminfo: memFree=1715776/2055920 swapFree=4182236/4192956
[pid=3411] ppid=3409 vsize=914988 CPUtime=0.09
/proc/3411/stat : 3411 (java) R 3409 3411 3101 0 -1 0 3129 0 1 0 8 1 0 0 23 0 8 0 176292476 936947712 2875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3411/statm: 228747 2877 1473 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516126 s]
/proc/loadavg: 1.61 1.75 1.85 4/88 3412
/proc/meminfo: memFree=1715776/2055920 swapFree=4182236/4192956
[pid=3411] ppid=3409 vsize=915328 CPUtime=0.5
/proc/3411/stat : 3411 (java) R 3409 3411 3101 0 -1 0 6757 0 1 0 46 4 0 0 25 0 8 0 176292476 937295872 6496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073550989 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3411/statm: 228832 6496 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.3382 s]
/proc/loadavg: 1.64 1.76 1.85 3/95 3419
/proc/meminfo: memFree=1692104/2055920 swapFree=4182236/4192956
[pid=3411] ppid=3409 vsize=915456 CPUtime=1.32
/proc/3411/stat : 3411 (java) R 3409 3411 3101 0 -1 0 8683 0 1 0 126 6 0 0 25 0 8 0 176292476 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796140 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3411/statm: 228864 8421 2524 14 0 215334 0
[pid=3411/tid=3413] ppid=3409 vsize=915456 CPUtime=0.02
/proc/3411/task/3413/stat : 3413 (java) S 3409 3411 3101 0 -1 64 228 0 0 0 2 0 0 0 16 0 8 0 176292480 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3411/tid=3414] ppid=3409 vsize=915456 CPUtime=0
/proc/3411/task/3414/stat : 3414 (java) S 3409 3411 3101 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176292480 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3411/tid=3415] ppid=3409 vsize=915456 CPUtime=0
/proc/3411/task/3415/stat : 3415 (java) S 3409 3411 3101 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176292480 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3411/tid=3416] ppid=3409 vsize=915456 CPUtime=0
/proc/3411/task/3416/stat : 3416 (java) S 3409 3411 3101 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 176292483 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3411/tid=3417] ppid=3409 vsize=915456 CPUtime=0.22
/proc/3411/task/3417/stat : 3417 (java) S 3409 3411 3101 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 176292483 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3411/tid=3418] ppid=3409 vsize=915456 CPUtime=0
/proc/3411/task/3418/stat : 3418 (java) S 3409 3411 3101 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176292483 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3411/tid=3419] ppid=3409 vsize=915456 CPUtime=0
/proc/3411/task/3419/stat : 3419 (java) S 3409 3411 3101 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176292483 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456
[startup+2.98636 s]
/proc/loadavg: 1.64 1.76 1.85 3/95 3419
/proc/meminfo: memFree=1691912/2055920 swapFree=4182236/4192956
[pid=3411] ppid=3409 vsize=915456 CPUtime=2.96
/proc/3411/stat : 3411 (java) R 3409 3411 3101 0 -1 0 8698 0 1 0 290 6 0 0 25 0 8 0 176292476 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840009 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3411/statm: 228864 8435 2524 14 0 215334 0
[pid=3411/tid=3413] ppid=3409 vsize=915456 CPUtime=0.02
/proc/3411/task/3413/stat : 3413 (java) S 3409 3411 3101 0 -1 64 228 0 0 0 2 0 0 0 16 0 8 0 176292480 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3411/tid=3414] ppid=3409 vsize=915456 CPUtime=0
/proc/3411/task/3414/stat : 3414 (java) S 3409 3411 3101 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176292480 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3411/tid=3415] ppid=3409 vsize=915456 CPUtime=0
/proc/3411/task/3415/stat : 3415 (java) S 3409 3411 3101 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176292480 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3411/tid=3416] ppid=3409 vsize=915456 CPUtime=0
/proc/3411/task/3416/stat : 3416 (java) S 3409 3411 3101 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 176292483 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3411/tid=3417] ppid=3409 vsize=915456 CPUtime=0.23
/proc/3411/task/3417/stat : 3417 (java) S 3409 3411 3101 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 176292483 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3411/tid=3418] ppid=3409 vsize=915456 CPUtime=0
/proc/3411/task/3418/stat : 3418 (java) S 3409 3411 3101 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 176292483 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3411/tid=3419] ppid=3409 vsize=915456 CPUtime=0
/proc/3411/task/3419/stat : 3419 (java) S 3409 3411 3101 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176292483 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 3.1995
CPU time (s): 3.13652
CPU user time (s): 3.06653
CPU system time (s): 0.069989
CPU usage (%): 98.0315
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.06653
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8792
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= 1198
involuntary context switches= 1444
runsolver used 0.004999 s user time and 0.019996 s system time
The end
Begin job on node14 on Mon Jan 8 17:56:15 UTC 2007
IDJOB= 227889
IDBENCH= 6132
FILE ID= node14/227889-1168278975
PBS_JOBID= 3483163
Free space on /tmp= 66344 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227889-1168278975/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-227889-1168278975 -o ROOT/results/node14/solver-227889-1168278975 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227889-1168278975/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= eeee01bddce2a54fb57a360339fafbea
RANDOM SEED= 403008490
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: 1716256 kB
Buffers: 67704 kB
Cached: 164688 kB
SwapCached: 4180 kB
Active: 166116 kB
Inactive: 121680 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1716256 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 1956 kB
Writeback: 0 kB
Mapped: 65928 kB
Slab: 36708 kB
Committed_AS: 5869168 kB
PageTables: 2204 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= 66344 MiB
End job on node14 on Mon Jan 8 17:56:19 UTC 2007