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/205281-1168073402/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.099 cpuTime=0.1 mem=6M951
0.41
0.41 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=222 nbRelationTypes=222 nbExtensionStructures=222 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=222 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2706 maxDegree=21
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.466 cpuTime=0.33 mem=13M590
0.79
0.79 preprocessing
0.79 nbConstraintChecks=0 nbPropagations=30 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.79 detectedInconsistency=no
0.79 => wckTime=0.0030 cpuTime=0.0 mem=13M590
0.84
0.84 search
0.84 run=0 nbConstraintChecks=24605 nbPropagations=486 nbRevisions=4824 nbUselessRevisions=3794 nbAssignments=27
0.84 nbFailedAssignments=10 nbBacktracks=14 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=13 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.053 cpuTime=0.02 mem=14M581
0.86
0.86 search
0.86 run=1 nbConstraintChecks=58904 nbPropagations=1583 nbRevisions=16588 nbUselessRevisions=13078 nbAssignments=65
0.86 nbFailedAssignments=25 nbBacktracks=33 nbVisitedNodes=112 nbRestartNogoods=2 mapSize=30 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.074 cpuTime=0.04 mem=14M581
0.88
0.88 search
0.88 run=2 nbConstraintChecks=90436 nbPropagations=3247 nbRevisions=34315 nbUselessRevisions=27007
0.88 nbAssignments=102 nbFailedAssignments=38 nbBacktracks=55 nbVisitedNodes=173 nbRestartNogoods=4 mapSize=48
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.093 cpuTime=0.05 mem=14M581
0.89
0.89 search
0.89 run=3 nbConstraintChecks=159387 nbPropagations=6053 nbRevisions=65335 nbUselessRevisions=51246
0.89 nbAssignments=172 nbFailedAssignments=71 nbBacktracks=90 nbVisitedNodes=297 nbRestartNogoods=5 mapSize=78
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.11 cpuTime=0.06 mem=14M581
0.91
0.91 search
0.91 run=4 nbConstraintChecks=241075 nbPropagations=10323 nbRevisions=112684 nbUselessRevisions=88158
0.91 nbAssignments=261 nbFailedAssignments=106 nbBacktracks=141 nbVisitedNodes=449 nbRestartNogoods=6 mapSize=120
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.131 cpuTime=0.09 mem=14M581
0.95
0.95 search
0.95 run=5 nbConstraintChecks=369596 nbPropagations=16884 nbRevisions=187916 nbUselessRevisions=147325
0.95 nbAssignments=407 nbFailedAssignments=171 nbBacktracks=216 nbVisitedNodes=705 nbRestartNogoods=12 mapSize=188
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.164 cpuTime=0.12 mem=14M581
0.99
0.99 search
0.99 run=6 nbConstraintChecks=545819 nbPropagations=26560 nbRevisions=299005 nbUselessRevisions=234540
0.99 nbAssignments=602 nbFailedAssignments=249 nbBacktracks=330 nbVisitedNodes=1044 nbRestartNogoods=17 mapSize=282
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.205 cpuTime=0.15 mem=14M581
1.05
1.05 search
1.05 run=7 nbConstraintChecks=810335 nbPropagations=40882 nbRevisions=465777 nbUselessRevisions=365944
1.05 nbAssignments=895 nbFailedAssignments=367 nbBacktracks=500 nbVisitedNodes=1555 nbRestartNogoods=22 mapSize=428
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.263 cpuTime=0.21 mem=14M581
1.15
1.15 search
1.15 run=8 nbConstraintChecks=1243971 nbPropagations=62848 nbRevisions=721093 nbUselessRevisions=566814
1.15 nbAssignments=1350 nbFailedAssignments=562 nbBacktracks=758 nbVisitedNodes=2377 nbRestartNogoods=26
1.15 mapSize=653 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.363 cpuTime=0.3 mem=14M581
1.29
1.29 search
1.29 run=9 nbConstraintChecks=1922526 nbPropagations=96509 nbRevisions=1119429 nbUselessRevisions=881237
1.29 nbAssignments=2041 nbFailedAssignments=865 nbBacktracks=1142 nbVisitedNodes=3628 nbRestartNogoods=30
1.29 mapSize=999 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.511 cpuTime=0.43 mem=14M581
1.30
1.30 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=14M581)
1.48
1.48 search
1.48 run=10 nbConstraintChecks=2910738 nbPropagations=147232 nbRevisions=1716749 nbUselessRevisions=1350750
1.48 nbAssignments=3069 nbFailedAssignments=1313 nbBacktracks=1718 nbVisitedNodes=5456 nbRestartNogoods=34
1.48 => wckTime=0.696 cpuTime=0.61 mem=14M581
1.75
1.75 search
1.75 run=11 nbConstraintChecks=4473309 nbPropagations=224427 nbRevisions=2632935 nbUselessRevisions=2070692
1.75 nbAssignments=4639 nbFailedAssignments=2013 nbBacktracks=2584 nbVisitedNodes=8292 nbRestartNogoods=43
1.75 => wckTime=0.966 cpuTime=0.88 mem=14M581
2.12
2.12 search
2.12 run=12 nbConstraintChecks=6643112 nbPropagations=339012 nbRevisions=3993948 nbUselessRevisions=3140753
2.12 nbAssignments=6891 nbFailedAssignments=2965 nbBacktracks=3881 nbVisitedNodes=12286 nbRestartNogoods=52
2.12 => wckTime=1.336 cpuTime=1.25 mem=14M581
2.73
2.73 search
2.73 run=13 nbConstraintChecks=10260724 nbPropagations=514024 nbRevisions=6084314 nbUselessRevisions=4783663
2.73 nbAssignments=10406 nbFailedAssignments=4531 nbBacktracks=5827 nbVisitedNodes=18625 nbRestartNogoods=60
2.73 => wckTime=1.945 cpuTime=1.85 mem=14M581
3.21
3.21 search
3.21 run=14 nbConstraintChecks=13191923 nbPropagations=737546 nbRevisions=8758527 nbUselessRevisions=6884196
3.21 nbAssignments=13191 nbFailedAssignments=5725 nbBacktracks=7419 nbVisitedNodes=23644 nbRestartNogoods=62
3.21 => wckTime=2.432 cpuTime=2.34 mem=14M581
3.22
3.22 global
3.22 nbConstraintChecks=13191923 nbPropagations=737576 nbRevisions=8758527 nbUselessRevisions=6884196
3.22 nbRestartNogoods=62 solvingWckTime=2.432 solvingCpuTime=2.34 expiredTime=no totalExploration=yes
3.22 nbFoundSolutions=0 globalCpuTime=2.72
3.22 => wckTime=2.902 cpuTime=2.67 mem=14M581
3.22
3.22 s UNSATISFIABLE
3.22 d NODES 13191
3.22 d CHECKS 13191923
3.22
3.22 totalWckTime=2.983 totalCpuTime=2.72
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-205281-1168073402 -o ROOT/results/node9/solver-205281-1168073402 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205281-1168073402/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.51 1.71 1.83 4/93 16397
/proc/meminfo: memFree=1109928/2055920 swapFree=4191880/4192956
[pid=16396] ppid=16394 vsize=1784 CPUtime=0
/proc/16396/stat : 16396 (java) R 16394 16396 16273 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 155735534 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/16396/statm: 446 140 106 14 0 91 0
[startup+0.104986 s]
/proc/loadavg: 1.51 1.71 1.83 4/93 16397
/proc/meminfo: memFree=1109928/2055920 swapFree=4191880/4192956
[pid=16396] ppid=16394 vsize=914988 CPUtime=0.08
/proc/16396/stat : 16396 (java) R 16394 16396 16273 0 -1 0 2994 0 1 0 8 0 0 0 17 0 8 0 155735534 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072934385 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16396/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513032 s]
/proc/loadavg: 1.51 1.71 1.83 4/93 16397
/proc/meminfo: memFree=1109928/2055920 swapFree=4191880/4192956
[pid=16396] ppid=16394 vsize=915328 CPUtime=0.5
/proc/16396/stat : 16396 (java) S 16394 16396 16273 0 -1 0 6510 0 1 0 46 4 0 0 17 0 8 0 155735534 937295872 6249 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16396/statm: 228832 6249 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33612 s]
/proc/loadavg: 1.51 1.71 1.83 3/100 16404
/proc/meminfo: memFree=1086640/2055920 swapFree=4191880/4192956
[pid=16396] ppid=16394 vsize=915452 CPUtime=1.31
/proc/16396/stat : 16396 (java) R 16394 16396 16273 0 -1 0 8532 0 1 0 125 6 0 0 20 0 8 0 155735534 937422848 8270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830109 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16396/statm: 228863 8270 2513 14 0 215333 0
[pid=16396/tid=16398] ppid=16394 vsize=915452 CPUtime=0.03
/proc/16396/task/16398/stat : 16398 (java) S 16394 16396 16273 0 -1 64 205 0 0 0 3 0 0 0 16 0 8 0 155735538 937422848 8270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16396/tid=16399] ppid=16394 vsize=915452 CPUtime=0
/proc/16396/task/16399/stat : 16399 (java) S 16394 16396 16273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155735539 937422848 8270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16396/tid=16400] ppid=16394 vsize=915452 CPUtime=0
/proc/16396/task/16400/stat : 16400 (java) S 16394 16396 16273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155735539 937422848 8270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16396/tid=16401] ppid=16394 vsize=915452 CPUtime=0
/proc/16396/task/16401/stat : 16401 (java) S 16394 16396 16273 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155735542 937422848 8270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16396/tid=16402] ppid=16394 vsize=915452 CPUtime=0.22
/proc/16396/task/16402/stat : 16402 (java) S 16394 16396 16273 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 155735542 937422848 8270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16396/tid=16403] ppid=16394 vsize=915452 CPUtime=0
/proc/16396/task/16403/stat : 16403 (java) S 16394 16396 16273 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155735542 937422848 8270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16396/tid=16404] ppid=16394 vsize=915452 CPUtime=0
/proc/16396/task/16404/stat : 16404 (java) S 16394 16396 16273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155735542 937422848 8270 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.98931 s]
/proc/loadavg: 1.51 1.71 1.83 4/100 16404
/proc/meminfo: memFree=1086448/2055920 swapFree=4191880/4192956
[pid=16396] ppid=16394 vsize=915452 CPUtime=2.96
/proc/16396/stat : 16396 (java) R 16394 16396 16273 0 -1 0 8547 0 1 0 290 6 0 0 25 0 8 0 155735534 937422848 8283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16396/statm: 228863 8283 2513 14 0 215333 0
[pid=16396/tid=16398] ppid=16394 vsize=915452 CPUtime=0.03
/proc/16396/task/16398/stat : 16398 (java) S 16394 16396 16273 0 -1 64 205 0 0 0 3 0 0 0 17 0 8 0 155735538 937422848 8283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16396/tid=16399] ppid=16394 vsize=915452 CPUtime=0
/proc/16396/task/16399/stat : 16399 (java) S 16394 16396 16273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155735539 937422848 8283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16396/tid=16400] ppid=16394 vsize=915452 CPUtime=0
/proc/16396/task/16400/stat : 16400 (java) S 16394 16396 16273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155735539 937422848 8283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16396/tid=16401] ppid=16394 vsize=915452 CPUtime=0
/proc/16396/task/16401/stat : 16401 (java) S 16394 16396 16273 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155735542 937422848 8283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16396/tid=16402] ppid=16394 vsize=915452 CPUtime=0.22
/proc/16396/task/16402/stat : 16402 (java) S 16394 16396 16273 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 155735542 937422848 8283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16396/tid=16403] ppid=16394 vsize=915452 CPUtime=0
/proc/16396/task/16403/stat : 16403 (java) S 16394 16396 16273 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155735542 937422848 8283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16396/tid=16404] ppid=16394 vsize=915452 CPUtime=0
/proc/16396/task/16404/stat : 16404 (java) S 16394 16396 16273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155735542 937422848 8283 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.26469
CPU time (s): 3.20351
CPU user time (s): 3.13652
CPU system time (s): 0.066989
CPU usage (%): 98.1262
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.13652
system time used= 0.066989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8639
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= 859
involuntary context switches= 1191
runsolver used 0.007998 s user time and 0.014997 s system time
The end
Begin job on node9 on Sat Jan 6 08:50:04 UTC 2007
IDJOB= 205281
IDBENCH= 4116
FILE ID= node9/205281-1168073402
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-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205281-1168073402/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-205281-1168073402 -o ROOT/results/node9/solver-205281-1168073402 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/205281-1168073402/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 77173b47c9212ff34407465289e255fd
RANDOM SEED= 76019173
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: 1110344 kB
Buffers: 83492 kB
Cached: 524092 kB
SwapCached: 268 kB
Active: 501020 kB
Inactive: 342284 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1110344 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2032 kB
Writeback: 0 kB
Mapped: 257476 kB
Slab: 86580 kB
Committed_AS: 4731252 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:50:09 UTC 2007