0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/247351-1168392000/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.45 => wckTime=0.112 cpuTime=0.09 mem=6M951
0.45
0.45 relations being loaded...
0.64
0.64 constraints being loaded...
0.75 nbConstraints=5 nbRelationTypes=5 nbExtensionStructures=5 nbSharedExtensionStructures=0
0.75 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=4 maxArity=10
0.75 => wckTime=0.415 cpuTime=0.36 mem=37M911
0.81
0.81 solver IterativeSystematicSolver being built...
0.97 => wckTime=0.638 cpuTime=0.5 mem=20M568
0.99
0.99 preprocessing
0.99 nbConstraintChecks=3829 nbValidityChecks=3854 nbPropagations=62 nbRevisions=27 nbUselessRevisions=5
0.99 nbSingletonTests=24 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
0.99 => wckTime=0.021 cpuTime=0.02 mem=20M568
1.04
1.04 search
1.04 run=0 nbConstraintChecks=18568 nbValidityChecks=19224 nbPropagations=204 nbRevisions=217 nbUselessRevisions=43
1.04 nbAssignments=44 nbFailedAssignments=31 nbBacktracks=10 nbVisitedNodes=76 nbRestartNogoods=0 mapSize=9
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.067 cpuTime=0.05 mem=20M568
1.13
1.13 search
1.13 run=1 nbConstraintChecks=61344 nbValidityChecks=67371 nbPropagations=732 nbRevisions=1114
1.13 nbUselessRevisions=106 nbAssignments=226 nbFailedAssignments=153 nbBacktracks=25 nbVisitedNodes=338
1.13 nbRestartNogoods=8 mapSize=23 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.151 cpuTime=0.12 mem=20M568
1.23
1.23 search
1.23 run=2 nbConstraintChecks=117110 nbValidityChecks=130838 nbPropagations=1713 nbRevisions=2910
1.23 nbUselessRevisions=189 nbAssignments=477 nbFailedAssignments=324 nbBacktracks=47 nbVisitedNodes=704
1.23 nbRestartNogoods=21 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.253 cpuTime=0.21 mem=20M568
1.35
1.35 search
1.35 run=3 nbConstraintChecks=198462 nbValidityChecks=224755 nbPropagations=3273 nbRevisions=6062
1.35 nbUselessRevisions=336 nbAssignments=762 nbFailedAssignments=574 nbBacktracks=80 nbVisitedNodes=1239
1.35 nbRestartNogoods=24 mapSize=75 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.377 cpuTime=0.33 mem=20M568
1.52
1.52 search
1.52 run=4 nbConstraintChecks=320387 nbValidityChecks=365444 nbPropagations=5731 nbRevisions=11210
1.52 nbUselessRevisions=579 nbAssignments=1194 nbFailedAssignments=954 nbBacktracks=130 nbVisitedNodes=2051
1.52 nbRestartNogoods=31 mapSize=125 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.546 cpuTime=0.49 mem=20M568
1.80
1.80 search
1.80 run=5 nbConstraintChecks=518940 nbValidityChecks=594738 nbPropagations=9583 nbRevisions=19516
1.80 nbUselessRevisions=883 nbAssignments=1901 nbFailedAssignments=1584 nbBacktracks=205 nbVisitedNodes=3388
1.80 nbRestartNogoods=38 mapSize=200 nbInferences=0 nbTooLargeKeys=0
1.80 => wckTime=0.825 cpuTime=0.75 mem=20M568
2.14
2.14 search
2.14 run=6 nbConstraintChecks=812781 nbValidityChecks=934607 nbPropagations=15519 nbRevisions=32571
2.14 nbUselessRevisions=1287 nbAssignments=2955 nbFailedAssignments=2524 nbBacktracks=318 nbVisitedNodes=5382
2.14 nbRestartNogoods=47 mapSize=313 nbInferences=0 nbTooLargeKeys=0
2.14 => wckTime=1.171 cpuTime=1.1 mem=20M568
2.74
2.74 search
2.74 run=7 nbConstraintChecks=1290467 nbValidityChecks=1484345 nbPropagations=24662 nbRevisions=52950
2.74 nbUselessRevisions=1754 nbAssignments=4616 nbFailedAssignments=4014 nbBacktracks=489 nbVisitedNodes=8533
2.74 nbRestartNogoods=51 mapSize=484 nbInferences=0 nbTooLargeKeys=0
2.74 => wckTime=1.769 cpuTime=1.69 mem=20M568
3.67
3.67 search
3.67 run=8 nbConstraintChecks=2028471 nbValidityChecks=2331330 nbPropagations=38638 nbRevisions=84385
3.67 nbUselessRevisions=2269 nbAssignments=7154 nbFailedAssignments=6294 nbBacktracks=745 nbVisitedNodes=13351
3.67 nbRestartNogoods=51 mapSize=737 nbInferences=0 nbTooLargeKeys=0
3.67 => wckTime=2.694 cpuTime=2.61 mem=20M568
4.81
4.81 INFO : Stopping hyperNogood (mapSize=1041, nbTooLargekeys=0, mem=20M568)
5.09
5.09 search
5.10 run=9 nbConstraintChecks=3180766 nbValidityChecks=3651361 nbPropagations=59923 nbRevisions=132888
5.10 nbUselessRevisions=2818 nbAssignments=11000 nbFailedAssignments=9754 nbBacktracks=1129 nbVisitedNodes=20657
5.10 nbRestartNogoods=61
5.10 => wckTime=4.121 cpuTime=4.03 mem=20M568
5.20
5.20 search
5.20 run=10 nbConstraintChecks=3264544 nbValidityChecks=3746551 nbPropagations=81759 nbRevisions=182581
5.20 nbUselessRevisions=3369 nbAssignments=11290 nbFailedAssignments=10014 nbBacktracks=1160 nbVisitedNodes=21206
5.20 nbRestartNogoods=72
5.20 => wckTime=4.226 cpuTime=4.13 mem=20M568
5.20
5.20 global
5.20 nbConstraintChecks=3268373 nbValidityChecks=3750405 nbPropagations=81821 nbRevisions=182608
5.20 nbUselessRevisions=3374 nbRestartNogoods=72 solvingWckTime=4.227 solvingCpuTime=4.13 expiredTime=no
5.20 totalExploration=yes nbFoundSolutions=0 globalCpuTime=4.67
5.20 => wckTime=4.867 cpuTime=4.63 mem=20M568
5.20
5.20 s UNSATISFIABLE
5.20 d NODES 11290
5.20 d CHECKS 3268373
5.20
5.20 totalWckTime=4.946 totalCpuTime=4.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-247351-1168392000 -o ROOT/results/node13/solver-247351-1168392000 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247351-1168392000/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.09 1.20 1.47 5/81 23883
/proc/meminfo: memFree=1866176/2055920 swapFree=4191880/4192956
[pid=23882] ppid=23875 vsize=1784 CPUtime=0
/proc/23882/stat : 23882 (java) R 23875 23882 23746 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 187594987 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/23882/statm: 446 140 106 14 0 91 0
[startup+0.104006 s]
/proc/loadavg: 1.09 1.20 1.47 5/81 23883
/proc/meminfo: memFree=1866176/2055920 swapFree=4191880/4192956
[pid=23882] ppid=23875 vsize=914988 CPUtime=0.08
/proc/23882/stat : 23882 (java) R 23875 23882 23746 0 -1 0 2973 0 1 0 7 1 0 0 17 0 8 0 187594987 936947712 2719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 12314235 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23882/statm: 228747 2721 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512062 s]
/proc/loadavg: 1.09 1.20 1.47 5/81 23883
/proc/meminfo: memFree=1866176/2055920 swapFree=4191880/4192956
[pid=23882] ppid=23875 vsize=915328 CPUtime=0.45
/proc/23882/stat : 23882 (java) R 23875 23882 23746 0 -1 0 7419 0 13 0 40 5 0 0 19 0 8 0 187594987 937295872 7170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23882/statm: 228832 7170 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33516 s]
/proc/loadavg: 1.16 1.21 1.48 2/88 23923
/proc/meminfo: memFree=1811784/2055920 swapFree=4191880/4192956
[pid=23882] ppid=23875 vsize=915460 CPUtime=1.27
/proc/23882/stat : 23882 (java) R 23875 23882 23746 0 -1 0 15773 0 13 0 117 10 0 0 17 0 8 0 187594987 937431040 15523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073710002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23882/statm: 228865 15523 2527 14 0 215335 0
[pid=23882/tid=23896] ppid=23875 vsize=915460 CPUtime=0.04
/proc/23882/task/23896/stat : 23896 (java) S 23875 23882 23746 0 -1 64 1533 0 0 0 4 0 0 0 16 0 8 0 187594991 937431040 15523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23882/tid=23898] ppid=23875 vsize=915460 CPUtime=0
/proc/23882/task/23898/stat : 23898 (java) S 23875 23882 23746 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187594991 937431040 15523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23882/tid=23899] ppid=23875 vsize=915460 CPUtime=0
/proc/23882/task/23899/stat : 23899 (java) S 23875 23882 23746 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187594991 937431040 15523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23882/tid=23901] ppid=23875 vsize=915460 CPUtime=0
/proc/23882/task/23901/stat : 23901 (java) S 23875 23882 23746 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187594995 937431040 15523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23882/tid=23902] ppid=23875 vsize=915460 CPUtime=0.15
/proc/23882/task/23902/stat : 23902 (java) S 23875 23882 23746 0 -1 64 356 0 0 0 14 1 0 0 15 0 8 0 187594995 937431040 15523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23882/tid=23903] ppid=23875 vsize=915460 CPUtime=0
/proc/23882/task/23903/stat : 23903 (java) S 23875 23882 23746 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187594995 937431040 15523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23882/tid=23904] ppid=23875 vsize=915460 CPUtime=0
/proc/23882/task/23904/stat : 23904 (java) S 23875 23882 23746 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187594995 937431040 15523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915460
[startup+2.98139 s]
/proc/loadavg: 1.16 1.21 1.48 2/88 23923
/proc/meminfo: memFree=1811720/2055920 swapFree=4191880/4192956
[pid=23882] ppid=23875 vsize=915460 CPUtime=2.91
/proc/23882/stat : 23882 (java) R 23875 23882 23746 0 -1 0 15789 0 13 0 281 10 0 0 18 0 8 0 187594987 937431040 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073597728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23882/statm: 228865 15537 2527 14 0 215335 0
[pid=23882/tid=23896] ppid=23875 vsize=915460 CPUtime=0.04
/proc/23882/task/23896/stat : 23896 (java) S 23875 23882 23746 0 -1 64 1533 0 0 0 4 0 0 0 17 0 8 0 187594991 937431040 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23882/tid=23898] ppid=23875 vsize=915460 CPUtime=0
/proc/23882/task/23898/stat : 23898 (java) S 23875 23882 23746 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187594991 937431040 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23882/tid=23899] ppid=23875 vsize=915460 CPUtime=0
/proc/23882/task/23899/stat : 23899 (java) S 23875 23882 23746 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187594991 937431040 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23882/tid=23901] ppid=23875 vsize=915460 CPUtime=0
/proc/23882/task/23901/stat : 23901 (java) S 23875 23882 23746 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187594995 937431040 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23882/tid=23902] ppid=23875 vsize=915460 CPUtime=0.18
/proc/23882/task/23902/stat : 23902 (java) S 23875 23882 23746 0 -1 64 370 0 0 0 17 1 0 0 15 0 8 0 187594995 937431040 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23882/tid=23903] ppid=23875 vsize=915460 CPUtime=0
/proc/23882/task/23903/stat : 23903 (java) S 23875 23882 23746 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187594995 937431040 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23882/tid=23904] ppid=23875 vsize=915460 CPUtime=0
/proc/23882/task/23904/stat : 23904 (java) S 23875 23882 23746 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187594995 937431040 15537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 5.24495
CPU time (s): 5.14922
CPU user time (s): 5.02623
CPU system time (s): 0.122981
CPU usage (%): 98.1748
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.02623
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15800
page faults= 13
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 949
involuntary context switches= 879
runsolver used 0.009998 s user time and 0.018997 s system time
The end
Begin job on node13 on Wed Jan 10 01:20:00 UTC 2007
IDJOB= 247351
IDBENCH= 11099
FILE ID= node13/247351-1168392000
PBS_JOBID= 3522775
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247351-1168392000/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-247351-1168392000 -o ROOT/results/node13/solver-247351-1168392000 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247351-1168392000/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d53928f19ca0347ce78b3f553c9e851e
RANDOM SEED= 747598974
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.247
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.247
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: 1866448 kB
Buffers: 15644 kB
Cached: 68788 kB
SwapCached: 24 kB
Active: 97028 kB
Inactive: 36268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1866448 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 4048 kB
Writeback: 0 kB
Mapped: 66764 kB
Slab: 41064 kB
Committed_AS: 5454640 kB
PageTables: 2300 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= 66550 MiB
End job on node13 on Wed Jan 10 01:20:05 UTC 2007