0.05/0.08
0.05/0.08 Abscon 112 (May, 2008)
0.18/0.22
0.18/0.22 configuration
0.18/0.22 name=esac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1044821-1215021004.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.36 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19 nbTotalValues=760
0.28/0.36 => wckTime=0.139 cpuTime=0.1 mem=7M919
0.28/0.36
0.28/0.36 relations being loaded...
0.48/0.58
0.48/0.58 constraints being loaded...
0.68/0.77 nbConstraints=321 nbRelationTypes=321 nbExtensionStructures=321 nbSharedExtensionStructures=0
0.68/0.77 nbConflictsStructures=321 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2267 minDegree=10
0.68/0.77 maxDegree=25 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.058 symmetryCpuTime=0.03
0.68/0.77 => wckTime=0.553 cpuTime=0.4 mem=18M770
0.77/0.83
0.77/0.83 solver IterativeSystematicSolver being built...
0.86/0.96 => wckTime=0.744 cpuTime=0.51 mem=21M151
0.97/1.02
0.97/1.02 preprocessing
0.97/1.02 nbConstraintChecks=67515 nbPropagations=877 nbRevisions=6861 nbUselessRevisions=5649 nbSingletonTests=48
0.97/1.02 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
0.97/1.02 => wckTime=0.048 cpuTime=0.04 mem=21M151
1.08/1.13
1.08/1.13 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M159)
1.17/1.26
1.17/1.26 search
1.17/1.26 run=6 nbConstraintChecks=979514 minDepth=3 maxDepth=40 nbPropagations=43716 nbRevisions=523095
1.17/1.26 nbUselessRevisions=420089 nbAssignments=744 nbFailedAssignments=296 nbBacktracks=364 nbVisitedNodes=1256
1.17/1.26 nbRestartNogoods=31 nbFoundSolutions=1 nbSEliminables=8.25 nbREliminables=1.92 nbIEliminables=0.32
1.17/1.26 nbDEliminables=0 nbPEliminables=0
1.17/1.26 => wckTime=0.295 cpuTime=0.25 mem=22M159
1.17/1.26
1.17/1.27 global
1.17/1.27 nbConstraintChecks=1047029 nbPropagations=44593 nbRevisions=529956 nbUselessRevisions=425738
1.17/1.27 nbRestartNogoods=31 solvingWckTime=0.297 solvingCpuTime=0.25 expiredTime=no totalExploration=no
1.17/1.27 nbFoundSolutions=1 firstSolutionCpuTime=0.76 globalCpuTime=0.81
1.17/1.27 => wckTime=1.044 cpuTime=0.76 mem=22M159
1.17/1.27
1.17/1.27 s SATISFIABLE
1.17/1.27 v 17 4 12 11 17 5 0 17 2 5 14 2 7 12 7 2 1 16 10 6 17 7 7 6 3 10 6 14 6 8 2 11 14 6 15 3 18 4 12 17
1.17/1.27 d NODES 744
1.17/1.27 d CHECKS 1047029
1.17/1.27
1.17/1.27 totalWckTime=1.096 totalCpuTime=0.81
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044821-1215021004/watcher-1044821-1215021004 -o /tmp/evaluation-result-1044821-1215021004/solver-1044821-1215021004 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1044821-1215021004.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.95 1.71 4/81 31382
/proc/meminfo: memFree=1372392/2055920 swapFree=4181172/4192956
[pid=31382] ppid=31380 vsize=1616 CPUtime=0
/proc/31382/stat : 31382 (java) R 31380 31382 30999 0 -1 0 177 0 0 0 0 0 0 0 19 0 1 0 243043131 1654784 145 996147200 134512640 134550740 4294956144 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/31382/statm: 404 145 119 9 0 46 0
[startup+0.068351 s]
/proc/loadavg: 1.91 1.95 1.71 4/81 31382
/proc/meminfo: memFree=1372392/2055920 swapFree=4181172/4192956
[pid=31382] ppid=31380 vsize=865856 CPUtime=0.05
/proc/31382/stat : 31382 (java) S 31380 31382 30999 0 -1 0 3178 0 1 0 3 2 0 0 18 0 9 0 243043131 886636544 2704 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31382/statm: 216464 2704 1422 9 0 211026 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 865856
[startup+0.101357 s]
/proc/loadavg: 1.91 1.95 1.71 4/81 31382
/proc/meminfo: memFree=1372392/2055920 swapFree=4181172/4192956
[pid=31382] ppid=31380 vsize=865884 CPUtime=0.08
/proc/31382/stat : 31382 (java) S 31380 31382 30999 0 -1 0 3841 0 1 0 6 2 0 0 18 0 9 0 243043131 886665216 3285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31382/statm: 216471 3285 1734 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301395 s]
/proc/loadavg: 1.91 1.95 1.71 4/81 31382
/proc/meminfo: memFree=1372392/2055920 swapFree=4181172/4192956
[pid=31382] ppid=31380 vsize=866276 CPUtime=0.28
/proc/31382/stat : 31382 (java) S 31380 31382 30999 0 -1 0 5783 0 1 0 24 4 0 0 18 0 9 0 243043131 887066624 5157 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31382/statm: 216569 5157 1951 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866276
[startup+0.701474 s]
/proc/loadavg: 1.91 1.95 1.71 4/81 31382
/proc/meminfo: memFree=1372392/2055920 swapFree=4181172/4192956
[pid=31382] ppid=31380 vsize=867020 CPUtime=0.68
/proc/31382/stat : 31382 (java) S 31380 31382 30999 0 -1 0 8546 0 1 0 63 5 0 0 18 0 9 0 243043131 887828480 7906 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31382/statm: 216755 7906 1978 9 0 211283 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867020
Solver just ended. Dumping a history of the last processes samples
[startup+1.10655 s]
/proc/loadavg: 1.91 1.95 1.71 3/90 31395
/proc/meminfo: memFree=1340960/2055920 swapFree=4181172/4192956
[pid=31382] ppid=31380 vsize=867432 CPUtime=1.08
/proc/31382/stat : 31382 (java) S 31380 31382 30999 0 -1 0 16929 287 1 0 99 9 0 0 18 0 9 0 243043131 888250368 10665 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31382/statm: 216858 10665 2633 9 0 211364 0
[pid=31382/tid=31384] ppid=31380 vsize=867432 CPUtime=0.8
/proc/31382/task/31384/stat : 31384 (java) R 31380 31382 30999 0 -1 64 11832 287 1 0 74 6 0 0 23 0 9 0 243043132 888250368 10665 996147200 134512640 134550740 4294955968 18446744073709551615 4126095719 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31382/tid=31385] ppid=31380 vsize=867432 CPUtime=0.04
/proc/31382/task/31385/stat : 31385 (java) S 31380 31382 30999 0 -1 64 3561 287 0 0 4 0 0 0 16 0 9 0 243043134 888250368 10665 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31380 vsize=867432 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31380 31382 30999 0 -1 64 16 287 0 0 0 0 0 0 17 0 9 0 243043134 888250368 10665 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31380 vsize=867432 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31380 31382 30999 0 -1 64 9 287 0 0 0 0 0 0 16 0 9 0 243043134 888250368 10665 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31382/tid=31388] ppid=31380 vsize=867432 CPUtime=0
/proc/31382/task/31388/stat : 31388 (java) S 31380 31382 30999 0 -1 64 1 287 0 0 0 0 0 0 18 0 9 0 243043136 888250368 10665 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31382/tid=31389] ppid=31380 vsize=867432 CPUtime=0.19
/proc/31382/task/31389/stat : 31389 (java) S 31380 31382 30999 0 -1 64 697 287 0 0 19 0 0 0 15 0 9 0 243043136 888250368 10665 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31380 vsize=867432 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31380 31382 30999 0 -1 64 1 287 0 0 0 0 0 0 19 0 9 0 243043136 888250368 10665 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31382/tid=31391] ppid=31380 vsize=867432 CPUtime=0
/proc/31382/task/31391/stat : 31391 (java) S 31380 31382 30999 0 -1 64 4 287 0 0 0 0 0 0 15 0 9 0 243043136 888250368 10665 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 867432
[startup+1.20256 s]
/proc/loadavg: 1.91 1.95 1.71 3/90 31395
/proc/meminfo: memFree=1340960/2055920 swapFree=4181172/4192956
[pid=31382] ppid=31380 vsize=867564 CPUtime=1.17
/proc/31382/stat : 31382 (java) S 31380 31382 30999 0 -1 0 16942 287 1 0 108 9 0 0 18 0 9 0 243043131 888385536 10677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31382/statm: 216891 10677 2633 9 0 211397 0
[pid=31382/tid=31384] ppid=31380 vsize=867564 CPUtime=0.89
/proc/31382/task/31384/stat : 31384 (java) R 31380 31382 30999 0 -1 64 11837 287 1 0 83 6 0 0 24 0 9 0 243043132 888385536 10677 996147200 134512640 134550740 4294955968 18446744073709551615 4126123093 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31382/tid=31385] ppid=31380 vsize=867564 CPUtime=0.04
/proc/31382/task/31385/stat : 31385 (java) S 31380 31382 30999 0 -1 64 3561 287 0 0 4 0 0 0 16 0 9 0 243043134 888385536 10677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31380 vsize=867564 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31380 31382 30999 0 -1 64 16 287 0 0 0 0 0 0 17 0 9 0 243043134 888385536 10677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31380 vsize=867564 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31380 31382 30999 0 -1 64 9 287 0 0 0 0 0 0 16 0 9 0 243043134 888385536 10677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31382/tid=31388] ppid=31380 vsize=867564 CPUtime=0
/proc/31382/task/31388/stat : 31388 (java) S 31380 31382 30999 0 -1 64 1 287 0 0 0 0 0 0 18 0 9 0 243043136 888385536 10677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31382/tid=31389] ppid=31380 vsize=867564 CPUtime=0.2
/proc/31382/task/31389/stat : 31389 (java) S 31380 31382 30999 0 -1 64 705 287 0 0 20 0 0 0 15 0 9 0 243043136 888385536 10677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31380 vsize=867564 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31380 31382 30999 0 -1 64 1 287 0 0 0 0 0 0 19 0 9 0 243043136 888385536 10677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31382/tid=31391] ppid=31380 vsize=867564 CPUtime=0
/proc/31382/task/31391/stat : 31391 (java) S 31380 31382 30999 0 -1 64 4 287 0 0 0 0 0 0 15 0 9 0 243043136 888385536 10677 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 867564
Child status: 0
Real time (s): 1.29371
CPU time (s): 1.26481
CPU user time (s): 1.15782
CPU system time (s): 0.106983
CPU usage (%): 97.7658
Max. virtual memory (cumulated for all children) (KiB): 867564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.15782
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17362
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= 936
involuntary context switches= 954
runsolver used 0.001999 second user time and 0.012998 second system time
The end
Begin job on node85 at 2008-07-02 19:50:04
IDJOB=1044821
IDBENCH=53460
IDSOLVER=364
FILE ID=node85/1044821-1215021004
PBS_JOBID= 7874302
Free space on /tmp= 126848 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/frb40-19/normalized-frb40-19-1-mgd_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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044821-1215021004/watcher-1044821-1215021004 -o /tmp/evaluation-result-1044821-1215021004/solver-1044821-1215021004 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1044821-1215021004.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a188c5d885a8663d2f33129eb105c72b
RANDOM SEED=1362852863
node85.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.272
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.272
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1372872 kB
Buffers: 16360 kB
Cached: 553388 kB
SwapCached: 5532 kB
Active: 155832 kB
Inactive: 468408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1372872 kB
SwapTotal: 4192956 kB
SwapFree: 4181172 kB
Dirty: 2260 kB
Writeback: 0 kB
Mapped: 70692 kB
Slab: 44336 kB
Committed_AS: 1291484 kB
PageTables: 1648 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= 126848 MiB
End job on node85 at 2008-07-02 19:50:05