0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/226155-1168274677/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.41 => wckTime=0.108 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.54
0.54 constraints being loaded...
0.62 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=2
0.62 => wckTime=0.319 cpuTime=0.24 mem=15M763
0.67
0.67 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.537 cpuTime=0.38 mem=14M928
0.89
0.89 preprocessing
0.89 nbConstraintChecks=100046 nbPropagations=943 nbRevisions=4426 nbUselessRevisions=2880 nbSingletonTests=55
0.89 nbEffectiveSingletonTests=0 nbESACBranches=10 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.049 cpuTime=0.02 mem=14M928
0.91
0.91 search
0.91 run=0 nbConstraintChecks=35199 nbPropagations=1432 nbRevisions=7357 nbUselessRevisions=4734 nbAssignments=23
0.91 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.069 cpuTime=0.04 mem=14M928
0.93
0.93 search
0.93 run=1 nbConstraintChecks=81491 nbPropagations=3484 nbRevisions=18408 nbUselessRevisions=11771 nbAssignments=51
0.93 nbFailedAssignments=18 nbBacktracks=25 nbVisitedNodes=81 nbRestartNogoods=1 mapSize=17 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.085 cpuTime=0.05 mem=14M928
0.95
0.95 search
0.95 run=2 nbConstraintChecks=173519 nbPropagations=6944 nbRevisions=37475 nbUselessRevisions=23728
0.95 nbAssignments=104 nbFailedAssignments=42 nbBacktracks=49 nbVisitedNodes=173 nbRestartNogoods=3 mapSize=37
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.105 cpuTime=0.06 mem=14M928
0.97
0.97 search
0.97 run=3 nbConstraintChecks=322479 nbPropagations=12562 nbRevisions=69479 nbUselessRevisions=43825
0.97 nbAssignments=201 nbFailedAssignments=88 nbBacktracks=85 nbVisitedNodes=331 nbRestartNogoods=7 mapSize=69
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.129 cpuTime=0.09 mem=14M928
1.00
1.00 search
1.00 run=4 nbConstraintChecks=452372 nbPropagations=20018 nbRevisions=112158 nbUselessRevisions=70408
1.00 nbAssignments=286 nbFailedAssignments=120 nbBacktracks=136 nbVisitedNodes=467 nbRestartNogoods=8 mapSize=105
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.15 cpuTime=0.11 mem=14M928
1.03
1.03 search
1.03 run=5 nbConstraintChecks=714397 nbPropagations=30978 nbRevisions=175474 nbUselessRevisions=109641
1.03 nbAssignments=430 nbFailedAssignments=185 nbBacktracks=212 nbVisitedNodes=723 nbRestartNogoods=11 mapSize=169
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.186 cpuTime=0.14 mem=14M928
1.09
1.09 search
1.09 run=6 nbConstraintChecks=1116052 nbPropagations=48269 nbRevisions=276788 nbUselessRevisions=172330
1.09 nbAssignments=682 nbFailedAssignments=319 nbBacktracks=326 nbVisitedNodes=1193 nbRestartNogoods=15 mapSize=273
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.243 cpuTime=0.2 mem=14M928
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1745721 nbPropagations=74579 nbRevisions=430957 nbUselessRevisions=267107
1.18 nbAssignments=1040 nbFailedAssignments=502 nbBacktracks=497 nbVisitedNodes=1843 nbRestartNogoods=17
1.18 mapSize=412 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.332 cpuTime=0.28 mem=14M928
1.28
1.28 search
1.28 run=8 nbConstraintChecks=2547470 nbPropagations=111591 nbRevisions=648979 nbUselessRevisions=401034
1.28 nbAssignments=1490 nbFailedAssignments=693 nbBacktracks=754 nbVisitedNodes=2617 nbRestartNogoods=22
1.28 mapSize=613 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.434 cpuTime=0.37 mem=14M928
1.48
1.48 search
1.48 run=9 nbConstraintChecks=4158296 nbPropagations=172498 nbRevisions=1014884 nbUselessRevisions=626212
1.48 nbAssignments=2530 nbFailedAssignments=1341 nbBacktracks=1139 nbVisitedNodes=4596 nbRestartNogoods=32
1.48 mapSize=977 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.638 cpuTime=0.56 mem=14M928
1.50
1.50 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=14M928)
1.67
1.67 search
1.67 run=10 nbConstraintChecks=5736992 nbPropagations=255755 nbRevisions=1514536 nbUselessRevisions=933265
1.67 nbAssignments=3533 nbFailedAssignments=1762 nbBacktracks=1717 nbVisitedNodes=6300 nbRestartNogoods=41
1.67 => wckTime=0.828 cpuTime=0.73 mem=14M928
1.99
1.99 search
1.99 run=11 nbConstraintChecks=8604877 nbPropagations=379036 nbRevisions=2259846 nbUselessRevisions=1391595
1.99 nbAssignments=5240 nbFailedAssignments=2600 nbBacktracks=2581 nbVisitedNodes=9340 nbRestartNogoods=48
1.99 => wckTime=1.142 cpuTime=1.05 mem=14M928
2.45
2.45 search
2.45 run=12 nbConstraintChecks=12811062 nbPropagations=560630 nbRevisions=3358659 nbUselessRevisions=2066023
2.45 nbAssignments=7683 nbFailedAssignments=3741 nbBacktracks=3878 nbVisitedNodes=13641 nbRestartNogoods=56
2.45 => wckTime=1.605 cpuTime=1.5 mem=14M928
3.16
3.16 search
3.16 run=13 nbConstraintChecks=19120285 nbPropagations=836121 nbRevisions=5030012 nbUselessRevisions=3096235
3.16 nbAssignments=11669 nbFailedAssignments=5776 nbBacktracks=5825 nbVisitedNodes=20794 nbRestartNogoods=64
3.16 => wckTime=2.318 cpuTime=2.21 mem=15M904
3.81
3.81 search
3.81 run=14 nbConstraintChecks=24880521 nbPropagations=1197074 nbRevisions=7205333 nbUselessRevisions=4435221
3.81 nbAssignments=15426 nbFailedAssignments=7444 nbBacktracks=7874 nbVisitedNodes=27282 nbRestartNogoods=73
3.81 => wckTime=2.965 cpuTime=2.86 mem=15M904
3.81
3.81 global
3.81 nbConstraintChecks=24980567 nbPropagations=1198017 nbRevisions=7209759 nbUselessRevisions=4438101
3.81 nbRestartNogoods=73 solvingWckTime=2.967 solvingCpuTime=2.86 expiredTime=no totalExploration=no
3.81 nbFoundSolutions=1 globalCpuTime=3.31
3.81 => wckTime=3.507 cpuTime=3.25 mem=15M904
3.81
3.81 s SATISFIABLE
3.81 v 23 37 28 14 31 7 26 22 28 17 38 7 10 33 14 34 38 28 0 36 19 33 1 11 16 18 39 14 38 2 20 6 26 6 23 10 12 35 4 36
3.81 d NODES 15426
3.81 d CHECKS 24980567
3.81
3.81 totalWckTime=3.583 totalCpuTime=3.31
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-226155-1168274677 -o ROOT/results/node25/solver-226155-1168274677 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226155-1168274677/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: 2.48 2.68 2.53 4/94 14948
/proc/meminfo: memFree=597512/2055920 swapFree=4170848/4192956
[pid=14947] ppid=14945 vsize=18540 CPUtime=0
/proc/14947/stat : 14947 (runsolver) R 14945 14947 14440 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 175860213 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215781797159 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14947/statm: 4635 279 244 17 0 2626 0
[startup+0.104262 s]
/proc/loadavg: 2.48 2.68 2.53 4/94 14948
/proc/meminfo: memFree=597512/2055920 swapFree=4170848/4192956
[pid=14947] ppid=14945 vsize=914988 CPUtime=0.08
/proc/14947/stat : 14947 (java) R 14945 14947 14440 0 -1 0 2988 0 1 0 7 1 0 0 22 0 8 0 175860213 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155262961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14947/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512331 s]
/proc/loadavg: 2.48 2.68 2.53 4/94 14948
/proc/meminfo: memFree=597512/2055920 swapFree=4170848/4192956
[pid=14947] ppid=14945 vsize=915328 CPUtime=0.48
/proc/14947/stat : 14947 (java) R 14945 14947 14440 0 -1 0 7359 0 1 0 44 4 0 0 24 0 8 0 175860213 937295872 7098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155769982 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14947/statm: 228832 7098 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33647 s]
/proc/loadavg: 2.48 2.68 2.53 5/101 14955
/proc/meminfo: memFree=571920/2055920 swapFree=4170848/4192956
[pid=14947] ppid=14945 vsize=915464 CPUtime=1.29
/proc/14947/stat : 14947 (java) R 14945 14947 14440 0 -1 0 9107 0 1 0 122 7 0 0 25 0 8 0 175860213 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073747828 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14947/statm: 228866 8845 2524 14 0 215336 0
[pid=14947/tid=14949] ppid=14945 vsize=915464 CPUtime=0.03
/proc/14947/task/14949/stat : 14949 (java) S 14945 14947 14440 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 175860218 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14947/tid=14950] ppid=14945 vsize=915464 CPUtime=0
/proc/14947/task/14950/stat : 14950 (java) S 14945 14947 14440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175860218 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14947/tid=14951] ppid=14945 vsize=915464 CPUtime=0
/proc/14947/task/14951/stat : 14951 (java) S 14945 14947 14440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175860218 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14947/tid=14952] ppid=14945 vsize=915464 CPUtime=0
/proc/14947/task/14952/stat : 14952 (java) S 14945 14947 14440 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175860221 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14947/tid=14953] ppid=14945 vsize=915464 CPUtime=0.19
/proc/14947/task/14953/stat : 14953 (java) S 14945 14947 14440 0 -1 64 373 0 0 0 17 2 0 0 16 0 8 0 175860221 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14947/tid=14954] ppid=14945 vsize=915464 CPUtime=0
/proc/14947/task/14954/stat : 14954 (java) S 14945 14947 14440 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175860221 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14947/tid=14955] ppid=14945 vsize=915464 CPUtime=0
/proc/14947/task/14955/stat : 14955 (java) S 14945 14947 14440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175860221 937435136 8845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.98375 s]
/proc/loadavg: 2.48 2.68 2.53 4/101 14955
/proc/meminfo: memFree=571792/2055920 swapFree=4170848/4192956
[pid=14947] ppid=14945 vsize=915464 CPUtime=2.92
/proc/14947/stat : 14947 (java) R 14945 14947 14440 0 -1 0 9114 0 1 0 285 7 0 0 25 0 8 0 175860213 937435136 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073731571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14947/statm: 228866 8851 2524 14 0 215336 0
[pid=14947/tid=14949] ppid=14945 vsize=915464 CPUtime=0.03
/proc/14947/task/14949/stat : 14949 (java) S 14945 14947 14440 0 -1 64 254 0 0 0 3 0 0 0 17 0 8 0 175860218 937435136 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14947/tid=14950] ppid=14945 vsize=915464 CPUtime=0
/proc/14947/task/14950/stat : 14950 (java) S 14945 14947 14440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175860218 937435136 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14947/tid=14951] ppid=14945 vsize=915464 CPUtime=0
/proc/14947/task/14951/stat : 14951 (java) S 14945 14947 14440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175860218 937435136 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14947/tid=14952] ppid=14945 vsize=915464 CPUtime=0
/proc/14947/task/14952/stat : 14952 (java) S 14945 14947 14440 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175860221 937435136 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14947/tid=14953] ppid=14945 vsize=915464 CPUtime=0.2
/proc/14947/task/14953/stat : 14953 (java) S 14945 14947 14440 0 -1 64 379 0 0 0 18 2 0 0 15 0 8 0 175860221 937435136 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14947/tid=14954] ppid=14945 vsize=915464 CPUtime=0
/proc/14947/task/14954/stat : 14954 (java) S 14945 14947 14440 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175860221 937435136 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14947/tid=14955] ppid=14945 vsize=915464 CPUtime=0
/proc/14947/task/14955/stat : 14955 (java) S 14945 14947 14440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175860221 937435136 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 3.84196
CPU time (s): 3.75443
CPU user time (s): 3.67444
CPU system time (s): 0.079987
CPU usage (%): 97.7216
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.67444
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= 9123
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= 1174
involuntary context switches= 1405
runsolver used 0.004999 s user time and 0.022996 s system time
The end
Begin job on node25 on Mon Jan 8 16:44:38 UTC 2007
IDJOB= 226155
IDBENCH= 5940
FILE ID= node25/226155-1168274677
PBS_JOBID= 3483257
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226155-1168274677/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-226155-1168274677 -o ROOT/results/node25/solver-226155-1168274677 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226155-1168274677/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 98232826630148704d837a60ccceb30e
RANDOM SEED= 181094962
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.279
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.279
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: 597928 kB
Buffers: 6780 kB
Cached: 768096 kB
SwapCached: 2160 kB
Active: 802948 kB
Inactive: 601332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 597928 kB
SwapTotal: 4192956 kB
SwapFree: 4170848 kB
Dirty: 2376 kB
Writeback: 0 kB
Mapped: 645312 kB
Slab: 36976 kB
Committed_AS: 4400000 kB
PageTables: 3548 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= 66552 MiB
End job on node25 on Mon Jan 8 16:44:42 UTC 2007