0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/211290-1168206881/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.44 nbVariables=540 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.44 => wckTime=0.137 cpuTime=0.1 mem=8M25
0.44
0.44 predicates being loaded...
0.45
0.45 constraints being loaded...
1.38 nbConstraints=4476 nbMergedConstraints=150 nbConvertedConstraints=630 nbConvertConstraintsChecks=3256
1.38 nbExtensionStructures=2 nbSharedExtensionStructures=628 nbConflictsStructures=17
1.38 nbSharedConflictsStructures=4417 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5
1.38 nbEvaluationManagers=16 nbSharedEvaluationManagers=3830 maxDegree=76 maxArity=20
1.38 => wckTime=1.076 cpuTime=0.89 mem=46M731
1.47
1.47 solver IterativeSystematicSolver being built...
1.79 => wckTime=1.49 cpuTime=1.14 mem=13M681
2.19
2.19 preprocessing
2.19 nbConstraintChecks=31784 nbValidityChecks=182123 nbPropagations=1900 nbRevisions=148797
2.19 nbUselessRevisions=148001 nbSingletonTests=656 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0
2.19 detectedInconsistency=no
2.19 => wckTime=0.394 cpuTime=0.35 mem=14M676
2.31
2.31 search
2.31 run=0 nbConstraintChecks=5835 nbValidityChecks=56672 nbPropagations=2212 nbRevisions=189629
2.31 nbUselessRevisions=188549 nbAssignments=128 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=136
2.31 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
2.31 => wckTime=0.52 cpuTime=0.46 mem=14M676
2.39
2.39 search
2.39 run=1 nbConstraintChecks=9218 nbValidityChecks=102576 nbPropagations=4643 nbRevisions=412116
2.39 nbUselessRevisions=409794 nbAssignments=240 nbFailedAssignments=6 nbBacktracks=30 nbVisitedNodes=251
2.39 nbRestartNogoods=2 mapSize=7 nbInferences=0 nbTooLargeKeys=0
2.39 => wckTime=0.597 cpuTime=0.54 mem=14M676
2.64
2.64 search
2.64 run=2 nbConstraintChecks=17190 nbValidityChecks=173313 nbPropagations=7616 nbRevisions=686405
2.64 nbUselessRevisions=682354 nbAssignments=538 nbFailedAssignments=10 nbBacktracks=91 nbVisitedNodes=556
2.64 nbRestartNogoods=3 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.64 => wckTime=0.852 cpuTime=0.79 mem=15M670
3.03
3.03 search
3.03 run=3 nbConstraintChecks=26105 nbValidityChecks=358973 nbPropagations=11638 nbRevisions=1095713
3.03 nbUselessRevisions=1089305 nbAssignments=1214 nbFailedAssignments=11 nbBacktracks=145 nbVisitedNodes=845
3.03 nbRestartNogoods=7 mapSize=14 nbInferences=0 nbTooLargeKeys=0
3.03 => wckTime=1.233 cpuTime=1.16 mem=15M670
3.28
3.28 search
3.28 run=4 nbConstraintChecks=33307 nbValidityChecks=426875 nbPropagations=16559 nbRevisions=1558089
3.28 nbUselessRevisions=1548351 nbAssignments=1514 nbFailedAssignments=13 nbBacktracks=218 nbVisitedNodes=1164
3.28 nbRestartNogoods=8 mapSize=32 nbInferences=0 nbTooLargeKeys=0
3.28 => wckTime=1.492 cpuTime=1.41 mem=15M670
3.58
3.58 search
3.58 run=5 nbConstraintChecks=38624 nbValidityChecks=490599 nbPropagations=22158 nbRevisions=2068857
3.58 nbUselessRevisions=2055138 nbAssignments=1846 nbFailedAssignments=16 nbBacktracks=311 nbVisitedNodes=1508
3.58 nbRestartNogoods=9 mapSize=42 nbInferences=0 nbTooLargeKeys=0
3.58 => wckTime=1.792 cpuTime=1.7 mem=15M670
3.94
3.94 search
3.94 run=6 nbConstraintChecks=54310 nbValidityChecks=582348 nbPropagations=29030 nbRevisions=2652222
3.94 nbUselessRevisions=2633068 nbAssignments=2212 nbFailedAssignments=28 nbBacktracks=435 nbVisitedNodes=1903
3.94 nbRestartNogoods=11 mapSize=68 nbInferences=0 nbTooLargeKeys=0
3.94 => wckTime=2.151 cpuTime=2.05 mem=16M665
4.40
4.40 search
4.40 run=7 nbConstraintChecks=72518 nbValidityChecks=734316 nbPropagations=37637 nbRevisions=3353965
4.40 nbUselessRevisions=3327512 nbAssignments=2814 nbFailedAssignments=41 nbBacktracks=610 nbVisitedNodes=2346
4.40 nbRestartNogoods=14 mapSize=107 nbInferences=0 nbTooLargeKeys=0
4.40 => wckTime=2.608 cpuTime=2.51 mem=16M665
4.91
4.91 search
4.91 run=8 nbConstraintChecks=101051 nbValidityChecks=898203 nbPropagations=48644 nbRevisions=4188355
4.91 nbUselessRevisions=4151732 nbAssignments=3298 nbFailedAssignments=54 nbBacktracks=874 nbVisitedNodes=2883
4.91 nbRestartNogoods=15 mapSize=157 nbInferences=0 nbTooLargeKeys=0
4.91 => wckTime=3.118 cpuTime=3.01 mem=16M665
5.52
5.52 search
5.52 run=9 nbConstraintChecks=135085 nbValidityChecks=1097223 nbPropagations=62643 nbRevisions=5180830
5.52 nbUselessRevisions=5130601 nbAssignments=3906 nbFailedAssignments=78 nbBacktracks=1273 nbVisitedNodes=3547
5.52 nbRestartNogoods=18 mapSize=211 nbInferences=0 nbTooLargeKeys=0
5.52 => wckTime=3.73 cpuTime=3.62 mem=17M660
6.39
6.39 search
6.39 run=10 nbConstraintChecks=176666 nbValidityChecks=1331512 nbPropagations=80382 nbRevisions=6361221
6.39 nbUselessRevisions=6293132 nbAssignments=4719 nbFailedAssignments=108 nbBacktracks=1888 nbVisitedNodes=4426
6.39 nbRestartNogoods=20 mapSize=276 nbInferences=0 nbTooLargeKeys=0
6.39 => wckTime=4.6 cpuTime=4.48 mem=17M660
7.42
7.42 search
7.42 run=11 nbConstraintChecks=233798 nbValidityChecks=1678702 nbPropagations=102912 nbRevisions=7806680
7.42 nbUselessRevisions=7714995 nbAssignments=5806 nbFailedAssignments=152 nbBacktracks=2758 nbVisitedNodes=5615
7.42 nbRestartNogoods=21 mapSize=376 nbInferences=0 nbTooLargeKeys=0
7.42 => wckTime=5.624 cpuTime=5.49 mem=18M655
9.11
9.11 search
9.11 run=12 nbConstraintChecks=379832 nbValidityChecks=2754392 nbPropagations=136029 nbRevisions=10021126
9.11 nbUselessRevisions=9893813 nbAssignments=7316 nbFailedAssignments=213 nbBacktracks=4086 nbVisitedNodes=7273
9.11 nbRestartNogoods=23 mapSize=521 nbInferences=0 nbTooLargeKeys=0
9.11 => wckTime=7.317 cpuTime=7.17 mem=19M650
12.17
12.17 search
12.17 run=13 nbConstraintChecks=549754 nbValidityChecks=3609121 nbPropagations=181063 nbRevisions=12958481
12.17 nbUselessRevisions=12780939 nbAssignments=9593 nbFailedAssignments=340 nbBacktracks=6035 nbVisitedNodes=9826
12.17 nbRestartNogoods=26 mapSize=792 nbInferences=0 nbTooLargeKeys=0
12.17 => wckTime=10.382 cpuTime=10.22 mem=20M644
14.78
14.78 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=21M639)
14.98
14.98 search
14.98 run=14 nbConstraintChecks=689547 nbValidityChecks=4318265 nbPropagations=236688 nbRevisions=16487608
14.98 nbUselessRevisions=16246108 nbAssignments=12149 nbFailedAssignments=472 nbBacktracks=7789 nbVisitedNodes=12581
14.98 nbRestartNogoods=31
14.98 => wckTime=13.189 cpuTime=13.0 mem=21M639
14.98
14.98 global
14.98 nbConstraintChecks=721331 nbValidityChecks=4500388 nbPropagations=238588 nbRevisions=16636405
14.98 nbUselessRevisions=16394109 nbRestartNogoods=31 solvingWckTime=13.191 solvingCpuTime=13.01 expiredTime=no
14.98 totalExploration=no nbFoundSolutions=1 globalCpuTime=14.2
14.98 => wckTime=14.682 cpuTime=14.15 mem=21M639
14.98
14.98 s SATISFIABLE
14.98 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
14.98 d NODES 12149
14.98 d CHECKS 721331
14.98
14.98 totalWckTime=14.759 totalCpuTime=14.2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-211290-1168206881 -o ROOT/results/node13/solver-211290-1168206881 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211290-1168206881/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 2/83 18359
/proc/meminfo: memFree=1435688/2055920 swapFree=4192812/4192956
[pid=18358] ppid=18355 vsize=172 CPUtime=0
/proc/18358/stat : 18358 (java) R 18355 18358 18249 0 -1 0 217 0 0 0 0 0 0 0 19 0 1 0 169083079 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11878699 0 0 4096 0 0 0 0 17 0 0 0
/proc/18358/statm: 43 24 18 14 0 3 0
[startup+0.105222 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 18359
/proc/meminfo: memFree=1435688/2055920 swapFree=4192812/4192956
[pid=18358] ppid=18355 vsize=914988 CPUtime=0.09
/proc/18358/stat : 18358 (java) R 18355 18358 18249 0 -1 0 3003 0 1 0 7 2 0 0 25 0 8 0 169083079 936947712 2749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11842729 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18358/statm: 228747 2749 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513274 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 18359
/proc/meminfo: memFree=1435688/2055920 swapFree=4192812/4192956
[pid=18358] ppid=18355 vsize=915328 CPUtime=0.49
/proc/18358/stat : 18358 (java) R 18355 18358 18249 0 -1 0 6706 0 1 0 45 4 0 0 25 0 8 0 169083079 937295872 6445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942473 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18358/statm: 228832 6445 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33439 s]
/proc/loadavg: 1.00 1.00 1.00 4/101 18390
/proc/meminfo: memFree=1335704/2055920 swapFree=4192812/4192956
[pid=18358] ppid=18355 vsize=915624 CPUtime=1.3
/proc/18358/stat : 18358 (java) R 18355 18358 18249 0 -1 0 17116 0 1 0 104 26 0 0 25 0 8 0 169083079 937598976 16854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153984817 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18358/statm: 228906 16854 2181 14 0 215376 0
[pid=18358/tid=18376] ppid=18355 vsize=915624 CPUtime=0.01
/proc/18358/task/18376/stat : 18376 (java) S 18355 18358 18249 0 -1 64 501 0 0 0 1 0 0 0 16 0 8 0 169083083 937598976 16854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18378] ppid=18355 vsize=915624 CPUtime=0
/proc/18358/task/18378/stat : 18378 (java) S 18355 18358 18249 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169083083 937598976 16854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18379] ppid=18355 vsize=915624 CPUtime=0
/proc/18358/task/18379/stat : 18379 (java) S 18355 18358 18249 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169083083 937598976 16854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18381] ppid=18355 vsize=915624 CPUtime=0
/proc/18358/task/18381/stat : 18381 (java) S 18355 18358 18249 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 169083086 937598976 16854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18382] ppid=18355 vsize=915624 CPUtime=0.18
/proc/18358/task/18382/stat : 18382 (java) S 18355 18358 18249 0 -1 64 426 0 0 0 18 0 0 0 16 0 8 0 169083086 937598976 16854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18383] ppid=18355 vsize=915624 CPUtime=0
/proc/18358/task/18383/stat : 18383 (java) S 18355 18358 18249 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 169083086 937598976 16854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18384] ppid=18355 vsize=915624 CPUtime=0
/proc/18358/task/18384/stat : 18384 (java) S 18355 18358 18249 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169083086 937598976 16854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915624
[startup+2.98661 s]
/proc/loadavg: 1.24 1.05 1.02 3/101 18390
/proc/meminfo: memFree=1323160/2055920 swapFree=4192812/4192956
[pid=18358] ppid=18355 vsize=915720 CPUtime=2.96
/proc/18358/stat : 18358 (java) R 18355 18358 18249 0 -1 0 20515 0 1 0 267 29 0 0 25 0 8 0 169083079 937697280 20250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074032511 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18358/statm: 228930 20250 2547 14 0 215400 0
[pid=18358/tid=18376] ppid=18355 vsize=915720 CPUtime=0.12
/proc/18358/task/18376/stat : 18376 (java) S 18355 18358 18249 0 -1 64 3380 0 0 0 11 1 0 0 17 0 8 0 169083083 937697280 20250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18378] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18378/stat : 18378 (java) S 18355 18358 18249 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169083083 937697280 20250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18379] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18379/stat : 18379 (java) S 18355 18358 18249 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169083083 937697280 20250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18381] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18381/stat : 18381 (java) S 18355 18358 18249 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 169083086 937697280 20250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18382] ppid=18355 vsize=915720 CPUtime=0.31
/proc/18358/task/18382/stat : 18382 (java) S 18355 18358 18249 0 -1 64 498 0 0 0 30 1 0 0 15 0 8 0 169083086 937697280 20250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18383] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18383/stat : 18383 (java) S 18355 18358 18249 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 169083086 937697280 20250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18384] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18384/stat : 18384 (java) S 18355 18358 18249 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169083086 937697280 20250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915720
[startup+6.19203 s]
/proc/loadavg: 1.24 1.05 1.02 4/101 18390
/proc/meminfo: memFree=1307544/2055920 swapFree=4192812/4192956
[pid=18358] ppid=18355 vsize=915720 CPUtime=6.14
/proc/18358/stat : 18358 (java) R 18355 18358 18249 0 -1 0 20533 0 1 0 585 29 0 0 25 0 8 0 169083079 937697280 20265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18358/statm: 228930 20265 2547 14 0 215400 0
[pid=18358/tid=18376] ppid=18355 vsize=915720 CPUtime=0.12
/proc/18358/task/18376/stat : 18376 (java) S 18355 18358 18249 0 -1 64 3380 0 0 0 11 1 0 0 17 0 8 0 169083083 937697280 20265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18378] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18378/stat : 18378 (java) S 18355 18358 18249 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169083083 937697280 20265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18379] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18379/stat : 18379 (java) S 18355 18358 18249 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169083083 937697280 20265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18381] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18381/stat : 18381 (java) S 18355 18358 18249 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 169083086 937697280 20265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18382] ppid=18355 vsize=915720 CPUtime=0.34
/proc/18358/task/18382/stat : 18382 (java) S 18355 18358 18249 0 -1 64 513 0 0 0 33 1 0 0 16 0 8 0 169083086 937697280 20265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18383] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18383/stat : 18383 (java) S 18355 18358 18249 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 169083086 937697280 20265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18384] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18384/stat : 18384 (java) S 18355 18358 18249 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169083086 937697280 20265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915720
[startup+12.6659 s]
/proc/loadavg: 1.44 1.10 1.03 2/88 18407
/proc/meminfo: memFree=1364352/2055920 swapFree=4192812/4192956
[pid=18358] ppid=18355 vsize=915720 CPUtime=12.57
/proc/18358/stat : 18358 (java) R 18355 18358 18249 0 -1 0 20535 0 1 0 1228 29 0 0 25 0 8 0 169083079 937697280 20266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836518 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18358/statm: 228930 20266 2547 14 0 215400 0
[pid=18358/tid=18376] ppid=18355 vsize=915720 CPUtime=0.12
/proc/18358/task/18376/stat : 18376 (java) S 18355 18358 18249 0 -1 64 3380 0 0 0 11 1 0 0 16 0 8 0 169083083 937697280 20266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18378] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18378/stat : 18378 (java) S 18355 18358 18249 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169083083 937697280 20266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18379] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18379/stat : 18379 (java) S 18355 18358 18249 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169083083 937697280 20266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18381] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18381/stat : 18381 (java) S 18355 18358 18249 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 169083086 937697280 20266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18382] ppid=18355 vsize=915720 CPUtime=0.34
/proc/18358/task/18382/stat : 18382 (java) S 18355 18358 18249 0 -1 64 514 0 0 0 33 1 0 0 16 0 8 0 169083086 937697280 20266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18383] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18383/stat : 18383 (java) S 18355 18358 18249 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 169083086 937697280 20266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18358/tid=18384] ppid=18355 vsize=915720 CPUtime=0
/proc/18358/task/18384/stat : 18384 (java) S 18355 18358 18249 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 169083086 937697280 20266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915720
Child status: 0
Real time (s): 15.0355
CPU time (s): 14.8967
CPU user time (s): 14.5828
CPU system time (s): 0.313952
CPU usage (%): 99.0768
Max. virtual memory (cumulated for all children) (KiB): 915756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5828
system time used= 0.313952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20546
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= 1913
involuntary context switches= 2536
runsolver used 0.022996 s user time and 0.056991 s system time
The end
Begin job on node13 on Sun Jan 7 21:54:41 UTC 2007
IDJOB= 211290
IDBENCH= 4683
FILE ID= node13/211290-1168206881
PBS_JOBID= 3480573
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ttp/circ-6-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211290-1168206881/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-211290-1168206881 -o ROOT/results/node13/solver-211290-1168206881 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211290-1168206881/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= da017596c28c0b2d818f8283f0e2f4e6
RANDOM SEED= 319066279
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: 1436432 kB
Buffers: 63688 kB
Cached: 426252 kB
SwapCached: 0 kB
Active: 193296 kB
Inactive: 346348 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1436432 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6764 kB
Writeback: 0 kB
Mapped: 68628 kB
Slab: 64692 kB
Committed_AS: 4246092 kB
PageTables: 2244 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= 66322 MiB
End job on node13 on Sun Jan 7 21:54:56 UTC 2007