0.41
0.41 Abscon 109 (November, 2006)
0.41
0.41 configuration
0.41 name=mac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/224395-1168080521/unknown.xml
0.47
0.47 domains being loaded...
0.48
0.48 variables being loaded...
0.52 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.52 => wckTime=0.105 cpuTime=0.09 mem=6M951
0.52
0.52 relations being loaded...
0.70
0.70 constraints being loaded...
0.79 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.79 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.79 => wckTime=0.382 cpuTime=0.33 mem=21M596
0.84
0.84 solver IterativeSystematicSolver being built...
1.00 => wckTime=0.591 cpuTime=0.47 mem=15M148
1.01
1.01 preprocessing
1.01 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.01 detectedInconsistency=no
1.01 => wckTime=0.0020 cpuTime=0.0 mem=15M148
1.07
1.07 search
1.07 run=0 nbConstraintChecks=123552 nbPropagations=995 nbRevisions=4460 nbUselessRevisions=2398 nbAssignments=34
1.07 nbFailedAssignments=19 nbBacktracks=11 nbVisitedNodes=61 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.07 nbTooLargeKeys=0
1.07 => wckTime=0.066 cpuTime=0.04 mem=15M148
1.10
1.10 search
1.10 run=1 nbConstraintChecks=272538 nbPropagations=2915 nbRevisions=13219 nbUselessRevisions=7093 nbAssignments=68
1.10 nbFailedAssignments=37 nbBacktracks=26 nbVisitedNodes=124 nbRestartNogoods=4 mapSize=22 nbInferences=0
1.10 nbTooLargeKeys=0
1.10 => wckTime=0.093 cpuTime=0.06 mem=15M148
1.13
1.13 search
1.13 run=2 nbConstraintChecks=533206 nbPropagations=6422 nbRevisions=29249 nbUselessRevisions=15658
1.13 nbAssignments=128 nbFailedAssignments=72 nbBacktracks=49 nbVisitedNodes=235 nbRestartNogoods=7 mapSize=43
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.127 cpuTime=0.08 mem=15M148
1.18
1.18 search
1.18 run=3 nbConstraintChecks=1059493 nbPropagations=12780 nbRevisions=58501 nbUselessRevisions=31480
1.18 nbAssignments=250 nbFailedAssignments=159 nbBacktracks=83 nbVisitedNodes=471 nbRestartNogoods=17 mapSize=75
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.173 cpuTime=0.12 mem=15M148
1.23
1.23 search
1.23 run=4 nbConstraintChecks=1614987 nbPropagations=22157 nbRevisions=102098 nbUselessRevisions=54878
1.23 nbAssignments=361 nbFailedAssignments=218 nbBacktracks=134 nbVisitedNodes=676 nbRestartNogoods=26 mapSize=117
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.221 cpuTime=0.17 mem=15M148
1.36
1.36 search
1.36 run=5 nbConstraintChecks=3323042 nbPropagations=39877 nbRevisions=187648 nbUselessRevisions=100483
1.36 nbAssignments=710 nbFailedAssignments=491 nbBacktracks=209 nbVisitedNodes=1364 nbRestartNogoods=38 mapSize=189
1.36 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.355 cpuTime=0.3 mem=15M148
1.51
1.51 search
1.51 run=6 nbConstraintChecks=5239181 nbPropagations=67186 nbRevisions=320823 nbUselessRevisions=172027
1.51 nbAssignments=1084 nbFailedAssignments=749 nbBacktracks=322 nbVisitedNodes=2082 nbRestartNogoods=40
1.51 mapSize=295 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.504 cpuTime=0.44 mem=15M148
1.78
1.78 search
1.78 run=7 nbConstraintChecks=8685328 nbPropagations=112203 nbRevisions=540883 nbUselessRevisions=290150
1.78 nbAssignments=1791 nbFailedAssignments=1285 nbBacktracks=492 nbVisitedNodes=3469 nbRestartNogoods=49
1.78 mapSize=454 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.778 cpuTime=0.7 mem=15M148
2.02
2.02 search
2.02 run=8 nbConstraintChecks=11755130 nbPropagations=174310 nbRevisions=840883 nbUselessRevisions=450842
2.02 nbAssignments=2382 nbFailedAssignments=1619 nbBacktracks=748 nbVisitedNodes=4588 nbRestartNogoods=52
2.02 mapSize=684 nbInferences=0 nbTooLargeKeys=0
2.02 => wckTime=1.009 cpuTime=0.92 mem=15M148
2.19
2.19 search
2.19 run=9 nbConstraintChecks=14188602 nbPropagations=249721 nbRevisions=1203133 nbUselessRevisions=644624
2.19 nbAssignments=2861 nbFailedAssignments=1892 nbBacktracks=914 nbVisitedNodes=5472 nbRestartNogoods=60
2.19 mapSize=837 nbInferences=0 nbTooLargeKeys=0
2.19 => wckTime=1.181 cpuTime=1.09 mem=15M148
2.19
2.19 global
2.19 nbConstraintChecks=14188602 nbPropagations=249761 nbRevisions=1203133 nbUselessRevisions=644624
2.19 nbRestartNogoods=60 solvingWckTime=1.183 solvingCpuTime=1.09 expiredTime=no totalExploration=no
2.19 nbFoundSolutions=1 globalCpuTime=1.61
2.19 => wckTime=1.78 cpuTime=1.56 mem=15M148
2.19
2.19 s SATISFIABLE
2.19 v 18 4 1 71 14 75 16 42 20 20 56 46 26 13 40 24 22 62 3 54 66 58 61 33 40 23 12 74 26 20 44 79 0 57 41 77 9 72 67 61
2.19 d NODES 2861
2.19 d CHECKS 14188602
2.19
2.19 totalWckTime=1.862 totalCpuTime=1.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-224395-1168080521 -o ROOT/results/node1/solver-224395-1168080521 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224395-1168080521/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: 1.73 1.96 1.98 4/93 17642
/proc/meminfo: memFree=1149992/2055920 swapFree=4165584/4192956
[pid=17641] ppid=17639 vsize=18540 CPUtime=0
/proc/17641/stat : 17641 (runsolver) R 17639 17641 17574 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156448242 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17641/statm: 4635 279 244 17 0 2626 0
[startup+0.107969 s]
/proc/loadavg: 1.73 1.96 1.98 4/93 17642
/proc/meminfo: memFree=1149992/2055920 swapFree=4165584/4192956
[pid=17641] ppid=17639 vsize=12076 CPUtime=0.01
/proc/17641/stat : 17641 (java) D 17639 17641 17574 0 -1 0 796 0 1 0 0 1 0 0 17 0 1 0 156448242 12365824 545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/17641/statm: 3019 545 450 14 0 1602 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12076
[startup+0.516017 s]
/proc/loadavg: 1.73 1.96 1.98 4/93 17642
/proc/meminfo: memFree=1149992/2055920 swapFree=4165584/4192956
[pid=17641] ppid=17639 vsize=915328 CPUtime=0.4
/proc/17641/stat : 17641 (java) R 17639 17641 17574 0 -1 0 6108 0 1 0 37 3 0 0 18 0 8 0 156448242 937295872 5847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17641/statm: 228832 5847 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.33911 s]
/proc/loadavg: 1.73 1.96 1.98 3/100 17649
/proc/meminfo: memFree=1118768/2055920 swapFree=4165584/4192956
[pid=17641] ppid=17639 vsize=915464 CPUtime=1.22
/proc/17641/stat : 17641 (java) R 17639 17641 17574 0 -1 0 10517 0 1 0 115 7 0 0 24 0 8 0 156448242 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17641/statm: 228866 10255 2513 14 0 215336 0
[pid=17641/tid=17643] ppid=17639 vsize=915464 CPUtime=0.03
/proc/17641/task/17643/stat : 17643 (java) S 17639 17641 17574 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156448255 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17641/tid=17644] ppid=17639 vsize=915464 CPUtime=0
/proc/17641/task/17644/stat : 17644 (java) S 17639 17641 17574 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156448256 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17641/tid=17645] ppid=17639 vsize=915464 CPUtime=0
/proc/17641/task/17645/stat : 17645 (java) S 17639 17641 17574 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156448256 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17641/tid=17646] ppid=17639 vsize=915464 CPUtime=0
/proc/17641/task/17646/stat : 17646 (java) S 17639 17641 17574 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156448259 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17641/tid=17647] ppid=17639 vsize=915464 CPUtime=0.17
/proc/17641/task/17647/stat : 17647 (java) S 17639 17641 17574 0 -1 64 359 0 0 0 17 0 0 0 15 0 8 0 156448259 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17641/tid=17648] ppid=17639 vsize=915464 CPUtime=0
/proc/17641/task/17648/stat : 17648 (java) S 17639 17641 17574 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156448259 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17641/tid=17649] ppid=17639 vsize=915464 CPUtime=0
/proc/17641/task/17649/stat : 17649 (java) S 17639 17641 17574 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156448259 937435136 10255 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 2.22545
CPU time (s): 2.08068
CPU user time (s): 2.00069
CPU system time (s): 0.079987
CPU usage (%): 93.4948
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.00069
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= 10540
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= 1023
involuntary context switches= 1199
runsolver used 0.005999 s user time and 0.010998 s system time
The end
Begin job on node1 on Sat Jan 6 10:48:42 UTC 2007
IDJOB= 224395
IDBENCH= 5747
FILE ID= node1/224395-1168080521
PBS_JOBID= 3475868
Free space on /tmp= 66301 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224395-1168080521/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-224395-1168080521 -o ROOT/results/node1/solver-224395-1168080521 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224395-1168080521/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d9b0504e639a4ad3395877c0787a0554
RANDOM SEED= 528932593
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.234
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.234
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: 1150472 kB
Buffers: 69960 kB
Cached: 639668 kB
SwapCached: 3692 kB
Active: 430196 kB
Inactive: 377776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1150472 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 2728 kB
Writeback: 0 kB
Mapped: 118296 kB
Slab: 82008 kB
Committed_AS: 4965628 kB
PageTables: 2512 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= 66301 MiB
End job on node1 on Sat Jan 6 10:48:49 UTC 2007