0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/241880-1168375735/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=60 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.089 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.42
0.42 constraints being loaded...
0.45 nbConstraints=40 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=38
0.45 nbConflictsStructures=2 nbSharedConflictsStructures=38 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.45 => wckTime=0.125 cpuTime=0.11 mem=6M951
0.49
0.49 solver IterativeSystematicSolver being built...
0.66 => wckTime=0.333 cpuTime=0.26 mem=15M297
0.68
0.68 preprocessing
0.68 nbConstraintChecks=186 nbValidityChecks=492 nbPropagations=193 nbRevisions=254 nbUselessRevisions=202
0.68 nbSingletonTests=85 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.68 => wckTime=0.02 cpuTime=0.01 mem=15M297
0.71
0.71 search
0.71 run=0 nbConstraintChecks=82 nbValidityChecks=378 nbPropagations=277 nbRevisions=419 nbUselessRevisions=306
0.71 nbAssignments=48 nbFailedAssignments=2 nbBacktracks=10 nbVisitedNodes=55 nbRestartNogoods=0 mapSize=5
0.71 nbInferences=2 nbTooLargeKeys=0
0.71 => wckTime=0.046 cpuTime=0.03 mem=15M297
0.72
0.72 search
0.72 run=1 nbConstraintChecks=195 nbValidityChecks=809 nbPropagations=646 nbRevisions=1020 nbUselessRevisions=724
0.72 nbAssignments=99 nbFailedAssignments=5 nbBacktracks=27 nbVisitedNodes=115 nbRestartNogoods=1 mapSize=12
0.72 nbInferences=5 nbTooLargeKeys=0
0.72 => wckTime=0.058 cpuTime=0.03 mem=15M297
0.73
0.73 search
0.73 run=2 nbConstraintChecks=409 nbValidityChecks=1457 nbPropagations=1152 nbRevisions=1892
0.73 nbUselessRevisions=1298 nbAssignments=168 nbFailedAssignments=13 nbBacktracks=53 nbVisitedNodes=202
0.73 nbRestartNogoods=3 mapSize=24 nbInferences=7 nbTooLargeKeys=0
0.73 => wckTime=0.072 cpuTime=0.04 mem=15M297
0.74
0.74 search
0.74 run=3 nbConstraintChecks=656 nbValidityChecks=2187 nbPropagations=1820 nbRevisions=3072
0.74 nbUselessRevisions=2038 nbAssignments=231 nbFailedAssignments=21 nbBacktracks=87 nbVisitedNodes=284
0.74 nbRestartNogoods=5 mapSize=41 nbInferences=10 nbTooLargeKeys=0
0.74 => wckTime=0.082 cpuTime=0.05 mem=15M297
0.76
0.76 search
0.76 run=4 nbConstraintChecks=1112 nbValidityChecks=3393 nbPropagations=2753 nbRevisions=4768
0.76 nbUselessRevisions=3059 nbAssignments=329 nbFailedAssignments=36 nbBacktracks=137 nbVisitedNodes=419
0.76 nbRestartNogoods=6 mapSize=71 nbInferences=17 nbTooLargeKeys=0
0.76 => wckTime=0.099 cpuTime=0.06 mem=15M297
0.78
0.78 search
0.78 run=5 nbConstraintChecks=1483 nbValidityChecks=4491 nbPropagations=3941 nbRevisions=6935
0.78 nbUselessRevisions=4339 nbAssignments=454 nbFailedAssignments=50 nbBacktracks=212 nbVisitedNodes=580
0.78 nbRestartNogoods=10 mapSize=102 nbInferences=29 nbTooLargeKeys=0
0.78 => wckTime=0.115 cpuTime=0.07 mem=15M297
0.80
0.80 search
0.80 run=6 nbConstraintChecks=2051 nbValidityChecks=6197 nbPropagations=5544 nbRevisions=9815
0.80 nbUselessRevisions=5977 nbAssignments=618 nbFailedAssignments=59 nbBacktracks=325 nbVisitedNodes=784
0.80 nbRestartNogoods=14 mapSize=140 nbInferences=52 nbTooLargeKeys=0
0.80 => wckTime=0.134 cpuTime=0.08 mem=15M297
0.82
0.82 search
0.82 run=7 nbConstraintChecks=4278 nbValidityChecks=12670 nbPropagations=8842 nbRevisions=15336
0.82 nbUselessRevisions=8753 nbAssignments=898 nbFailedAssignments=60 nbBacktracks=499 nbVisitedNodes=1154
0.82 nbRestartNogoods=16 mapSize=228 nbInferences=139 nbTooLargeKeys=0
0.82 => wckTime=0.158 cpuTime=0.11 mem=15M297
0.84
0.84 search
0.84 run=8 nbConstraintChecks=6401 nbValidityChecks=18584 nbPropagations=13532 nbRevisions=23325
0.84 nbUselessRevisions=12859 nbAssignments=1304 nbFailedAssignments=69 nbBacktracks=755 nbVisitedNodes=1694
0.84 nbRestartNogoods=18 mapSize=357 nbInferences=256 nbTooLargeKeys=0
0.84 => wckTime=0.183 cpuTime=0.13 mem=15M297
0.89
0.89 search
0.89 run=9 nbConstraintChecks=9019 nbValidityChecks=26345 nbPropagations=20142 nbRevisions=34614
0.89 nbUselessRevisions=18673 nbAssignments=1866 nbFailedAssignments=74 nbBacktracks=1139 nbVisitedNodes=2417
0.89 nbRestartNogoods=23 mapSize=515 nbInferences=408 nbTooLargeKeys=0
0.89 => wckTime=0.229 cpuTime=0.16 mem=15M297
0.93
0.93 search
0.93 run=10 nbConstraintChecks=12526 nbValidityChecks=36578 nbPropagations=29260 nbRevisions=50270
0.93 nbUselessRevisions=26808 nbAssignments=2686 nbFailedAssignments=74 nbBacktracks=1715 nbVisitedNodes=3460
0.93 nbRestartNogoods=26 mapSize=734 nbInferences=631 nbTooLargeKeys=0
0.93 => wckTime=0.265 cpuTime=0.19 mem=15M297
0.97
0.97 search
0.97 run=11 nbConstraintChecks=19776 nbValidityChecks=55524 nbPropagations=42464 nbRevisions=74015
0.97 nbUselessRevisions=39981 nbAssignments=4080 nbFailedAssignments=74 nbBacktracks=2584 nbVisitedNodes=5361
0.97 nbRestartNogoods=30 mapSize=1238 nbInferences=1138 nbTooLargeKeys=0
0.97 => wckTime=0.312 cpuTime=0.23 mem=15M297
1.04
1.04 search
1.04 run=12 nbConstraintChecks=28542 nbValidityChecks=80003 nbPropagations=61434 nbRevisions=108215
1.04 nbUselessRevisions=59038 nbAssignments=5986 nbFailedAssignments=74 nbBacktracks=3883 nbVisitedNodes=7853
1.04 nbRestartNogoods=33 mapSize=1819 nbInferences=1724 nbTooLargeKeys=0
1.04 => wckTime=0.375 cpuTime=0.29 mem=16M272
1.14
1.14 search
1.14 run=13 nbConstraintChecks=45121 nbValidityChecks=123916 nbPropagations=90341 nbRevisions=161096
1.14 nbUselessRevisions=88999 nbAssignments=9025 nbFailedAssignments=87 nbBacktracks=5830 nbVisitedNodes=11977
1.14 nbRestartNogoods=38 mapSize=2901 nbInferences=2784 nbTooLargeKeys=0
1.14 => wckTime=0.479 cpuTime=0.39 mem=16M272
1.27
1.27 search
1.27 run=14 nbConstraintChecks=69767 nbValidityChecks=191794 nbPropagations=134919 nbRevisions=241687
1.27 nbUselessRevisions=134192 nbAssignments=13556 nbFailedAssignments=111 nbBacktracks=8751 nbVisitedNodes=18121
1.27 nbRestartNogoods=41 mapSize=4510 nbInferences=4354 nbTooLargeKeys=0
1.28 => wckTime=0.613 cpuTime=0.52 mem=16M272
1.45
1.45 search
1.45 run=15 nbConstraintChecks=98695 nbValidityChecks=274380 nbPropagations=200815 nbRevisions=357122
1.45 nbUselessRevisions=196602 nbAssignments=19795 nbFailedAssignments=120 nbBacktracks=13130 nbVisitedNodes=26208
1.45 nbRestartNogoods=45 mapSize=6351 nbInferences=6189 nbTooLargeKeys=0
1.45 => wckTime=0.788 cpuTime=0.7 mem=17M247
1.70
1.70 search
1.70 run=16 nbConstraintChecks=140594 nbValidityChecks=395322 nbPropagations=298009 nbRevisions=524769
1.70 nbUselessRevisions=285822 nbAssignments=29319 nbFailedAssignments=120 nbBacktracks=19701 nbVisitedNodes=38673
1.70 nbRestartNogoods=52 mapSize=9286 nbInferences=9130 nbTooLargeKeys=0
1.70 => wckTime=1.042 cpuTime=0.95 mem=17M247
2.11
2.11 search
2.11 run=17 nbConstraintChecks=211496 nbValidityChecks=594729 nbPropagations=444165 nbRevisions=777000
2.11 nbUselessRevisions=421209 nbAssignments=44448 nbFailedAssignments=120 nbBacktracks=29553 nbVisitedNodes=59067
2.11 nbRestartNogoods=58 mapSize=14544 nbInferences=14395 nbTooLargeKeys=0
2.11 => wckTime=1.444 cpuTime=1.36 mem=18M223
2.39
2.39 search
2.39 run=18 nbConstraintChecks=260990 nbValidityChecks=734043 nbPropagations=625158 nbRevisions=1088821
2.39 nbUselessRevisions=588602 nbAssignments=55150 nbFailedAssignments=120 nbBacktracks=36632 nbVisitedNodes=73392
2.39 nbRestartNogoods=64 mapSize=18167 nbInferences=18019 nbTooLargeKeys=0
2.39 => wckTime=1.728 cpuTime=1.64 mem=19M198
2.39
2.39 global
2.39 nbConstraintChecks=261176 nbValidityChecks=734535 nbPropagations=625351 nbRevisions=1089075
2.39 nbUselessRevisions=588804 nbRestartNogoods=64 solvingWckTime=1.729 solvingCpuTime=1.64 expiredTime=no
2.39 totalExploration=yes nbFoundSolutions=0 globalCpuTime=1.95
2.39 => wckTime=2.063 cpuTime=1.9 mem=19M198
2.39
2.39 s UNSATISFIABLE
2.39 d NODES 55150
2.39 d CHECKS 261176
2.39
2.39 totalWckTime=2.138 totalCpuTime=1.95
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-241880-1168375735 -o ROOT/results/node17/solver-241880-1168375735 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241880-1168375735/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: 0.43 0.20 0.24 3/81 4121
/proc/meminfo: memFree=1718080/2055920 swapFree=4192812/4192956
[pid=4120] ppid=4118 vsize=1784 CPUtime=0
/proc/4120/stat : 4120 (java) D 4118 4120 3374 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 185968697 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4120/statm: 446 136 102 14 0 91 0
[startup+0.107094 s]
/proc/loadavg: 0.43 0.20 0.24 3/81 4121
/proc/meminfo: memFree=1718080/2055920 swapFree=4192812/4192956
[pid=4120] ppid=4118 vsize=911488 CPUtime=0.06
/proc/4120/stat : 4120 (java) R 4118 4120 3374 0 -1 0 2607 0 1 0 5 1 0 0 22 0 8 0 185968697 933363712 2354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153791949 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4120/statm: 227872 2355 1277 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.515105 s]
/proc/loadavg: 0.43 0.20 0.24 3/81 4121
/proc/meminfo: memFree=1718080/2055920 swapFree=4192812/4192956
[pid=4120] ppid=4118 vsize=915460 CPUtime=0.47
/proc/4120/stat : 4120 (java) R 4118 4120 3374 0 -1 0 6570 0 1 0 42 5 0 0 16 0 8 0 185968697 937431040 6308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4120/statm: 228865 6308 2375 14 0 215335 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915460
[startup+1.33718 s]
/proc/loadavg: 0.43 0.20 0.24 2/88 4128
/proc/meminfo: memFree=1693576/2055920 swapFree=4192812/4192956
[pid=4120] ppid=4118 vsize=915460 CPUtime=1.27
/proc/4120/stat : 4120 (java) R 4118 4120 3374 0 -1 0 8977 0 1 0 120 7 0 0 17 0 8 0 185968697 937431040 8715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073657056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4120/statm: 228865 8715 2527 14 0 215335 0
[pid=4120/tid=4122] ppid=4118 vsize=915460 CPUtime=0.02
/proc/4120/task/4122/stat : 4122 (java) S 4118 4120 3374 0 -1 64 120 0 0 0 2 0 0 0 16 0 8 0 185968703 937431040 8715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4120/tid=4123] ppid=4118 vsize=915460 CPUtime=0
/proc/4120/task/4123/stat : 4123 (java) S 4118 4120 3374 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185968704 937431040 8715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4120/tid=4124] ppid=4118 vsize=915460 CPUtime=0
/proc/4120/task/4124/stat : 4124 (java) S 4118 4120 3374 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185968704 937431040 8715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4120/tid=4125] ppid=4118 vsize=915460 CPUtime=0
/proc/4120/task/4125/stat : 4125 (java) S 4118 4120 3374 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 185968707 937431040 8715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4120/tid=4126] ppid=4118 vsize=915460 CPUtime=0.16
/proc/4120/task/4126/stat : 4126 (java) S 4118 4120 3374 0 -1 64 364 0 0 0 15 1 0 0 15 0 8 0 185968707 937431040 8715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4120/tid=4127] ppid=4118 vsize=915460 CPUtime=0
/proc/4120/task/4127/stat : 4127 (java) S 4118 4120 3374 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185968707 937431040 8715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4120/tid=4128] ppid=4118 vsize=915460 CPUtime=0
/proc/4120/task/4128/stat : 4128 (java) S 4118 4120 3374 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185968707 937431040 8715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 2.45703
CPU time (s): 2.35564
CPU user time (s): 2.26366
CPU system time (s): 0.091986
CPU usage (%): 95.8735
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.26365
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9718
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= 769
involuntary context switches= 261
runsolver used 0.005999 s user time and 0.019996 s system time
The end
Begin job on node17 on Tue Jan 9 20:48:58 UTC 2007
IDJOB= 241880
IDBENCH= 7352
FILE ID= node17/241880-1168375735
PBS_JOBID= 3522276
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/pret/pret-60-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241880-1168375735/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-241880-1168375735 -o ROOT/results/node17/solver-241880-1168375735 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241880-1168375735/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5ae51ce573f8e61d952141129607aff7
RANDOM SEED= 324761191
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.236
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.236
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: 1718560 kB
Buffers: 66920 kB
Cached: 152856 kB
SwapCached: 0 kB
Active: 175904 kB
Inactive: 104108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1718560 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1884 kB
Writeback: 0 kB
Mapped: 76808 kB
Slab: 42448 kB
Committed_AS: 5715596 kB
PageTables: 2076 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= 66557 MiB
End job on node17 on Tue Jan 9 20:49:03 UTC 2007