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/226882-1168080747/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.40 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.51
0.51 constraints being loaded...
0.59 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=2
0.59 => wckTime=0.289 cpuTime=0.23 mem=15M764
0.64
0.64 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.487 cpuTime=0.36 mem=13M789
0.79
0.79 preprocessing
0.80 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.80 detectedInconsistency=no
0.80 => wckTime=0.0020 cpuTime=0.0 mem=13M789
0.84
0.84 search
0.84 run=0 nbConstraintChecks=38285 nbPropagations=637 nbRevisions=3102 nbUselessRevisions=2020 nbAssignments=28
0.84 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.05 cpuTime=0.03 mem=14M764
0.86
0.86 search
0.86 run=1 nbConstraintChecks=93804 nbPropagations=2052 nbRevisions=10355 nbUselessRevisions=6628 nbAssignments=61
0.86 nbFailedAssignments=22 nbBacktracks=26 nbVisitedNodes=100 nbRestartNogoods=2 mapSize=19 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.068 cpuTime=0.05 mem=14M764
0.87
0.87 search
0.87 run=2 nbConstraintChecks=131577 nbPropagations=4129 nbRevisions=21091 nbUselessRevisions=13391
0.87 nbAssignments=102 nbFailedAssignments=36 nbBacktracks=49 nbVisitedNodes=163 nbRestartNogoods=5 mapSize=30
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.082 cpuTime=0.05 mem=14M764
0.90
0.90 search
0.90 run=3 nbConstraintChecks=257307 nbPropagations=8018 nbRevisions=42250 nbUselessRevisions=26592
0.90 nbAssignments=175 nbFailedAssignments=72 nbBacktracks=82 nbVisitedNodes=293 nbRestartNogoods=7 mapSize=61
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.103 cpuTime=0.07 mem=14M764
0.92
0.92 search
0.92 run=4 nbConstraintChecks=434509 nbPropagations=14343 nbRevisions=78076 nbUselessRevisions=48672
0.92 nbAssignments=280 nbFailedAssignments=122 nbBacktracks=132 nbVisitedNodes=476 nbRestartNogoods=10 mapSize=104
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.127 cpuTime=0.09 mem=14M764
0.95
0.95 search
0.95 run=5 nbConstraintChecks=678690 nbPropagations=23945 nbRevisions=132223 nbUselessRevisions=81960
0.95 nbAssignments=427 nbFailedAssignments=188 nbBacktracks=209 nbVisitedNodes=734 nbRestartNogoods=17 mapSize=162
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.161 cpuTime=0.13 mem=14M764
1.00
1.00 search
1.00 run=6 nbConstraintChecks=1048614 nbPropagations=38645 nbRevisions=214370 nbUselessRevisions=132037
1.00 nbAssignments=647 nbFailedAssignments=293 nbBacktracks=322 nbVisitedNodes=1117 nbRestartNogoods=21 mapSize=249
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.208 cpuTime=0.17 mem=14M764
1.06
1.06 search
1.06 run=7 nbConstraintChecks=1477106 nbPropagations=60579 nbRevisions=336142 nbUselessRevisions=206407
1.06 nbAssignments=975 nbFailedAssignments=445 nbBacktracks=492 nbVisitedNodes=1689 nbRestartNogoods=27 mapSize=392
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.268 cpuTime=0.23 mem=14M764
1.21
1.21 search
1.21 run=8 nbConstraintChecks=2529009 nbPropagations=97061 nbRevisions=546277 nbUselessRevisions=334420
1.21 nbAssignments=1605 nbFailedAssignments=814 nbBacktracks=749 nbVisitedNodes=2865 nbRestartNogoods=33
1.21 mapSize=610 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.415 cpuTime=0.36 mem=14M764
1.35
1.35 search
1.35 run=9 nbConstraintChecks=3757570 nbPropagations=151870 nbRevisions=859115 nbUselessRevisions=525435
1.35 nbAssignments=2366 nbFailedAssignments=1184 nbBacktracks=1134 nbVisitedNodes=4221 nbRestartNogoods=42
1.35 mapSize=935 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.557 cpuTime=0.5 mem=14M764
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=14M764)
1.56
1.56 search
1.56 run=10 nbConstraintChecks=5568210 nbPropagations=234752 nbRevisions=1328756 nbUselessRevisions=812171
1.56 nbAssignments=3519 nbFailedAssignments=1757 nbBacktracks=1711 nbVisitedNodes=6300 nbRestartNogoods=47
1.56 => wckTime=0.766 cpuTime=0.7 mem=14M764
1.76
1.76 search
1.76 run=11 nbConstraintChecks=7516617 nbPropagations=345536 nbRevisions=1951632 nbUselessRevisions=1191609
1.76 nbAssignments=4695 nbFailedAssignments=2245 nbBacktracks=2359 nbVisitedNodes=8326 nbRestartNogoods=51
1.76 => wckTime=0.97 cpuTime=0.9 mem=14M764
1.76
1.76 global
1.76 nbConstraintChecks=7516617 nbPropagations=345576 nbRevisions=1951632 nbUselessRevisions=1191609
1.76 nbRestartNogoods=51 solvingWckTime=0.971 solvingCpuTime=0.9 expiredTime=no totalExploration=no
1.76 nbFoundSolutions=1 globalCpuTime=1.3
1.76 => wckTime=1.462 cpuTime=1.26 mem=14M764
1.76
1.76 s SATISFIABLE
1.77 v 27 21 1 35 38 31 9 39 25 14 21 23 15 22 3 30 32 24 10 39 27 29 25 6 26 26 34 3 12 34 9 7 3 33 0 24 4 1 1 14
1.77 d NODES 4695
1.77 d CHECKS 7516617
1.77
1.77 totalWckTime=1.537 totalCpuTime=1.3
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-226882-1168080747 -o ROOT/results/node18/solver-226882-1168080747 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226882-1168080747/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.02 1.27 1.53 4/93 26760
/proc/meminfo: memFree=1052816/2055920 swapFree=4192812/4192956
[pid=26759] ppid=26757 vsize=168 CPUtime=0
/proc/26759/stat : 26759 (java) R 26757 26759 26468 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 156470485 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 0 0 0
/proc/26759/statm: 42 23 18 14 0 2 0
[startup+0.10729 s]
/proc/loadavg: 1.02 1.27 1.53 4/93 26760
/proc/meminfo: memFree=1052816/2055920 swapFree=4192812/4192956
[pid=26759] ppid=26757 vsize=914988 CPUtime=0.08
/proc/26759/stat : 26759 (java) R 26757 26759 26468 0 -1 0 2998 0 1 0 7 1 0 0 23 0 8 0 156470485 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26759/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51537 s]
/proc/loadavg: 1.02 1.27 1.53 4/93 26760
/proc/meminfo: memFree=1052816/2055920 swapFree=4192812/4192956
[pid=26759] ppid=26757 vsize=915328 CPUtime=0.48
/proc/26759/stat : 26759 (java) R 26757 26759 26468 0 -1 0 7711 0 1 0 45 3 0 0 25 0 8 0 156470485 937295872 7450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073567902 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26759/statm: 228832 7450 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33641 s]
/proc/loadavg: 1.02 1.27 1.53 3/100 26767
/proc/meminfo: memFree=1027416/2055920 swapFree=4192812/4192956
[pid=26759] ppid=26757 vsize=915464 CPUtime=1.29
/proc/26759/stat : 26759 (java) R 26757 26759 26468 0 -1 0 9081 0 1 0 124 5 0 0 25 0 8 0 156470485 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073740144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26759/statm: 228866 8819 2513 14 0 215336 0
[pid=26759/tid=26761] ppid=26757 vsize=915464 CPUtime=0.03
/proc/26759/task/26761/stat : 26761 (java) S 26757 26759 26468 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156470489 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26759/tid=26762] ppid=26757 vsize=915464 CPUtime=0
/proc/26759/task/26762/stat : 26762 (java) S 26757 26759 26468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156470490 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26759/tid=26763] ppid=26757 vsize=915464 CPUtime=0
/proc/26759/task/26763/stat : 26763 (java) S 26757 26759 26468 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156470490 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26759/tid=26764] ppid=26757 vsize=915464 CPUtime=0
/proc/26759/task/26764/stat : 26764 (java) S 26757 26759 26468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156470493 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26759/tid=26765] ppid=26757 vsize=915464 CPUtime=0.18
/proc/26759/task/26765/stat : 26765 (java) S 26757 26759 26468 0 -1 64 371 0 0 0 17 1 0 0 15 0 8 0 156470493 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26759/tid=26766] ppid=26757 vsize=915464 CPUtime=0
/proc/26759/task/26766/stat : 26766 (java) S 26757 26759 26468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156470493 937435136 8819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26759/tid=26767] ppid=26757 vsize=915464 CPUtime=0
/proc/26759/task/26767/stat : 26767 (java) S 26757 26759 26468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156470493 937435136 8819 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
Child status: 0
Real time (s): 1.80596
CPU time (s): 1.74373
CPU user time (s): 1.67774
CPU system time (s): 0.065989
CPU usage (%): 96.5541
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.67774
system time used= 0.065989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9094
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= 1284
runsolver used 0.005999 s user time and 0.010998 s system time
The end
Begin job on node18 on Sat Jan 6 10:52:32 UTC 2007
IDJOB= 226882
IDBENCH= 6021
FILE ID= node18/226882-1168080747
PBS_JOBID= 3475866
Free space on /tmp= 66285 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-53_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226882-1168080747/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-226882-1168080747 -o ROOT/results/node18/solver-226882-1168080747 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226882-1168080747/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 199e1ea1c894824388db6a73b334c96c
RANDOM SEED= 838748121
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.231
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.231
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: 1053296 kB
Buffers: 70684 kB
Cached: 714444 kB
SwapCached: 0 kB
Active: 497344 kB
Inactive: 406004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1053296 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2160 kB
Writeback: 0 kB
Mapped: 147228 kB
Slab: 83948 kB
Committed_AS: 4948044 kB
PageTables: 2244 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= 66285 MiB
End job on node18 on Sat Jan 6 10:52:44 UTC 2007