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/224780-1168080556/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 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.57
0.57 constraints being loaded...
0.65 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.65 => wckTime=0.359 cpuTime=0.3 mem=21M596
0.69
0.69 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.549 cpuTime=0.43 mem=15M148
0.85
0.85 preprocessing
0.85 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.85 detectedInconsistency=no
0.85 => wckTime=0.0020 cpuTime=0.01 mem=15M148
0.90
0.90 search
0.90 run=0 nbConstraintChecks=103994 nbPropagations=916 nbRevisions=3739 nbUselessRevisions=2023 nbAssignments=31
0.90 nbFailedAssignments=18 nbBacktracks=11 nbVisitedNodes=58 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.056 cpuTime=0.04 mem=15M148
0.94
0.94 search
0.94 run=1 nbConstraintChecks=357007 nbPropagations=3240 nbRevisions=14369 nbUselessRevisions=7770 nbAssignments=80
0.94 nbFailedAssignments=50 nbBacktracks=26 nbVisitedNodes=153 nbRestartNogoods=2 mapSize=26 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.088 cpuTime=0.06 mem=15M148
0.98
0.98 search
0.98 run=2 nbConstraintChecks=705677 nbPropagations=8395 nbRevisions=38190 nbUselessRevisions=20344
0.98 nbAssignments=166 nbFailedAssignments=112 nbBacktracks=48 nbVisitedNodes=318 nbRestartNogoods=18 mapSize=46
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.128 cpuTime=0.09 mem=15M148
1.01
1.01 search
1.01 run=3 nbConstraintChecks=1022169 nbPropagations=16122 nbRevisions=73942 nbUselessRevisions=39323
1.01 nbAssignments=252 nbFailedAssignments=163 nbBacktracks=82 nbVisitedNodes=478 nbRestartNogoods=21 mapSize=75
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.159 cpuTime=0.12 mem=15M148
1.07
1.07 search
1.07 run=4 nbConstraintChecks=1837857 nbPropagations=28781 nbRevisions=133552 nbUselessRevisions=71054
1.07 nbAssignments=421 nbFailedAssignments=280 nbBacktracks=132 nbVisitedNodes=802 nbRestartNogoods=26 mapSize=119
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.224 cpuTime=0.19 mem=15M148
1.14
1.14 search
1.14 run=5 nbConstraintChecks=2528602 nbPropagations=46941 nbRevisions=218013 nbUselessRevisions=115884
1.14 nbAssignments=589 nbFailedAssignments=370 nbBacktracks=207 nbVisitedNodes=1114 nbRestartNogoods=31 mapSize=187
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.29 cpuTime=0.24 mem=15M148
1.28
1.28 search
1.28 run=6 nbConstraintChecks=4497215 nbPropagations=76613 nbRevisions=360789 nbUselessRevisions=191978
1.28 nbAssignments=1002 nbFailedAssignments=668 nbBacktracks=320 nbVisitedNodes=1919 nbRestartNogoods=41
1.28 mapSize=296 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.438 cpuTime=0.39 mem=15M148
1.41
1.41 search
1.41 run=7 nbConstraintChecks=5948691 nbPropagations=117687 nbRevisions=555895 nbUselessRevisions=295908
1.41 nbAssignments=1364 nbFailedAssignments=859 nbBacktracks=490 nbVisitedNodes=2581 nbRestartNogoods=52
1.41 mapSize=442 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.558 cpuTime=0.51 mem=15M148
1.68
1.68 search
1.68 run=8 nbConstraintChecks=9426218 nbPropagations=181243 nbRevisions=862212 nbUselessRevisions=458957
1.68 nbAssignments=2113 nbFailedAssignments=1348 nbBacktracks=746 nbVisitedNodes=4011 nbRestartNogoods=63
1.68 mapSize=682 nbInferences=0 nbTooLargeKeys=0
1.68 => wckTime=0.834 cpuTime=0.77 mem=15M148
2.00
2.00 search
2.00 run=9 nbConstraintChecks=13632568 nbPropagations=273151 nbRevisions=1304512 nbUselessRevisions=694261
2.00 nbAssignments=2999 nbFailedAssignments=1848 nbBacktracks=1131 nbVisitedNodes=5668 nbRestartNogoods=71
2.00 mapSize=1029 nbInferences=0 nbTooLargeKeys=0
2.00 => wckTime=1.152 cpuTime=1.08 mem=16M123
2.02
2.02 INFO : Stopping hyperNogood (mapSize=1045, nbTooLargekeys=0, mem=16M123)
2.58
2.58 search
2.58 run=10 nbConstraintChecks=21646079 nbPropagations=415747 nbRevisions=1998034 nbUselessRevisions=1064125
2.58 nbAssignments=4737 nbFailedAssignments=3008 nbBacktracks=1707 nbVisitedNodes=8992 nbRestartNogoods=73
2.58 => wckTime=1.729 cpuTime=1.64 mem=16M123
3.33
3.33 search
3.33 run=11 nbConstraintChecks=32088059 nbPropagations=628333 nbRevisions=3030443 nbUselessRevisions=1616017
3.33 nbAssignments=6973 nbFailedAssignments=4377 nbBacktracks=2571 nbVisitedNodes=13246 nbRestartNogoods=87
3.33 => wckTime=2.48 cpuTime=2.39 mem=16M123
4.20
4.20 search
4.20 run=12 nbConstraintChecks=44642234 nbPropagations=929979 nbRevisions=4492894 nbUselessRevisions=2400468
4.20 nbAssignments=9759 nbFailedAssignments=5863 nbBacktracks=3870 nbVisitedNodes=18414 nbRestartNogoods=99
4.20 => wckTime=3.349 cpuTime=3.25 mem=16M123
4.66
4.66 search
4.66 run=13 nbConstraintChecks=51342047 nbPropagations=1277501 nbRevisions=6180261 nbUselessRevisions=3307636
4.66 nbAssignments=11183 nbFailedAssignments=6649 nbBacktracks=4509 nbVisitedNodes=21089 nbRestartNogoods=107
4.66 => wckTime=3.809 cpuTime=3.71 mem=16M123
4.66
4.66 global
4.66 nbConstraintChecks=51342047 nbPropagations=1277541 nbRevisions=6180261 nbUselessRevisions=3307636
4.66 nbRestartNogoods=107 solvingWckTime=3.81 solvingCpuTime=3.71 expiredTime=no totalExploration=yes
4.66 nbFoundSolutions=0 globalCpuTime=4.18
4.66 => wckTime=4.364 cpuTime=4.14 mem=16M123
4.66
4.66 s UNSATISFIABLE
4.66 d NODES 11183
4.66 d CHECKS 51342047
4.66
4.66 totalWckTime=4.439 totalCpuTime=4.18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-224780-1168080556 -o ROOT/results/node19/solver-224780-1168080556 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224780-1168080556/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.65 1.83 4/81 23854
/proc/meminfo: memFree=1257680/2055920 swapFree=4171232/4192956
[pid=23853] ppid=23851 vsize=220 CPUtime=0
/proc/23853/stat : 23853 (java) R 23851 23853 23093 0 -1 0 224 0 0 0 0 0 0 0 19 0 1 0 156451828 225280 31 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7484324 0 0 4096 0 0 0 0 17 1 0 0
/proc/23853/statm: 73 35 27 14 0 5 0
[startup+0.105413 s]
/proc/loadavg: 0.83 1.65 1.83 4/81 23854
/proc/meminfo: memFree=1257680/2055920 swapFree=4171232/4192956
[pid=23853] ppid=23851 vsize=914988 CPUtime=0.1
/proc/23853/stat : 23853 (java) R 23851 23853 23093 0 -1 0 3080 0 1 0 8 2 0 0 17 0 8 0 156451828 936947712 2826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072937011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23853/statm: 228747 2826 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.513488 s]
/proc/loadavg: 0.83 1.65 1.83 4/81 23854
/proc/meminfo: memFree=1257680/2055920 swapFree=4171232/4192956
[pid=23853] ppid=23851 vsize=915328 CPUtime=0.49
/proc/23853/stat : 23853 (java) R 23851 23853 23093 0 -1 0 7936 0 1 0 45 4 0 0 17 0 8 0 156451828 937295872 7675 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445305 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23853/statm: 228832 7675 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33464 s]
/proc/loadavg: 0.83 1.65 1.83 2/88 23864
/proc/meminfo: memFree=1226264/2055920 swapFree=4171232/4192956
[pid=23853] ppid=23851 vsize=915464 CPUtime=1.29
/proc/23853/stat : 23853 (java) R 23851 23853 23093 0 -1 0 10518 0 1 0 122 7 0 0 17 0 8 0 156451828 937435136 10256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23853/statm: 228866 10256 2513 14 0 215336 0
[pid=23853/tid=23855] ppid=23851 vsize=915464 CPUtime=0.03
/proc/23853/task/23855/stat : 23855 (java) S 23851 23853 23093 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 156451831 937435136 10256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23853/tid=23856] ppid=23851 vsize=915464 CPUtime=0
/proc/23853/task/23856/stat : 23856 (java) S 23851 23853 23093 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156451832 937435136 10256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23853/tid=23857] ppid=23851 vsize=915464 CPUtime=0
/proc/23853/task/23857/stat : 23857 (java) S 23851 23853 23093 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156451832 937435136 10256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23853/tid=23858] ppid=23851 vsize=915464 CPUtime=0
/proc/23853/task/23858/stat : 23858 (java) S 23851 23853 23093 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156451835 937435136 10256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23853/tid=23859] ppid=23851 vsize=915464 CPUtime=0.15
/proc/23853/task/23859/stat : 23859 (java) S 23851 23853 23093 0 -1 64 360 0 0 0 14 1 0 0 15 0 8 0 156451835 937435136 10256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23853/tid=23860] ppid=23851 vsize=915464 CPUtime=0
/proc/23853/task/23860/stat : 23860 (java) S 23851 23853 23093 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156451835 937435136 10256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23853/tid=23861] ppid=23851 vsize=915464 CPUtime=0
/proc/23853/task/23861/stat : 23861 (java) S 23851 23853 23093 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156451835 937435136 10256 18446744073709551615 134512640 134570532 4294956464 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.98695 s]
/proc/loadavg: 0.83 1.65 1.83 2/88 23864
/proc/meminfo: memFree=1226200/2055920 swapFree=4171232/4192956
[pid=23853] ppid=23851 vsize=915464 CPUtime=2.94
/proc/23853/stat : 23853 (java) R 23851 23853 23093 0 -1 0 10536 0 1 0 286 8 0 0 17 0 8 0 156451828 937435136 10271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735751 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23853/statm: 228866 10271 2513 14 0 215336 0
[pid=23853/tid=23855] ppid=23851 vsize=915464 CPUtime=0.03
/proc/23853/task/23855/stat : 23855 (java) S 23851 23853 23093 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 156451831 937435136 10271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23853/tid=23856] ppid=23851 vsize=915464 CPUtime=0
/proc/23853/task/23856/stat : 23856 (java) S 23851 23853 23093 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156451832 937435136 10271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23853/tid=23857] ppid=23851 vsize=915464 CPUtime=0
/proc/23853/task/23857/stat : 23857 (java) S 23851 23853 23093 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156451832 937435136 10271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23853/tid=23858] ppid=23851 vsize=915464 CPUtime=0
/proc/23853/task/23858/stat : 23858 (java) S 23851 23853 23093 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156451835 937435136 10271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23853/tid=23859] ppid=23851 vsize=915464 CPUtime=0.18
/proc/23853/task/23859/stat : 23859 (java) S 23851 23853 23093 0 -1 64 375 0 0 0 17 1 0 0 15 0 8 0 156451835 937435136 10271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23853/tid=23860] ppid=23851 vsize=915464 CPUtime=0
/proc/23853/task/23860/stat : 23860 (java) S 23851 23853 23093 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156451835 937435136 10271 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23853/tid=23861] ppid=23851 vsize=915464 CPUtime=0
/proc/23853/task/23861/stat : 23861 (java) S 23851 23853 23093 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156451835 937435136 10271 18446744073709551615 134512640 134570532 4294956464 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.71115
CPU time (s): 4.6253
CPU user time (s): 4.53531
CPU system time (s): 0.089986
CPU usage (%): 98.1776
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.53531
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10546
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= 836
involuntary context switches= 328
runsolver used 0.012998 s user time and 0.022996 s system time
The end
Begin job on node19 on Sat Jan 6 10:49:22 UTC 2007
IDJOB= 224780
IDBENCH= 5792
FILE ID= node19/224780-1168080556
PBS_JOBID= 3475796
Free space on /tmp= 66311 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-73_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224780-1168080556/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-224780-1168080556 -o ROOT/results/node19/solver-224780-1168080556 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224780-1168080556/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1c421096d04939b2325835991d641f60
RANDOM SEED= 387742790
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.260
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.260
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: 1258160 kB
Buffers: 70392 kB
Cached: 591004 kB
SwapCached: 10036 kB
Active: 286544 kB
Inactive: 410956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1258160 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 2556 kB
Writeback: 0 kB
Mapped: 45300 kB
Slab: 85244 kB
Committed_AS: 3588692 kB
PageTables: 2212 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= 66311 MiB
End job on node19 on Sat Jan 6 10:49:37 UTC 2007