0.00/0.07
0.00/0.07 Abscon 112 (May, 2008)
0.22/0.20
0.22/0.20 configuration
0.22/0.20 name=esac.xml
0.22/0.23
0.22/0.23 instance
0.22/0.23 name=HOME/instance-2093032-1247401110.xml
0.22/0.26
0.22/0.26 domains being loaded...
0.22/0.27
0.22/0.27 variables being loaded...
0.34/0.32 nbVariables=225 nbDomainTypes=16 minDomainSize=1 maxDomainSize=15 nbTotalValues=1905
0.34/0.32 => wckTime=0.113 cpuTime=0.11 mem=8M867
0.34/0.32
0.34/0.32 relations being loaded...
0.34/0.32
0.34/0.32 constraints being loaded...
0.76/0.66 nbConstraints=2537 nbRelationTypes=16 nbGlobalConstraints=17 nbSingletonDomainVariables=105
0.76/0.66 nbExtensionStructures=31 nbSharedExtensionStructures=2489 nbConflictsStructures=31
0.76/0.66 nbSharedConflictsStructures=2489 nbSharedBinaryRepresentations=493 minDegree=16 maxDegree=29 minArity=2
0.76/0.66 avgArity=2.04 maxArity=9 nbGenerators=0 nbFusions=0 symmetryWckTime=0.137 symmetryCpuTime=0.1 nbCliques=17
0.76/0.66 => wckTime=0.46 cpuTime=0.42 mem=25M552
0.88/0.74
0.88/0.74 solver IterativeSystematicSolver being built...
0.88/0.79
0.88/0.79 INFO : Forward propagation technique limited
1.00/0.86 => wckTime=0.656 cpuTime=0.54 mem=22M315
1.12/0.93
1.12/0.93 preprocessing
1.12/0.93 nbConstraintChecks=37813 nbPropagations=1370 nbRevisions=8970 nbUselessRevisions=6787 nbSingletonTests=342
1.12/0.93 nbEffectiveSingletonTests=0 nbACRemovals=1294 nbFoundSingletons=0 nbRemovedValues=1294 detectedInconsistency=no
1.12/0.93 => wckTime=0.069 cpuTime=0.08 mem=23M249
1.25/1.09
1.25/1.09 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=24M200)
1.68/1.44
1.68/1.44 search
1.68/1.44 run=7 nbConstraintChecks=339959 minDepth=12 maxDepth=225 nbPropagations=65742 nbRevisions=506465
1.68/1.44 nbUselessRevisions=415784 nbAssignments=3508 nbFailedAssignments=363 nbBacktracks=2048 nbVisitedNodes=4159
1.68/1.44 nbRestartNogoods=36 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=105 nbIEliminables=106.53
1.68/1.44 nbDEliminables=0 nbPEliminables=0
1.68/1.44 => wckTime=0.578 cpuTime=0.58 mem=25M134
1.68/1.44
1.68/1.44 global
1.68/1.44 nbConstraintChecks=377772 nbPropagations=67112 nbRevisions=515435 nbUselessRevisions=422571 nbRestartNogoods=36
1.68/1.44 solvingWckTime=0.58 solvingCpuTime=0.58 expiredTime=no totalExploration=no nbFoundSolutions=1
1.68/1.44 firstSolutionCpuTime=1.12 globalCpuTime=1.15
1.68/1.44 => wckTime=1.238 cpuTime=1.12 mem=25M134
1.68/1.44
1.68/1.44 s SATISFIABLE
1.68/1.44 v 3 1 11 14 10 9 13 8 0 4 5 7 6 12 2 7 14 13 8 1 6 0 10 9 12 11 3 5 2 4 12 9 6 5 8 13 1 4 3 2 14 0 11 7 10 13 4 7 10 14 8 12 3 2 9 0 6 1 5 11 14 10 3 6 4 7 2 1 12 8 9 11 0 13 5 11 0 5 4 3 1 8 12 7 6 2 9 14 10 13 10 3 8 0 13 5 4 2 14 7 1 12 9 11 6 5 12 14 7 11 0 3 9 13 1 4 10 2 6 8 6 13 10 2 0 4 9 14 11 5 12 1 8 3 7 0 11 1 12 5 3 14 6 4 13 7 2 10 8 9 8 5 2 11 6 14 7 0 1 10 13 4 12 9 3 4 8 12 3 9 2 5 7 10 11 6 14 13 0 1 2 6 4 9 12 11 10 5 8 0 3 13 7 1 14 9 2 0 1 7 10 11 13 6 3 8 5 4 14 12 1 7 9 13 2 12 6 11 5 14 10 8 3 4 0
1.68/1.44 d NODES 3508
1.68/1.44 d CHECKS 377772
1.68/1.44
1.68/1.44 totalWckTime=1.28 totalCpuTime=1.16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093032-1247401110/watcher-2093032-1247401110 -o /tmp/evaluation-result-2093032-1247401110/solver-2093032-1247401110 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2093032-1247401110.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 28574
/proc/meminfo: memFree=1830408/2055920 swapFree=4192812/4192956
[pid=28574] ppid=28572 vsize=152 CPUtime=0
/proc/28574/stat : 28574 (java) R 28572 28574 28469 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 27173644 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 7205163 0 0 4096 0 0 0 0 17 0 0 0
/proc/28574/statm: 38 26 19 9 0 4 0
[startup+0.10642 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 28574
/proc/meminfo: memFree=1830408/2055920 swapFree=4192812/4192956
[pid=28574] ppid=28572 vsize=866964 CPUtime=0.11
/proc/28574/stat : 28574 (java) S 28572 28574 28469 0 -1 0 4070 0 1 0 9 2 0 0 18 0 9 0 27173644 887771136 3499 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28574/statm: 216741 3499 1806 9 0 211226 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 866964
[startup+0.201435 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 28574
/proc/meminfo: memFree=1830408/2055920 swapFree=4192812/4192956
[pid=28574] ppid=28572 vsize=867128 CPUtime=0.22
/proc/28574/stat : 28574 (java) S 28572 28574 28469 0 -1 0 5345 0 1 0 19 3 0 0 18 0 9 0 27173644 887939072 4762 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28574/statm: 216782 4762 1888 9 0 211260 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 867128
[startup+0.301447 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 28574
/proc/meminfo: memFree=1830408/2055920 swapFree=4192812/4192956
[pid=28574] ppid=28572 vsize=867308 CPUtime=0.34
/proc/28574/stat : 28574 (java) S 28572 28574 28469 0 -1 0 6625 0 1 0 30 4 0 0 18 0 9 0 27173644 888123392 5987 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28574/statm: 216827 5987 1995 9 0 211285 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 867308
[startup+0.701504 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 28574
/proc/meminfo: memFree=1830408/2055920 swapFree=4192812/4192956
[pid=28574] ppid=28572 vsize=868696 CPUtime=0.88
/proc/28574/stat : 28574 (java) S 28572 28574 28469 0 -1 0 15268 408 1 0 79 7 2 0 18 0 9 0 27173644 889544704 10485 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28574/statm: 217174 10485 2083 9 0 211632 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 868696
Solver just ended. Dumping a history of the last processes samples
[startup+0.80152 s]
/proc/loadavg: 0.00 0.00 0.03 3/67 28574
/proc/meminfo: memFree=1830408/2055920 swapFree=4192812/4192956
[pid=28574] ppid=28572 vsize=868784 CPUtime=1
/proc/28574/stat : 28574 (java) S 28572 28574 28469 0 -1 0 18358 408 1 0 89 9 2 0 18 0 9 0 27173644 889634816 11994 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28574/statm: 217196 11994 2655 9 0 211632 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 868784
[startup+1.20657 s]
/proc/loadavg: 0.00 0.00 0.03 2/76 28587
/proc/meminfo: memFree=1792320/2055920 swapFree=4192812/4192956
[pid=28574] ppid=28572 vsize=868784 CPUtime=1.47
/proc/28574/stat : 28574 (java) S 28572 28574 28469 0 -1 0 19697 408 1 0 135 10 2 0 18 0 9 0 27173644 889634816 12088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28574/statm: 217196 12088 2657 9 0 211632 0
[pid=28574/tid=28576] ppid=28572 vsize=868784 CPUtime=1.09
/proc/28574/task/28576/stat : 28576 (java) R 28572 28574 28469 0 -1 64 14675 408 1 0 100 7 2 0 17 0 9 0 27173644 889634816 12088 996147200 134512640 134550932 4294955968 18446744073709551615 4125959127 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28574/tid=28577] ppid=28572 vsize=868784 CPUtime=0.08
/proc/28574/task/28577/stat : 28577 (java) S 28572 28574 28469 0 -1 64 3268 408 0 0 5 1 2 0 16 0 9 0 27173646 889634816 12088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28574/tid=28578] ppid=28572 vsize=868784 CPUtime=0.02
/proc/28574/task/28578/stat : 28578 (java) S 28572 28574 28469 0 -1 64 19 408 0 0 0 0 2 0 15 0 9 0 27173646 889634816 12088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28574/tid=28579] ppid=28572 vsize=868784 CPUtime=0.02
/proc/28574/task/28579/stat : 28579 (java) S 28572 28574 28469 0 -1 64 9 408 0 0 0 0 2 0 15 0 9 0 27173646 889634816 12088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28574/tid=28580] ppid=28572 vsize=868784 CPUtime=0.02
/proc/28574/task/28580/stat : 28580 (java) S 28572 28574 28469 0 -1 64 2 408 0 0 0 0 2 0 23 0 9 0 27173648 889634816 12088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28574/tid=28581] ppid=28572 vsize=868784 CPUtime=0.31
/proc/28574/task/28581/stat : 28581 (java) S 28572 28574 28469 0 -1 64 905 408 0 0 29 0 2 0 16 0 9 0 27173648 889634816 12088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28574/tid=28582] ppid=28572 vsize=868784 CPUtime=0.02
/proc/28574/task/28582/stat : 28582 (java) S 28572 28574 28469 0 -1 64 0 408 0 0 0 0 2 0 24 0 9 0 27173648 889634816 12088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28574/tid=28583] ppid=28572 vsize=868784 CPUtime=0.02
/proc/28574/task/28583/stat : 28583 (java) S 28572 28574 28469 0 -1 64 4 408 0 0 0 0 2 0 15 0 9 0 27173648 889634816 12088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 868784
[startup+1.4026 s]
/proc/loadavg: 0.00 0.00 0.03 2/76 28587
/proc/meminfo: memFree=1792320/2055920 swapFree=4192812/4192956
[pid=28574] ppid=28572 vsize=868784 CPUtime=1.68
/proc/28574/stat : 28574 (java) S 28572 28574 28469 0 -1 0 19839 408 1 0 156 10 2 0 18 0 9 0 27173644 889634816 12096 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28574/statm: 217196 12096 2657 9 0 211632 0
[pid=28574/tid=28576] ppid=28572 vsize=868784 CPUtime=1.28
/proc/28574/task/28576/stat : 28576 (java) R 28572 28574 28469 0 -1 64 14809 408 1 0 119 7 2 0 18 0 9 0 27173644 889634816 12096 996147200 134512640 134550932 4294955968 18446744073709551615 4127088036 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28574/tid=28577] ppid=28572 vsize=868784 CPUtime=0.08
/proc/28574/task/28577/stat : 28577 (java) S 28572 28574 28469 0 -1 64 3268 408 0 0 5 1 2 0 16 0 9 0 27173646 889634816 12096 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28574/tid=28578] ppid=28572 vsize=868784 CPUtime=0.02
/proc/28574/task/28578/stat : 28578 (java) S 28572 28574 28469 0 -1 64 19 408 0 0 0 0 2 0 15 0 9 0 27173646 889634816 12096 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28574/tid=28579] ppid=28572 vsize=868784 CPUtime=0.02
/proc/28574/task/28579/stat : 28579 (java) S 28572 28574 28469 0 -1 64 9 408 0 0 0 0 2 0 15 0 9 0 27173646 889634816 12096 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28574/tid=28580] ppid=28572 vsize=868784 CPUtime=0.02
/proc/28574/task/28580/stat : 28580 (java) S 28572 28574 28469 0 -1 64 2 408 0 0 0 0 2 0 23 0 9 0 27173648 889634816 12096 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28574/tid=28581] ppid=28572 vsize=868784 CPUtime=0.32
/proc/28574/task/28581/stat : 28581 (java) S 28572 28574 28469 0 -1 64 913 408 0 0 30 0 2 0 16 0 9 0 27173648 889634816 12096 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28574/tid=28582] ppid=28572 vsize=868784 CPUtime=0.02
/proc/28574/task/28582/stat : 28582 (java) S 28572 28574 28469 0 -1 64 0 408 0 0 0 0 2 0 24 0 9 0 27173648 889634816 12096 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28574/tid=28583] ppid=28572 vsize=868784 CPUtime=0.02
/proc/28574/task/28583/stat : 28583 (java) S 28572 28574 28469 0 -1 64 4 408 0 0 0 0 2 0 15 0 9 0 27173648 889634816 12096 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 868784
Child status: 0
Real time (s): 1.46435
CPU time (s): 1.75973
CPU user time (s): 1.63675
CPU system time (s): 0.122981
CPU usage (%): 120.171
Max. virtual memory (cumulated for all children) (KiB): 868784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.63675
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= 20393
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= 335
involuntary context switches= 84
runsolver used 0.003999 second user time and 0.011998 second system time
The end
Begin job on node71 at 2009-07-12 14:18:31
IDJOB=2093032
IDBENCH=53334
IDSOLVER=774
FILE ID=node71/2093032-1247401110
PBS_JOBID= 9510505
Free space on /tmp= 66400 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/QCP-15/normalized-qcp-15-120-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2093032-1247401110/watcher-2093032-1247401110 -o /tmp/evaluation-result-2093032-1247401110/solver-2093032-1247401110 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2093032-1247401110.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 151db26b5ee736c201ace8bd7a2bd6fd
RANDOM SEED=940707768
node71.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.222
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.222
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: 1830952 kB
Buffers: 35056 kB
Cached: 121480 kB
SwapCached: 0 kB
Active: 97952 kB
Inactive: 73864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1830952 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2276 kB
Writeback: 0 kB
Mapped: 25096 kB
Slab: 38796 kB
Committed_AS: 178968 kB
PageTables: 1664 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= 66396 MiB
End job on node71 at 2009-07-12 14:18:32