0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/204905-1168073366/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.38 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.38
0.38 relations being loaded...
0.45
0.45 constraints being loaded...
0.54 nbConstraints=219 nbRelationTypes=219 nbExtensionStructures=219 nbSharedExtensionStructures=0
0.54 nbConflictsStructures=219 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2566 maxDegree=20
0.54 maxArity=2
0.54 => wckTime=0.254 cpuTime=0.18 mem=10M852
0.58
0.58 solver IterativeSystematicSolver being built...
0.73 => wckTime=0.442 cpuTime=0.31 mem=13M588
0.74
0.74 preprocessing
0.74 nbConstraintChecks=0 nbPropagations=30 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.74 detectedInconsistency=no
0.74 => wckTime=0.0030 cpuTime=0.0 mem=13M588
0.77
0.77 search
0.77 run=0 nbConstraintChecks=15192 nbPropagations=324 nbRevisions=3013 nbUselessRevisions=2382 nbAssignments=18
0.77 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=30 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.77 nbTooLargeKeys=0
0.77 => wckTime=0.041 cpuTime=0.02 mem=14M580
0.79
0.79 search
0.79 run=1 nbConstraintChecks=47159 nbPropagations=1232 nbRevisions=12439 nbUselessRevisions=9829 nbAssignments=51
0.79 nbFailedAssignments=18 nbBacktracks=27 nbVisitedNodes=86 nbRestartNogoods=1 mapSize=24 nbInferences=0
0.79 nbTooLargeKeys=0
0.79 => wckTime=0.06 cpuTime=0.04 mem=14M580
0.82
0.82 search
0.82 run=2 nbConstraintChecks=80728 nbPropagations=2777 nbRevisions=28498 nbUselessRevisions=22504 nbAssignments=96
0.82 nbFailedAssignments=34 nbBacktracks=49 nbVisitedNodes=157 nbRestartNogoods=2 mapSize=42 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.083 cpuTime=0.05 mem=14M580
0.83
0.83 search
0.83 run=3 nbConstraintChecks=132113 nbPropagations=5279 nbRevisions=55186 nbUselessRevisions=43536
0.83 nbAssignments=151 nbFailedAssignments=53 nbBacktracks=82 nbVisitedNodes=251 nbRestartNogoods=5 mapSize=66
0.83 nbInferences=0 nbTooLargeKeys=0
0.83 => wckTime=0.096 cpuTime=0.06 mem=14M580
0.85
0.85 search
0.85 run=4 nbConstraintChecks=213242 nbPropagations=9264 nbRevisions=98844 nbUselessRevisions=77916
0.85 nbAssignments=245 nbFailedAssignments=92 nbBacktracks=133 nbVisitedNodes=411 nbRestartNogoods=11 mapSize=107
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.117 cpuTime=0.08 mem=14M580
0.88
0.88 search
0.88 run=5 nbConstraintChecks=326017 nbPropagations=15313 nbRevisions=165965 nbUselessRevisions=130692
0.88 nbAssignments=379 nbFailedAssignments=148 nbBacktracks=208 nbVisitedNodes=644 nbRestartNogoods=14 mapSize=173
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.146 cpuTime=0.11 mem=14M580
0.92
0.92 search
0.92 run=6 nbConstraintChecks=516974 nbPropagations=24771 nbRevisions=271675 nbUselessRevisions=213641
0.92 nbAssignments=586 nbFailedAssignments=237 nbBacktracks=321 nbVisitedNodes=1008 nbRestartNogoods=16 mapSize=270
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.189 cpuTime=0.15 mem=14M580
0.98
0.98 search
0.98 run=7 nbConstraintChecks=807191 nbPropagations=39444 nbRevisions=440570 nbUselessRevisions=346973
0.98 nbAssignments=897 nbFailedAssignments=373 nbBacktracks=494 nbVisitedNodes=1566 nbRestartNogoods=24 mapSize=424
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.252 cpuTime=0.21 mem=14M580
1.07
1.07 search
1.07 run=8 nbConstraintChecks=1218397 nbPropagations=61407 nbRevisions=693145 nbUselessRevisions=545553
1.07 nbAssignments=1347 nbFailedAssignments=563 nbBacktracks=753 nbVisitedNodes=2366 nbRestartNogoods=27
1.07 mapSize=655 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.34 cpuTime=0.3 mem=14M580
1.21
1.21 search
1.21 run=9 nbConstraintChecks=1838138 nbPropagations=94641 nbRevisions=1077748 nbUselessRevisions=848287
1.21 nbAssignments=2016 nbFailedAssignments=842 nbBacktracks=1138 nbVisitedNodes=3563 nbRestartNogoods=28
1.21 mapSize=999 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.474 cpuTime=0.42 mem=14M580
1.21
1.21 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=14M580)
1.38
1.38 search
1.38 run=10 nbConstraintChecks=2756866 nbPropagations=144264 nbRevisions=1655283 nbUselessRevisions=1303501
1.38 nbAssignments=3011 nbFailedAssignments=1256 nbBacktracks=1716 nbVisitedNodes=5329 nbRestartNogoods=38
1.38 => wckTime=0.646 cpuTime=0.58 mem=14M580
1.63
1.63 search
1.63 run=11 nbConstraintChecks=4211349 nbPropagations=219493 nbRevisions=2541061 nbUselessRevisions=2002575
1.63 nbAssignments=4564 nbFailedAssignments=1940 nbBacktracks=2580 nbVisitedNodes=8130 nbRestartNogoods=47
1.63 => wckTime=0.898 cpuTime=0.83 mem=14M580
1.99
1.99 search
1.99 run=12 nbConstraintChecks=6370533 nbPropagations=332123 nbRevisions=3864797 nbUselessRevisions=3046771
1.99 nbAssignments=6808 nbFailedAssignments=2883 nbBacktracks=3877 nbVisitedNodes=12113 nbRestartNogoods=49
1.99 => wckTime=1.26 cpuTime=1.19 mem=14M580
2.54
2.54 search
2.54 run=13 nbConstraintChecks=9737740 nbPropagations=502986 nbRevisions=5872143 nbUselessRevisions=4627839
2.54 nbAssignments=10254 nbFailedAssignments=4379 nbBacktracks=5823 nbVisitedNodes=18277 nbRestartNogoods=59
2.54 => wckTime=1.806 cpuTime=1.74 mem=14M580
3.34
3.34 search
3.34 run=14 nbConstraintChecks=14924311 nbPropagations=761256 nbRevisions=8915893 nbUselessRevisions=7022301
3.34 nbAssignments=15285 nbFailedAssignments=6514 nbBacktracks=8689 nbVisitedNodes=27266 nbRestartNogoods=66
3.34 => wckTime=2.605 cpuTime=2.53 mem=14M580
3.34
3.34 global
3.34 nbConstraintChecks=14924311 nbPropagations=761286 nbRevisions=8915893 nbUselessRevisions=7022301
3.34 nbRestartNogoods=66 solvingWckTime=2.605 solvingCpuTime=2.54 expiredTime=no totalExploration=no
3.34 nbFoundSolutions=1 globalCpuTime=2.89
3.34 => wckTime=3.049 cpuTime=2.85 mem=14M580
3.34
3.34 s SATISFIABLE
3.34 v 0 6 2 0 4 2 0 11 9 12 7 1 3 9 12 7 12 9 9 9 3 6 10 3 13 4 4 4 14 9
3.34 d NODES 15285
3.34 d CHECKS 14924311
3.34
3.34 totalWckTime=3.125 totalCpuTime=2.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-204905-1168073366 -o ROOT/results/node35/solver-204905-1168073366 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/204905-1168073366/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: 0.89 1.00 1.17 1/65 12355
/proc/meminfo: memFree=1705712/2055920 swapFree=4192812/4192956
[pid=12354] ppid=12352 vsize=1784 CPUtime=0
/proc/12354/stat : 12354 (java) R 12352 12354 11749 0 -1 0 324 0 0 0 0 0 0 0 18 0 1 0 155730423 1826816 120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 134545583 0 0 4096 0 0 0 0 17 0 0 0
/proc/12354/statm: 446 124 92 14 0 91 0
[startup+0.10259 s]
/proc/loadavg: 0.89 1.00 1.17 1/65 12355
/proc/meminfo: memFree=1705712/2055920 swapFree=4192812/4192956
[pid=12354] ppid=12352 vsize=914988 CPUtime=0.08
/proc/12354/stat : 12354 (java) R 12352 12354 11749 0 -1 0 3078 0 1 0 7 1 0 0 22 0 8 0 155730423 936947712 2824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12354/statm: 228747 2824 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510644 s]
/proc/loadavg: 0.89 1.00 1.17 1/65 12355
/proc/meminfo: memFree=1705712/2055920 swapFree=4192812/4192956
[pid=12354] ppid=12352 vsize=915328 CPUtime=0.49
/proc/12354/stat : 12354 (java) R 12352 12354 11749 0 -1 0 6753 0 1 0 45 4 0 0 16 0 8 0 155730423 937295872 6492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073583053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12354/statm: 228832 6492 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33574 s]
/proc/loadavg: 0.90 1.00 1.16 2/72 12362
/proc/meminfo: memFree=1682424/2055920 swapFree=4192812/4192956
[pid=12354] ppid=12352 vsize=915452 CPUtime=1.31
/proc/12354/stat : 12354 (java) R 12352 12354 11749 0 -1 0 8537 0 1 0 125 6 0 0 16 0 8 0 155730423 937422848 8275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12354/statm: 228863 8275 2513 14 0 215333 0
[pid=12354/tid=12356] ppid=12352 vsize=915452 CPUtime=0.02
/proc/12354/task/12356/stat : 12356 (java) S 12352 12354 11749 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 155730426 937422848 8275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12354/tid=12357] ppid=12352 vsize=915452 CPUtime=0
/proc/12354/task/12357/stat : 12357 (java) S 12352 12354 11749 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155730427 937422848 8275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12354/tid=12358] ppid=12352 vsize=915452 CPUtime=0
/proc/12354/task/12358/stat : 12358 (java) S 12352 12354 11749 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155730427 937422848 8275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12354/tid=12359] ppid=12352 vsize=915452 CPUtime=0
/proc/12354/task/12359/stat : 12359 (java) S 12352 12354 11749 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155730430 937422848 8275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12354/tid=12360] ppid=12352 vsize=915452 CPUtime=0.2
/proc/12354/task/12360/stat : 12360 (java) S 12352 12354 11749 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 155730430 937422848 8275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12354/tid=12361] ppid=12352 vsize=915452 CPUtime=0
/proc/12354/task/12361/stat : 12361 (java) S 12352 12354 11749 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155730430 937422848 8275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12354/tid=12362] ppid=12352 vsize=915452 CPUtime=0
/proc/12354/task/12362/stat : 12362 (java) S 12352 12354 11749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155730430 937422848 8275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.97893 s]
/proc/loadavg: 0.90 1.00 1.16 2/72 12362
/proc/meminfo: memFree=1682296/2055920 swapFree=4192812/4192956
[pid=12354] ppid=12352 vsize=915452 CPUtime=2.95
/proc/12354/stat : 12354 (java) R 12352 12354 11749 0 -1 0 8548 0 1 0 289 6 0 0 17 0 8 0 155730423 937422848 8285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808923 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12354/statm: 228863 8285 2513 14 0 215333 0
[pid=12354/tid=12356] ppid=12352 vsize=915452 CPUtime=0.02
/proc/12354/task/12356/stat : 12356 (java) S 12352 12354 11749 0 -1 64 206 0 0 0 2 0 0 0 16 0 8 0 155730426 937422848 8285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12354/tid=12357] ppid=12352 vsize=915452 CPUtime=0
/proc/12354/task/12357/stat : 12357 (java) S 12352 12354 11749 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155730427 937422848 8285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12354/tid=12358] ppid=12352 vsize=915452 CPUtime=0
/proc/12354/task/12358/stat : 12358 (java) S 12352 12354 11749 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155730427 937422848 8285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12354/tid=12359] ppid=12352 vsize=915452 CPUtime=0
/proc/12354/task/12359/stat : 12359 (java) S 12352 12354 11749 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155730430 937422848 8285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12354/tid=12360] ppid=12352 vsize=915452 CPUtime=0.2
/proc/12354/task/12360/stat : 12360 (java) S 12352 12354 11749 0 -1 64 387 0 0 0 19 1 0 0 15 0 8 0 155730430 937422848 8285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12354/tid=12361] ppid=12352 vsize=915452 CPUtime=0
/proc/12354/task/12361/stat : 12361 (java) S 12352 12354 11749 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155730430 937422848 8285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12354/tid=12362] ppid=12352 vsize=915452 CPUtime=0
/proc/12354/task/12362/stat : 12362 (java) S 12352 12354 11749 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155730430 937422848 8285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 3.35491
CPU time (s): 3.33849
CPU user time (s): 3.2635
CPU system time (s): 0.074988
CPU usage (%): 99.5106
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.2635
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8642
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= 827
involuntary context switches= 181
runsolver used 0.005999 s user time and 0.014997 s system time
The end
Begin job on node35 on Sat Jan 6 08:49:28 UTC 2007
IDJOB= 204905
IDBENCH= 4087
FILE ID= node35/204905-1168073366
PBS_JOBID= 3475990
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15/rand-2-30-15-306-230-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/204905-1168073366/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-204905-1168073366 -o ROOT/results/node35/solver-204905-1168073366 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/204905-1168073366/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7ce4adf35b053fca3a3ba429e49ac6a9
RANDOM SEED= 783953260
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.234
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.234
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: 1706128 kB
Buffers: 25692 kB
Cached: 233456 kB
SwapCached: 0 kB
Active: 57296 kB
Inactive: 217208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1706128 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1856 kB
Writeback: 0 kB
Mapped: 25544 kB
Slab: 61340 kB
Committed_AS: 2999384 kB
PageTables: 1412 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= 66559 MiB
End job on node35 on Sat Jan 6 08:49:34 UTC 2007