0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/225063-1168080573/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.40 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.58
0.58 constraints being loaded...
0.67 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=2
0.67 => wckTime=0.362 cpuTime=0.31 mem=21M645
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.553 cpuTime=0.43 mem=15M148
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.0020 cpuTime=0.0 mem=15M148
0.92
0.92 search
0.92 run=0 nbConstraintChecks=92657 nbPropagations=770 nbRevisions=3015 nbUselessRevisions=1605 nbAssignments=30
0.92 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.054 cpuTime=0.04 mem=15M148
0.94
0.94 search
0.94 run=1 nbConstraintChecks=233051 nbPropagations=2677 nbRevisions=10757 nbUselessRevisions=5601 nbAssignments=67
0.94 nbFailedAssignments=32 nbBacktracks=25 nbVisitedNodes=115 nbRestartNogoods=3 mapSize=18 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.081 cpuTime=0.05 mem=15M148
0.96
0.96 search
0.96 run=2 nbConstraintChecks=385809 nbPropagations=6042 nbRevisions=24516 nbUselessRevisions=12753
0.96 nbAssignments=114 nbFailedAssignments=52 nbBacktracks=48 nbVisitedNodes=199 nbRestartNogoods=5 mapSize=39
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.101 cpuTime=0.07 mem=15M148
0.98
0.98 search
0.98 run=3 nbConstraintChecks=568916 nbPropagations=11085 nbRevisions=45302 nbUselessRevisions=23673
0.98 nbAssignments=192 nbFailedAssignments=93 nbBacktracks=82 nbVisitedNodes=334 nbRestartNogoods=9 mapSize=62
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.121 cpuTime=0.09 mem=15M148
1.04
1.04 search
1.04 run=4 nbConstraintChecks=1157518 nbPropagations=20360 nbRevisions=85891 nbUselessRevisions=45298
1.04 nbAssignments=339 nbFailedAssignments=185 nbBacktracks=133 nbVisitedNodes=608 nbRestartNogoods=14 mapSize=110
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.176 cpuTime=0.14 mem=15M148
1.08
1.08 search
1.08 run=5 nbConstraintChecks=1576236 nbPropagations=33465 nbRevisions=143207 nbUselessRevisions=75944
1.08 nbAssignments=487 nbFailedAssignments=252 nbBacktracks=212 nbVisitedNodes=865 nbRestartNogoods=17 mapSize=169
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.217 cpuTime=0.18 mem=15M148
1.16
1.16 search
1.16 run=6 nbConstraintChecks=2596295 nbPropagations=53904 nbRevisions=233235 nbUselessRevisions=124015
1.16 nbAssignments=748 nbFailedAssignments=397 nbBacktracks=327 nbVisitedNodes=1344 nbRestartNogoods=24 mapSize=271
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.302 cpuTime=0.26 mem=15M148
1.26
1.26 search
1.26 run=7 nbConstraintChecks=3615292 nbPropagations=83018 nbRevisions=361520 nbUselessRevisions=192640
1.26 nbAssignments=1081 nbFailedAssignments=555 nbBacktracks=499 nbVisitedNodes=1928 nbRestartNogoods=25
1.26 mapSize=399 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.401 cpuTime=0.37 mem=15M148
1.46
1.46 search
1.46 run=8 nbConstraintChecks=5694947 nbPropagations=128748 nbRevisions=564745 nbUselessRevisions=300833
1.46 nbAssignments=1613 nbFailedAssignments=827 nbBacktracks=755 nbVisitedNodes=2897 nbRestartNogoods=39
1.46 mapSize=625 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.596 cpuTime=0.55 mem=15M148
1.48
1.48 search
1.48 run=9 nbConstraintChecks=5954190 nbPropagations=176685 nbRevisions=777480 nbUselessRevisions=413975
1.48 nbAssignments=1709 nbFailedAssignments=861 nbBacktracks=777 nbVisitedNodes=3045 nbRestartNogoods=51
1.48 mapSize=645 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.622 cpuTime=0.57 mem=15M148
1.48
1.48 global
1.48 nbConstraintChecks=5954190 nbPropagations=176725 nbRevisions=777480 nbUselessRevisions=413975
1.48 nbRestartNogoods=51 solvingWckTime=0.624 solvingCpuTime=0.57 expiredTime=no totalExploration=no
1.48 nbFoundSolutions=1 globalCpuTime=1.05
1.48 => wckTime=1.181 cpuTime=1.0 mem=15M148
1.49
1.49 s SATISFIABLE
1.49 v 60 8 61 53 59 56 0 52 20 35 36 15 8 33 42 13 43 66 77 6 69 19 52 53 8 77 44 41 8 36 26 22 7 23 63 21 47 43 21 25
1.49 d NODES 1709
1.49 d CHECKS 5954190
1.49
1.49 totalWckTime=1.257 totalCpuTime=1.06
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-225063-1168080573 -o ROOT/results/node19/solver-225063-1168080573 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225063-1168080573/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.84 1.64 1.83 4/81 23907
/proc/meminfo: memFree=1254408/2055920 swapFree=4171232/4192956
[pid=23906] ppid=23904 vsize=292 CPUtime=0
/proc/23906/stat : 23906 (java) R 23904 23906 23717 0 -1 0 54 0 0 0 0 0 0 0 19 0 1 0 156452576 299008 37 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7445753 0 0 4096 0 0 0 0 17 1 0 0
/proc/23906/statm: 77 38 29 14 0 5 0
[startup+0.107753 s]
/proc/loadavg: 0.84 1.64 1.83 4/81 23907
/proc/meminfo: memFree=1254408/2055920 swapFree=4171232/4192956
[pid=23906] ppid=23904 vsize=914988 CPUtime=0.08
/proc/23906/stat : 23906 (java) R 23904 23906 23717 0 -1 0 3039 0 1 0 7 1 0 0 16 0 8 0 156452576 936947712 2785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23906/statm: 228747 2785 1443 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515824 s]
/proc/loadavg: 0.84 1.64 1.83 4/81 23907
/proc/meminfo: memFree=1254408/2055920 swapFree=4171232/4192956
[pid=23906] ppid=23904 vsize=915328 CPUtime=0.48
/proc/23906/stat : 23906 (java) R 23904 23906 23717 0 -1 0 7775 0 1 0 43 5 0 0 16 0 8 0 156452576 937295872 7514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23906/statm: 228832 7517 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33798 s]
/proc/loadavg: 0.86 1.63 1.82 2/88 23914
/proc/meminfo: memFree=1223248/2055920 swapFree=4171232/4192956
[pid=23906] ppid=23904 vsize=915464 CPUtime=1.3
/proc/23906/stat : 23906 (java) R 23904 23906 23717 0 -1 0 10511 0 1 0 122 8 0 0 17 0 8 0 156452576 937435136 10249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727526 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23906/statm: 228866 10249 2513 14 0 215336 0
[pid=23906/tid=23908] ppid=23904 vsize=915464 CPUtime=0.03
/proc/23906/task/23908/stat : 23908 (java) S 23904 23906 23717 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 156452580 937435136 10249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23906/tid=23909] ppid=23904 vsize=915464 CPUtime=0
/proc/23906/task/23909/stat : 23909 (java) S 23904 23906 23717 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156452581 937435136 10249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23906/tid=23910] ppid=23904 vsize=915464 CPUtime=0
/proc/23906/task/23910/stat : 23910 (java) S 23904 23906 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156452581 937435136 10249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23906/tid=23911] ppid=23904 vsize=915464 CPUtime=0
/proc/23906/task/23911/stat : 23911 (java) S 23904 23906 23717 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452584 937435136 10249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23906/tid=23912] ppid=23904 vsize=915464 CPUtime=0.15
/proc/23906/task/23912/stat : 23912 (java) S 23904 23906 23717 0 -1 64 361 0 0 0 14 1 0 0 15 0 8 0 156452584 937435136 10249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23906/tid=23913] ppid=23904 vsize=915464 CPUtime=0
/proc/23906/task/23913/stat : 23913 (java) S 23904 23906 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452584 937435136 10249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23906/tid=23914] ppid=23904 vsize=915464 CPUtime=0
/proc/23906/task/23914/stat : 23914 (java) S 23904 23906 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452584 937435136 10249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 1.54448
CPU time (s): 1.47677
CPU user time (s): 1.38179
CPU system time (s): 0.094985
CPU usage (%): 95.6163
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.38179
system time used= 0.094985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10526
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= 758
involuntary context switches= 164
runsolver used 0.004999 s user time and 0.009998 s system time
The end
Begin job on node19 on Sat Jan 6 10:49:37 UTC 2007
IDJOB= 225063
IDBENCH= 5816
FILE ID= node19/225063-1168080573
PBS_JOBID= 3475867
Free space on /tmp= 66309 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-65_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225063-1168080573/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-225063-1168080573 -o ROOT/results/node19/solver-225063-1168080573 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225063-1168080573/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cbc5d8982dfef380b840cb6f62a47cf2
RANDOM SEED= 786266918
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: 1254824 kB
Buffers: 70400 kB
Cached: 594192 kB
SwapCached: 10036 kB
Active: 288956 kB
Inactive: 411724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1254824 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 4952 kB
Writeback: 0 kB
Mapped: 45304 kB
Slab: 85392 kB
Committed_AS: 3590936 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= 66309 MiB
End job on node19 on Sat Jan 6 10:49:46 UTC 2007