0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/224357-1168080514/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.39 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.55
0.56 constraints being loaded...
0.64 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.64 => wckTime=0.351 cpuTime=0.31 mem=21M634
0.68
0.68 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.541 cpuTime=0.42 mem=15M148
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0020 cpuTime=0.0 mem=15M148
0.89
0.89 search
0.89 run=0 nbConstraintChecks=56539 nbPropagations=513 nbRevisions=1981 nbUselessRevisions=1058 nbAssignments=18
0.89 nbFailedAssignments=4 nbBacktracks=12 nbVisitedNodes=28 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.051 cpuTime=0.03 mem=15M148
0.92
0.92 search
0.92 run=1 nbConstraintChecks=212070 nbPropagations=2135 nbRevisions=9109 nbUselessRevisions=4905 nbAssignments=58
0.92 nbFailedAssignments=24 nbBacktracks=29 nbVisitedNodes=99 nbRestartNogoods=2 mapSize=23 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.079 cpuTime=0.06 mem=15M148
0.93
0.93 search
0.93 run=2 nbConstraintChecks=337100 nbPropagations=4744 nbRevisions=20499 nbUselessRevisions=11071
0.93 nbAssignments=99 nbFailedAssignments=38 nbBacktracks=51 nbVisitedNodes=163 nbRestartNogoods=3 mapSize=35
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.097 cpuTime=0.08 mem=15M148
0.96
0.96 search
0.96 run=3 nbConstraintChecks=614396 nbPropagations=9700 nbRevisions=42187 nbUselessRevisions=22705
0.96 nbAssignments=176 nbFailedAssignments=79 nbBacktracks=84 nbVisitedNodes=303 nbRestartNogoods=7 mapSize=63
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.123 cpuTime=0.1 mem=15M148
1.01
1.01 search
1.01 run=4 nbConstraintChecks=1226578 nbPropagations=18486 nbRevisions=82641 nbUselessRevisions=44568
1.01 nbAssignments=323 nbFailedAssignments=173 nbBacktracks=134 nbVisitedNodes=583 nbRestartNogoods=12 mapSize=108
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.177 cpuTime=0.15 mem=15M148
1.07
1.07 search
1.07 run=5 nbConstraintChecks=1843453 nbPropagations=32285 nbRevisions=145390 nbUselessRevisions=78289
1.07 nbAssignments=488 nbFailedAssignments=259 nbBacktracks=210 nbVisitedNodes=881 nbRestartNogoods=25 mapSize=174
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.232 cpuTime=0.2 mem=15M148
1.21
1.21 search
1.21 run=6 nbConstraintChecks=3628366 nbPropagations=57171 nbRevisions=260859 nbUselessRevisions=139201
1.21 nbAssignments=855 nbFailedAssignments=512 nbBacktracks=323 nbVisitedNodes=1594 nbRestartNogoods=32 mapSize=279
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.374 cpuTime=0.34 mem=15M148
1.41
1.41 search
1.41 run=7 nbConstraintChecks=6332534 nbPropagations=98257 nbRevisions=455416 nbUselessRevisions=241802
1.41 nbAssignments=1414 nbFailedAssignments=899 nbBacktracks=493 nbVisitedNodes=2681 nbRestartNogoods=37
1.41 mapSize=437 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.575 cpuTime=0.54 mem=15M148
1.64
1.64 search
1.64 run=8 nbConstraintChecks=9189928 nbPropagations=159295 nbRevisions=743392 nbUselessRevisions=393856
1.64 nbAssignments=2078 nbFailedAssignments=1304 nbBacktracks=751 nbVisitedNodes=3930 nbRestartNogoods=58
1.64 mapSize=659 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.803 cpuTime=0.75 mem=15M148
2.03
2.04 search
2.04 run=9 nbConstraintChecks=14698212 nbPropagations=255586 nbRevisions=1199162 nbUselessRevisions=634535
2.04 nbAssignments=3269 nbFailedAssignments=2107 nbBacktracks=1135 nbVisitedNodes=6241 nbRestartNogoods=66
2.04 mapSize=1020 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=1.199 cpuTime=1.14 mem=16M123
2.05
2.05 INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=16M123)
2.52
2.52 search
2.52 run=10 nbConstraintChecks=21388595 nbPropagations=396373 nbRevisions=1867776 nbUselessRevisions=986949
2.52 nbAssignments=4781 nbFailedAssignments=3040 nbBacktracks=1713 nbVisitedNodes=9100 nbRestartNogoods=76
2.52 => wckTime=1.68 cpuTime=1.61 mem=16M123
3.18
3.18 search
3.18 run=11 nbConstraintChecks=30969074 nbPropagations=598580 nbRevisions=2829891 nbUselessRevisions=1493945
3.18 nbAssignments=6824 nbFailedAssignments=4216 nbBacktracks=2577 nbVisitedNodes=12896 nbRestartNogoods=87
3.18 => wckTime=2.346 cpuTime=2.28 mem=16M123
4.08
4.08 search
4.08 run=12 nbConstraintChecks=44069748 nbPropagations=885426 nbRevisions=4197695 nbUselessRevisions=2217176
4.08 nbAssignments=9772 nbFailedAssignments=5930 nbBacktracks=3771 nbVisitedNodes=18365 nbRestartNogoods=92
4.08 => wckTime=3.242 cpuTime=3.17 mem=16M123
4.08
4.08 global
4.08 nbConstraintChecks=44069748 nbPropagations=885466 nbRevisions=4197695 nbUselessRevisions=2217176
4.08 nbRestartNogoods=92 solvingWckTime=3.243 solvingCpuTime=3.17 expiredTime=no totalExploration=no
4.08 nbFoundSolutions=1 globalCpuTime=3.63
4.08 => wckTime=3.789 cpuTime=3.59 mem=16M123
4.08
4.08 s SATISFIABLE
4.08 v 32 28 71 11 13 79 54 28 79 40 75 46 25 8 74 45 70 2 49 16 47 8 58 43 66 26 55 23 78 75 35 41 74 58 46 53 4 45 45 44
4.08 d NODES 9772
4.08 d CHECKS 44069748
4.08
4.08 totalWckTime=3.866 totalCpuTime=3.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-224357-1168080514 -o ROOT/results/node39/solver-224357-1168080514 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224357-1168080514/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.83 1.05 1.48 4/80 21124
/proc/meminfo: memFree=1711640/2055920 swapFree=4192812/4192956
[pid=21123] ppid=21121 vsize=56496 CPUtime=0
/proc/21123/stat : 21123 (java) R 21121 21123 20730 0 -1 0 1232 0 1 0 0 0 0 0 17 0 1 0 156451521 57851904 981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11559898 0 4 0 7368 0 0 0 17 0 0 0
/proc/21123/statm: 14124 985 777 14 0 1707 0
[startup+0.103312 s]
/proc/loadavg: 0.83 1.05 1.48 4/80 21124
/proc/meminfo: memFree=1711640/2055920 swapFree=4192812/4192956
[pid=21123] ppid=21121 vsize=914988 CPUtime=0.09
/proc/21123/stat : 21123 (java) R 21121 21123 20730 0 -1 0 3070 0 1 0 8 1 0 0 23 0 8 0 156451521 936947712 2816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21123/statm: 228747 2817 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511348 s]
/proc/loadavg: 0.83 1.05 1.48 4/80 21124
/proc/meminfo: memFree=1711640/2055920 swapFree=4192812/4192956
[pid=21123] ppid=21121 vsize=915328 CPUtime=0.49
/proc/21123/stat : 21123 (java) R 21121 21123 20730 0 -1 0 8040 0 1 0 45 4 0 0 25 0 8 0 156451521 937295872 7779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567406 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21123/statm: 228832 7779 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33242 s]
/proc/loadavg: 0.83 1.05 1.48 3/87 21131
/proc/meminfo: memFree=1680480/2055920 swapFree=4192812/4192956
[pid=21123] ppid=21121 vsize=915464 CPUtime=1.31
/proc/21123/stat : 21123 (java) R 21121 21123 20730 0 -1 0 10535 0 1 0 124 7 0 0 25 0 8 0 156451521 937435136 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21123/statm: 228866 10273 2513 14 0 215336 0
[pid=21123/tid=21125] ppid=21121 vsize=915464 CPUtime=0.03
/proc/21123/task/21125/stat : 21125 (java) S 21121 21123 20730 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156451524 937435136 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21123/tid=21126] ppid=21121 vsize=915464 CPUtime=0
/proc/21123/task/21126/stat : 21126 (java) S 21121 21123 20730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156451525 937435136 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21123/tid=21127] ppid=21121 vsize=915464 CPUtime=0
/proc/21123/task/21127/stat : 21127 (java) S 21121 21123 20730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156451525 937435136 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21123/tid=21128] ppid=21121 vsize=915464 CPUtime=0
/proc/21123/task/21128/stat : 21128 (java) S 21121 21123 20730 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156451528 937435136 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21123/tid=21129] ppid=21121 vsize=915464 CPUtime=0.17
/proc/21123/task/21129/stat : 21129 (java) S 21121 21123 20730 0 -1 64 361 0 0 0 17 0 0 0 15 0 8 0 156451528 937435136 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21123/tid=21130] ppid=21121 vsize=915464 CPUtime=0
/proc/21123/task/21130/stat : 21130 (java) S 21121 21123 20730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156451528 937435136 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21123/tid=21131] ppid=21121 vsize=915464 CPUtime=0
/proc/21123/task/21131/stat : 21131 (java) S 21121 21123 20730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156451528 937435136 10273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.96957 s]
/proc/loadavg: 0.83 1.05 1.48 3/87 21131
/proc/meminfo: memFree=1680416/2055920 swapFree=4192812/4192956
[pid=21123] ppid=21121 vsize=915464 CPUtime=2.94
/proc/21123/stat : 21123 (java) R 21121 21123 20730 0 -1 0 10552 0 1 0 287 7 0 0 25 0 8 0 156451521 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21123/statm: 228866 10288 2513 14 0 215336 0
[pid=21123/tid=21125] ppid=21121 vsize=915464 CPUtime=0.03
/proc/21123/task/21125/stat : 21125 (java) S 21121 21123 20730 0 -1 64 352 0 0 0 3 0 0 0 17 0 8 0 156451524 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21123/tid=21126] ppid=21121 vsize=915464 CPUtime=0
/proc/21123/task/21126/stat : 21126 (java) S 21121 21123 20730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156451525 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21123/tid=21127] ppid=21121 vsize=915464 CPUtime=0
/proc/21123/task/21127/stat : 21127 (java) S 21121 21123 20730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156451525 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21123/tid=21128] ppid=21121 vsize=915464 CPUtime=0
/proc/21123/task/21128/stat : 21128 (java) S 21121 21123 20730 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156451528 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21123/tid=21129] ppid=21121 vsize=915464 CPUtime=0.2
/proc/21123/task/21129/stat : 21129 (java) S 21121 21123 20730 0 -1 64 376 0 0 0 19 1 0 0 15 0 8 0 156451528 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21123/tid=21130] ppid=21121 vsize=915464 CPUtime=0
/proc/21123/task/21130/stat : 21130 (java) S 21121 21123 20730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156451528 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21123/tid=21131] ppid=21121 vsize=915464 CPUtime=0
/proc/21123/task/21131/stat : 21131 (java) S 21121 21123 20730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156451528 937435136 10288 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 4.17837
CPU time (s): 4.07938
CPU user time (s): 3.99139
CPU system time (s): 0.087986
CPU usage (%): 97.6308
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.99139
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10562
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= 1107
involuntary context switches= 1385
runsolver used 0.009998 s user time and 0.020996 s system time
The end
Begin job on node39 on Sat Jan 6 10:48:37 UTC 2007
IDJOB= 224357
IDBENCH= 5742
FILE ID= node39/224357-1168080514
PBS_JOBID= 3476099
Free space on /tmp= 66529 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224357-1168080514/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-224357-1168080514 -o ROOT/results/node39/solver-224357-1168080514 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224357-1168080514/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1f9edfdfb4136c9cb5bd30529a173864
RANDOM SEED= 716671159
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: 1712056 kB
Buffers: 27076 kB
Cached: 201268 kB
SwapCached: 0 kB
Active: 95548 kB
Inactive: 176952 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1712056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4560 kB
Writeback: 0 kB
Mapped: 64412 kB
Slab: 56500 kB
Committed_AS: 3810612 kB
PageTables: 1876 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= 66529 MiB
End job on node39 on Sat Jan 6 10:48:45 UTC 2007