0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/214106-1168077604/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.55 nbVariables=2030 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.55 => wckTime=0.249 cpuTime=0.17 mem=10M819
0.55
0.55 predicates being loaded...
0.55
0.55 constraints being loaded...
1.22 nbConstraints=4249 nbSingletonDomainVariables=816 nbConvertedConstraints=2005 nbConvertConstraintsChecks=64
1.22 nbExtensionStructures=7 nbSharedExtensionStructures=1998 nbConflictsStructures=22
1.22 nbSharedConflictsStructures=4227 nbSharedBinaryRepresentations=16 nbEvaluationManagers=15
1.22 nbSharedEvaluationManagers=2229 maxDegree=41 maxArity=3
1.22 => wckTime=0.917 cpuTime=0.77 mem=36M174
1.30
1.30 solver IterativeSystematicSolver being built...
1.59 => wckTime=1.29 cpuTime=1.0 mem=36M975
1.62
1.62 preprocessing
1.62 nbConstraintChecks=0 nbPropagations=2030 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.62 detectedInconsistency=no
1.62 => wckTime=0.024 cpuTime=0.02 mem=36M975
1.74
1.74 search
1.74 run=0 nbConstraintChecks=14054 nbValidityChecks=4819 nbPropagations=6526 nbRevisions=14411
1.74 nbUselessRevisions=9906 nbAssignments=42 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=51
1.74 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.144 cpuTime=0.11 mem=36M975
1.80
1.80 search
1.80 run=1 nbConstraintChecks=27683 nbValidityChecks=11078 nbPropagations=17624 nbRevisions=43777
1.80 nbUselessRevisions=30188 nbAssignments=84 nbFailedAssignments=8 nbBacktracks=30 nbVisitedNodes=101
1.80 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
1.80 => wckTime=0.205 cpuTime=0.16 mem=36M975
1.88
1.88 search
1.88 run=2 nbConstraintChecks=51628 nbValidityChecks=22272 nbPropagations=36712 nbRevisions=99309
1.88 nbUselessRevisions=68624 nbAssignments=141 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=172
1.88 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.88 => wckTime=0.285 cpuTime=0.24 mem=36M975
1.97
1.97 search
1.97 run=3 nbConstraintChecks=72686 nbValidityChecks=31908 nbPropagations=62938 nbRevisions=177565
1.97 nbUselessRevisions=122635 nbAssignments=213 nbFailedAssignments=21 nbBacktracks=88 nbVisitedNodes=256
1.97 nbRestartNogoods=5 mapSize=34 nbInferences=0 nbTooLargeKeys=0
1.97 => wckTime=0.379 cpuTime=0.34 mem=36M975
2.09
2.09 search
2.09 run=4 nbConstraintChecks=93702 nbValidityChecks=41839 nbPropagations=96307 nbRevisions=278979
2.09 nbUselessRevisions=192647 nbAssignments=303 nbFailedAssignments=28 nbBacktracks=140 nbVisitedNodes=359
2.09 nbRestartNogoods=8 mapSize=44 nbInferences=0 nbTooLargeKeys=0
2.09 => wckTime=0.489 cpuTime=0.45 mem=36M975
2.23
2.23 search
2.23 run=5 nbConstraintChecks=121165 nbValidityChecks=54585 nbPropagations=138946 nbRevisions=410227
2.23 nbUselessRevisions=283197 nbAssignments=423 nbFailedAssignments=38 nbBacktracks=216 nbVisitedNodes=497
2.23 nbRestartNogoods=11 mapSize=59 nbInferences=0 nbTooLargeKeys=0
2.23 => wckTime=0.637 cpuTime=0.59 mem=36M975
2.44
2.44 search
2.45 run=6 nbConstraintChecks=168480 nbValidityChecks=76798 nbPropagations=197460 nbRevisions=593185
2.45 nbUselessRevisions=409520 nbAssignments=586 nbFailedAssignments=54 nbBacktracks=331 nbVisitedNodes=691
2.45 nbRestartNogoods=14 mapSize=88 nbInferences=0 nbTooLargeKeys=0
2.45 => wckTime=0.849 cpuTime=0.81 mem=36M975
2.72
2.72 search
2.72 run=7 nbConstraintChecks=210921 nbValidityChecks=98816 nbPropagations=270565 nbRevisions=825603
2.72 nbUselessRevisions=570556 nbAssignments=817 nbFailedAssignments=82 nbBacktracks=502 nbVisitedNodes=978
2.72 nbRestartNogoods=16 mapSize=140 nbInferences=0 nbTooLargeKeys=0
2.72 => wckTime=1.124 cpuTime=1.09 mem=36M975
3.10
3.10 search
3.10 run=8 nbConstraintChecks=269645 nbValidityChecks=128899 nbPropagations=363643 nbRevisions=1125294
3.10 nbUselessRevisions=778650 nbAssignments=1145 nbFailedAssignments=126 nbBacktracks=758 nbVisitedNodes=1392
3.10 nbRestartNogoods=20 mapSize=222 nbInferences=0 nbTooLargeKeys=0
3.10 => wckTime=1.508 cpuTime=1.47 mem=37M949
3.68
3.68 search
3.68 run=9 nbConstraintChecks=370475 nbValidityChecks=183535 nbPropagations=490548 nbRevisions=1546694
3.68 nbUselessRevisions=1073943 nbAssignments=1618 nbFailedAssignments=184 nbBacktracks=1143 nbVisitedNodes=1984
3.68 nbRestartNogoods=24 mapSize=337 nbInferences=0 nbTooLargeKeys=0
3.68 => wckTime=2.088 cpuTime=2.04 mem=37M949
4.53
4.53 search
4.53 run=10 nbConstraintChecks=575682 nbValidityChecks=296460 nbPropagations=688759 nbRevisions=2224083
4.53 nbUselessRevisions=1551821 nbAssignments=2344 nbFailedAssignments=290 nbBacktracks=1719 nbVisitedNodes=2927
4.53 nbRestartNogoods=28 mapSize=546 nbInferences=0 nbTooLargeKeys=0
4.53 => wckTime=2.934 cpuTime=2.87 mem=37M949
5.68
5.68 search
5.68 run=11 nbConstraintChecks=871564 nbValidityChecks=465486 nbPropagations=989888 nbRevisions=3276714
5.68 nbUselessRevisions=2298356 nbAssignments=3405 nbFailedAssignments=459 nbBacktracks=2587 nbVisitedNodes=4335
5.68 nbRestartNogoods=36 mapSize=891 nbInferences=0 nbTooLargeKeys=0
5.68 => wckTime=4.087 cpuTime=4.01 mem=37M949
6.48
6.48 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=37M949)
7.25
7.25 search
7.25 run=12 nbConstraintChecks=1286637 nbValidityChecks=716209 nbPropagations=1436986 nbRevisions=4886109
7.25 nbUselessRevisions=3450060 nbAssignments=4890 nbFailedAssignments=617 nbBacktracks=3889 nbVisitedNodes=6192
7.25 nbRestartNogoods=38
7.25 => wckTime=5.655 cpuTime=5.58 mem=37M949
9.47
9.47 search
9.47 run=13 nbConstraintChecks=2081453 nbValidityChecks=1148299 nbPropagations=2158632 nbRevisions=7470238
9.47 nbUselessRevisions=5293178 nbAssignments=7199 nbFailedAssignments=941 nbBacktracks=5835 nbVisitedNodes=9128
9.47 nbRestartNogoods=43
9.47 => wckTime=7.876 cpuTime=7.8 mem=37M949
12.39
12.39 search
12.39 run=14 nbConstraintChecks=3006655 nbValidityChecks=1671864 nbPropagations=3187039 nbRevisions=11202203
12.39 nbUselessRevisions=7967046 nbAssignments=10552 nbFailedAssignments=1331 nbBacktracks=8769 nbVisitedNodes=13289
12.39 nbRestartNogoods=47
12.39 => wckTime=10.795 cpuTime=10.72 mem=37M949
17.15
17.15 search
17.15 run=15 nbConstraintChecks=4633663 nbValidityChecks=2562895 nbPropagations=4770721 nbRevisions=16935499
17.15 nbUselessRevisions=12067703 nbAssignments=15703 nbFailedAssignments=2061 nbBacktracks=13155
17.15 nbVisitedNodes=19864 nbRestartNogoods=52
17.15 => wckTime=15.555 cpuTime=15.47 mem=37M949
23.63
23.63 search
23.63 run=16 nbConstraintChecks=6710967 nbValidityChecks=3759438 nbPropagations=7049891 nbRevisions=25293017
23.63 nbUselessRevisions=18062931 nbAssignments=23420 nbFailedAssignments=3170 nbBacktracks=19723
23.63 nbVisitedNodes=29764 nbRestartNogoods=60
23.63 => wckTime=22.037 cpuTime=21.95 mem=37M949
34.94
34.94 search
34.94 run=17 nbConstraintChecks=10755334 nbValidityChecks=6010586 nbPropagations=10676270 nbRevisions=38647487
34.94 nbUselessRevisions=27657593 nbAssignments=34905 nbFailedAssignments=4778 nbBacktracks=29575
34.94 nbVisitedNodes=44649 nbRestartNogoods=69
34.94 => wckTime=33.344 cpuTime=33.25 mem=37M949
49.88
49.88 search
49.88 run=18 nbConstraintChecks=15946501 nbValidityChecks=8874029 nbPropagations=16047298 nbRevisions=58396080
49.88 nbUselessRevisions=41849250 nbAssignments=51989 nbFailedAssignments=6883 nbBacktracks=42524
49.88 nbVisitedNodes=66083 nbRestartNogoods=73
49.88 => wckTime=48.287 cpuTime=48.18 mem=37M949
49.88
49.88 global
49.88 nbConstraintChecks=15946501 nbValidityChecks=8874029 nbPropagations=16049328 nbRevisions=58396080
49.88 nbUselessRevisions=41849250 nbRestartNogoods=73 solvingWckTime=48.288 solvingCpuTime=48.18 expiredTime=no
49.88 totalExploration=no nbFoundSolutions=1 globalCpuTime=49.23
49.88 => wckTime=49.584 cpuTime=49.18 mem=37M949
49.89
49.89 s SATISFIABLE
49.89 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
49.89 d NODES 51989
49.89 d CHECKS 15946501
49.89
49.89 totalWckTime=49.658 totalCpuTime=49.23
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-214106-1168077604 -o ROOT/results/node23/solver-214106-1168077604 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214106-1168077604/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.00 1.00 1.00 4/78 21464
/proc/meminfo: memFree=1559304/2055920 swapFree=4192812/4192956
[pid=21463] ppid=21461 vsize=1592 CPUtime=0
/proc/21463/stat : 21463 (java) R 21461 21463 20937 0 -1 0 131 0 0 0 0 0 0 0 19 0 1 0 156154748 1630208 103 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21463/statm: 446 108 86 14 0 91 0
[startup+0.108052 s]
/proc/loadavg: 1.00 1.00 1.00 4/78 21464
/proc/meminfo: memFree=1559304/2055920 swapFree=4192812/4192956
[pid=21463] ppid=21461 vsize=914988 CPUtime=0.08
/proc/21463/stat : 21463 (java) R 21461 21463 20937 0 -1 0 3055 0 1 0 7 1 0 0 17 0 8 0 156154748 936947712 2801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21463/statm: 228747 2802 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516133 s]
/proc/loadavg: 1.00 1.00 1.00 4/78 21464
/proc/meminfo: memFree=1559304/2055920 swapFree=4192812/4192956
[pid=21463] ppid=21461 vsize=915328 CPUtime=0.5
/proc/21463/stat : 21463 (java) S 21461 21463 20937 0 -1 0 6793 0 1 0 46 4 0 0 16 0 8 0 156154748 937295872 6532 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21463/statm: 228832 6532 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.3433 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 21471
/proc/meminfo: memFree=1517072/2055920 swapFree=4192812/4192956
[pid=21463] ppid=21461 vsize=915732 CPUtime=1.34
/proc/21463/stat : 21463 (java) R 21461 21463 20937 0 -1 0 14606 0 1 0 108 26 0 0 16 0 8 0 156154748 937709568 14343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21463/statm: 228933 14343 2482 14 0 215403 0
[pid=21463/tid=21465] ppid=21461 vsize=915732 CPUtime=0.07
/proc/21463/task/21465/stat : 21465 (java) S 21461 21463 20937 0 -1 64 906 0 0 0 7 0 0 0 16 0 8 0 156154752 937709568 14343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21466] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21466/stat : 21466 (java) S 21461 21463 20937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156154753 937709568 14343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21467] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21467/stat : 21467 (java) S 21461 21463 20937 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156154753 937709568 14343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21468] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21468/stat : 21468 (java) S 21461 21463 20937 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156154756 937709568 14343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21469] ppid=21461 vsize=915732 CPUtime=0.2
/proc/21463/task/21469/stat : 21469 (java) S 21461 21463 20937 0 -1 64 436 0 0 0 19 1 0 0 16 0 8 0 156154756 937709568 14343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21470] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21470/stat : 21470 (java) S 21461 21463 20937 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156154756 937709568 14343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21471] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21471/stat : 21471 (java) S 21461 21463 20937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156154756 937709568 14343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 915732
[startup+2.9796 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 21471
/proc/meminfo: memFree=1510992/2055920 swapFree=4192812/4192956
[pid=21463] ppid=21461 vsize=915732 CPUtime=2.97
/proc/21463/stat : 21463 (java) R 21461 21463 20937 0 -1 0 14773 0 1 0 270 27 0 0 17 0 8 0 156154748 937709568 14508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074105396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21463/statm: 228933 14508 2533 14 0 215403 0
[pid=21463/tid=21465] ppid=21461 vsize=915732 CPUtime=0.07
/proc/21463/task/21465/stat : 21465 (java) S 21461 21463 20937 0 -1 64 907 0 0 0 7 0 0 0 16 0 8 0 156154752 937709568 14508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21466] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21466/stat : 21466 (java) S 21461 21463 20937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156154753 937709568 14508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21467] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21467/stat : 21467 (java) S 21461 21463 20937 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156154753 937709568 14508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21468] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21468/stat : 21468 (java) S 21461 21463 20937 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156154756 937709568 14508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21469] ppid=21461 vsize=915732 CPUtime=0.32
/proc/21463/task/21469/stat : 21469 (java) S 21461 21463 20937 0 -1 64 508 0 0 0 30 2 0 0 16 0 8 0 156154756 937709568 14508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21470] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21470/stat : 21470 (java) S 21461 21463 20937 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156154756 937709568 14508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21471] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21471/stat : 21471 (java) S 21461 21463 20937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156154756 937709568 14508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915732
[startup+6.27424 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 21471
/proc/meminfo: memFree=1510864/2055920 swapFree=4192812/4192956
[pid=21463] ppid=21461 vsize=915732 CPUtime=6.27
/proc/21463/stat : 21463 (java) R 21461 21463 20937 0 -1 0 14795 0 1 0 599 28 0 0 17 0 8 0 156154748 937709568 14526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074087052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21463/statm: 228933 14526 2533 14 0 215403 0
[pid=21463/tid=21465] ppid=21461 vsize=915732 CPUtime=0.07
/proc/21463/task/21465/stat : 21465 (java) S 21461 21463 20937 0 -1 64 907 0 0 0 7 0 0 0 16 0 8 0 156154752 937709568 14526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21466] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21466/stat : 21466 (java) S 21461 21463 20937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156154753 937709568 14526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21467] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21467/stat : 21467 (java) S 21461 21463 20937 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156154753 937709568 14526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21468] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21468/stat : 21468 (java) S 21461 21463 20937 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156154756 937709568 14526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21469] ppid=21461 vsize=915732 CPUtime=0.34
/proc/21463/task/21469/stat : 21469 (java) S 21461 21463 20937 0 -1 64 526 0 0 0 32 2 0 0 15 0 8 0 156154756 937709568 14526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21470] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21470/stat : 21470 (java) S 21461 21463 20937 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156154756 937709568 14526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21471] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21471/stat : 21471 (java) S 21461 21463 20937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156154756 937709568 14526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 915732
[startup+12.7445 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 21471
/proc/meminfo: memFree=1510864/2055920 swapFree=4192812/4192956
[pid=21463] ppid=21461 vsize=915732 CPUtime=12.74
/proc/21463/stat : 21463 (java) R 21461 21463 20937 0 -1 0 14801 0 1 0 1246 28 0 0 21 0 8 0 156154748 937709568 14528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074127207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21463/statm: 228933 14528 2533 14 0 215403 0
[pid=21463/tid=21465] ppid=21461 vsize=915732 CPUtime=0.07
/proc/21463/task/21465/stat : 21465 (java) S 21461 21463 20937 0 -1 64 907 0 0 0 7 0 0 0 16 0 8 0 156154752 937709568 14528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21466] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21466/stat : 21466 (java) S 21461 21463 20937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156154753 937709568 14528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21467] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21467/stat : 21467 (java) S 21461 21463 20937 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156154753 937709568 14528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21468] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21468/stat : 21468 (java) S 21461 21463 20937 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156154756 937709568 14528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21469] ppid=21461 vsize=915732 CPUtime=0.35
/proc/21463/task/21469/stat : 21469 (java) S 21461 21463 20937 0 -1 64 529 0 0 0 33 2 0 0 16 0 8 0 156154756 937709568 14528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21470] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21470/stat : 21470 (java) S 21461 21463 20937 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156154756 937709568 14528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21471] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21471/stat : 21471 (java) S 21461 21463 20937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156154756 937709568 14528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915732
[startup+25.585 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 21471
/proc/meminfo: memFree=1510864/2055920 swapFree=4192812/4192956
[pid=21463] ppid=21461 vsize=915732 CPUtime=25.57
/proc/21463/stat : 21463 (java) R 21461 21463 20937 0 -1 0 14802 0 1 0 2529 28 0 0 25 0 8 0 156154748 937709568 14529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21463/statm: 228933 14529 2533 14 0 215403 0
[pid=21463/tid=21465] ppid=21461 vsize=915732 CPUtime=0.07
/proc/21463/task/21465/stat : 21465 (java) S 21461 21463 20937 0 -1 64 907 0 0 0 7 0 0 0 16 0 8 0 156154752 937709568 14529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21466] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21466/stat : 21466 (java) S 21461 21463 20937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156154753 937709568 14529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21467] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21467/stat : 21467 (java) S 21461 21463 20937 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156154753 937709568 14529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21468] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21468/stat : 21468 (java) S 21461 21463 20937 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156154756 937709568 14529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21469] ppid=21461 vsize=915732 CPUtime=0.35
/proc/21463/task/21469/stat : 21469 (java) S 21461 21463 20937 0 -1 64 530 0 0 0 33 2 0 0 16 0 8 0 156154756 937709568 14529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21470] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21470/stat : 21470 (java) S 21461 21463 20937 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156154756 937709568 14529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21463/tid=21471] ppid=21461 vsize=915732 CPUtime=0
/proc/21463/task/21471/stat : 21471 (java) S 21461 21463 20937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156154756 937709568 14529 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915732
Child status: 0
Real time (s): 49.9418
CPU time (s): 49.8894
CPU user time (s): 49.5915
CPU system time (s): 0.297954
CPU usage (%): 99.8951
Max. virtual memory (cumulated for all children) (KiB): 915824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.5915
system time used= 0.297954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14811
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= 2255
involuntary context switches= 2008
runsolver used 0.041993 s user time and 0.144977 s system time
The end
Begin job on node23 on Sat Jan 6 10:00:04 UTC 2007
IDJOB= 214106
IDBENCH= 4899
FILE ID= node23/214106-1168077604
PBS_JOBID= 3476021
Free space on /tmp= 66549 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 mac.xml 1 XSax /tmp/evaluation/214106-1168077604/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-214106-1168077604 -o ROOT/results/node23/solver-214106-1168077604 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214106-1168077604/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 283426cb94b14805e108c613c8a58e52
RANDOM SEED= 753509033
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.265
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.265
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: 1559720 kB
Buffers: 44000 kB
Cached: 319732 kB
SwapCached: 0 kB
Active: 122280 kB
Inactive: 297736 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1559720 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2360 kB
Writeback: 0 kB
Mapped: 75256 kB
Slab: 61572 kB
Committed_AS: 2962972 kB
PageTables: 1920 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= 66549 MiB
End job on node23 on Sat Jan 6 10:00:55 UTC 2007