0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/214105-1168228234/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.57 nbVariables=2030 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.57 => wckTime=0.261 cpuTime=0.19 mem=10M819
0.57
0.57 predicates being loaded...
0.58
0.58 constraints being loaded...
1.26 nbConstraints=4249 nbSingletonDomainVariables=816 nbConvertedConstraints=2005 nbConvertConstraintsChecks=64
1.26 nbExtensionStructures=7 nbSharedExtensionStructures=1998 nbConflictsStructures=22
1.26 nbSharedConflictsStructures=4227 nbSharedBinaryRepresentations=16 nbEvaluationManagers=15
1.26 nbSharedEvaluationManagers=2229 maxDegree=41 maxArity=3
1.26 => wckTime=0.953 cpuTime=0.78 mem=36M174
1.35
1.35 solver IterativeSystematicSolver being built...
1.66 => wckTime=1.352 cpuTime=1.04 mem=36M998
2.18
2.18 preprocessing
2.18 nbConstraintChecks=7967 nbValidityChecks=1819 nbPropagations=6103 nbRevisions=9527 nbUselessRevisions=7481
2.18 nbSingletonTests=2045 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
2.18 => wckTime=0.513 cpuTime=0.45 mem=36M998
2.27
2.27 search
2.27 run=0 nbConstraintChecks=14374 nbValidityChecks=5944 nbPropagations=10679 nbRevisions=24360
2.27 nbUselessRevisions=17729 nbAssignments=42 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=51
2.27 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
2.27 => wckTime=0.604 cpuTime=0.53 mem=36M998
2.33
2.33 search
2.33 run=1 nbConstraintChecks=27868 nbValidityChecks=12280 nbPropagations=25856 nbRevisions=63510
2.33 nbUselessRevisions=45744 nbAssignments=84 nbFailedAssignments=8 nbBacktracks=30 nbVisitedNodes=101
2.33 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
2.33 => wckTime=0.66 cpuTime=0.58 mem=36M998
2.41
2.41 search
2.41 run=2 nbConstraintChecks=52026 nbValidityChecks=23587 nbPropagations=49097 nbRevisions=128961
2.41 nbUselessRevisions=91973 nbAssignments=141 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=172
2.41 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
2.41 => wckTime=0.743 cpuTime=0.66 mem=37M972
2.51
2.51 search
2.51 run=3 nbConstraintChecks=73352 nbValidityChecks=33314 nbPropagations=79550 nbRevisions=217307
2.51 nbUselessRevisions=153872 nbAssignments=212 nbFailedAssignments=21 nbBacktracks=87 nbVisitedNodes=255
2.51 nbRestartNogoods=5 mapSize=34 nbInferences=0 nbTooLargeKeys=0
2.51 => wckTime=0.836 cpuTime=0.75 mem=37M972
2.63
2.63 search
2.63 run=4 nbConstraintChecks=96893 nbValidityChecks=44470 nbPropagations=117976 nbRevisions=331544
2.63 nbUselessRevisions=233670 nbAssignments=306 nbFailedAssignments=29 nbBacktracks=148 nbVisitedNodes=364
2.63 nbRestartNogoods=8 mapSize=47 nbInferences=0 nbTooLargeKeys=0
2.63 => wckTime=0.958 cpuTime=0.87 mem=37M972
2.76
2.76 search
2.76 run=5 nbConstraintChecks=123523 nbValidityChecks=56705 nbPropagations=165302 nbRevisions=474372
2.76 nbUselessRevisions=333129 nbAssignments=417 nbFailedAssignments=37 nbBacktracks=224 nbVisitedNodes=491
2.76 nbRestartNogoods=10 mapSize=61 nbInferences=0 nbTooLargeKeys=0
2.76 => wckTime=1.095 cpuTime=1.01 mem=37M972
2.99
2.99 search
2.99 run=6 nbConstraintChecks=173955 nbValidityChecks=80571 nbPropagations=229479 nbRevisions=672356
2.99 nbUselessRevisions=470813 nbAssignments=587 nbFailedAssignments=54 nbBacktracks=341 nbVisitedNodes=695
2.99 nbRestartNogoods=12 mapSize=92 nbInferences=0 nbTooLargeKeys=0
2.99 => wckTime=1.319 cpuTime=1.23 mem=37M972
3.25
3.25 search
3.25 run=7 nbConstraintChecks=214254 nbValidityChecks=101451 nbPropagations=307552 nbRevisions=917062
3.25 nbUselessRevisions=641176 nbAssignments=811 nbFailedAssignments=81 nbBacktracks=512 nbVisitedNodes=973
3.25 nbRestartNogoods=15 mapSize=144 nbInferences=0 nbTooLargeKeys=0
3.25 => wckTime=1.583 cpuTime=1.49 mem=37M972
3.66
3.67 search
3.67 run=8 nbConstraintChecks=276922 nbValidityChecks=133634 nbPropagations=406772 nbRevisions=1233427
3.67 nbUselessRevisions=861773 nbAssignments=1156 nbFailedAssignments=127 nbBacktracks=779 nbVisitedNodes=1409
3.67 nbRestartNogoods=17 mapSize=230 nbInferences=0 nbTooLargeKeys=0
3.67 => wckTime=1.995 cpuTime=1.9 mem=37M972
4.26
4.26 search
4.26 run=9 nbConstraintChecks=398725 nbValidityChecks=199180 nbPropagations=547407 nbRevisions=1696619
4.26 nbUselessRevisions=1186879 nbAssignments=1679 nbFailedAssignments=191 nbBacktracks=1164 nbVisitedNodes=2019
4.26 nbRestartNogoods=22 mapSize=355 nbInferences=0 nbTooLargeKeys=0
4.26 => wckTime=2.588 cpuTime=2.48 mem=37M972
5.14
5.14 search
5.14 run=10 nbConstraintChecks=615383 nbValidityChecks=323094 nbPropagations=763477 nbRevisions=2437455
5.14 nbUselessRevisions=1711308 nbAssignments=2402 nbFailedAssignments=309 nbBacktracks=1741 nbVisitedNodes=2964
5.14 nbRestartNogoods=27 mapSize=573 nbInferences=0 nbTooLargeKeys=0
5.14 => wckTime=3.474 cpuTime=3.35 mem=37M972
6.48
6.48 search
6.48 run=11 nbConstraintChecks=993182 nbValidityChecks=527189 nbPropagations=1108885 nbRevisions=3639176
6.48 nbUselessRevisions=2562475 nbAssignments=3482 nbFailedAssignments=482 nbBacktracks=2607 nbVisitedNodes=4372
6.48 nbRestartNogoods=31 mapSize=893 nbInferences=0 nbTooLargeKeys=0
6.48 => wckTime=4.812 cpuTime=4.68 mem=37M972
7.17
7.17 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=38M946)
8.01
8.01 search
8.01 run=12 nbConstraintChecks=1427711 nbValidityChecks=774371 nbPropagations=1605117 nbRevisions=5394713
8.01 nbUselessRevisions=3812413 nbAssignments=5031 nbFailedAssignments=655 nbBacktracks=3913 nbVisitedNodes=6225
8.01 nbRestartNogoods=39
8.01 => wckTime=6.338 cpuTime=6.19 mem=38M946
9.85
9.85 search
9.85 run=13 nbConstraintChecks=1978292 nbValidityChecks=1089027 nbPropagations=2285962 nbRevisions=7844251
9.85 nbUselessRevisions=5564698 nbAssignments=7258 nbFailedAssignments=911 nbBacktracks=5861 nbVisitedNodes=8974
9.85 nbRestartNogoods=41
9.85 => wckTime=8.18 cpuTime=8.02 mem=38M946
12.74
12.74 search
12.74 run=14 nbConstraintChecks=2896333 nbValidityChecks=1592580 nbPropagations=3276512 nbRevisions=11429152
12.74 nbUselessRevisions=8132458 nbAssignments=10581 nbFailedAssignments=1277 nbBacktracks=8800 nbVisitedNodes=13021
12.74 nbRestartNogoods=48
12.74 => wckTime=11.067 cpuTime=10.89 mem=38M946
17.47
17.47 search
17.47 run=15 nbConstraintChecks=4463433 nbValidityChecks=2525772 nbPropagations=4805803 nbRevisions=17063676
17.47 nbUselessRevisions=12192215 nbAssignments=15626 nbFailedAssignments=1905 nbBacktracks=13190
17.47 nbVisitedNodes=19386 nbRestartNogoods=52
17.47 => wckTime=15.799 cpuTime=15.6 mem=38M946
24.57
24.57 search
24.57 run=16 nbConstraintChecks=6894908 nbValidityChecks=3893049 nbPropagations=7172759 nbRevisions=25767679
24.57 nbUselessRevisions=18456433 nbAssignments=23180 nbFailedAssignments=2863 nbBacktracks=19761
24.57 nbVisitedNodes=28851 nbRestartNogoods=58
24.57 => wckTime=22.897 cpuTime=22.67 mem=38M946
35.12
35.12 search
35.12 run=17 nbConstraintChecks=10400290 nbValidityChecks=5938804 nbPropagations=10749880 nbRevisions=39008938
35.12 nbUselessRevisions=28006567 nbAssignments=34614 nbFailedAssignments=4422 nbBacktracks=29614
35.12 nbVisitedNodes=43517 nbRestartNogoods=63
35.12 => wckTime=33.448 cpuTime=33.17 mem=38M946
42.94
42.94 search
42.94 run=18 nbConstraintChecks=13070986 nbValidityChecks=7526140 nbPropagations=15256384 nbRevisions=55763309
42.94 nbUselessRevisions=40106252 nbAssignments=43838 nbFailedAssignments=5698 nbBacktracks=35532
42.94 nbVisitedNodes=55246 nbRestartNogoods=71
42.94 => wckTime=41.273 cpuTime=40.96 mem=38M946
42.94
42.94 global
42.94 nbConstraintChecks=13078953 nbValidityChecks=7527959 nbPropagations=15262487 nbRevisions=55772836
42.94 nbUselessRevisions=40113733 nbRestartNogoods=71 solvingWckTime=41.274 solvingCpuTime=40.96 expiredTime=no
42.94 totalExploration=no nbFoundSolutions=1 globalCpuTime=42.05
42.94 => wckTime=42.633 cpuTime=42.01 mem=38M946
42.95
42.95 s SATISFIABLE
42.95 v 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
42.95 d NODES 43838
42.95 d CHECKS 13078953
42.95
42.95 totalWckTime=42.714 totalCpuTime=42.05
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-214105-1168228234 -o ROOT/results/node13/solver-214105-1168228234 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214105-1168228234/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.89 1.93 1.83 4/87 25700
/proc/meminfo: memFree=1734664/2055920 swapFree=4192812/4192956
[pid=25699] ppid=25697 vsize=1784 CPUtime=0
/proc/25699/stat : 25699 (java) R 25697 25699 24997 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 171218395 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/25699/statm: 446 140 106 14 0 91 0
[startup+0.105089 s]
/proc/loadavg: 1.89 1.93 1.83 4/87 25700
/proc/meminfo: memFree=1734664/2055920 swapFree=4192812/4192956
[pid=25699] ppid=25697 vsize=914988 CPUtime=0.08
/proc/25699/stat : 25699 (java) R 25697 25699 24997 0 -1 0 3001 0 1 0 7 1 0 0 17 0 8 0 171218395 936947712 2747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25699/statm: 228747 2747 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513143 s]
/proc/loadavg: 1.89 1.93 1.83 4/87 25700
/proc/meminfo: memFree=1734664/2055920 swapFree=4192812/4192956
[pid=25699] ppid=25697 vsize=915328 CPUtime=0.49
/proc/25699/stat : 25699 (java) R 25697 25699 24997 0 -1 0 6633 0 1 0 44 5 0 0 17 0 8 0 171218395 937295872 6372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916972 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25699/statm: 228832 6372 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33426 s]
/proc/loadavg: 1.89 1.93 1.83 3/94 25707
/proc/meminfo: memFree=1693264/2055920 swapFree=4192812/4192956
[pid=25699] ppid=25697 vsize=916668 CPUtime=1.3
/proc/25699/stat : 25699 (java) R 25697 25699 24997 0 -1 0 13422 0 1 0 103 27 0 0 20 0 8 0 171218395 938668032 13159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25699/statm: 229167 13159 2182 14 0 215637 0
[pid=25699/tid=25701] ppid=25697 vsize=916668 CPUtime=0.06
/proc/25699/task/25701/stat : 25701 (java) R 25697 25699 24997 0 -1 64 45 0 0 0 6 0 0 0 16 0 8 0 171218399 938668032 13159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153803114 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25702] ppid=25697 vsize=916668 CPUtime=0
/proc/25699/task/25702/stat : 25702 (java) S 25697 25699 24997 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 171218399 938668032 13159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25703] ppid=25697 vsize=916668 CPUtime=0
/proc/25699/task/25703/stat : 25703 (java) S 25697 25699 24997 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 171218400 938668032 13159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25704] ppid=25697 vsize=916668 CPUtime=0
/proc/25699/task/25704/stat : 25704 (java) S 25697 25699 24997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171218403 938668032 13159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25705] ppid=25697 vsize=916668 CPUtime=0.2
/proc/25699/task/25705/stat : 25705 (java) S 25697 25699 24997 0 -1 64 434 0 0 0 20 0 0 0 16 0 8 0 171218403 938668032 13159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25706] ppid=25697 vsize=916668 CPUtime=0
/proc/25699/task/25706/stat : 25706 (java) S 25697 25699 24997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171218403 938668032 13159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25707] ppid=25697 vsize=916668 CPUtime=0
/proc/25699/task/25707/stat : 25707 (java) S 25697 25699 24997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171218403 938668032 13159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 916668
[startup+2.97248 s]
/proc/loadavg: 1.89 1.93 1.83 3/94 25707
/proc/meminfo: memFree=1686224/2055920 swapFree=4192812/4192956
[pid=25699] ppid=25697 vsize=916800 CPUtime=2.93
/proc/25699/stat : 25699 (java) R 25697 25699 24997 0 -1 0 14821 0 1 0 264 29 0 0 25 0 8 0 171218395 938803200 14557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25699/statm: 229200 14557 2543 14 0 215670 0
[pid=25699/tid=25701] ppid=25697 vsize=916800 CPUtime=0.07
/proc/25699/task/25701/stat : 25701 (java) S 25697 25699 24997 0 -1 64 913 0 0 0 7 0 0 0 17 0 8 0 171218399 938803200 14557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25702] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25702/stat : 25702 (java) S 25697 25699 24997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171218399 938803200 14557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25703] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25703/stat : 25703 (java) S 25697 25699 24997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171218400 938803200 14557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25704] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25704/stat : 25704 (java) S 25697 25699 24997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171218403 938803200 14557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25705] ppid=25697 vsize=916800 CPUtime=0.34
/proc/25699/task/25705/stat : 25705 (java) S 25697 25699 24997 0 -1 64 513 0 0 0 33 1 0 0 15 0 8 0 171218403 938803200 14557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25706] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25706/stat : 25706 (java) S 25697 25699 24997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171218403 938803200 14557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25707] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25707/stat : 25707 (java) S 25697 25699 24997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171218403 938803200 14557 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 916800
[startup+6.1779 s]
/proc/loadavg: 1.98 1.95 1.84 4/94 25707
/proc/meminfo: memFree=1686096/2055920 swapFree=4192812/4192956
[pid=25699] ppid=25697 vsize=916800 CPUtime=6.13
/proc/25699/stat : 25699 (java) R 25697 25699 24997 0 -1 0 14841 0 1 0 583 30 0 0 25 0 8 0 171218395 938803200 14574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074083016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25699/statm: 229200 14574 2543 14 0 215670 0
[pid=25699/tid=25701] ppid=25697 vsize=916800 CPUtime=0.07
/proc/25699/task/25701/stat : 25701 (java) S 25697 25699 24997 0 -1 64 913 0 0 0 7 0 0 0 17 0 8 0 171218399 938803200 14574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25702] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25702/stat : 25702 (java) S 25697 25699 24997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171218399 938803200 14574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25703] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25703/stat : 25703 (java) S 25697 25699 24997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171218400 938803200 14574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25704] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25704/stat : 25704 (java) S 25697 25699 24997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171218403 938803200 14574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25705] ppid=25697 vsize=916800 CPUtime=0.37
/proc/25699/task/25705/stat : 25705 (java) S 25697 25699 24997 0 -1 64 530 0 0 0 36 1 0 0 15 0 8 0 171218403 938803200 14574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25706] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25706/stat : 25706 (java) S 25697 25699 24997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171218403 938803200 14574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25707] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25707/stat : 25707 (java) S 25697 25699 24997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171218403 938803200 14574 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 916800
[startup+12.6558 s]
/proc/loadavg: 1.98 1.95 1.84 3/94 25707
/proc/meminfo: memFree=1686104/2055920 swapFree=4192812/4192956
[pid=25699] ppid=25697 vsize=916800 CPUtime=12.57
/proc/25699/stat : 25699 (java) R 25697 25699 24997 0 -1 0 14845 0 1 0 1227 30 0 0 25 0 8 0 171218395 938803200 14575 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074189533 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25699/statm: 229200 14575 2543 14 0 215670 0
[pid=25699/tid=25701] ppid=25697 vsize=916800 CPUtime=0.07
/proc/25699/task/25701/stat : 25701 (java) S 25697 25699 24997 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171218399 938803200 14575 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25702] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25702/stat : 25702 (java) S 25697 25699 24997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171218399 938803200 14575 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25703] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25703/stat : 25703 (java) S 25697 25699 24997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171218400 938803200 14575 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25704] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25704/stat : 25704 (java) S 25697 25699 24997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171218403 938803200 14575 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25705] ppid=25697 vsize=916800 CPUtime=0.37
/proc/25699/task/25705/stat : 25705 (java) S 25697 25699 24997 0 -1 64 531 0 0 0 36 1 0 0 16 0 8 0 171218403 938803200 14575 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25706] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25706/stat : 25706 (java) S 25697 25699 24997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171218403 938803200 14575 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25707] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25707/stat : 25707 (java) S 25697 25699 24997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171218403 938803200 14575 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 916800
[startup+25.5385 s]
/proc/loadavg: 1.98 1.95 1.84 3/94 25707
/proc/meminfo: memFree=1686104/2055920 swapFree=4192812/4192956
[pid=25699] ppid=25697 vsize=916800 CPUtime=25.39
/proc/25699/stat : 25699 (java) R 25697 25699 24997 0 -1 0 14846 0 1 0 2509 30 0 0 25 0 8 0 171218395 938803200 14576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25699/statm: 229200 14576 2543 14 0 215670 0
[pid=25699/tid=25701] ppid=25697 vsize=916800 CPUtime=0.07
/proc/25699/task/25701/stat : 25701 (java) S 25697 25699 24997 0 -1 64 913 0 0 0 7 0 0 0 16 0 8 0 171218399 938803200 14576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25702] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25702/stat : 25702 (java) S 25697 25699 24997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171218399 938803200 14576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25703] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25703/stat : 25703 (java) S 25697 25699 24997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171218400 938803200 14576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25704] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25704/stat : 25704 (java) S 25697 25699 24997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171218403 938803200 14576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25705] ppid=25697 vsize=916800 CPUtime=0.38
/proc/25699/task/25705/stat : 25705 (java) S 25697 25699 24997 0 -1 64 532 0 0 0 37 1 0 0 17 0 8 0 171218403 938803200 14576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25706] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25706/stat : 25706 (java) S 25697 25699 24997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171218403 938803200 14576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25699/tid=25707] ppid=25697 vsize=916800 CPUtime=0
/proc/25699/task/25707/stat : 25707 (java) S 25697 25699 24997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171218403 938803200 14576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 916800
Child status: 0
Real time (s): 42.9999
CPU time (s): 42.7435
CPU user time (s): 42.4266
CPU system time (s): 0.316951
CPU usage (%): 99.4038
Max. virtual memory (cumulated for all children) (KiB): 916800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.4265
system time used= 0.316951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14859
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= 2418
involuntary context switches= 3844
runsolver used 0.05999 s user time and 0.144977 s system time
The end
Begin job on node13 on Mon Jan 8 03:50:34 UTC 2007
IDJOB= 214105
IDBENCH= 4899
FILE ID= node13/214105-1168228234
PBS_JOBID= 3481110
Free space on /tmp= 66323 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-16-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214105-1168228234/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-214105-1168228234 -o ROOT/results/node13/solver-214105-1168228234 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214105-1168228234/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 283426cb94b14805e108c613c8a58e52
RANDOM SEED= 250176096
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: 1735144 kB
Buffers: 54976 kB
Cached: 144536 kB
SwapCached: 0 kB
Active: 153320 kB
Inactive: 109092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1735144 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2532 kB
Writeback: 0 kB
Mapped: 82680 kB
Slab: 42992 kB
Committed_AS: 4434240 kB
PageTables: 2424 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= 66323 MiB
End job on node13 on Mon Jan 8 03:51:17 UTC 2007