0.42
0.42 Abscon 109 (November, 2006)
0.42
0.42 configuration
0.42 name=esac.xml
0.45
0.45 instance
0.45 name=/tmp/evaluation/217751-1168248759/unknown.xml
0.48
0.48 domains being loaded...
0.49
0.49 variables being loaded...
0.53 nbVariables=66 nbDomainTypes=2 minDomainSize=55 maxDomainSize=56
0.53 => wckTime=0.107 cpuTime=0.09 mem=6M951
0.53
0.53 predicates being loaded...
0.54
0.54 constraints being loaded...
0.97 nbConstraints=1595 nbConvertedConstraints=1540 nbConvertConstraintsChecks=6161 nbExtensionStructures=2
0.97 nbSharedExtensionStructures=1538 nbConflictsStructures=2 nbSharedConflictsStructures=1538
0.97 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=57 nbEvaluationManagers=1
0.97 nbSharedEvaluationManagers=54 maxDegree=55 maxArity=3
0.97 => wckTime=0.541 cpuTime=0.39 mem=12M803
1.01
1.01 solver IterativeSystematicSolver being built...
1.19 => wckTime=0.764 cpuTime=0.53 mem=15M232
44.10
44.10 INFO : Stopping ESAC
44.10
44.10 preprocessing
44.10 nbConstraintChecks=141432163 nbValidityChecks=3398972 nbPropagations=17084 nbRevisions=181623
44.10 nbUselessRevisions=126362 nbSingletonTests=287 nbEffectiveSingletonTests=10 nbESACBranches=92
44.10 nbRemovedValues=477 detectedInconsistency=no
44.10 => wckTime=42.913 cpuTime=42.53 mem=15M232
45.75
45.75 search
45.75 run=0 nbConstraintChecks=5177967 nbValidityChecks=292695 nbPropagations=19769 nbRevisions=210661
45.75 nbUselessRevisions=147146 nbAssignments=34 nbFailedAssignments=20 nbBacktracks=10 nbVisitedNodes=65
45.75 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
45.75 => wckTime=44.562 cpuTime=44.15 mem=16M224
46.40
46.40 search
46.40 run=1 nbConstraintChecks=7218515 nbValidityChecks=422943 nbPropagations=40879 nbRevisions=433705
46.40 nbUselessRevisions=303234 nbAssignments=67 nbFailedAssignments=34 nbBacktracks=26 nbVisitedNodes=117
46.40 nbRestartNogoods=8 mapSize=15 nbInferences=0 nbTooLargeKeys=0
46.40 => wckTime=45.21 cpuTime=44.78 mem=16M224
49.98
49.98 search
49.98 run=2 nbConstraintChecks=19169893 nbValidityChecks=872818 nbPropagations=66454 nbRevisions=691839
49.98 nbUselessRevisions=484896 nbAssignments=150 nbFailedAssignments=63 nbBacktracks=49 nbVisitedNodes=214
49.98 nbRestartNogoods=16 mapSize=29 nbInferences=0 nbTooLargeKeys=0
49.98 => wckTime=48.788 cpuTime=48.33 mem=16M224
50.79
50.79 search
50.79 run=3 nbConstraintChecks=21704464 nbValidityChecks=1013695 nbPropagations=94133 nbRevisions=966173
50.79 nbUselessRevisions=677963 nbAssignments=211 nbFailedAssignments=85 nbBacktracks=84 nbVisitedNodes=307
50.79 nbRestartNogoods=19 mapSize=42 nbInferences=0 nbTooLargeKeys=0
50.79 => wckTime=49.595 cpuTime=49.13 mem=16M224
55.04
55.04 search
55.04 run=4 nbConstraintChecks=35753490 nbValidityChecks=1529878 nbPropagations=128451 nbRevisions=1298819
55.04 nbUselessRevisions=914015 nbAssignments=336 nbFailedAssignments=136 nbBacktracks=137 nbVisitedNodes=499
55.04 nbRestartNogoods=25 mapSize=77 nbInferences=0 nbTooLargeKeys=0
55.04 => wckTime=53.852 cpuTime=53.34 mem=16M224
58.03
58.03 search
58.03 run=5 nbConstraintChecks=45494676 nbValidityChecks=2066446 nbPropagations=170697 nbRevisions=1700441
58.03 nbUselessRevisions=1200464 nbAssignments=516 nbFailedAssignments=213 nbBacktracks=214 nbVisitedNodes=760
58.03 nbRestartNogoods=33 mapSize=104 nbInferences=0 nbTooLargeKeys=0
58.03 => wckTime=56.841 cpuTime=56.3 mem=16M224
62.05
62.05 search
62.05 run=6 nbConstraintChecks=58558215 nbValidityChecks=2655797 nbPropagations=224670 nbRevisions=2193666
62.05 nbUselessRevisions=1554011 nbAssignments=766 nbFailedAssignments=320 nbBacktracks=327 nbVisitedNodes=1144
62.05 nbRestartNogoods=48 mapSize=154 nbInferences=0 nbTooLargeKeys=0
62.05 => wckTime=60.864 cpuTime=60.3 mem=16M224
64.23
64.23 search
64.23 run=7 nbConstraintChecks=65585945 nbValidityChecks=3111538 nbPropagations=288459 nbRevisions=2775176
64.23 nbUselessRevisions=1970651 nbAssignments=1054 nbFailedAssignments=425 nbBacktracks=498 nbVisitedNodes=1585
64.23 nbRestartNogoods=55 mapSize=221 nbInferences=0 nbTooLargeKeys=0
64.23 => wckTime=63.037 cpuTime=62.45 mem=16M224
66.75
66.75 search
66.75 run=8 nbConstraintChecks=73443912 nbValidityChecks=3572912 nbPropagations=365997 nbRevisions=3484913
66.75 nbUselessRevisions=2483019 nbAssignments=1478 nbFailedAssignments=568 nbBacktracks=754 nbVisitedNodes=2215
66.75 nbRestartNogoods=71 mapSize=307 nbInferences=0 nbTooLargeKeys=0
66.75 => wckTime=65.562 cpuTime=64.94 mem=16M224
74.98
74.98 search
74.98 run=9 nbConstraintChecks=100919439 nbValidityChecks=5379364 nbPropagations=466985 nbRevisions=4394821
74.98 nbUselessRevisions=3129555 nbAssignments=2185 nbFailedAssignments=841 nbBacktracks=1139 nbVisitedNodes=3298
74.98 nbRestartNogoods=83 mapSize=499 nbInferences=0 nbTooLargeKeys=0
74.98 => wckTime=73.789 cpuTime=73.08 mem=16M224
80.73
80.73 search
80.73 run=10 nbConstraintChecks=120250059 nbValidityChecks=6883584 nbPropagations=595770 nbRevisions=5563665
80.73 nbUselessRevisions=3946558 nbAssignments=3115 nbFailedAssignments=1177 nbBacktracks=1716 nbVisitedNodes=4741
80.73 nbRestartNogoods=90 mapSize=737 nbInferences=0 nbTooLargeKeys=0
80.73 => wckTime=79.54 cpuTime=78.78 mem=17M199
84.66
84.66 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=17M199)
85.27
85.27 search
85.27 run=11 nbConstraintChecks=134825840 nbValidityChecks=8264116 nbPropagations=770256 nbRevisions=7190700
85.27 nbUselessRevisions=5090171 nbAssignments=4555 nbFailedAssignments=1734 nbBacktracks=2581 nbVisitedNodes=7003
85.27 nbRestartNogoods=101
85.27 => wckTime=84.084 cpuTime=83.28 mem=17M199
106.17
106.17 search
106.17 run=12 nbConstraintChecks=203194364 nbValidityChecks=11981374 nbPropagations=1026878 nbRevisions=9491497
106.17 nbUselessRevisions=6676295 nbAssignments=6753 nbFailedAssignments=2613 nbBacktracks=3884 nbVisitedNodes=10574
106.17 nbRestartNogoods=125
106.17 => wckTime=104.986 cpuTime=104.01 mem=17M199
126.20
126.20 search
126.20 run=13 nbConstraintChecks=268736410 nbValidityChecks=17215394 nbPropagations=1422146 nbRevisions=13125784
126.20 nbUselessRevisions=9151202 nbAssignments=10243 nbFailedAssignments=4150 nbBacktracks=5833 nbVisitedNodes=16519
126.20 nbRestartNogoods=130
126.20 => wckTime=125.008 cpuTime=123.86 mem=17M199
157.54
157.54 search
157.54 run=14 nbConstraintChecks=367144609 nbValidityChecks=24974344 nbPropagations=2072584 nbRevisions=19225162
157.54 nbUselessRevisions=13355036 nbAssignments=16111 nbFailedAssignments=7093 nbBacktracks=8752 nbVisitedNodes=26893
157.54 nbRestartNogoods=140
157.54 => wckTime=156.347 cpuTime=154.94 mem=17M199
193.13
193.13 search
193.13 run=15 nbConstraintChecks=477941527 nbValidityChecks=36179813 nbPropagations=3115179 nbRevisions=29560593
193.13 nbUselessRevisions=20597155 nbAssignments=25442 nbFailedAssignments=12037 nbBacktracks=13130
193.13 nbVisitedNodes=43685 nbRestartNogoods=163
193.13 => wckTime=191.944 cpuTime=190.23 mem=17M199
249.28
249.28 search
249.28 run=16 nbConstraintChecks=651516395 nbValidityChecks=54537971 nbPropagations=4778321 nbRevisions=46388749
249.28 nbUselessRevisions=32461902 nbAssignments=39739 nbFailedAssignments=19762 nbBacktracks=19698
249.28 nbVisitedNodes=69715 nbRestartNogoods=182
249.28 => wckTime=248.093 cpuTime=245.89 mem=17M199
300.39
300.39 search
300.39 run=17 nbConstraintChecks=806030894 nbValidityChecks=71794481 nbPropagations=7072649 nbRevisions=69742327
300.39 nbUselessRevisions=48979797 nbAssignments=55646 nbFailedAssignments=28549 nbBacktracks=26816
300.39 nbVisitedNodes=98072 nbRestartNogoods=193
300.39 => wckTime=299.199 cpuTime=296.58 mem=17M199
300.39
300.39 global
300.39 nbConstraintChecks=947463057 nbValidityChecks=75193453 nbPropagations=7089733 nbRevisions=69923950
300.39 nbUselessRevisions=49106159 nbRestartNogoods=193 solvingWckTime=299.201 solvingCpuTime=296.58 expiredTime=no
300.39 totalExploration=yes nbFoundSolutions=0 globalCpuTime=297.16
300.39 => wckTime=299.967 cpuTime=297.11 mem=17M199
300.39
300.39 s UNSATISFIABLE
300.39 d NODES 55646
300.39 d CHECKS 947463057
300.39
300.39 totalWckTime=300.053 totalCpuTime=297.16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-217751-1168248759 -o ROOT/results/node18/solver-217751-1168248759 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217751-1168248759/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.83 1.96 1.98 2/86 20607
/proc/meminfo: memFree=1659864/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=18540 CPUtime=0
/proc/20606/stat : 20606 (runsolver) R 20604 20606 20257 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 173270746 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20606/statm: 4635 279 244 17 0 2626 0
[startup+0.101756 s]
/proc/loadavg: 1.83 1.96 1.98 2/86 20607
/proc/meminfo: memFree=1659864/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=911488 CPUtime=0.06
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 2583 0 1 0 4 2 0 0 20 0 8 0 173270746 933363712 2330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 227872 2330 1270 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.509795 s]
/proc/loadavg: 1.83 1.96 1.98 2/86 20607
/proc/meminfo: memFree=1659864/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915328 CPUtime=0.37
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 5994 0 1 0 33 4 0 0 18 0 8 0 173270746 937295872 5733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153604294 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228832 5733 2133 14 0 215302 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 915328
[startup+1.33087 s]
/proc/loadavg: 1.83 1.96 1.98 3/93 20614
/proc/meminfo: memFree=1636640/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=1.19
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 8848 0 1 0 106 13 0 0 23 0 8 0 173270746 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073766760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 8586 2540 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 17 0 8 0 173270750 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.23
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 406 0 0 0 22 1 0 0 15 0 8 0 173270756 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 8586 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915576
[startup+2.96902 s]
/proc/loadavg: 1.84 1.96 1.98 3/93 20614
/proc/meminfo: memFree=1635296/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=2.81
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 8859 0 1 0 268 13 0 0 25 0 8 0 173270746 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073766760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 8596 2540 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.25
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 416 0 0 0 24 1 0 0 15 0 8 0 173270756 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 8596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 915576
[startup+6.26534 s]
/proc/loadavg: 1.84 1.96 1.98 3/93 20614
/proc/meminfo: memFree=1635168/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=6.08
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 8876 0 1 0 595 13 0 0 25 0 8 0 173270746 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 8610 2542 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 17 0 8 0 173270750 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.26
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 425 0 0 0 25 1 0 0 16 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 915576
[startup+12.737 s]
/proc/loadavg: 1.86 1.97 1.98 3/93 20614
/proc/meminfo: memFree=1635168/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=12.5
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 8878 0 1 0 1237 13 0 0 25 0 8 0 173270746 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948990 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 8610 2542 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.26
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 426 0 0 0 25 1 0 0 16 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 8610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915576
[startup+25.6072 s]
/proc/loadavg: 1.88 1.97 1.98 3/93 20614
/proc/meminfo: memFree=1635232/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=25.26
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 8880 0 1 0 2513 13 0 0 25 0 8 0 173270746 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948848 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 8612 2542 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.26
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 428 0 0 0 25 1 0 0 15 0 8 0 173270756 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 8612 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915576
[startup+51.2147 s]
/proc/loadavg: 1.92 1.97 1.98 3/93 20614
/proc/meminfo: memFree=1634848/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=50.65
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 9002 0 1 0 5051 14 0 0 25 0 8 0 173270746 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948963 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 8731 2543 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.28
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 435 0 0 0 27 1 0 0 16 0 8 0 173270756 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 8731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915576
[startup+102.434 s]
/proc/loadavg: 2.02 1.99 1.99 3/93 20614
/proc/meminfo: memFree=1633504/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=101.44
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 9359 0 1 0 10128 16 0 0 25 0 8 0 173270746 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073767520 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 9079 2543 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.32
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 455 0 0 0 31 1 0 0 17 0 8 0 173270756 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 9079 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915576
[startup+162.497 s]
/proc/loadavg: 2.01 1.99 1.99 3/93 20614
/proc/meminfo: memFree=1633440/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=161.01
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 9368 0 1 0 16085 16 0 0 25 0 8 0 173270746 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 9087 2543 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.32
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 456 0 0 0 31 1 0 0 16 0 8 0 173270756 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 9087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.01
Current children cumulated vsize (KiB) 915576
[startup+222.56 s]
/proc/loadavg: 2.05 2.00 1.99 3/93 20614
/proc/meminfo: memFree=1633376/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=220.55
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 9371 0 1 0 22038 17 0 0 25 0 8 0 173270746 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 9090 2543 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.32
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 456 0 0 0 31 1 0 0 16 0 8 0 173270756 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.55
Current children cumulated vsize (KiB) 915576
[startup+282.621 s]
/proc/loadavg: 2.02 2.00 1.99 3/93 20614
/proc/meminfo: memFree=1633376/2055920 swapFree=4192812/4192956
[pid=20606] ppid=20604 vsize=915576 CPUtime=280.1
/proc/20606/stat : 20606 (java) R 20604 20606 20257 0 -1 0 9374 0 1 0 27993 17 0 0 25 0 8 0 173270746 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20606/statm: 228894 9093 2543 14 0 215364 0
[pid=20606/tid=20608] ppid=20604 vsize=915576 CPUtime=0.03
/proc/20606/task/20608/stat : 20608 (java) S 20604 20606 20257 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 173270750 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20609] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20609/stat : 20609 (java) S 20604 20606 20257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20610] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20610/stat : 20610 (java) S 20604 20606 20257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173270751 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20611] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20611/stat : 20611 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173270756 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20612] ppid=20604 vsize=915576 CPUtime=0.32
/proc/20606/task/20612/stat : 20612 (java) S 20604 20606 20257 0 -1 64 456 0 0 0 31 1 0 0 16 0 8 0 173270756 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20613] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20613/stat : 20613 (java) S 20604 20606 20257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173270756 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20606/tid=20614] ppid=20604 vsize=915576 CPUtime=0
/proc/20606/task/20614/stat : 20614 (java) S 20604 20606 20257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173270756 937549824 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.1
Current children cumulated vsize (KiB) 915576
Child status: 0
Real time (s): 300.412
CPU time (s): 297.752
CPU user time (s): 297.565
CPU system time (s): 0.186971
CPU usage (%): 99.1145
Max. virtual memory (cumulated for all children) (KiB): 915576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 297.565
system time used= 0.186971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9466
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= 7655
involuntary context switches= 13268
runsolver used 0.39394 s user time and 0.945856 s system time
The end
Begin job on node18 on Mon Jan 8 09:32:40 UTC 2007
IDJOB= 217751
IDBENCH= 5169
FILE ID= node18/217751-1168248759
PBS_JOBID= 3481649
Free space on /tmp= 66301 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-55-11-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217751-1168248759/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-217751-1168248759 -o ROOT/results/node18/solver-217751-1168248759 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217751-1168248759/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6caf16780145de405cd4e27ecb1d3953
RANDOM SEED= 525140759
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.231
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.231
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: 1660280 kB
Buffers: 69024 kB
Cached: 207192 kB
SwapCached: 0 kB
Active: 192224 kB
Inactive: 146848 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1660280 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1976 kB
Writeback: 0 kB
Mapped: 85244 kB
Slab: 41564 kB
Committed_AS: 5005360 kB
PageTables: 2040 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= 66301 MiB
End job on node18 on Mon Jan 8 09:37:41 UTC 2007