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/211277-1168206708/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.46 nbVariables=540 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.46 => wckTime=0.148 cpuTime=0.11 mem=8M25
0.46
0.46 predicates being loaded...
0.47
0.48 constraints being loaded...
1.45 nbConstraints=4476 nbMergedConstraints=150 nbConvertedConstraints=630 nbConvertConstraintsChecks=3256
1.45 nbExtensionStructures=2 nbSharedExtensionStructures=628 nbConflictsStructures=17
1.45 nbSharedConflictsStructures=4417 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5
1.45 nbEvaluationManagers=16 nbSharedEvaluationManagers=3830 maxDegree=76 maxArity=20
1.45 => wckTime=1.142 cpuTime=0.93 mem=46M731
1.54
1.54 solver IterativeSystematicSolver being built...
1.88 => wckTime=1.571 cpuTime=1.2 mem=13M681
2.31
2.31 preprocessing
2.31 nbConstraintChecks=31784 nbValidityChecks=182123 nbPropagations=1900 nbRevisions=148797
2.31 nbUselessRevisions=148001 nbSingletonTests=656 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0
2.31 detectedInconsistency=no
2.31 => wckTime=0.425 cpuTime=0.38 mem=14M676
2.44
2.44 search
2.44 run=0 nbConstraintChecks=5835 nbValidityChecks=56672 nbPropagations=2212 nbRevisions=189629
2.44 nbUselessRevisions=188549 nbAssignments=128 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=136
2.44 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
2.44 => wckTime=0.553 cpuTime=0.49 mem=14M676
2.52
2.52 search
2.52 run=1 nbConstraintChecks=9218 nbValidityChecks=102576 nbPropagations=4643 nbRevisions=412116
2.52 nbUselessRevisions=409794 nbAssignments=240 nbFailedAssignments=6 nbBacktracks=30 nbVisitedNodes=251
2.52 nbRestartNogoods=2 mapSize=7 nbInferences=0 nbTooLargeKeys=0
2.52 => wckTime=0.634 cpuTime=0.57 mem=14M676
2.79
2.79 search
2.79 run=2 nbConstraintChecks=17190 nbValidityChecks=173313 nbPropagations=7616 nbRevisions=686405
2.79 nbUselessRevisions=682354 nbAssignments=538 nbFailedAssignments=10 nbBacktracks=91 nbVisitedNodes=556
2.79 nbRestartNogoods=3 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.79 => wckTime=0.904 cpuTime=0.83 mem=15M670
3.18
3.18 search
3.18 run=3 nbConstraintChecks=26105 nbValidityChecks=358973 nbPropagations=11638 nbRevisions=1095713
3.18 nbUselessRevisions=1089305 nbAssignments=1214 nbFailedAssignments=11 nbBacktracks=145 nbVisitedNodes=845
3.18 nbRestartNogoods=7 mapSize=14 nbInferences=0 nbTooLargeKeys=0
3.18 => wckTime=1.301 cpuTime=1.22 mem=15M670
3.46
3.46 search
3.46 run=4 nbConstraintChecks=33307 nbValidityChecks=426875 nbPropagations=16559 nbRevisions=1558089
3.46 nbUselessRevisions=1548351 nbAssignments=1514 nbFailedAssignments=13 nbBacktracks=218 nbVisitedNodes=1164
3.46 nbRestartNogoods=8 mapSize=32 nbInferences=0 nbTooLargeKeys=0
3.46 => wckTime=1.583 cpuTime=1.49 mem=15M670
3.78
3.78 search
3.78 run=5 nbConstraintChecks=38624 nbValidityChecks=490599 nbPropagations=22158 nbRevisions=2068857
3.78 nbUselessRevisions=2055138 nbAssignments=1846 nbFailedAssignments=16 nbBacktracks=311 nbVisitedNodes=1508
3.78 nbRestartNogoods=9 mapSize=42 nbInferences=0 nbTooLargeKeys=0
3.78 => wckTime=1.902 cpuTime=1.79 mem=15M670
4.15
4.15 search
4.15 run=6 nbConstraintChecks=54310 nbValidityChecks=582348 nbPropagations=29030 nbRevisions=2652222
4.15 nbUselessRevisions=2633068 nbAssignments=2212 nbFailedAssignments=28 nbBacktracks=435 nbVisitedNodes=1903
4.15 nbRestartNogoods=11 mapSize=68 nbInferences=0 nbTooLargeKeys=0
4.15 => wckTime=2.268 cpuTime=2.15 mem=16M665
4.64
4.64 search
4.64 run=7 nbConstraintChecks=72518 nbValidityChecks=734316 nbPropagations=37637 nbRevisions=3353965
4.64 nbUselessRevisions=3327512 nbAssignments=2814 nbFailedAssignments=41 nbBacktracks=610 nbVisitedNodes=2346
4.64 nbRestartNogoods=14 mapSize=107 nbInferences=0 nbTooLargeKeys=0
4.64 => wckTime=2.761 cpuTime=2.64 mem=16M665
5.18
5.18 search
5.18 run=8 nbConstraintChecks=101051 nbValidityChecks=898203 nbPropagations=48644 nbRevisions=4188355
5.18 nbUselessRevisions=4151732 nbAssignments=3298 nbFailedAssignments=54 nbBacktracks=874 nbVisitedNodes=2883
5.18 nbRestartNogoods=15 mapSize=157 nbInferences=0 nbTooLargeKeys=0
5.18 => wckTime=3.3 cpuTime=3.17 mem=16M665
5.84
5.84 search
5.84 run=9 nbConstraintChecks=135085 nbValidityChecks=1097223 nbPropagations=62643 nbRevisions=5180830
5.84 nbUselessRevisions=5130601 nbAssignments=3906 nbFailedAssignments=78 nbBacktracks=1273 nbVisitedNodes=3547
5.84 nbRestartNogoods=18 mapSize=211 nbInferences=0 nbTooLargeKeys=0
5.84 => wckTime=3.96 cpuTime=3.82 mem=17M660
6.77
6.77 search
6.77 run=10 nbConstraintChecks=176666 nbValidityChecks=1331512 nbPropagations=80382 nbRevisions=6361221
6.77 nbUselessRevisions=6293132 nbAssignments=4719 nbFailedAssignments=108 nbBacktracks=1888 nbVisitedNodes=4426
6.77 nbRestartNogoods=20 mapSize=276 nbInferences=0 nbTooLargeKeys=0
6.77 => wckTime=4.884 cpuTime=4.73 mem=17M660
7.85
7.85 search
7.85 run=11 nbConstraintChecks=233798 nbValidityChecks=1678702 nbPropagations=102912 nbRevisions=7806680
7.85 nbUselessRevisions=7714995 nbAssignments=5806 nbFailedAssignments=152 nbBacktracks=2758 nbVisitedNodes=5615
7.85 nbRestartNogoods=21 mapSize=376 nbInferences=0 nbTooLargeKeys=0
7.85 => wckTime=5.966 cpuTime=5.8 mem=18M655
9.70
9.70 search
9.70 run=12 nbConstraintChecks=379832 nbValidityChecks=2754392 nbPropagations=136029 nbRevisions=10021126
9.70 nbUselessRevisions=9893813 nbAssignments=7316 nbFailedAssignments=213 nbBacktracks=4086 nbVisitedNodes=7273
9.70 nbRestartNogoods=23 mapSize=521 nbInferences=0 nbTooLargeKeys=0
9.70 => wckTime=7.821 cpuTime=7.63 mem=19M650
13.07
13.07 search
13.07 run=13 nbConstraintChecks=549754 nbValidityChecks=3609121 nbPropagations=181063 nbRevisions=12958481
13.07 nbUselessRevisions=12780939 nbAssignments=9593 nbFailedAssignments=340 nbBacktracks=6035 nbVisitedNodes=9826
13.07 nbRestartNogoods=26 mapSize=792 nbInferences=0 nbTooLargeKeys=0
13.07 => wckTime=11.188 cpuTime=10.97 mem=20M644
15.78
15.78 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=21M639)
16.01
16.01 search
16.01 run=14 nbConstraintChecks=689547 nbValidityChecks=4318265 nbPropagations=236688 nbRevisions=16487608
16.01 nbUselessRevisions=16246108 nbAssignments=12149 nbFailedAssignments=472 nbBacktracks=7789 nbVisitedNodes=12581
16.01 nbRestartNogoods=31
16.01 => wckTime=14.125 cpuTime=13.88 mem=21M639
16.01
16.01 global
16.01 nbConstraintChecks=721331 nbValidityChecks=4500388 nbPropagations=238588 nbRevisions=16636405
16.01 nbUselessRevisions=16394109 nbRestartNogoods=31 solvingWckTime=14.126 solvingCpuTime=13.88 expiredTime=no
16.01 totalExploration=no nbFoundSolutions=1 globalCpuTime=15.13
16.01 => wckTime=15.699 cpuTime=15.08 mem=21M639
16.01
16.01 s SATISFIABLE
16.01 v 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1
16.01 d NODES 12149
16.01 d CHECKS 721331
16.01
16.01 totalWckTime=15.779 totalCpuTime=15.13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-211277-1168206708 -o ROOT/results/node40/solver-211277-1168206708 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211277-1168206708/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.92 1.97 1.77 4/76 31172
/proc/meminfo: memFree=1687912/2055920 swapFree=4192812/4192956
[pid=31171] ppid=31169 vsize=906644 CPUtime=0.02
/proc/31171/stat : 31171 (java) S 31169 31171 30542 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 169070171 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/31171/statm: 226661 1818 1036 14 0 214244 0
[pid=31171/tid=31173] ppid=31169 vsize=906644 CPUtime=0
/proc/31171/task/31173/stat : 31173 (java) R 31169 31171 30542 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 169070174 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.102637 s]
/proc/loadavg: 1.92 1.97 1.77 4/76 31172
/proc/meminfo: memFree=1687912/2055920 swapFree=4192812/4192956
[pid=31171] ppid=31169 vsize=914988 CPUtime=0.08
/proc/31171/stat : 31171 (java) R 31169 31171 30542 0 -1 0 2999 0 1 0 7 1 0 0 20 0 8 0 169070171 936947712 2745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31171/statm: 228747 2745 1428 14 0 215242 0
[pid=31171/tid=31173] ppid=31169 vsize=914988 CPUtime=0
/proc/31171/task/31173/stat : 31173 (java) S 31169 31171 30542 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 169070174 936947712 2745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510692 s]
/proc/loadavg: 1.92 1.97 1.77 4/76 31172
/proc/meminfo: memFree=1687912/2055920 swapFree=4192812/4192956
[pid=31171] ppid=31169 vsize=915328 CPUtime=0.48
/proc/31171/stat : 31171 (java) R 31169 31171 30542 0 -1 0 6600 0 1 0 44 4 0 0 19 0 8 0 169070171 937295872 6339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31171/statm: 228832 6339 2144 14 0 215302 0
[pid=31171/tid=31173] ppid=31169 vsize=915328 CPUtime=0
/proc/31171/task/31173/stat : 31173 (java) S 31169 31171 30542 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 169070174 937295872 6339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3318 s]
/proc/loadavg: 1.92 1.97 1.77 3/83 31179
/proc/meminfo: memFree=1628912/2055920 swapFree=4192812/4192956
[pid=31171] ppid=31169 vsize=915624 CPUtime=1.3
/proc/31171/stat : 31171 (java) R 31169 31171 30542 0 -1 0 17110 0 1 0 105 25 0 0 25 0 8 0 169070171 937598976 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073684540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31171/statm: 228906 16848 2178 14 0 215376 0
[pid=31171/tid=31173] ppid=31169 vsize=915624 CPUtime=0.02
/proc/31171/task/31173/stat : 31173 (java) S 31169 31171 30542 0 -1 64 500 0 0 0 2 0 0 0 16 0 8 0 169070174 937598976 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31174] ppid=31169 vsize=915624 CPUtime=0
/proc/31171/task/31174/stat : 31174 (java) S 31169 31171 30542 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169070175 937598976 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31175] ppid=31169 vsize=915624 CPUtime=0
/proc/31171/task/31175/stat : 31175 (java) S 31169 31171 30542 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169070175 937598976 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31176] ppid=31169 vsize=915624 CPUtime=0
/proc/31171/task/31176/stat : 31176 (java) S 31169 31171 30542 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169070178 937598976 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31177] ppid=31169 vsize=915624 CPUtime=0.19
/proc/31171/task/31177/stat : 31177 (java) S 31169 31171 30542 0 -1 64 426 0 0 0 18 1 0 0 15 0 8 0 169070178 937598976 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31178] ppid=31169 vsize=915624 CPUtime=0
/proc/31171/task/31178/stat : 31178 (java) S 31169 31171 30542 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169070178 937598976 16848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31179] ppid=31169 vsize=915624 CPUtime=0
/proc/31171/task/31179/stat : 31179 (java) S 31169 31171 30542 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169070178 937598976 16848 18446744073709551615 134512640 134570532 4294956480 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) 915624
[startup+2.97001 s]
/proc/loadavg: 1.92 1.97 1.77 3/83 31179
/proc/meminfo: memFree=1616752/2055920 swapFree=4192812/4192956
[pid=31171] ppid=31169 vsize=915720 CPUtime=2.92
/proc/31171/stat : 31171 (java) R 31169 31171 30542 0 -1 0 20514 0 1 0 260 32 0 0 25 0 8 0 169070171 937697280 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074039804 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31171/statm: 228930 20249 2547 14 0 215400 0
[pid=31171/tid=31173] ppid=31169 vsize=915720 CPUtime=0.13
/proc/31171/task/31173/stat : 31173 (java) S 31169 31171 30542 0 -1 64 3379 0 0 0 12 1 0 0 17 0 8 0 169070174 937697280 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31174] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31174/stat : 31174 (java) S 31169 31171 30542 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169070175 937697280 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31175] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31175/stat : 31175 (java) S 31169 31171 30542 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169070175 937697280 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31176] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31176/stat : 31176 (java) S 31169 31171 30542 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169070178 937697280 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31177] ppid=31169 vsize=915720 CPUtime=0.32
/proc/31171/task/31177/stat : 31177 (java) S 31169 31171 30542 0 -1 64 498 0 0 0 30 2 0 0 16 0 8 0 169070178 937697280 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31178] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31178/stat : 31178 (java) S 31169 31171 30542 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169070178 937697280 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31179] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31179/stat : 31179 (java) S 31169 31171 30542 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169070178 937697280 20249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915720
[startup+6.17342 s]
/proc/loadavg: 1.93 1.97 1.77 4/83 31179
/proc/meminfo: memFree=1616624/2055920 swapFree=4192812/4192956
[pid=31171] ppid=31169 vsize=915720 CPUtime=6.09
/proc/31171/stat : 31171 (java) R 31169 31171 30542 0 -1 0 20530 0 1 0 577 32 0 0 25 0 8 0 169070171 937697280 20263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074105756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31171/statm: 228930 20263 2547 14 0 215400 0
[pid=31171/tid=31173] ppid=31169 vsize=915720 CPUtime=0.13
/proc/31171/task/31173/stat : 31173 (java) S 31169 31171 30542 0 -1 64 3379 0 0 0 12 1 0 0 16 0 8 0 169070174 937697280 20263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31174] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31174/stat : 31174 (java) S 31169 31171 30542 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169070175 937697280 20263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31175] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31175/stat : 31175 (java) S 31169 31171 30542 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169070175 937697280 20263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31176] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31176/stat : 31176 (java) S 31169 31171 30542 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169070178 937697280 20263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31177] ppid=31169 vsize=915720 CPUtime=0.35
/proc/31171/task/31177/stat : 31177 (java) S 31169 31171 30542 0 -1 64 512 0 0 0 33 2 0 0 16 0 8 0 169070178 937697280 20263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31178] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31178/stat : 31178 (java) S 31169 31171 30542 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169070178 937697280 20263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31179] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31179/stat : 31179 (java) S 31169 31171 30542 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169070178 937697280 20263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915720
[startup+12.6493 s]
/proc/loadavg: 1.94 1.97 1.77 3/83 31179
/proc/meminfo: memFree=1616688/2055920 swapFree=4192812/4192956
[pid=31171] ppid=31169 vsize=915720 CPUtime=12.51
/proc/31171/stat : 31171 (java) R 31169 31171 30542 0 -1 0 20533 0 1 0 1219 32 0 0 25 0 8 0 169070171 937697280 20265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074019347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31171/statm: 228930 20265 2547 14 0 215400 0
[pid=31171/tid=31173] ppid=31169 vsize=915720 CPUtime=0.13
/proc/31171/task/31173/stat : 31173 (java) S 31169 31171 30542 0 -1 64 3379 0 0 0 12 1 0 0 16 0 8 0 169070174 937697280 20265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31174] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31174/stat : 31174 (java) S 31169 31171 30542 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169070175 937697280 20265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31175] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31175/stat : 31175 (java) S 31169 31171 30542 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169070175 937697280 20265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31176] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31176/stat : 31176 (java) S 31169 31171 30542 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169070178 937697280 20265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31177] ppid=31169 vsize=915720 CPUtime=0.36
/proc/31171/task/31177/stat : 31177 (java) S 31169 31171 30542 0 -1 64 514 0 0 0 34 2 0 0 15 0 8 0 169070178 937697280 20265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31178] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31178/stat : 31178 (java) S 31169 31171 30542 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169070178 937697280 20265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31171/tid=31179] ppid=31169 vsize=915720 CPUtime=0
/proc/31171/task/31179/stat : 31179 (java) S 31169 31171 30542 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169070178 937697280 20265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915720
Child status: 0
Real time (s): 16.0803
CPU time (s): 15.8616
CPU user time (s): 15.5206
CPU system time (s): 0.340948
CPU usage (%): 98.64
Max. virtual memory (cumulated for all children) (KiB): 915756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.5206
system time used= 0.340948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20545
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= 1895
involuntary context switches= 2402
runsolver used 0.025996 s user time and 0.06499 s system time
The end
Begin job on node40 on Sun Jan 7 21:51:48 UTC 2007
IDJOB= 211277
IDBENCH= 4682
FILE ID= node40/211277-1168206708
PBS_JOBID= 3480778
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ttp/data-6-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211277-1168206708/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-211277-1168206708 -o ROOT/results/node40/solver-211277-1168206708 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211277-1168206708/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= da017596c28c0b2d818f8283f0e2f4e6
RANDOM SEED= 554960861
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.239
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.239
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: 1688392 kB
Buffers: 27128 kB
Cached: 243104 kB
SwapCached: 0 kB
Active: 149560 kB
Inactive: 164152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1688392 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2652 kB
Writeback: 0 kB
Mapped: 54912 kB
Slab: 39128 kB
Committed_AS: 3580048 kB
PageTables: 1808 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 node40 on Sun Jan 7 21:52:05 UTC 2007