0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/204952-1168073371/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.43 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=223 nbRelationTypes=223 nbExtensionStructures=223 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=223 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2729 maxDegree=19
0.60 maxArity=2
0.60 => wckTime=0.274 cpuTime=0.19 mem=10M852
0.64
0.64 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.473 cpuTime=0.32 mem=13M591
0.80
0.80 preprocessing
0.80 nbConstraintChecks=0 nbPropagations=30 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.80 detectedInconsistency=no
0.80 => wckTime=0.0030 cpuTime=0.0 mem=13M591
0.86
0.86 search
0.86 run=0 nbConstraintChecks=23667 nbPropagations=478 nbRevisions=5048 nbUselessRevisions=3984 nbAssignments=26
0.86 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.054 cpuTime=0.03 mem=14M583
0.87
0.87 search
0.87 run=1 nbConstraintChecks=52620 nbPropagations=1470 nbRevisions=15681 nbUselessRevisions=12402 nbAssignments=57
0.87 nbFailedAssignments=22 nbBacktracks=28 nbVisitedNodes=98 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.069 cpuTime=0.05 mem=14M583
0.89
0.89 search
0.89 run=2 nbConstraintChecks=86957 nbPropagations=3091 nbRevisions=33357 nbUselessRevisions=26325 nbAssignments=99
0.89 nbFailedAssignments=36 nbBacktracks=54 nbVisitedNodes=167 nbRestartNogoods=5 mapSize=44 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.094 cpuTime=0.06 mem=14M583
0.91
0.91 search
0.91 run=3 nbConstraintChecks=131527 nbPropagations=5546 nbRevisions=60330 nbUselessRevisions=47586
0.91 nbAssignments=158 nbFailedAssignments=55 nbBacktracks=87 nbVisitedNodes=264 nbRestartNogoods=7 mapSize=66
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.106 cpuTime=0.07 mem=14M583
0.93
0.93 search
0.93 run=4 nbConstraintChecks=234507 nbPropagations=9655 nbRevisions=106704 nbUselessRevisions=83661
0.93 nbAssignments=253 nbFailedAssignments=97 nbBacktracks=138 nbVisitedNodes=434 nbRestartNogoods=12 mapSize=111
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.131 cpuTime=0.09 mem=14M583
0.96
0.96 search
0.96 run=5 nbConstraintChecks=347772 nbPropagations=15815 nbRevisions=177285 nbUselessRevisions=138741
0.96 nbAssignments=381 nbFailedAssignments=148 nbBacktracks=213 nbVisitedNodes=657 nbRestartNogoods=14 mapSize=174
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.161 cpuTime=0.12 mem=14M583
1.00
1.00 search
1.00 run=6 nbConstraintChecks=532804 nbPropagations=25216 nbRevisions=285965 nbUselessRevisions=223696
1.00 nbAssignments=576 nbFailedAssignments=226 nbBacktracks=327 nbVisitedNodes=993 nbRestartNogoods=16 mapSize=267
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.203 cpuTime=0.15 mem=14M583
1.06
1.06 search
1.06 run=7 nbConstraintChecks=782063 nbPropagations=39205 nbRevisions=447651 nbUselessRevisions=350362
1.06 nbAssignments=856 nbFailedAssignments=332 nbBacktracks=497 nbVisitedNodes=1484 nbRestartNogoods=19 mapSize=416
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.259 cpuTime=0.21 mem=14M583
1.16
1.16 search
1.16 run=8 nbConstraintChecks=1240079 nbPropagations=61086 nbRevisions=703655 nbUselessRevisions=551038
1.16 nbAssignments=1317 nbFailedAssignments=532 nbBacktracks=754 nbVisitedNodes=2307 nbRestartNogoods=25
1.16 mapSize=639 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.364 cpuTime=0.3 mem=14M583
1.31
1.31 search
1.31 run=9 nbConstraintChecks=1871143 nbPropagations=93940 nbRevisions=1090101 nbUselessRevisions=853974
1.31 nbAssignments=1997 nbFailedAssignments=826 nbBacktracks=1138 nbVisitedNodes=3509 nbRestartNogoods=32
1.31 mapSize=972 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.505 cpuTime=0.43 mem=14M583
1.33
1.33 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=14M583)
1.49
1.49 search
1.49 run=10 nbConstraintChecks=2818859 nbPropagations=143407 nbRevisions=1670046 nbUselessRevisions=1308156
1.49 nbAssignments=3010 nbFailedAssignments=1258 nbBacktracks=1715 nbVisitedNodes=5302 nbRestartNogoods=39
1.49 => wckTime=0.692 cpuTime=0.6 mem=14M583
1.75
1.75 search
1.75 run=11 nbConstraintChecks=4316808 nbPropagations=218158 nbRevisions=2552531 nbUselessRevisions=1999178
1.75 nbAssignments=4527 nbFailedAssignments=1906 nbBacktracks=2581 nbVisitedNodes=7996 nbRestartNogoods=42
1.75 => wckTime=0.951 cpuTime=0.85 mem=14M583
2.14
2.14 search
2.14 run=12 nbConstraintChecks=6594816 nbPropagations=332117 nbRevisions=3908109 nbUselessRevisions=3063248
2.14 nbAssignments=6846 nbFailedAssignments=2925 nbBacktracks=3878 nbVisitedNodes=12160 nbRestartNogoods=48
2.14 => wckTime=1.339 cpuTime=1.24 mem=14M583
2.78
2.78 search
2.78 run=13 nbConstraintChecks=10349351 nbPropagations=508041 nbRevisions=6020760 nbUselessRevisions=4720430
2.78 nbAssignments=10394 nbFailedAssignments=4524 nbBacktracks=5824 nbVisitedNodes=18556 nbRestartNogoods=56
2.78 => wckTime=1.977 cpuTime=1.87 mem=14M583
3.22
3.22 search
3.22 run=14 nbConstraintChecks=12993716 nbPropagations=726973 nbRevisions=8668922 nbUselessRevisions=6799113
3.22 nbAssignments=12862 nbFailedAssignments=5634 nbBacktracks=7183 nbVisitedNodes=23027 nbRestartNogoods=65
3.22 => wckTime=2.417 cpuTime=2.31 mem=14M583
3.22
3.22 global
3.22 nbConstraintChecks=12993716 nbPropagations=727003 nbRevisions=8668922 nbUselessRevisions=6799113
3.22 nbRestartNogoods=65 solvingWckTime=2.417 solvingCpuTime=2.31 expiredTime=no totalExploration=yes
3.22 nbFoundSolutions=0 globalCpuTime=2.69
3.22 => wckTime=2.893 cpuTime=2.63 mem=14M583
3.22
3.22 s UNSATISFIABLE
3.22 d NODES 12862
3.22 d CHECKS 12993716
3.22
3.22 totalWckTime=2.975 totalCpuTime=2.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-204952-1168073371 -o ROOT/results/node5/solver-204952-1168073371 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/204952-1168073371/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.61 1.86 1.89 4/93 6211
/proc/meminfo: memFree=1347648/2055920 swapFree=4192812/4192956
[pid=6210] ppid=6208 vsize=18540 CPUtime=0
/proc/6210/stat : 6210 (runsolver) R 6208 6210 6031 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 135951806 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6210/statm: 4635 279 244 17 0 2626 0
[startup+0.10796 s]
/proc/loadavg: 1.61 1.86 1.89 4/93 6211
/proc/meminfo: memFree=1347648/2055920 swapFree=4192812/4192956
[pid=6210] ppid=6208 vsize=914988 CPUtime=0.08
/proc/6210/stat : 6210 (java) R 6208 6210 6031 0 -1 0 2995 0 1 0 7 1 0 0 18 0 8 0 135951806 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6210/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516006 s]
/proc/loadavg: 1.61 1.86 1.89 4/93 6211
/proc/meminfo: memFree=1347648/2055920 swapFree=4192812/4192956
[pid=6210] ppid=6208 vsize=915328 CPUtime=0.48
/proc/6210/stat : 6210 (java) R 6208 6210 6031 0 -1 0 6497 0 1 0 44 4 0 0 18 0 8 0 135951806 937295872 6236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6210/statm: 228832 6236 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3371 s]
/proc/loadavg: 1.61 1.86 1.89 3/100 6218
/proc/meminfo: memFree=1324360/2055920 swapFree=4192812/4192956
[pid=6210] ppid=6208 vsize=915452 CPUtime=1.3
/proc/6210/stat : 6210 (java) R 6208 6210 6031 0 -1 0 8537 0 1 0 124 6 0 0 24 0 8 0 135951806 937422848 8275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6210/statm: 228863 8275 2513 14 0 215333 0
[pid=6210/tid=6212] ppid=6208 vsize=915452 CPUtime=0.02
/proc/6210/task/6212/stat : 6212 (java) S 6208 6210 6031 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 135951810 937422848 8275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6210/tid=6213] ppid=6208 vsize=915452 CPUtime=0
/proc/6210/task/6213/stat : 6213 (java) S 6208 6210 6031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135951811 937422848 8275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6210/tid=6214] ppid=6208 vsize=915452 CPUtime=0
/proc/6210/task/6214/stat : 6214 (java) S 6208 6210 6031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135951811 937422848 8275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6210/tid=6215] ppid=6208 vsize=915452 CPUtime=0
/proc/6210/task/6215/stat : 6215 (java) S 6208 6210 6031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 135951814 937422848 8275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6210/tid=6216] ppid=6208 vsize=915452 CPUtime=0.23
/proc/6210/task/6216/stat : 6216 (java) S 6208 6210 6031 0 -1 64 384 0 0 0 22 1 0 0 15 0 8 0 135951814 937422848 8275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6210/tid=6217] ppid=6208 vsize=915452 CPUtime=0
/proc/6210/task/6217/stat : 6217 (java) S 6208 6210 6031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 135951814 937422848 8275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6210/tid=6218] ppid=6208 vsize=915452 CPUtime=0
/proc/6210/task/6218/stat : 6218 (java) S 6208 6210 6031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135951814 937422848 8275 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) 915452
[startup+2.97428 s]
/proc/loadavg: 1.64 1.86 1.89 3/100 6218
/proc/meminfo: memFree=1324168/2055920 swapFree=4192812/4192956
[pid=6210] ppid=6208 vsize=915452 CPUtime=2.93
/proc/6210/stat : 6210 (java) R 6208 6210 6031 0 -1 0 8553 0 1 0 286 7 0 0 25 0 8 0 135951806 937422848 8289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6210/statm: 228863 8289 2513 14 0 215333 0
[pid=6210/tid=6212] ppid=6208 vsize=915452 CPUtime=0.02
/proc/6210/task/6212/stat : 6212 (java) S 6208 6210 6031 0 -1 64 206 0 0 0 2 0 0 0 17 0 8 0 135951810 937422848 8289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6210/tid=6213] ppid=6208 vsize=915452 CPUtime=0
/proc/6210/task/6213/stat : 6213 (java) S 6208 6210 6031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135951811 937422848 8289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6210/tid=6214] ppid=6208 vsize=915452 CPUtime=0
/proc/6210/task/6214/stat : 6214 (java) S 6208 6210 6031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135951811 937422848 8289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6210/tid=6215] ppid=6208 vsize=915452 CPUtime=0
/proc/6210/task/6215/stat : 6215 (java) S 6208 6210 6031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 135951814 937422848 8289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6210/tid=6216] ppid=6208 vsize=915452 CPUtime=0.24
/proc/6210/task/6216/stat : 6216 (java) S 6208 6210 6031 0 -1 64 388 0 0 0 23 1 0 0 15 0 8 0 135951814 937422848 8289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6210/tid=6217] ppid=6208 vsize=915452 CPUtime=0
/proc/6210/task/6217/stat : 6217 (java) S 6208 6210 6031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 135951814 937422848 8289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6210/tid=6218] ppid=6208 vsize=915452 CPUtime=0
/proc/6210/task/6218/stat : 6218 (java) S 6208 6210 6031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 135951814 937422848 8289 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) 915452
Child status: 0
Real time (s): 3.26591
CPU time (s): 3.18751
CPU user time (s): 3.10853
CPU system time (s): 0.078987
CPU usage (%): 97.5996
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.10853
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8646
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= 1116
involuntary context switches= 1414
runsolver used 0.007998 s user time and 0.013997 s system time
The end
Begin job on node5 on Sat Jan 6 08:49:34 UTC 2007
IDJOB= 204952
IDBENCH= 4090
FILE ID= node5/204952-1168073371
PBS_JOBID= 3475765
Free space on /tmp= 66331 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15/rand-2-30-15-306-230-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/204952-1168073371/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-204952-1168073371 -o ROOT/results/node5/solver-204952-1168073371 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/204952-1168073371/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8e06714393673c95160b0fa68922a4ca
RANDOM SEED= 726479635
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.240
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.240
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: 1348064 kB
Buffers: 55396 kB
Cached: 489148 kB
SwapCached: 0 kB
Active: 239956 kB
Inactive: 378676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1348064 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1976 kB
Writeback: 0 kB
Mapped: 103088 kB
Slab: 73908 kB
Committed_AS: 3967844 kB
PageTables: 2272 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= 66331 MiB
End job on node5 on Sat Jan 6 08:49:39 UTC 2007