0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/204886-1168073364/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.45 => wckTime=0.111 cpuTime=0.1 mem=6M951
0.45
0.45 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=225 nbRelationTypes=225 nbExtensionStructures=225 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=225 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2813 maxDegree=20
0.64 maxArity=2
0.64 => wckTime=0.3 cpuTime=0.21 mem=10M861
0.68
0.68 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.517 cpuTime=0.36 mem=13M593
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=30 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.0020 cpuTime=0.01 mem=13M593
0.92
0.92 search
0.92 run=0 nbConstraintChecks=23744 nbPropagations=440 nbRevisions=4530 nbUselessRevisions=3546 nbAssignments=25
0.92 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.059 cpuTime=0.04 mem=14M584
0.94
0.94 search
0.94 run=1 nbConstraintChecks=57216 nbPropagations=1460 nbRevisions=15725 nbUselessRevisions=12412 nbAssignments=60
0.94 nbFailedAssignments=23 nbBacktracks=27 nbVisitedNodes=101 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.082 cpuTime=0.06 mem=14M584
0.97
0.97 search
0.97 run=2 nbConstraintChecks=99130 nbPropagations=3194 nbRevisions=35028 nbUselessRevisions=27677
0.97 nbAssignments=105 nbFailedAssignments=42 nbBacktracks=49 nbVisitedNodes=179 nbRestartNogoods=7 mapSize=45
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.106 cpuTime=0.07 mem=14M584
0.99
0.99 search
0.99 run=3 nbConstraintChecks=173505 nbPropagations=6161 nbRevisions=69116 nbUselessRevisions=54635
0.99 nbAssignments=174 nbFailedAssignments=73 nbBacktracks=83 nbVisitedNodes=303 nbRestartNogoods=11 mapSize=77
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.125 cpuTime=0.09 mem=14M584
1.01
1.01 search
1.01 run=4 nbConstraintChecks=259953 nbPropagations=10693 nbRevisions=121182 nbUselessRevisions=95833
1.01 nbAssignments=262 nbFailedAssignments=105 nbBacktracks=134 nbVisitedNodes=454 nbRestartNogoods=13 mapSize=122
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.148 cpuTime=0.11 mem=14M584
1.05
1.05 search
1.05 run=5 nbConstraintChecks=407517 nbPropagations=17634 nbRevisions=202146 nbUselessRevisions=159327
1.05 nbAssignments=409 nbFailedAssignments=171 nbBacktracks=210 nbVisitedNodes=718 nbRestartNogoods=17 mapSize=189
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.187 cpuTime=0.15 mem=14M584
1.09
1.09 search
1.09 run=6 nbConstraintChecks=572706 nbPropagations=27604 nbRevisions=318493 nbUselessRevisions=251133
1.09 nbAssignments=599 nbFailedAssignments=243 nbBacktracks=324 nbVisitedNodes=1050 nbRestartNogoods=20 mapSize=290
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.23 cpuTime=0.18 mem=14M584
1.17
1.17 search
1.17 run=7 nbConstraintChecks=892202 nbPropagations=42905 nbRevisions=498307 nbUselessRevisions=392665
1.17 nbAssignments=906 nbFailedAssignments=374 nbBacktracks=496 nbVisitedNodes=1597 nbRestartNogoods=24 mapSize=448
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.306 cpuTime=0.25 mem=14M584
1.28
1.28 search
1.28 run=8 nbConstraintChecks=1373106 nbPropagations=66163 nbRevisions=776566 nbUselessRevisions=611658
1.28 nbAssignments=1380 nbFailedAssignments=588 nbBacktracks=753 nbVisitedNodes=2456 nbRestartNogoods=35
1.28 mapSize=681 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.417 cpuTime=0.36 mem=14M584
1.44
1.44 search
1.44 run=9 nbConstraintChecks=2056990 nbPropagations=100838 nbRevisions=1195025 nbUselessRevisions=941465
1.44 nbAssignments=2055 nbFailedAssignments=877 nbBacktracks=1137 nbVisitedNodes=3671 nbRestartNogoods=43
1.44 mapSize=1024 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.577 cpuTime=0.5 mem=14M584
1.45
1.45 INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=14M584)
1.54
1.54 search
1.54 run=10 nbConstraintChecks=2531551 nbPropagations=143971 nbRevisions=1712161 nbUselessRevisions=1349367
1.54 nbAssignments=2586 nbFailedAssignments=1064 nbBacktracks=1451 nbVisitedNodes=4565 nbRestartNogoods=45
1.54 => wckTime=0.677 cpuTime=0.59 mem=14M584
1.54
1.54 global
1.54 nbConstraintChecks=2531551 nbPropagations=144001 nbRevisions=1712161 nbUselessRevisions=1349367
1.54 nbRestartNogoods=45 solvingWckTime=0.678 solvingCpuTime=0.59 expiredTime=no totalExploration=no
1.54 nbFoundSolutions=1 globalCpuTime=1.0
1.54 => wckTime=1.198 cpuTime=0.95 mem=14M584
1.54
1.54 s SATISFIABLE
1.54 v 9 6 11 11 14 10 1 5 6 3 0 9 11 13 14 0 8 0 6 12 14 3 9 9 6 7 11 2 0 0
1.54 d NODES 2586
1.54 d CHECKS 2531551
1.54
1.54 totalWckTime=1.287 totalCpuTime=1.01
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-204886-1168073364 -o ROOT/results/node6/solver-204886-1168073364 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/204886-1168073364/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.50 1.83 1.88 2/93 8376
/proc/meminfo: memFree=1246064/2055924 swapFree=4165672/4192956
[pid=8375] ppid=8373 vsize=18540 CPUtime=0
/proc/8375/stat : 8375 (runsolver) R 8373 8375 8252 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155732198 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/8375/statm: 4635 279 244 17 0 2626 0
[startup+0.10388 s]
/proc/loadavg: 1.50 1.83 1.88 2/93 8376
/proc/meminfo: memFree=1246064/2055924 swapFree=4165672/4192956
[pid=8375] ppid=8373 vsize=913068 CPUtime=0.08
/proc/8375/stat : 8375 (java) S 8373 8375 8252 0 -1 0 2859 0 1 0 7 1 0 0 17 0 8 0 155732198 934981632 2605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8375/statm: 228267 2605 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.515909 s]
/proc/loadavg: 1.50 1.83 1.88 2/93 8376
/proc/meminfo: memFree=1246064/2055924 swapFree=4165672/4192956
[pid=8375] ppid=8373 vsize=915328 CPUtime=0.49
/proc/8375/stat : 8375 (java) R 8373 8375 8252 0 -1 0 6344 0 1 0 46 3 0 0 18 0 8 0 155732198 937295872 6083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8375/statm: 228832 6083 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34757 s]
/proc/loadavg: 1.50 1.83 1.88 3/100 8383
/proc/meminfo: memFree=1222904/2055924 swapFree=4165672/4192956
[pid=8375] ppid=8373 vsize=915452 CPUtime=1.31
/proc/8375/stat : 8375 (java) R 8373 8375 8252 0 -1 0 8522 0 1 0 126 5 0 0 23 0 8 0 155732198 937422848 8260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8375/statm: 228863 8260 2513 14 0 215333 0
[pid=8375/tid=8377] ppid=8373 vsize=915452 CPUtime=0.03
/proc/8375/task/8377/stat : 8377 (java) S 8373 8375 8252 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 155732203 937422848 8260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8375/tid=8378] ppid=8373 vsize=915452 CPUtime=0
/proc/8375/task/8378/stat : 8378 (java) S 8373 8375 8252 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155732203 937422848 8260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8375/tid=8379] ppid=8373 vsize=915452 CPUtime=0
/proc/8375/task/8379/stat : 8379 (java) S 8373 8375 8252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155732203 937422848 8260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8375/tid=8380] ppid=8373 vsize=915452 CPUtime=0
/proc/8375/task/8380/stat : 8380 (java) S 8373 8375 8252 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155732207 937422848 8260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8375/tid=8381] ppid=8373 vsize=915452 CPUtime=0.23
/proc/8375/task/8381/stat : 8381 (java) S 8373 8375 8252 0 -1 64 381 0 0 0 23 0 0 0 16 0 8 0 155732207 937422848 8260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8375/tid=8382] ppid=8373 vsize=915452 CPUtime=0
/proc/8375/task/8382/stat : 8382 (java) S 8373 8375 8252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155732207 937422848 8260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8375/tid=8383] ppid=8373 vsize=915452 CPUtime=0
/proc/8375/task/8383/stat : 8383 (java) S 8373 8375 8252 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155732207 937422848 8260 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
Child status: 0
Real time (s): 1.55613
CPU time (s): 1.51977
CPU user time (s): 1.45678
CPU system time (s): 0.06299
CPU usage (%): 97.6634
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.45678
system time used= 0.06299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8629
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= 1064
involuntary context switches= 1214
runsolver used 0.003999 s user time and 0.015997 s system time
The end
Begin job on node6 on Sat Jan 6 08:49:26 UTC 2007
IDJOB= 204886
IDBENCH= 4086
FILE ID= node6/204886-1168073364
PBS_JOBID= 3475766
Free space on /tmp= 66528 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15/rand-2-30-15-306-230-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/204886-1168073364/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-204886-1168073364 -o ROOT/results/node6/solver-204886-1168073364 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/204886-1168073364/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5e681ac7a12a04ac5988065e5a2a9781
RANDOM SEED= 440985091
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: 2055924 kB
MemFree: 1246544 kB
Buffers: 82624 kB
Cached: 559932 kB
SwapCached: 3036 kB
Active: 384036 kB
Inactive: 329020 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1246544 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 2100 kB
Writeback: 0 kB
Mapped: 89672 kB
Slab: 80960 kB
Committed_AS: 5006132 kB
PageTables: 2480 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= 66528 MiB
End job on node6 on Sat Jan 6 08:49:30 UTC 2007