0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/205074-1168073386/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.41 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=225 nbRelationTypes=225 nbExtensionStructures=225 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=225 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2894 maxDegree=22
0.58 maxArity=2
0.58 => wckTime=0.267 cpuTime=0.19 mem=10M852
0.62
0.62 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.463 cpuTime=0.32 mem=13M591
0.78
0.78 preprocessing
0.78 nbConstraintChecks=15 nbPropagations=30 nbRevisions=1 nbUselessRevisions=0 nbRemovedValues=1
0.78 detectedInconsistency=no
0.78 => wckTime=0.0020 cpuTime=0.0 mem=13M591
0.83
0.83 search
0.83 run=0 nbConstraintChecks=22564 nbPropagations=479 nbRevisions=4769 nbUselessRevisions=3864 nbAssignments=24
0.83 nbFailedAssignments=9 nbBacktracks=12 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.049 cpuTime=0.02 mem=14M583
0.84
0.84 search
0.84 run=1 nbConstraintChecks=48832 nbPropagations=1458 nbRevisions=14804 nbUselessRevisions=11933 nbAssignments=53
0.84 nbFailedAssignments=18 nbBacktracks=27 nbVisitedNodes=87 nbRestartNogoods=1 mapSize=24 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.065 cpuTime=0.04 mem=14M583
0.87
0.87 search
0.87 run=2 nbConstraintChecks=96321 nbPropagations=3311 nbRevisions=35147 nbUselessRevisions=28275
0.87 nbAssignments=107 nbFailedAssignments=40 nbBacktracks=51 nbVisitedNodes=177 nbRestartNogoods=3 mapSize=45
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.092 cpuTime=0.05 mem=14M583
0.89
0.89 search
0.89 run=3 nbConstraintChecks=156754 nbPropagations=6291 nbRevisions=68161 nbUselessRevisions=54753
0.89 nbAssignments=172 nbFailedAssignments=66 nbBacktracks=86 nbVisitedNodes=292 nbRestartNogoods=8 mapSize=76
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.108 cpuTime=0.07 mem=14M583
0.91
0.91 search
0.91 run=4 nbConstraintChecks=256986 nbPropagations=11135 nbRevisions=122490 nbUselessRevisions=98045
0.91 nbAssignments=270 nbFailedAssignments=111 nbBacktracks=137 nbVisitedNodes=470 nbRestartNogoods=13 mapSize=120
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.132 cpuTime=0.09 mem=14M583
0.94
0.94 search
0.94 run=5 nbConstraintChecks=370579 nbPropagations=18020 nbRevisions=200397 nbUselessRevisions=159935
0.94 nbAssignments=400 nbFailedAssignments=161 nbBacktracks=212 nbVisitedNodes=698 nbRestartNogoods=15 mapSize=187
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.162 cpuTime=0.11 mem=14M583
0.98
0.98 search
0.98 run=6 nbConstraintChecks=562414 nbPropagations=28382 nbRevisions=318981 nbUselessRevisions=254058
0.98 nbAssignments=609 nbFailedAssignments=252 nbBacktracks=325 nbVisitedNodes=1064 nbRestartNogoods=20 mapSize=285
0.98 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.205 cpuTime=0.15 mem=14M583
1.05
1.05 search
1.05 run=7 nbConstraintChecks=877791 nbPropagations=44138 nbRevisions=502409 nbUselessRevisions=398801
1.05 nbAssignments=936 nbFailedAssignments=402 nbBacktracks=495 nbVisitedNodes=1648 nbRestartNogoods=25 mapSize=434
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.272 cpuTime=0.22 mem=14M583
1.15
1.15 search
1.15 run=8 nbConstraintChecks=1312494 nbPropagations=67747 nbRevisions=778847 nbUselessRevisions=617321
1.15 nbAssignments=1403 nbFailedAssignments=610 nbBacktracks=751 nbVisitedNodes=2488 nbRestartNogoods=29
1.15 mapSize=656 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.368 cpuTime=0.31 mem=14M583
1.29
1.29 search
1.29 run=9 nbConstraintChecks=1951100 nbPropagations=102746 nbRevisions=1188441 nbUselessRevisions=940785
1.29 nbAssignments=2070 nbFailedAssignments=889 nbBacktracks=1135 nbVisitedNodes=3665 nbRestartNogoods=33
1.29 mapSize=982 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.507 cpuTime=0.44 mem=14M583
1.31
1.31 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=14M583)
1.47
1.47 search
1.47 run=10 nbConstraintChecks=2900716 nbPropagations=154040 nbRevisions=1799411 nbUselessRevisions=1423571
1.47 nbAssignments=3054 nbFailedAssignments=1295 nbBacktracks=1711 nbVisitedNodes=5383 nbRestartNogoods=41
1.47 => wckTime=0.687 cpuTime=0.61 mem=14M583
1.73
1.73 search
1.73 run=11 nbConstraintChecks=4374046 nbPropagations=231701 nbRevisions=2725216 nbUselessRevisions=2155536
1.73 nbAssignments=4625 nbFailedAssignments=1997 nbBacktracks=2575 nbVisitedNodes=8188 nbRestartNogoods=52
1.73 => wckTime=0.949 cpuTime=0.87 mem=14M583
2.08
2.08 search
2.09 run=12 nbConstraintChecks=6469720 nbPropagations=345197 nbRevisions=4085621 nbUselessRevisions=3231339
2.09 nbAssignments=6801 nbFailedAssignments=2873 nbBacktracks=3872 nbVisitedNodes=12018 nbRestartNogoods=61
2.09 => wckTime=1.306 cpuTime=1.23 mem=14M583
2.65
2.65 search
2.65 run=13 nbConstraintChecks=9764399 nbPropagations=515784 nbRevisions=6134613 nbUselessRevisions=4851227
2.65 nbAssignments=10170 nbFailedAssignments=4293 nbBacktracks=5818 nbVisitedNodes=17962 nbRestartNogoods=71
2.65 => wckTime=1.868 cpuTime=1.79 mem=14M583
3.30
3.30 search
3.30 run=14 nbConstraintChecks=13663186 nbPropagations=751116 nbRevisions=8994174 nbUselessRevisions=7113176
3.30 nbAssignments=13999 nbFailedAssignments=5969 nbBacktracks=7972 nbVisitedNodes=24781 nbRestartNogoods=76
3.30 => wckTime=2.525 cpuTime=2.45 mem=14M583
3.31
3.31 global
3.31 nbConstraintChecks=13663201 nbPropagations=751146 nbRevisions=8994175 nbUselessRevisions=7113176
3.31 nbRestartNogoods=76 solvingWckTime=2.526 solvingCpuTime=2.45 expiredTime=no totalExploration=yes
3.31 nbFoundSolutions=0 globalCpuTime=2.82
3.31 => wckTime=2.993 cpuTime=2.78 mem=14M583
3.31
3.31 s UNSATISFIABLE
3.31 d NODES 13999
3.31 d CHECKS 13663201
3.31
3.31 totalWckTime=3.073 totalCpuTime=2.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-205074-1168073386 -o ROOT/results/node9/solver-205074-1168073386 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205074-1168073386/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.57 1.73 1.84 4/93 16341
/proc/meminfo: memFree=1109976/2055920 swapFree=4191880/4192956
[pid=16340] ppid=16338 vsize=0 CPUtime=0
/proc/16340/stat : 16340 (runsolver) R 16338 16340 16273 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155734230 0 0 18446744073709551615 0 0 0 18446744073709551615 215418989863 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16340/statm: 0 0 0 0 0 0 0
[startup+0.107255 s]
/proc/loadavg: 1.57 1.73 1.84 4/93 16341
/proc/meminfo: memFree=1109976/2055920 swapFree=4191880/4192956
[pid=16340] ppid=16338 vsize=914988 CPUtime=0.08
/proc/16340/stat : 16340 (java) R 16338 16340 16273 0 -1 0 3003 0 1 0 7 1 0 0 20 0 8 0 155734230 936947712 2749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16340/statm: 228747 2750 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515351 s]
/proc/loadavg: 1.57 1.73 1.84 4/93 16341
/proc/meminfo: memFree=1109976/2055920 swapFree=4191880/4192956
[pid=16340] ppid=16338 vsize=915328 CPUtime=0.5
/proc/16340/stat : 16340 (java) R 16338 16340 16273 0 -1 0 6507 0 1 0 46 4 0 0 22 0 8 0 155734230 937295872 6246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16340/statm: 228832 6246 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33839 s]
/proc/loadavg: 1.57 1.73 1.84 3/100 16348
/proc/meminfo: memFree=1086944/2055920 swapFree=4191880/4192956
[pid=16340] ppid=16338 vsize=915452 CPUtime=1.31
/proc/16340/stat : 16340 (java) R 16338 16340 16273 0 -1 0 8536 0 1 0 125 6 0 0 25 0 8 0 155734230 937422848 8274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818614 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16340/statm: 228863 8274 2513 14 0 215333 0
[pid=16340/tid=16342] ppid=16338 vsize=915452 CPUtime=0.03
/proc/16340/task/16342/stat : 16342 (java) S 16338 16340 16273 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 155734234 937422848 8274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16340/tid=16343] ppid=16338 vsize=915452 CPUtime=0
/proc/16340/task/16343/stat : 16343 (java) S 16338 16340 16273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155734234 937422848 8274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16340/tid=16344] ppid=16338 vsize=915452 CPUtime=0
/proc/16340/task/16344/stat : 16344 (java) S 16338 16340 16273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155734234 937422848 8274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16340/tid=16345] ppid=16338 vsize=915452 CPUtime=0
/proc/16340/task/16345/stat : 16345 (java) S 16338 16340 16273 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155734238 937422848 8274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16340/tid=16346] ppid=16338 vsize=915452 CPUtime=0.22
/proc/16340/task/16346/stat : 16346 (java) S 16338 16340 16273 0 -1 64 383 0 0 0 21 1 0 0 15 0 8 0 155734238 937422848 8274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16340/tid=16347] ppid=16338 vsize=915452 CPUtime=0
/proc/16340/task/16347/stat : 16347 (java) S 16338 16340 16273 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155734238 937422848 8274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16340/tid=16348] ppid=16338 vsize=915452 CPUtime=0
/proc/16340/task/16348/stat : 16348 (java) S 16338 16340 16273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155734238 937422848 8274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.98658 s]
/proc/loadavg: 1.61 1.73 1.84 3/100 16348
/proc/meminfo: memFree=1086752/2055920 swapFree=4191880/4192956
[pid=16340] ppid=16338 vsize=915452 CPUtime=2.96
/proc/16340/stat : 16340 (java) R 16338 16340 16273 0 -1 0 8551 0 1 0 290 6 0 0 25 0 8 0 155734230 937422848 8287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16340/statm: 228863 8287 2513 14 0 215333 0
[pid=16340/tid=16342] ppid=16338 vsize=915452 CPUtime=0.03
/proc/16340/task/16342/stat : 16342 (java) S 16338 16340 16273 0 -1 64 206 0 0 0 3 0 0 0 17 0 8 0 155734234 937422848 8287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16340/tid=16343] ppid=16338 vsize=915452 CPUtime=0
/proc/16340/task/16343/stat : 16343 (java) S 16338 16340 16273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155734234 937422848 8287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16340/tid=16344] ppid=16338 vsize=915452 CPUtime=0
/proc/16340/task/16344/stat : 16344 (java) S 16338 16340 16273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155734234 937422848 8287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16340/tid=16345] ppid=16338 vsize=915452 CPUtime=0
/proc/16340/task/16345/stat : 16345 (java) S 16338 16340 16273 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155734238 937422848 8287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16340/tid=16346] ppid=16338 vsize=915452 CPUtime=0.23
/proc/16340/task/16346/stat : 16346 (java) S 16338 16340 16273 0 -1 64 388 0 0 0 22 1 0 0 15 0 8 0 155734238 937422848 8287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16340/tid=16347] ppid=16338 vsize=915452 CPUtime=0
/proc/16340/task/16347/stat : 16347 (java) S 16338 16340 16273 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155734238 937422848 8287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16340/tid=16348] ppid=16338 vsize=915452 CPUtime=0
/proc/16340/task/16348/stat : 16348 (java) S 16338 16340 16273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155734238 937422848 8287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 3.41922
CPU time (s): 3.3005
CPU user time (s): 3.23251
CPU system time (s): 0.067989
CPU usage (%): 96.5277
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.23251
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8643
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= 1144
involuntary context switches= 1479
runsolver used 0.005999 s user time and 0.020996 s system time
The end
Begin job on node9 on Sat Jan 6 08:49:49 UTC 2007
IDJOB= 205074
IDBENCH= 4100
FILE ID= node9/205074-1168073386
PBS_JOBID= 3475767
Free space on /tmp= 66537 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15/rand-2-30-15-306-230-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205074-1168073386/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-205074-1168073386 -o ROOT/results/node9/solver-205074-1168073386 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205074-1168073386/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b799e7d222b6e34506d96be3c8203eab
RANDOM SEED= 182320716
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: 1110584 kB
Buffers: 83472 kB
Cached: 523976 kB
SwapCached: 268 kB
Active: 500924 kB
Inactive: 342172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1110584 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2084 kB
Writeback: 0 kB
Mapped: 257408 kB
Slab: 86604 kB
Committed_AS: 4728876 kB
PageTables: 2704 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= 66537 MiB
End job on node9 on Sat Jan 6 08:49:56 UTC 2007