0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/230307-1168081048/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.44 => wckTime=0.11 cpuTime=0.08 mem=6M951
0.44
0.44 relations being loaded...
0.58
0.58 constraints being loaded...
0.71 nbConstraints=429 nbRelationTypes=429 nbExtensionStructures=429 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=429 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4025 maxDegree=28
0.71 maxArity=2
0.71 => wckTime=0.381 cpuTime=0.27 mem=14M755
0.76
0.76 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.591 cpuTime=0.41 mem=15M160
0.93
0.93 preprocessing
0.93 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.94 detectedInconsistency=no
0.94 => wckTime=0.0090 cpuTime=0.0 mem=15M160
0.99
0.99 search
0.99 run=0 nbConstraintChecks=28272 nbPropagations=439 nbRevisions=4821 nbUselessRevisions=3998 nbAssignments=23
0.99 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.059 cpuTime=0.03 mem=15M160
1.01
1.01 search
1.01 run=1 nbConstraintChecks=85482 nbPropagations=1516 nbRevisions=18544 nbUselessRevisions=15261 nbAssignments=56
1.02 nbFailedAssignments=18 nbBacktracks=27 nbVisitedNodes=92 nbRestartNogoods=1 mapSize=23 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.09 cpuTime=0.05 mem=15M160
1.04
1.04 search
1.04 run=2 nbConstraintChecks=143394 nbPropagations=3312 nbRevisions=41332 nbUselessRevisions=33919
1.04 nbAssignments=98 nbFailedAssignments=33 nbBacktracks=50 nbVisitedNodes=162 nbRestartNogoods=5 mapSize=44
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.113 cpuTime=0.07 mem=15M160
1.07
1.07 search
1.07 run=3 nbConstraintChecks=255640 nbPropagations=6420 nbRevisions=82152 nbUselessRevisions=67276
1.07 nbAssignments=166 nbFailedAssignments=60 nbBacktracks=88 nbVisitedNodes=282 nbRestartNogoods=6 mapSize=81
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.142 cpuTime=0.1 mem=15M160
1.11
1.11 search
1.11 run=4 nbConstraintChecks=410862 nbPropagations=11248 nbRevisions=148639 nbUselessRevisions=121636
1.11 nbAssignments=269 nbFailedAssignments=107 nbBacktracks=138 nbVisitedNodes=463 nbRestartNogoods=7 mapSize=128
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.182 cpuTime=0.14 mem=15M160
1.18
1.18 search
1.18 run=5 nbConstraintChecks=645384 nbPropagations=18668 nbRevisions=253777 nbUselessRevisions=207324
1.18 nbAssignments=421 nbFailedAssignments=176 nbBacktracks=215 nbVisitedNodes=729 nbRestartNogoods=10 mapSize=194
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.249 cpuTime=0.19 mem=15M160
1.26
1.26 search
1.26 run=6 nbConstraintChecks=1022084 nbPropagations=29939 nbRevisions=417636 nbUselessRevisions=340300
1.26 nbAssignments=632 nbFailedAssignments=268 nbBacktracks=328 nbVisitedNodes=1112 nbRestartNogoods=18 mapSize=297
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.335 cpuTime=0.27 mem=15M160
1.39
1.39 search
1.39 run=7 nbConstraintChecks=1580735 nbPropagations=47135 nbRevisions=672687 nbUselessRevisions=547393
1.39 nbAssignments=953 nbFailedAssignments=414 nbBacktracks=500 nbVisitedNodes=1695 nbRestartNogoods=28 mapSize=458
1.39 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.465 cpuTime=0.4 mem=15M160
1.57
1.57 search
1.57 run=8 nbConstraintChecks=2401440 nbPropagations=72659 nbRevisions=1056512 nbUselessRevisions=858680
1.57 nbAssignments=1426 nbFailedAssignments=627 nbBacktracks=756 nbVisitedNodes=2545 nbRestartNogoods=31
1.57 mapSize=694 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.649 cpuTime=0.59 mem=15M160
1.83
1.83 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=15M160)
1.86
1.86 search
1.86 run=9 nbConstraintChecks=3669847 nbPropagations=110801 nbRevisions=1632354 nbUselessRevisions=1324614
1.86 nbAssignments=2119 nbFailedAssignments=929 nbBacktracks=1142 nbVisitedNodes=3792 nbRestartNogoods=42
1.86 => wckTime=0.934 cpuTime=0.85 mem=15M160
2.24
2.24 search
2.24 run=10 nbConstraintChecks=5540313 nbPropagations=168450 nbRevisions=2511631 nbUselessRevisions=2036962
2.24 nbAssignments=3197 nbFailedAssignments=1424 nbBacktracks=1721 nbVisitedNodes=5740 nbRestartNogoods=56
2.24 => wckTime=1.313 cpuTime=1.22 mem=15M160
2.75
2.75 search
2.75 run=11 nbConstraintChecks=8124672 nbPropagations=253065 nbRevisions=3816396 nbUselessRevisions=3097073
2.75 nbAssignments=4711 nbFailedAssignments=2071 nbBacktracks=2586 nbVisitedNodes=8473 nbRestartNogoods=62
2.75 => wckTime=1.824 cpuTime=1.71 mem=15M160
3.02
3.02 search
3.02 run=12 nbConstraintChecks=9517208 nbPropagations=352377 nbRevisions=5346318 nbUselessRevisions=4340624
3.02 nbAssignments=5578 nbFailedAssignments=2437 nbBacktracks=3037 nbVisitedNodes=10012 nbRestartNogoods=66
3.02 => wckTime=2.095 cpuTime=1.98 mem=15M160
3.02
3.02 global
3.02 nbConstraintChecks=9517208 nbPropagations=352427 nbRevisions=5346318 nbUselessRevisions=4340624
3.02 nbRestartNogoods=66 solvingWckTime=2.096 solvingCpuTime=1.98 expiredTime=no totalExploration=no
3.02 nbFoundSolutions=1 globalCpuTime=2.46
3.02 => wckTime=2.69 cpuTime=2.4 mem=15M160
3.02
3.02 s SATISFIABLE
3.02 v 6 5 11 9 2 12 6 2 16 12 20 19 17 19 18 6 8 17 8 11 20 12 16 1 7 14 19 19 13 16 17 8 8 13 10 12 13 10 20 10 6 17 17 11 12 20 12 10 17 16
3.02 d NODES 5578
3.02 d CHECKS 9517208
3.02
3.02 totalWckTime=2.775 totalCpuTime=2.47
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-230307-1168081048 -o ROOT/results/node13/solver-230307-1168081048 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230307-1168081048/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.05 1.26 1.55 4/93 7890
/proc/meminfo: memFree=1225440/2055920 swapFree=4192812/4192956
[pid=7889] ppid=7887 vsize=18540 CPUtime=0
/proc/7889/stat : 7889 (runsolver) R 7887 7889 7654 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156501272 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7889/statm: 4635 279 244 17 0 2626 0
[startup+0.10451 s]
/proc/loadavg: 1.05 1.26 1.55 4/93 7890
/proc/meminfo: memFree=1225440/2055920 swapFree=4192812/4192956
[pid=7889] ppid=7887 vsize=913228 CPUtime=0.08
/proc/7889/stat : 7889 (java) S 7887 7889 7654 0 -1 0 2901 0 1 0 7 1 0 0 18 0 8 0 156501272 935145472 2647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7889/statm: 228307 2647 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.512564 s]
/proc/loadavg: 1.05 1.26 1.55 4/93 7890
/proc/meminfo: memFree=1225440/2055920 swapFree=4192812/4192956
[pid=7889] ppid=7887 vsize=915328 CPUtime=0.48
/proc/7889/stat : 7889 (java) R 7887 7889 7654 0 -1 0 6455 0 1 0 44 4 0 0 18 0 8 0 156501272 937295872 6194 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072933107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7889/statm: 228832 6194 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33867 s]
/proc/loadavg: 1.05 1.26 1.55 3/100 7897
/proc/meminfo: memFree=1200552/2055920 swapFree=4192812/4192956
[pid=7889] ppid=7887 vsize=915460 CPUtime=1.3
/proc/7889/stat : 7889 (java) R 7887 7889 7654 0 -1 0 8928 0 1 0 124 6 0 0 24 0 8 0 156501272 937431040 8666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816869 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7889/statm: 228865 8666 2513 14 0 215335 0
[pid=7889/tid=7891] ppid=7887 vsize=915460 CPUtime=0.03
/proc/7889/task/7891/stat : 7891 (java) S 7887 7889 7654 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 156501276 937431040 8666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7889/tid=7892] ppid=7887 vsize=915460 CPUtime=0
/proc/7889/task/7892/stat : 7892 (java) S 7887 7889 7654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156501277 937431040 8666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7889/tid=7893] ppid=7887 vsize=915460 CPUtime=0
/proc/7889/task/7893/stat : 7893 (java) S 7887 7889 7654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501277 937431040 8666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7889/tid=7894] ppid=7887 vsize=915460 CPUtime=0
/proc/7889/task/7894/stat : 7894 (java) S 7887 7889 7654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156501280 937431040 8666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7889/tid=7895] ppid=7887 vsize=915460 CPUtime=0.22
/proc/7889/task/7895/stat : 7895 (java) S 7887 7889 7654 0 -1 64 376 0 0 0 21 1 0 0 15 0 8 0 156501280 937431040 8666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7889/tid=7896] ppid=7887 vsize=915460 CPUtime=0
/proc/7889/task/7896/stat : 7896 (java) S 7887 7889 7654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156501280 937431040 8666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7889/tid=7897] ppid=7887 vsize=915460 CPUtime=0
/proc/7889/task/7897/stat : 7897 (java) S 7887 7889 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156501281 937431040 8666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98489 s]
/proc/loadavg: 1.05 1.26 1.55 3/100 7897
/proc/meminfo: memFree=1200424/2055920 swapFree=4192812/4192956
[pid=7889] ppid=7887 vsize=915460 CPUtime=2.93
/proc/7889/stat : 7889 (java) R 7887 7889 7654 0 -1 0 8945 0 1 0 287 6 0 0 25 0 8 0 156501272 937431040 8682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7889/statm: 228865 8682 2513 14 0 215335 0
[pid=7889/tid=7891] ppid=7887 vsize=915460 CPUtime=0.03
/proc/7889/task/7891/stat : 7891 (java) S 7887 7889 7654 0 -1 64 356 0 0 0 3 0 0 0 17 0 8 0 156501276 937431040 8682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7889/tid=7892] ppid=7887 vsize=915460 CPUtime=0
/proc/7889/task/7892/stat : 7892 (java) S 7887 7889 7654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156501277 937431040 8682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7889/tid=7893] ppid=7887 vsize=915460 CPUtime=0
/proc/7889/task/7893/stat : 7893 (java) S 7887 7889 7654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501277 937431040 8682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7889/tid=7894] ppid=7887 vsize=915460 CPUtime=0
/proc/7889/task/7894/stat : 7894 (java) S 7887 7889 7654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156501280 937431040 8682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7889/tid=7895] ppid=7887 vsize=915460 CPUtime=0.26
/proc/7889/task/7895/stat : 7895 (java) S 7887 7889 7654 0 -1 64 392 0 0 0 25 1 0 0 15 0 8 0 156501280 937431040 8682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7889/tid=7896] ppid=7887 vsize=915460 CPUtime=0
/proc/7889/task/7896/stat : 7896 (java) S 7887 7889 7654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156501280 937431040 8682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7889/tid=7897] ppid=7887 vsize=915460 CPUtime=0
/proc/7889/task/7897/stat : 7897 (java) S 7887 7889 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156501281 937431040 8682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 3.07828
CPU time (s): 2.98854
CPU user time (s): 2.91656
CPU system time (s): 0.071989
CPU usage (%): 97.085
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.91656
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8956
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= 1177
involuntary context switches= 1433
runsolver used 0.008998 s user time and 0.012998 s system time
The end
Begin job on node13 on Sat Jan 6 10:57:36 UTC 2007
IDJOB= 230307
IDBENCH= 6407
FILE ID= node13/230307-1168081048
PBS_JOBID= 3475874
Free space on /tmp= 66317 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-96_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230307-1168081048/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-230307-1168081048 -o ROOT/results/node13/solver-230307-1168081048 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230307-1168081048/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8740585e7944d07548e33ebebcb69ffc
RANDOM SEED= 190017232
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.247
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.247
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: 1225920 kB
Buffers: 71584 kB
Cached: 562176 kB
SwapCached: 0 kB
Active: 441292 kB
Inactive: 293192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1225920 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2004 kB
Writeback: 0 kB
Mapped: 129768 kB
Slab: 79908 kB
Committed_AS: 4497924 kB
PageTables: 2540 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= 66317 MiB
End job on node13 on Sat Jan 6 10:58:07 UTC 2007