0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/225807-1168273458/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.41 => wckTime=0.103 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.76
0.76 constraints being loaded...
0.90 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.90 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.90 => wckTime=0.587 cpuTime=0.53 mem=36M296
0.95
0.95 solver IterativeSystematicSolver being built...
1.11 => wckTime=0.799 cpuTime=0.66 mem=16M389
1.20
1.20 preprocessing
1.20 nbConstraintChecks=599061 nbPropagations=973 nbRevisions=3858 nbUselessRevisions=2244 nbSingletonTests=54
1.20 nbEffectiveSingletonTests=0 nbESACBranches=14 nbRemovedValues=0 detectedInconsistency=no
1.20 => wckTime=0.081 cpuTime=0.05 mem=16M389
1.29
1.29 search
1.29 run=0 nbConstraintChecks=1017093 nbPropagations=3424 nbRevisions=14420 nbUselessRevisions=7006
1.29 nbAssignments=68 nbFailedAssignments=56 nbBacktracks=11 nbVisitedNodes=135 nbRestartNogoods=0 mapSize=11
1.29 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.177 cpuTime=0.14 mem=16M389
1.39
1.39 search
1.39 run=1 nbConstraintChecks=2756628 nbPropagations=10315 nbRevisions=44116 nbUselessRevisions=21565
1.39 nbAssignments=203 nbFailedAssignments=175 nbBacktracks=26 nbVisitedNodes=403 nbRestartNogoods=1 mapSize=25
1.39 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.277 cpuTime=0.23 mem=16M389
1.50
1.50 search
1.50 run=2 nbConstraintChecks=4558903 nbPropagations=21594 nbRevisions=92469 nbUselessRevisions=44811
1.50 nbAssignments=344 nbFailedAssignments=293 nbBacktracks=48 nbVisitedNodes=682 nbRestartNogoods=12 mapSize=46
1.50 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.384 cpuTime=0.34 mem=16M389
1.61
1.61 search
1.61 run=3 nbConstraintChecks=6518397 nbPropagations=37536 nbRevisions=160612 nbUselessRevisions=76642
1.61 nbAssignments=457 nbFailedAssignments=367 nbBacktracks=81 nbVisitedNodes=895 nbRestartNogoods=20 mapSize=79
1.61 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.492 cpuTime=0.44 mem=16M389
1.80
1.80 search
1.80 run=4 nbConstraintChecks=10085754 nbPropagations=61399 nbRevisions=263199 nbUselessRevisions=124195
1.80 nbAssignments=721 nbFailedAssignments=578 nbBacktracks=131 nbVisitedNodes=1414 nbRestartNogoods=23 mapSize=128
1.80 nbInferences=0 nbTooLargeKeys=0
1.80 => wckTime=0.687 cpuTime=0.64 mem=16M389
2.06
2.06 search
2.06 run=5 nbConstraintChecks=14691469 nbPropagations=95939 nbRevisions=410702 nbUselessRevisions=192983
2.06 nbAssignments=1029 nbFailedAssignments=784 nbBacktracks=207 nbVisitedNodes=1964 nbRestartNogoods=43
2.06 mapSize=199 nbInferences=0 nbTooLargeKeys=0
2.06 => wckTime=0.944 cpuTime=0.89 mem=16M389
2.53
2.53 search
2.53 run=6 nbConstraintChecks=23014339 nbPropagations=148854 nbRevisions=637894 nbUselessRevisions=299545
2.53 nbAssignments=1594 nbFailedAssignments=1235 nbBacktracks=320 nbVisitedNodes=3082 nbRestartNogoods=49
2.53 mapSize=307 nbInferences=0 nbTooLargeKeys=0
2.53 => wckTime=1.419 cpuTime=1.35 mem=17M361
3.22
3.22 search
3.22 run=7 nbConstraintChecks=36079146 nbPropagations=230659 nbRevisions=991767 nbUselessRevisions=464105
3.22 nbAssignments=2442 nbFailedAssignments=1912 nbBacktracks=490 nbVisitedNodes=4763 nbRestartNogoods=51
3.22 mapSize=472 nbInferences=0 nbTooLargeKeys=0
3.22 => wckTime=2.108 cpuTime=2.03 mem=17M361
4.24
4.24 search
4.24 run=8 nbConstraintChecks=55295173 nbPropagations=355178 nbRevisions=1530645 nbUselessRevisions=714205
4.24 nbAssignments=3630 nbFailedAssignments=2843 nbBacktracks=746 nbVisitedNodes=7121 nbRestartNogoods=52
4.24 mapSize=718 nbInferences=0 nbTooLargeKeys=0
4.24 => wckTime=3.123 cpuTime=3.04 mem=17M361
5.49
5.49 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=17M361)
5.84
5.84 search
5.84 run=9 nbConstraintChecks=85741488 nbPropagations=545482 nbRevisions=2358177 nbUselessRevisions=1099481
5.84 nbAssignments=5502 nbFailedAssignments=4328 nbBacktracks=1130 nbVisitedNodes=10824 nbRestartNogoods=57
5.84 => wckTime=4.726 cpuTime=4.64 mem=17M361
5.86
5.86 search
5.86 run=10 nbConstraintChecks=85978067 nbPropagations=736340 nbRevisions=3188108 nbUselessRevisions=1485833
5.86 nbAssignments=5517 nbFailedAssignments=4338 nbBacktracks=1136 nbVisitedNodes=10852 nbRestartNogoods=57
5.86 => wckTime=4.742 cpuTime=4.65 mem=17M361
5.86
5.86 global
5.86 nbConstraintChecks=86577128 nbPropagations=737313 nbRevisions=3191966 nbUselessRevisions=1488077
5.86 nbRestartNogoods=57 solvingWckTime=4.744 solvingCpuTime=4.65 expiredTime=no totalExploration=yes
5.86 nbFoundSolutions=0 globalCpuTime=5.36
5.86 => wckTime=5.548 cpuTime=5.31 mem=17M361
5.86
5.86 s UNSATISFIABLE
5.86 d NODES 5517
5.86 d CHECKS 86577128
5.86
5.86 totalWckTime=5.627 totalCpuTime=5.36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-225807-1168273458 -o ROOT/results/node4/solver-225807-1168273458 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225807-1168273458/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.91 1.95 2.16 4/86 31328
/proc/meminfo: memFree=1644472/2055920 swapFree=4182144/4192956
[pid=31327] ppid=31325 vsize=47892 CPUtime=0
/proc/31327/stat : 31327 (java) D 31325 31327 29157 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 175741364 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/31327/statm: 11973 968 766 14 0 1707 0
[startup+0.103735 s]
/proc/loadavg: 1.91 1.95 2.16 4/86 31328
/proc/meminfo: memFree=1644472/2055920 swapFree=4182144/4192956
[pid=31327] ppid=31325 vsize=914988 CPUtime=0.08
/proc/31327/stat : 31327 (java) R 31325 31327 29157 0 -1 0 2996 0 1 0 7 1 0 0 18 0 8 0 175741364 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927237 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31327/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515775 s]
/proc/loadavg: 1.91 1.95 2.16 4/86 31328
/proc/meminfo: memFree=1644472/2055920 swapFree=4182144/4192956
[pid=31327] ppid=31325 vsize=915328 CPUtime=0.49
/proc/31327/stat : 31327 (java) R 31325 31327 29157 0 -1 0 7590 0 1 0 44 5 0 0 18 0 8 0 175741364 937295872 7329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155769996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31327/statm: 228832 7329 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34485 s]
/proc/loadavg: 1.91 1.95 2.16 3/93 31335
/proc/meminfo: memFree=1589632/2055920 swapFree=4182144/4192956
[pid=31327] ppid=31325 vsize=915464 CPUtime=1.31
/proc/31327/stat : 31327 (java) R 31325 31327 29157 0 -1 0 14355 0 1 0 121 10 0 0 25 0 8 0 175741364 937435136 14093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31327/statm: 228866 14093 2524 14 0 215336 0
[pid=31327/tid=31329] ppid=31325 vsize=915464 CPUtime=0.04
/proc/31327/task/31329/stat : 31329 (java) S 31325 31327 29157 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175741368 937435136 14093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31327/tid=31330] ppid=31325 vsize=915464 CPUtime=0
/proc/31327/task/31330/stat : 31330 (java) S 31325 31327 29157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175741369 937435136 14093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31327/tid=31331] ppid=31325 vsize=915464 CPUtime=0
/proc/31327/task/31331/stat : 31331 (java) S 31325 31327 29157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175741369 937435136 14093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31327/tid=31332] ppid=31325 vsize=915464 CPUtime=0
/proc/31327/task/31332/stat : 31332 (java) S 31325 31327 29157 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175741372 937435136 14093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31327/tid=31333] ppid=31325 vsize=915464 CPUtime=0.16
/proc/31327/task/31333/stat : 31333 (java) S 31325 31327 29157 0 -1 64 356 0 0 0 15 1 0 0 15 0 8 0 175741372 937435136 14093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31327/tid=31334] ppid=31325 vsize=915464 CPUtime=0
/proc/31327/task/31334/stat : 31334 (java) S 31325 31327 29157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175741372 937435136 14093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31327/tid=31335] ppid=31325 vsize=915464 CPUtime=0
/proc/31327/task/31335/stat : 31335 (java) S 31325 31327 29157 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175741372 937435136 14093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.98301 s]
/proc/loadavg: 1.91 1.95 2.16 3/93 31335
/proc/meminfo: memFree=1581952/2055920 swapFree=4182144/4192956
[pid=31327] ppid=31325 vsize=915464 CPUtime=2.94
/proc/31327/stat : 31327 (java) R 31325 31327 29157 0 -1 0 14374 0 1 0 284 10 0 0 25 0 8 0 175741364 937435136 14111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31327/statm: 228866 14111 2524 14 0 215336 0
[pid=31327/tid=31329] ppid=31325 vsize=915464 CPUtime=0.04
/proc/31327/task/31329/stat : 31329 (java) S 31325 31327 29157 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175741368 937435136 14111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31327/tid=31330] ppid=31325 vsize=915464 CPUtime=0
/proc/31327/task/31330/stat : 31330 (java) S 31325 31327 29157 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175741369 937435136 14111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31327/tid=31331] ppid=31325 vsize=915464 CPUtime=0
/proc/31327/task/31331/stat : 31331 (java) S 31325 31327 29157 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175741369 937435136 14111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31327/tid=31332] ppid=31325 vsize=915464 CPUtime=0
/proc/31327/task/31332/stat : 31332 (java) S 31325 31327 29157 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175741372 937435136 14111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31327/tid=31333] ppid=31325 vsize=915464 CPUtime=0.19
/proc/31327/task/31333/stat : 31333 (java) S 31325 31327 29157 0 -1 64 374 0 0 0 18 1 0 0 16 0 8 0 175741372 937435136 14111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31327/tid=31334] ppid=31325 vsize=915464 CPUtime=0
/proc/31327/task/31334/stat : 31334 (java) S 31325 31327 29157 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175741372 937435136 14111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31327/tid=31335] ppid=31325 vsize=915464 CPUtime=0
/proc/31327/task/31335/stat : 31335 (java) S 31325 31327 29157 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175741372 937435136 14111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 5.88633
CPU time (s): 5.82911
CPU user time (s): 5.70413
CPU system time (s): 0.124981
CPU usage (%): 99.0279
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.70413
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14384
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= 1136
involuntary context switches= 1422
runsolver used 0.014997 s user time and 0.027995 s system time
The end
Begin job on node4 on Mon Jan 8 16:24:18 UTC 2007
IDJOB= 225807
IDBENCH= 5896
FILE ID= node4/225807-1168273458
PBS_JOBID= 3482981
Free space on /tmp= 66310 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-79_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225807-1168273458/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-225807-1168273458 -o ROOT/results/node4/solver-225807-1168273458 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225807-1168273458/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2a3d1a82ba5a438ffb1a283f70ea1553
RANDOM SEED= 808850381
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.223
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.223
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: 1644952 kB
Buffers: 62956 kB
Cached: 235732 kB
SwapCached: 2552 kB
Active: 227352 kB
Inactive: 126864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1644952 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 3488 kB
Writeback: 0 kB
Mapped: 65596 kB
Slab: 41188 kB
Committed_AS: 5069920 kB
PageTables: 2600 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= 66310 MiB
End job on node4 on Mon Jan 8 16:24:24 UTC 2007