0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/209929-1168195029/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=50 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.43 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.43
0.43 predicates being loaded...
0.43
0.43 constraints being loaded...
0.70 nbConstraints=600 nbConflictsStructures=1 nbSharedConflictsStructures=599 nbSharedBinaryRepresentations=0
0.70 nbEvaluationManagers=1 nbSharedEvaluationManagers=599 maxDegree=48 maxArity=3
0.70 => wckTime=0.379 cpuTime=0.27 mem=12M803
0.74
0.74 solver IterativeSystematicSolver being built...
0.94 => wckTime=0.616 cpuTime=0.43 mem=17M595
1.23
1.23 preprocessing
1.23 nbConstraintChecks=305036 nbValidityChecks=190968 nbPropagations=2615 nbRevisions=47031
1.23 nbUselessRevisions=44144 nbSingletonTests=63 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0
1.23 detectedInconsistency=no
1.23 => wckTime=0.289 cpuTime=0.24 mem=17M595
1.32
1.32 search
1.32 run=0 nbConstraintChecks=86070 nbValidityChecks=71358 nbPropagations=3323 nbRevisions=68243
1.32 nbUselessRevisions=63668 nbAssignments=30 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=55
1.32 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.371 cpuTime=0.33 mem=18M603
1.44
1.44 search
1.44 run=1 nbConstraintChecks=229284 nbValidityChecks=172224 nbPropagations=7611 nbRevisions=167182
1.44 nbUselessRevisions=155595 nbAssignments=73 nbFailedAssignments=40 nbBacktracks=25 nbVisitedNodes=134
1.44 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.494 cpuTime=0.44 mem=18M603
1.59
1.59 search
1.59 run=2 nbConstraintChecks=442370 nbValidityChecks=320547 nbPropagations=13272 nbRevisions=311915
1.59 nbUselessRevisions=289733 nbAssignments=136 nbFailedAssignments=76 nbBacktracks=47 nbVisitedNodes=251
1.59 nbRestartNogoods=5 mapSize=47 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.646 cpuTime=0.59 mem=18M603
1.81
1.81 search
1.81 run=3 nbConstraintChecks=745883 nbValidityChecks=535692 nbPropagations=20866 nbRevisions=522770
1.81 nbUselessRevisions=484867 nbAssignments=226 nbFailedAssignments=128 nbBacktracks=80 nbVisitedNodes=419
1.81 nbRestartNogoods=11 mapSize=80 nbInferences=0 nbTooLargeKeys=0
1.81 => wckTime=0.862 cpuTime=0.8 mem=18M603
2.12
2.12 search
2.12 run=4 nbConstraintChecks=1201914 nbValidityChecks=851079 nbPropagations=31269 nbRevisions=832135
2.12 nbUselessRevisions=770785 nbAssignments=361 nbFailedAssignments=208 nbBacktracks=132 nbVisitedNodes=674
2.12 nbRestartNogoods=15 mapSize=132 nbInferences=0 nbTooLargeKeys=0
2.12 => wckTime=1.179 cpuTime=1.12 mem=18M603
2.62
2.62 search
2.62 run=5 nbConstraintChecks=1903202 nbValidityChecks=1322332 nbPropagations=45804 nbRevisions=1289029
2.62 nbUselessRevisions=1192847 nbAssignments=559 nbFailedAssignments=326 nbBacktracks=207 nbVisitedNodes=1049
2.62 nbRestartNogoods=17 mapSize=207 nbInferences=0 nbTooLargeKeys=0
2.62 => wckTime=1.675 cpuTime=1.6 mem=18M603
3.33
3.33 search
3.33 run=6 nbConstraintChecks=2943305 nbValidityChecks=2018558 nbPropagations=66371 nbRevisions=1963592
3.33 nbUselessRevisions=1815726 nbAssignments=853 nbFailedAssignments=502 nbBacktracks=321 nbVisitedNodes=1607
3.33 nbRestartNogoods=26 mapSize=321 nbInferences=0 nbTooLargeKeys=0
3.33 => wckTime=2.388 cpuTime=2.31 mem=18M603
4.39
4.39 search
4.39 run=7 nbConstraintChecks=4467285 nbValidityChecks=3055344 nbPropagations=95927 nbRevisions=2962772
4.39 nbUselessRevisions=2738125 nbAssignments=1290 nbFailedAssignments=764 nbBacktracks=491 nbVisitedNodes=2437
4.39 nbRestartNogoods=32 mapSize=491 nbInferences=0 nbTooLargeKeys=0
4.39 => wckTime=3.446 cpuTime=3.35 mem=18M603
5.96
5.96 search
5.96 run=8 nbConstraintChecks=6732501 nbValidityChecks=4597344 nbPropagations=138777 nbRevisions=4444530
5.96 nbUselessRevisions=4105661 nbAssignments=1943 nbFailedAssignments=1156 nbBacktracks=747 nbVisitedNodes=3678
5.96 nbRestartNogoods=38 mapSize=746 nbInferences=0 nbTooLargeKeys=0
5.96 => wckTime=5.016 cpuTime=4.88 mem=18M603
7.76
7.76 INFO : Stopping hyperNogood (mapSize=1048, nbTooLargekeys=0, mem=18M603)
8.24
8.24 search
8.24 run=9 nbConstraintChecks=10117320 nbValidityChecks=6901946 nbPropagations=201516 nbRevisions=6647010
8.24 nbUselessRevisions=6137873 nbAssignments=2920 nbFailedAssignments=1744 nbBacktracks=1131 nbVisitedNodes=5537
8.24 nbRestartNogoods=48
8.24 => wckTime=7.296 cpuTime=7.13 mem=18M603
11.62
11.62 search
11.62 run=10 nbConstraintChecks=15147248 nbValidityChecks=10357168 nbPropagations=293962 nbRevisions=9932576
11.62 nbUselessRevisions=9169340 nbAssignments=4380 nbFailedAssignments=2623 nbBacktracks=1707 nbVisitedNodes=8317
11.62 nbRestartNogoods=55
11.62 => wckTime=10.678 cpuTime=10.48 mem=18M603
16.71
16.71 search
16.71 run=11 nbConstraintChecks=22734395 nbValidityChecks=15529584 nbPropagations=430859 nbRevisions=14838150
16.71 nbUselessRevisions=13695066 nbAssignments=6571 nbFailedAssignments=3945 nbBacktracks=2571 nbVisitedNodes=12491
16.71 nbRestartNogoods=63
16.71 => wckTime=15.765 cpuTime=15.52 mem=18M603
24.24
24.24 search
24.24 run=12 nbConstraintChecks=33956967 nbValidityChecks=23242028 nbPropagations=634169 nbRevisions=22150967
24.24 nbUselessRevisions=20441085 nbAssignments=9831 nbFailedAssignments=5905 nbBacktracks=3868 nbVisitedNodes=18691
24.24 nbRestartNogoods=72
24.24 => wckTime=23.297 cpuTime=22.98 mem=18M603
35.59
35.59 search
35.59 run=13 nbConstraintChecks=50993072 nbValidityChecks=34845798 nbPropagations=937292 nbRevisions=33101179
35.59 nbUselessRevisions=30541666 nbAssignments=14758 nbFailedAssignments=8881 nbBacktracks=5815 nbVisitedNodes=28082
35.59 nbRestartNogoods=75
35.59 => wckTime=34.643 cpuTime=34.22 mem=18M603
52.67
52.67 search
52.67 run=14 nbConstraintChecks=76512351 nbValidityChecks=52241218 nbPropagations=1390052 nbRevisions=49505998
52.67 nbUselessRevisions=45672809 nbAssignments=22144 nbFailedAssignments=13343 nbBacktracks=8734
52.67 nbVisitedNodes=42161 nbRestartNogoods=85
52.67 => wckTime=51.726 cpuTime=51.15 mem=18M603
78.29
78.29 search
78.29 run=15 nbConstraintChecks=114824074 nbValidityChecks=78333728 nbPropagations=2067032 nbRevisions=74092471
78.29 nbUselessRevisions=68350317 nbAssignments=33210 nbFailedAssignments=20027 nbBacktracks=13112
78.29 nbVisitedNodes=63253 nbRestartNogoods=99
78.29 => wckTime=77.344 cpuTime=76.53 mem=18M603
115.90
115.90 search
115.90 run=16 nbConstraintChecks=171127163 nbValidityChecks=117188610 nbPropagations=3077616 nbRevisions=110797216
115.90 nbUselessRevisions=102212542 nbAssignments=49416 nbFailedAssignments=29661 nbBacktracks=19680
115.90 nbVisitedNodes=94014 nbRestartNogoods=107
115.90 => wckTime=114.958 cpuTime=113.8 mem=18M603
173.27
173.27 search
173.27 run=17 nbConstraintChecks=257005169 nbValidityChecks=175880167 nbPropagations=4592442 nbRevisions=165915305
173.27 nbUselessRevisions=153057621 nbAssignments=74317 nbFailedAssignments=44705 nbBacktracks=29533
173.27 nbVisitedNodes=141481 nbRestartNogoods=125
173.27 => wckTime=172.326 cpuTime=170.65 mem=18M603
257.80
257.81 search
257.81 run=18 nbConstraintChecks=383336222 nbValidityChecks=263454167 nbPropagations=6859577 nbRevisions=248386950
257.81 nbUselessRevisions=229162128 nbAssignments=110696 nbFailedAssignments=66302 nbBacktracks=44311
257.81 nbVisitedNodes=210585 nbRestartNogoods=136
257.81 => wckTime=256.861 cpuTime=254.42 mem=18M603
384.11
384.11 search
384.11 run=19 nbConstraintChecks=572077186 nbValidityChecks=394874739 nbPropagations=10252955 nbRevisions=371825073
384.11 nbUselessRevisions=343148116 nbAssignments=164522 nbFailedAssignments=97955 nbBacktracks=66481
384.11 nbVisitedNodes=312624 nbRestartNogoods=142
384.11 => wckTime=383.164 cpuTime=379.58 mem=18M603
492.72
492.72 search
492.72 run=20 nbConstraintChecks=734801141 nbValidityChecks=508405526 nbPropagations=14617957 nbRevisions=530648534
492.72 nbUselessRevisions=489846200 nbAssignments=210961 nbFailedAssignments=125233 nbBacktracks=85643
492.72 nbVisitedNodes=400582 nbRestartNogoods=150
492.72 => wckTime=491.777 cpuTime=487.2 mem=18M603
492.72
492.72 global
492.72 nbConstraintChecks=735106177 nbValidityChecks=508596494 nbPropagations=14620572 nbRevisions=530695565
492.72 nbUselessRevisions=489890344 nbRestartNogoods=150 solvingWckTime=491.779 solvingCpuTime=487.2 expiredTime=no
492.72 totalExploration=yes nbFoundSolutions=0 globalCpuTime=487.68
492.72 => wckTime=492.399 cpuTime=487.63 mem=18M603
492.73
492.73 s UNSATISFIABLE
492.73 d NODES 210961
492.73 d CHECKS 735106177
492.73
492.73 totalWckTime=492.481 totalCpuTime=487.68
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-209929-1168195029 -o ROOT/results/node56/solver-209929-1168195029 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209929-1168195029/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: 2.08 2.13 2.03 5/81 11166
/proc/meminfo: memFree=860192/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=18540 CPUtime=0
/proc/11165/stat : 11165 (runsolver) R 11163 11165 11044 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 167901030 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 253307186471 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11165/statm: 4635 279 244 17 0 2626 0
[startup+0.102823 s]
/proc/loadavg: 2.08 2.13 2.03 5/81 11166
/proc/meminfo: memFree=860192/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=913228 CPUtime=0.08
/proc/11165/stat : 11165 (java) S 11163 11165 11044 0 -1 0 2916 0 1 0 7 1 0 0 19 0 8 0 167901030 935145472 2662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228307 2662 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.514865 s]
/proc/loadavg: 2.08 2.13 2.03 5/81 11166
/proc/meminfo: memFree=860192/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=915328 CPUtime=0.48
/proc/11165/stat : 11165 (java) R 11163 11165 11044 0 -1 0 6496 0 1 0 45 3 0 0 18 0 8 0 167901030 937295872 6235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228832 6235 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34396 s]
/proc/loadavg: 2.08 2.13 2.03 4/88 11173
/proc/meminfo: memFree=833640/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=915556 CPUtime=1.3
/proc/11165/stat : 11165 (java) R 11163 11165 11044 0 -1 0 9486 0 1 0 123 7 0 0 24 0 8 0 167901030 937529344 9224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073692627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228889 9224 2543 14 0 215359 0
[pid=11165/tid=11167] ppid=11163 vsize=915556 CPUtime=0.03
/proc/11165/task/11167/stat : 11167 (java) S 11163 11165 11044 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 167901034 937529344 9224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11168] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11168/stat : 11168 (java) S 11163 11165 11044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167901035 937529344 9224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11169] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11169/stat : 11169 (java) S 11163 11165 11044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167901035 937529344 9224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11170] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11170/stat : 11170 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167901038 937529344 9224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11171] ppid=11163 vsize=915556 CPUtime=0.23
/proc/11165/task/11171/stat : 11171 (java) S 11163 11165 11044 0 -1 64 393 0 0 0 23 0 0 0 16 0 8 0 167901038 937529344 9224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11172] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11172/stat : 11172 (java) S 11163 11165 11044 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167901038 937529344 9224 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11173] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11173/stat : 11173 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167901038 937529344 9224 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) 915556
[startup+2.9811 s]
/proc/loadavg: 2.08 2.13 2.03 3/88 11173
/proc/meminfo: memFree=833128/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=915556 CPUtime=2.92
/proc/11165/stat : 11165 (java) R 11163 11165 11044 0 -1 0 9520 0 1 0 285 7 0 0 25 0 8 0 167901030 937529344 9257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073692608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228889 9257 2543 14 0 215359 0
[pid=11165/tid=11167] ppid=11163 vsize=915556 CPUtime=0.03
/proc/11165/task/11167/stat : 11167 (java) S 11163 11165 11044 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 167901034 937529344 9257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11168] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11168/stat : 11168 (java) S 11163 11165 11044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167901035 937529344 9257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11169] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11169/stat : 11169 (java) S 11163 11165 11044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167901035 937529344 9257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11170] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11170/stat : 11170 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167901038 937529344 9257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11171] ppid=11163 vsize=915556 CPUtime=0.24
/proc/11165/task/11171/stat : 11171 (java) S 11163 11165 11044 0 -1 64 399 0 0 0 24 0 0 0 15 0 8 0 167901038 937529344 9257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11172] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11172/stat : 11172 (java) S 11163 11165 11044 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167901038 937529344 9257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11173] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11173/stat : 11173 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167901038 937529344 9257 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) 915556
[startup+6.26342 s]
/proc/loadavg: 2.07 2.13 2.03 3/88 11173
/proc/meminfo: memFree=832944/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=915556 CPUtime=6.18
/proc/11165/stat : 11165 (java) R 11163 11165 11044 0 -1 0 9571 0 1 0 610 8 0 0 25 0 8 0 167901030 937529344 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073876379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228889 9305 2543 14 0 215359 0
[pid=11165/tid=11167] ppid=11163 vsize=915556 CPUtime=0.03
/proc/11165/task/11167/stat : 11167 (java) S 11163 11165 11044 0 -1 64 206 0 0 0 3 0 0 0 17 0 8 0 167901034 937529344 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11168] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11168/stat : 11168 (java) S 11163 11165 11044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167901035 937529344 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11169] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11169/stat : 11169 (java) S 11163 11165 11044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167901035 937529344 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11170] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11170/stat : 11170 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167901038 937529344 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11171] ppid=11163 vsize=915556 CPUtime=0.27
/proc/11165/task/11171/stat : 11171 (java) S 11163 11165 11044 0 -1 64 414 0 0 0 27 0 0 0 15 0 8 0 167901038 937529344 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11172] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11172/stat : 11172 (java) S 11163 11165 11044 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167901038 937529344 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11173] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11173/stat : 11173 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167901038 937529344 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915556
[startup+12.7551 s]
/proc/loadavg: 2.06 2.12 2.02 4/88 11173
/proc/meminfo: memFree=832824/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=915556 CPUtime=12.61
/proc/11165/stat : 11165 (java) R 11163 11165 11044 0 -1 0 9595 0 1 0 1253 8 0 0 25 0 8 0 167901030 937529344 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073693876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228889 9328 2543 14 0 215359 0
[pid=11165/tid=11167] ppid=11163 vsize=915556 CPUtime=0.03
/proc/11165/task/11167/stat : 11167 (java) S 11163 11165 11044 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 167901034 937529344 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11168] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11168/stat : 11168 (java) S 11163 11165 11044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167901035 937529344 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11169] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11169/stat : 11169 (java) S 11163 11165 11044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167901035 937529344 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11170] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11170/stat : 11170 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167901038 937529344 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11171] ppid=11163 vsize=915556 CPUtime=0.28
/proc/11165/task/11171/stat : 11171 (java) S 11163 11165 11044 0 -1 64 420 0 0 0 28 0 0 0 15 0 8 0 167901038 937529344 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11172] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11172/stat : 11172 (java) S 11163 11165 11044 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167901038 937529344 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11173] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11173/stat : 11173 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167901038 937529344 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915556
[startup+25.6203 s]
/proc/loadavg: 2.05 2.12 2.02 3/88 11173
/proc/meminfo: memFree=832760/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=915556 CPUtime=25.36
/proc/11165/stat : 11165 (java) R 11163 11165 11044 0 -1 0 9601 0 1 0 2528 8 0 0 25 0 8 0 167901030 937529344 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073859885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228889 9333 2543 14 0 215359 0
[pid=11165/tid=11167] ppid=11163 vsize=915556 CPUtime=0.03
/proc/11165/task/11167/stat : 11167 (java) S 11163 11165 11044 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 167901034 937529344 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11168] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11168/stat : 11168 (java) S 11163 11165 11044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167901035 937529344 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11169] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11169/stat : 11169 (java) S 11163 11165 11044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167901035 937529344 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11170] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11170/stat : 11170 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167901038 937529344 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11171] ppid=11163 vsize=915556 CPUtime=0.28
/proc/11165/task/11171/stat : 11171 (java) S 11163 11165 11044 0 -1 64 420 0 0 0 28 0 0 0 16 0 8 0 167901038 937529344 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11172] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11172/stat : 11172 (java) S 11163 11165 11044 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167901038 937529344 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11173] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11173/stat : 11173 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167901038 937529344 9333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915556
[startup+51.2408 s]
/proc/loadavg: 2.03 2.11 2.02 3/88 11173
/proc/meminfo: memFree=832696/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=915556 CPUtime=50.74
/proc/11165/stat : 11165 (java) R 11163 11165 11044 0 -1 0 9604 0 1 0 5066 8 0 0 25 0 8 0 167901030 937529344 9336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073692598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228889 9336 2543 14 0 215359 0
[pid=11165/tid=11167] ppid=11163 vsize=915556 CPUtime=0.03
/proc/11165/task/11167/stat : 11167 (java) S 11163 11165 11044 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 167901034 937529344 9336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11168] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11168/stat : 11168 (java) S 11163 11165 11044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167901035 937529344 9336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11169] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11169/stat : 11169 (java) S 11163 11165 11044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167901035 937529344 9336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11170] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11170/stat : 11170 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167901038 937529344 9336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11171] ppid=11163 vsize=915556 CPUtime=0.28
/proc/11165/task/11171/stat : 11171 (java) S 11163 11165 11044 0 -1 64 420 0 0 0 28 0 0 0 16 0 8 0 167901038 937529344 9336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11172] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11172/stat : 11172 (java) S 11163 11165 11044 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167901038 937529344 9336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11173] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11173/stat : 11173 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167901038 937529344 9336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915556
[startup+102.474 s]
/proc/loadavg: 2.01 2.09 2.02 3/88 11173
/proc/meminfo: memFree=832632/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=915556 CPUtime=101.51
/proc/11165/stat : 11165 (java) R 11163 11165 11044 0 -1 0 9611 0 1 0 10143 8 0 0 25 0 8 0 167901030 937529344 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228889 9342 2543 14 0 215359 0
[pid=11165/tid=11167] ppid=11163 vsize=915556 CPUtime=0.03
/proc/11165/task/11167/stat : 11167 (java) S 11163 11165 11044 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 167901034 937529344 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11168] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11168/stat : 11168 (java) S 11163 11165 11044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167901035 937529344 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11169] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11169/stat : 11169 (java) S 11163 11165 11044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167901035 937529344 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11170] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11170/stat : 11170 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167901038 937529344 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11171] ppid=11163 vsize=915556 CPUtime=0.29
/proc/11165/task/11171/stat : 11171 (java) S 11163 11165 11044 0 -1 64 421 0 0 0 29 0 0 0 16 0 8 0 167901038 937529344 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11172] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11172/stat : 11172 (java) S 11163 11165 11044 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167901038 937529344 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11173] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11173/stat : 11173 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167901038 937529344 9342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915556
[startup+162.565 s]
/proc/loadavg: 2.00 2.07 2.01 3/88 11173
/proc/meminfo: memFree=832632/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=915556 CPUtime=161.05
/proc/11165/stat : 11165 (java) R 11163 11165 11044 0 -1 0 9614 0 1 0 16097 8 0 0 25 0 8 0 167901030 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073692469 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228889 9345 2543 14 0 215359 0
[pid=11165/tid=11167] ppid=11163 vsize=915556 CPUtime=0.03
/proc/11165/task/11167/stat : 11167 (java) S 11163 11165 11044 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 167901034 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11168] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11168/stat : 11168 (java) S 11163 11165 11044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167901035 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11169] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11169/stat : 11169 (java) S 11163 11165 11044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167901035 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11170] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11170/stat : 11170 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167901038 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11171] ppid=11163 vsize=915556 CPUtime=0.29
/proc/11165/task/11171/stat : 11171 (java) S 11163 11165 11044 0 -1 64 421 0 0 0 29 0 0 0 16 0 8 0 167901038 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11172] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11172/stat : 11172 (java) S 11163 11165 11044 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167901038 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11173] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11173/stat : 11173 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167901038 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.05
Current children cumulated vsize (KiB) 915556
[startup+222.65 s]
/proc/loadavg: 2.00 2.06 2.00 3/88 11173
/proc/meminfo: memFree=832568/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=915556 CPUtime=220.59
/proc/11165/stat : 11165 (java) R 11163 11165 11044 0 -1 0 9616 0 1 0 22051 8 0 0 25 0 8 0 167901030 937529344 9347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228889 9347 2543 14 0 215359 0
[pid=11165/tid=11167] ppid=11163 vsize=915556 CPUtime=0.03
/proc/11165/task/11167/stat : 11167 (java) S 11163 11165 11044 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 167901034 937529344 9347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11168] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11168/stat : 11168 (java) S 11163 11165 11044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167901035 937529344 9347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11169] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11169/stat : 11169 (java) S 11163 11165 11044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167901035 937529344 9347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11170] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11170/stat : 11170 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167901038 937529344 9347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11171] ppid=11163 vsize=915556 CPUtime=0.29
/proc/11165/task/11171/stat : 11171 (java) S 11163 11165 11044 0 -1 64 421 0 0 0 29 0 0 0 16 0 8 0 167901038 937529344 9347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11172] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11172/stat : 11172 (java) S 11163 11165 11044 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167901038 937529344 9347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11173] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11173/stat : 11173 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167901038 937529344 9347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.59
Current children cumulated vsize (KiB) 915556
[startup+282.73 s]
/proc/loadavg: 2.00 2.04 2.00 3/88 11173
/proc/meminfo: memFree=832504/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=915556 CPUtime=280.14
/proc/11165/stat : 11165 (java) R 11163 11165 11044 0 -1 0 9619 0 1 0 28005 9 0 0 25 0 8 0 167901030 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073693868 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228889 9350 2543 14 0 215359 0
[pid=11165/tid=11167] ppid=11163 vsize=915556 CPUtime=0.03
/proc/11165/task/11167/stat : 11167 (java) S 11163 11165 11044 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 167901034 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11168] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11168/stat : 11168 (java) S 11163 11165 11044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167901035 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11169] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11169/stat : 11169 (java) S 11163 11165 11044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167901035 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11170] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11170/stat : 11170 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167901038 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11171] ppid=11163 vsize=915556 CPUtime=0.29
/proc/11165/task/11171/stat : 11171 (java) S 11163 11165 11044 0 -1 64 421 0 0 0 29 0 0 0 16 0 8 0 167901038 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11172] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11172/stat : 11172 (java) S 11163 11165 11044 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167901038 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11173] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11173/stat : 11173 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167901038 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 915556
[startup+342.751 s]
/proc/loadavg: 2.04 2.05 2.00 3/88 11173
/proc/meminfo: memFree=832440/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=915556 CPUtime=339.61
/proc/11165/stat : 11165 (java) R 11163 11165 11044 0 -1 0 9619 0 1 0 33952 9 0 0 25 0 8 0 167901030 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073693792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228889 9350 2543 14 0 215359 0
[pid=11165/tid=11167] ppid=11163 vsize=915556 CPUtime=0.03
/proc/11165/task/11167/stat : 11167 (java) S 11163 11165 11044 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 167901034 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11168] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11168/stat : 11168 (java) S 11163 11165 11044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167901035 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11169] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11169/stat : 11169 (java) S 11163 11165 11044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167901035 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11170] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11170/stat : 11170 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167901038 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11171] ppid=11163 vsize=915556 CPUtime=0.29
/proc/11165/task/11171/stat : 11171 (java) S 11163 11165 11044 0 -1 64 421 0 0 0 29 0 0 0 16 0 8 0 167901038 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11172] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11172/stat : 11172 (java) S 11163 11165 11044 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167901038 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11173] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11173/stat : 11173 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167901038 937529344 9350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.61
Current children cumulated vsize (KiB) 915556
[startup+402.777 s]
/proc/loadavg: 2.01 2.04 2.00 3/88 11173
/proc/meminfo: memFree=832376/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=915556 CPUtime=399.09
/proc/11165/stat : 11165 (java) R 11163 11165 11044 0 -1 0 9621 0 1 0 39900 9 0 0 25 0 8 0 167901030 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073697715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228889 9352 2543 14 0 215359 0
[pid=11165/tid=11167] ppid=11163 vsize=915556 CPUtime=0.03
/proc/11165/task/11167/stat : 11167 (java) S 11163 11165 11044 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 167901034 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11168] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11168/stat : 11168 (java) S 11163 11165 11044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167901035 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11169] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11169/stat : 11169 (java) S 11163 11165 11044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167901035 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11170] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11170/stat : 11170 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167901038 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11171] ppid=11163 vsize=915556 CPUtime=0.29
/proc/11165/task/11171/stat : 11171 (java) S 11163 11165 11044 0 -1 64 421 0 0 0 29 0 0 0 16 0 8 0 167901038 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11172] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11172/stat : 11172 (java) S 11163 11165 11044 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167901038 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11173] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11173/stat : 11173 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167901038 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.09
Current children cumulated vsize (KiB) 915556
[startup+462.876 s]
/proc/loadavg: 2.00 2.03 2.00 3/88 11173
/proc/meminfo: memFree=832312/2055920 swapFree=4184772/4192956
[pid=11165] ppid=11163 vsize=915556 CPUtime=458.64
/proc/11165/stat : 11165 (java) R 11163 11165 11044 0 -1 0 9621 0 1 0 45855 9 0 0 25 0 8 0 167901030 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073896983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11165/statm: 228889 9352 2543 14 0 215359 0
[pid=11165/tid=11167] ppid=11163 vsize=915556 CPUtime=0.03
/proc/11165/task/11167/stat : 11167 (java) S 11163 11165 11044 0 -1 64 206 0 0 0 3 0 0 0 16 0 8 0 167901034 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11168] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11168/stat : 11168 (java) S 11163 11165 11044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167901035 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11169] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11169/stat : 11169 (java) S 11163 11165 11044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167901035 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11170] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11170/stat : 11170 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167901038 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11171] ppid=11163 vsize=915556 CPUtime=0.29
/proc/11165/task/11171/stat : 11171 (java) S 11163 11165 11044 0 -1 64 421 0 0 0 29 0 0 0 16 0 8 0 167901038 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11172] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11172/stat : 11172 (java) S 11163 11165 11044 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 167901038 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11165/tid=11173] ppid=11163 vsize=915556 CPUtime=0
/proc/11165/task/11173/stat : 11173 (java) S 11163 11165 11044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167901038 937529344 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.64
Current children cumulated vsize (KiB) 915556
Child status: 0
Real time (s): 492.787
CPU time (s): 488.238
CPU user time (s): 488.136
CPU system time (s): 0.101984
CPU usage (%): 99.0768
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 488.136
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9714
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= 11277
involuntary context switches= 24016
runsolver used 0.630904 s user time and 1.56076 s system time
The end
Begin job on node56 on Sun Jan 7 18:37:09 UTC 2007
IDJOB= 209929
IDBENCH= 4581
FILE ID= node56/209929-1168195029
PBS_JOBID= 3479460
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-50-9-mod.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209929-1168195029/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-209929-1168195029 -o ROOT/results/node56/solver-209929-1168195029 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209929-1168195029/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bfb8f2c05e7a4ff48488062c6ec8a2e7
RANDOM SEED= 102737785
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.232
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.232
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: 860672 kB
Buffers: 44724 kB
Cached: 415572 kB
SwapCached: 2104 kB
Active: 764252 kB
Inactive: 359640 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 860672 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 1816 kB
Writeback: 0 kB
Mapped: 678396 kB
Slab: 55340 kB
Committed_AS: 4017872 kB
PageTables: 3196 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= 66552 MiB
End job on node56 on Sun Jan 7 18:45:22 UTC 2007