2.98
2.98 Abscon 109 (November, 2006)
2.98
2.98 configuration
2.98 name=esac.xml
3.51
3.51 instance
3.51 name=/tmp/evaluation/195779-1168113760/unknown.xml
3.54
3.54 domains being loaded...
3.54
3.54 variables being loaded...
3.58 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
3.58 => wckTime=0.592 cpuTime=0.08 mem=6M951
3.58
3.58 relations being loaded...
4.19
4.19 constraints being loaded...
4.44 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
4.44 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
4.44 => wckTime=1.451 cpuTime=0.84 mem=48M628
4.56
4.56 solver IterativeSystematicSolver being built...
4.73 => wckTime=1.737 cpuTime=0.97 mem=34M520
4.82
4.82 preprocessing
4.82 nbConstraintChecks=28646 nbValidityChecks=46758 nbPropagations=227 nbRevisions=2218 nbUselessRevisions=1934
4.82 nbSingletonTests=29 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
4.82 => wckTime=0.094 cpuTime=0.07 mem=34M520
4.89
4.89 search
4.89 run=0 nbConstraintChecks=33575 nbValidityChecks=66934 nbPropagations=628 nbRevisions=6912
4.89 nbUselessRevisions=5687 nbAssignments=40 nbFailedAssignments=22 nbBacktracks=10 nbVisitedNodes=70
4.89 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
4.89 => wckTime=0.163 cpuTime=0.13 mem=35M523
4.98
4.98 search
4.98 run=1 nbConstraintChecks=86219 nbValidityChecks=179529 nbPropagations=1935 nbRevisions=21704
4.98 nbUselessRevisions=17700 nbAssignments=103 nbFailedAssignments=48 nbBacktracks=26 nbVisitedNodes=158
4.98 nbRestartNogoods=6 mapSize=25 nbInferences=0 nbTooLargeKeys=0
4.98 => wckTime=0.25 cpuTime=0.21 mem=35M523
5.11
5.11 search
5.11 run=2 nbConstraintChecks=171466 nbValidityChecks=345616 nbPropagations=4253 nbRevisions=48038
5.12 nbUselessRevisions=38588 nbAssignments=188 nbFailedAssignments=106 nbBacktracks=48 nbVisitedNodes=318
5.12 nbRestartNogoods=7 mapSize=45 nbInferences=0 nbTooLargeKeys=0
5.12 => wckTime=0.387 cpuTime=0.34 mem=35M523
5.26
5.26 search
5.26 run=3 nbConstraintChecks=280903 nbValidityChecks=563177 nbPropagations=7843 nbRevisions=88801
5.26 nbUselessRevisions=70718 nbAssignments=309 nbFailedAssignments=183 nbBacktracks=82 nbVisitedNodes=535
5.26 nbRestartNogoods=12 mapSize=74 nbInferences=0 nbTooLargeKeys=0
5.26 => wckTime=0.536 cpuTime=0.49 mem=35M523
5.45
5.45 search
5.45 run=4 nbConstraintChecks=401468 nbValidityChecks=817017 nbPropagations=13114 nbRevisions=149478
5.45 nbUselessRevisions=118440 nbAssignments=474 nbFailedAssignments=291 nbBacktracks=134 nbVisitedNodes=843
5.45 nbRestartNogoods=18 mapSize=119 nbInferences=0 nbTooLargeKeys=0
5.45 => wckTime=0.719 cpuTime=0.67 mem=35M523
5.78
5.78 search
5.78 run=5 nbConstraintChecks=627570 nbValidityChecks=1282184 nbPropagations=21102 nbRevisions=243419
5.78 nbUselessRevisions=192529 nbAssignments=673 nbFailedAssignments=399 nbBacktracks=209 nbVisitedNodes=1191
5.78 nbRestartNogoods=26 mapSize=192 nbInferences=0 nbTooLargeKeys=0
5.78 => wckTime=1.053 cpuTime=0.99 mem=35M523
6.14
6.14 search
6.14 run=6 nbConstraintChecks=870206 nbValidityChecks=1778156 nbPropagations=32432 nbRevisions=375429
6.14 nbUselessRevisions=296436 nbAssignments=946 nbFailedAssignments=552 nbBacktracks=323 nbVisitedNodes=1684
6.14 nbRestartNogoods=29 mapSize=292 nbInferences=0 nbTooLargeKeys=0
6.14 => wckTime=1.411 cpuTime=1.34 mem=35M523
6.76
6.76 search
6.76 run=7 nbConstraintChecks=1315126 nbValidityChecks=2687428 nbPropagations=49369 nbRevisions=575951
6.76 nbUselessRevisions=454417 nbAssignments=1467 nbFailedAssignments=896 nbBacktracks=494 nbVisitedNodes=2668
6.76 nbRestartNogoods=34 mapSize=451 nbInferences=0 nbTooLargeKeys=0
6.76 => wckTime=2.033 cpuTime=1.96 mem=35M523
7.62
7.62 search
7.62 run=8 nbConstraintChecks=1924887 nbValidityChecks=3935693 nbPropagations=74744 nbRevisions=872522
7.62 nbUselessRevisions=687547 nbAssignments=2173 nbFailedAssignments=1339 nbBacktracks=752 nbVisitedNodes=3986
7.62 nbRestartNogoods=39 mapSize=687 nbInferences=0 nbTooLargeKeys=0
7.62 => wckTime=2.896 cpuTime=2.79 mem=35M523
9.09
9.09 search
9.09 run=9 nbConstraintChecks=2955359 nbValidityChecks=6058260 nbPropagations=112800 nbRevisions=1319960
9.09 nbUselessRevisions=1039834 nbAssignments=3221 nbFailedAssignments=1996 nbBacktracks=1136 nbVisitedNodes=5951
9.09 nbRestartNogoods=45 mapSize=1028 nbInferences=0 nbTooLargeKeys=0
9.09 => wckTime=4.361 cpuTime=4.23 mem=35M523
9.14
9.14 INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=35M523)
11.05
11.05 search
11.05 run=10 nbConstraintChecks=4391257 nbValidityChecks=9018274 nbPropagations=170500 nbRevisions=1992734
11.05 nbUselessRevisions=1568024 nbAssignments=4922 nbFailedAssignments=3115 nbBacktracks=1712 nbVisitedNodes=9155
11.05 nbRestartNogoods=51
11.05 => wckTime=6.326 cpuTime=6.18 mem=35M523
13.92
13.92 search
13.92 run=11 nbConstraintChecks=6510524 nbValidityChecks=13423455 nbPropagations=256139 nbRevisions=2994610
13.92 nbUselessRevisions=2356052 nbAssignments=7404 nbFailedAssignments=4728 nbBacktracks=2576 nbVisitedNodes=13822
13.92 nbRestartNogoods=60
13.92 => wckTime=9.193 cpuTime=9.02 mem=35M523
18.40
18.40 search
18.40 run=12 nbConstraintChecks=9840405 nbValidityChecks=20144612 nbPropagations=384833 nbRevisions=4505447
18.40 nbUselessRevisions=3544777 nbAssignments=10810 nbFailedAssignments=6830 nbBacktracks=3874 nbVisitedNodes=20186
18.40 nbRestartNogoods=63
18.40 => wckTime=13.674 cpuTime=13.46 mem=35M523
24.48
24.49 search
24.49 run=13 nbConstraintChecks=14144616 nbValidityChecks=28914217 nbPropagations=572671 nbRevisions=6664942
24.49 nbUselessRevisions=5236566 nbAssignments=15015 nbFailedAssignments=9072 nbBacktracks=5821 nbVisitedNodes=27873
24.49 nbRestartNogoods=75
24.49 => wckTime=19.758 cpuTime=19.49 mem=35M523
33.88
33.88 search
33.88 run=14 nbConstraintChecks=20787183 nbValidityChecks=42523736 nbPropagations=849288 nbRevisions=9811067
33.88 nbUselessRevisions=7691657 nbAssignments=21498 nbFailedAssignments=12629 nbBacktracks=8741 nbVisitedNodes=39796
33.88 nbRestartNogoods=92
33.88 => wckTime=29.148 cpuTime=28.8 mem=35M523
47.85
47.85 search
47.85 run=15 nbConstraintChecks=30786732 nbValidityChecks=63165445 nbPropagations=1262186 nbRevisions=14552095
47.85 nbUselessRevisions=11400938 nbAssignments=33017 nbFailedAssignments=19764 nbBacktracks=13119
47.85 nbVisitedNodes=61355 nbRestartNogoods=117
47.85 => wckTime=43.118 cpuTime=42.35 mem=35M523
74.23
74.23 search
74.23 run=16 nbConstraintChecks=49768960 nbValidityChecks=101817437 nbPropagations=1899826 nbRevisions=22032546
74.23 nbUselessRevisions=17265560 nbAssignments=50618 nbFailedAssignments=30790 nbBacktracks=19687
74.23 nbVisitedNodes=94650 nbRestartNogoods=134
74.23 => wckTime=69.507 cpuTime=68.29 mem=35M523
106.96
106.96 search
106.96 run=17 nbConstraintChecks=73174872 nbValidityChecks=149298770 nbPropagations=2855618 nbRevisions=33153844
106.96 nbUselessRevisions=25982752 nbAssignments=76630 nbFailedAssignments=46944 nbBacktracks=29540
106.96 nbVisitedNodes=143433 nbRestartNogoods=146
106.96 => wckTime=102.234 cpuTime=100.75 mem=35M523
161.73
161.73 search
161.73 run=18 nbConstraintChecks=111888814 nbValidityChecks=229237402 nbPropagations=4301936 nbRevisions=50085778
161.73 nbUselessRevisions=39279500 nbAssignments=116406 nbFailedAssignments=71935 nbBacktracks=44320
161.73 nbVisitedNodes=218452 nbRestartNogoods=160
161.73 => wckTime=156.999 cpuTime=155.32 mem=35M523
240.14
240.14 search
240.14 run=19 nbConstraintChecks=168253049 nbValidityChecks=342777118 nbPropagations=6498430 nbRevisions=75614761
240.14 nbUselessRevisions=59294021 nbAssignments=177240 nbFailedAssignments=110594 nbBacktracks=66490
240.14 nbVisitedNodes=333074 nbRestartNogoods=176
240.14 => wckTime=235.409 cpuTime=233.26 mem=35M523
361.82
361.82 search
361.82 run=20 nbConstraintChecks=253387928 nbValidityChecks=518615132 nbPropagations=9779285 nbRevisions=114004397
361.82 nbUselessRevisions=89428164 nbAssignments=263665 nbFailedAssignments=163760 nbBacktracks=99742
361.82 nbVisitedNodes=496126 nbRestartNogoods=195
361.82 => wckTime=357.09 cpuTime=354.22 mem=35M523
427.59
427.59 search
427.59 run=21 nbConstraintChecks=300131187 nbValidityChecks=613220924 nbPropagations=13689804 nbRevisions=159612474
427.59 nbUselessRevisions=125217701 nbAssignments=313558 nbFailedAssignments=194163 nbBacktracks=119208
427.59 nbVisitedNodes=589464 nbRestartNogoods=208
427.59 => wckTime=422.861 cpuTime=419.57 mem=35M523
427.59
427.59 global
427.59 nbConstraintChecks=300159833 nbValidityChecks=613267682 nbPropagations=13690031 nbRevisions=159614692
427.59 nbUselessRevisions=125219635 nbRestartNogoods=208 solvingWckTime=422.862 solvingCpuTime=419.57 expiredTime=no
427.59 totalExploration=no nbFoundSolutions=1 globalCpuTime=420.59
427.59 => wckTime=424.602 cpuTime=420.54 mem=35M523
427.59
427.59 s SATISFIABLE
427.59 v 17 17 9 10 12 11 11 13 10 5 9 4 8 10 8 2 1 13 13 12 19 6 1 8
427.59 d NODES 313558
427.59 d CHECKS 300159833
427.59
427.59 totalWckTime=424.692 totalCpuTime=420.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-195779-1168113760 -o ROOT/results/node16/solver-195779-1168113760 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195779-1168113760/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: 4.92 4.27 3.16 5/95 1402
/proc/meminfo: memFree=197264/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=18540 CPUtime=0
/proc/1401/stat : 1401 (runsolver) R 1399 1401 445 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 159771081 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/1401/statm: 4635 279 244 17 0 2626 0
[startup+0.103121 s]
/proc/loadavg: 4.92 4.27 3.16 5/95 1402
/proc/meminfo: memFree=197264/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=18540 CPUtime=0
/proc/1401/stat : 1401 (runsolver) D 1399 1401 445 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 159771081 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/1401/statm: 4635 279 244 17 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18540
[startup+0.511047 s]
/proc/loadavg: 4.92 4.27 3.16 5/95 1402
/proc/meminfo: memFree=197264/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=164 CPUtime=0
/proc/1401/stat : 1401 (java) D 1399 1401 445 0 -1 0 18 0 0 0 0 0 0 0 18 0 1 0 159771081 167936 2 18446744073709551615 0 0 4294957031 18446744073709551615 231962373415 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/1401/statm: 41 2 0 0 0 1 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 164
[startup+1.3319 s]
/proc/loadavg: 4.92 4.27 3.16 2/95 1402
/proc/meminfo: memFree=175632/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=308 CPUtime=0
/proc/1401/stat : 1401 (java) D 1399 1401 445 0 -1 0 52 0 2 0 0 0 0 0 18 0 1 0 159771081 315392 37 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7209991 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/1401/statm: 77 37 29 14 0 5 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 308
[startup+2.96961 s]
/proc/loadavg: 4.92 4.27 3.16 2/95 1402
/proc/meminfo: memFree=155024/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=915148 CPUtime=0.31
/proc/1401/stat : 1401 (java) R 1399 1401 445 0 -1 0 4997 0 33 0 24 7 0 0 20 0 8 0 159771081 937111552 4775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925704 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1401/statm: 228787 4775 1942 14 0 215275 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 915148
[startup+6.25801 s]
/proc/loadavg: 5.01 4.30 3.18 3/102 1409
/proc/meminfo: memFree=15256/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=915416 CPUtime=3.07
/proc/1401/stat : 1401 (java) R 1399 1401 445 0 -1 0 23439 0 41 0 289 18 0 0 25 0 8 0 159771081 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072943247 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1401/statm: 228854 23214 2531 14 0 215324 0
[pid=1401/tid=1403] ppid=1399 vsize=915416 CPUtime=0.15
/proc/1401/task/1403/stat : 1403 (java) S 1399 1401 445 0 -1 64 6495 0 0 0 13 2 0 0 17 0 8 0 159771341 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1404] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1404/stat : 1404 (java) S 1399 1401 445 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159771341 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1405] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1405/stat : 1405 (java) S 1399 1401 445 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159771341 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1406] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1406/stat : 1406 (java) S 1399 1401 445 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159771349 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1407] ppid=1399 vsize=915416 CPUtime=0.19
/proc/1401/task/1407/stat : 1407 (java) S 1399 1401 445 0 -1 64 373 0 0 0 18 1 0 0 15 0 8 0 159771349 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1408] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1408/stat : 1408 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159771349 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1409] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1409/stat : 1409 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159771350 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 915416
[startup+12.7488 s]
/proc/loadavg: 5.01 4.31 3.19 3/102 1409
/proc/meminfo: memFree=16032/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=915416 CPUtime=9.5
/proc/1401/stat : 1401 (java) R 1399 1401 445 0 -1 0 23456 0 41 0 931 19 0 0 25 0 8 0 159771081 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1401/statm: 228854 23228 2531 14 0 215324 0
[pid=1401/tid=1403] ppid=1399 vsize=915416 CPUtime=0.15
/proc/1401/task/1403/stat : 1403 (java) S 1399 1401 445 0 -1 64 6495 0 0 0 13 2 0 0 16 0 8 0 159771341 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1404] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1404/stat : 1404 (java) S 1399 1401 445 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159771341 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1405] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1405/stat : 1405 (java) S 1399 1401 445 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159771341 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1406] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1406/stat : 1406 (java) S 1399 1401 445 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159771349 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1407] ppid=1399 vsize=915416 CPUtime=0.23
/proc/1401/task/1407/stat : 1407 (java) S 1399 1401 445 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 159771349 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1408] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1408/stat : 1408 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159771349 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1409] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1409/stat : 1409 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159771350 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.5
Current children cumulated vsize (KiB) 915416
[startup+25.5875 s]
/proc/loadavg: 4.87 4.31 3.21 3/102 1410
/proc/meminfo: memFree=15968/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=915416 CPUtime=22.23
/proc/1401/stat : 1401 (java) R 1399 1401 445 0 -1 0 23456 0 41 0 2199 24 0 0 25 0 8 0 159771081 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073774937 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1401/statm: 228854 23228 2531 14 0 215324 0
[pid=1401/tid=1403] ppid=1399 vsize=915416 CPUtime=0.15
/proc/1401/task/1403/stat : 1403 (java) S 1399 1401 445 0 -1 64 6495 0 0 0 13 2 0 0 16 0 8 0 159771341 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1404] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1404/stat : 1404 (java) S 1399 1401 445 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159771341 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1405] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1405/stat : 1405 (java) S 1399 1401 445 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159771341 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1406] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1406/stat : 1406 (java) S 1399 1401 445 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159771349 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1407] ppid=1399 vsize=915416 CPUtime=0.23
/proc/1401/task/1407/stat : 1407 (java) S 1399 1401 445 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 159771349 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1408] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1408/stat : 1408 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159771349 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1409] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1409/stat : 1409 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159771350 937385984 23228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.23
Current children cumulated vsize (KiB) 915416
[startup+51.2158 s]
/proc/loadavg: 4.85 4.35 3.25 3/102 1411
/proc/meminfo: memFree=15584/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=915416 CPUtime=47.34
/proc/1401/stat : 1401 (java) R 1399 1401 445 0 -1 0 23458 0 41 0 4704 30 0 0 25 0 8 0 159771081 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1401/statm: 228854 23229 2531 14 0 215324 0
[pid=1401/tid=1403] ppid=1399 vsize=915416 CPUtime=0.15
/proc/1401/task/1403/stat : 1403 (java) S 1399 1401 445 0 -1 64 6495 0 0 0 13 2 0 0 16 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1404] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1404/stat : 1404 (java) S 1399 1401 445 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1405] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1405/stat : 1405 (java) S 1399 1401 445 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1406] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1406/stat : 1406 (java) S 1399 1401 445 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1407] ppid=1399 vsize=915416 CPUtime=0.23
/proc/1401/task/1407/stat : 1407 (java) S 1399 1401 445 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1408] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1408/stat : 1408 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1409] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1409/stat : 1409 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159771350 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 47.34
Current children cumulated vsize (KiB) 915416
[startup+102.448 s]
/proc/loadavg: 4.82 4.42 3.33 3/102 1416
/proc/meminfo: memFree=15784/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=915416 CPUtime=97.89
/proc/1401/stat : 1401 (java) R 1399 1401 445 0 -1 0 23458 0 41 0 9741 48 0 0 25 0 8 0 159771081 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1401/statm: 228854 23229 2531 14 0 215324 0
[pid=1401/tid=1403] ppid=1399 vsize=915416 CPUtime=0.15
/proc/1401/task/1403/stat : 1403 (java) S 1399 1401 445 0 -1 64 6495 0 0 0 13 2 0 0 16 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1404] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1404/stat : 1404 (java) S 1399 1401 445 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1405] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1405/stat : 1405 (java) S 1399 1401 445 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1406] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1406/stat : 1406 (java) S 1399 1401 445 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1407] ppid=1399 vsize=915416 CPUtime=0.23
/proc/1401/task/1407/stat : 1407 (java) S 1399 1401 445 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1408] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1408/stat : 1408 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1409] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1409/stat : 1409 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159771350 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 97.89
Current children cumulated vsize (KiB) 915416
[startup+162.454 s]
/proc/loadavg: 4.40 4.38 3.38 3/102 1422
/proc/meminfo: memFree=15848/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=915416 CPUtime=157.7
/proc/1401/stat : 1401 (java) R 1399 1401 445 0 -1 0 23458 0 41 0 15696 74 0 0 25 0 8 0 159771081 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1401/statm: 228854 23229 2531 14 0 215324 0
[pid=1401/tid=1403] ppid=1399 vsize=915416 CPUtime=0.15
/proc/1401/task/1403/stat : 1403 (java) S 1399 1401 445 0 -1 64 6495 0 0 0 13 2 0 0 16 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1404] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1404/stat : 1404 (java) S 1399 1401 445 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1405] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1405/stat : 1405 (java) S 1399 1401 445 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1406] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1406/stat : 1406 (java) S 1399 1401 445 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1407] ppid=1399 vsize=915416 CPUtime=0.23
/proc/1401/task/1407/stat : 1407 (java) S 1399 1401 445 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1401/tid=1408] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1408/stat : 1408 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1409] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1409/stat : 1409 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159771350 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 157.7
Current children cumulated vsize (KiB) 915416
[startup+222.539 s]
/proc/loadavg: 4.45 4.40 3.45 3/102 1427
/proc/meminfo: memFree=15464/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=915416 CPUtime=217.53
/proc/1401/stat : 1401 (java) R 1399 1401 445 0 -1 0 23458 0 41 0 21656 97 0 0 25 0 8 0 159771081 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1401/statm: 228854 23229 2531 14 0 215324 0
[pid=1401/tid=1403] ppid=1399 vsize=915416 CPUtime=0.15
/proc/1401/task/1403/stat : 1403 (java) S 1399 1401 445 0 -1 64 6495 0 0 0 13 2 0 0 16 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1404] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1404/stat : 1404 (java) S 1399 1401 445 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1405] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1405/stat : 1405 (java) S 1399 1401 445 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1406] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1406/stat : 1406 (java) S 1399 1401 445 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1407] ppid=1399 vsize=915416 CPUtime=0.23
/proc/1401/task/1407/stat : 1407 (java) S 1399 1401 445 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1401/tid=1408] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1408/stat : 1408 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1409] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1409/stat : 1409 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159771350 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 217.53
Current children cumulated vsize (KiB) 915416
[startup+282.576 s]
/proc/loadavg: 4.64 4.46 3.53 3/102 1433
/proc/meminfo: memFree=16296/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=915416 CPUtime=277.15
/proc/1401/stat : 1401 (java) R 1399 1401 445 0 -1 0 23458 0 41 0 27590 125 0 0 25 0 8 0 159771081 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1401/statm: 228854 23229 2531 14 0 215324 0
[pid=1401/tid=1403] ppid=1399 vsize=915416 CPUtime=0.15
/proc/1401/task/1403/stat : 1403 (java) S 1399 1401 445 0 -1 64 6495 0 0 0 13 2 0 0 16 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1404] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1404/stat : 1404 (java) S 1399 1401 445 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1405] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1405/stat : 1405 (java) S 1399 1401 445 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1406] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1406/stat : 1406 (java) S 1399 1401 445 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1407] ppid=1399 vsize=915416 CPUtime=0.23
/proc/1401/task/1407/stat : 1407 (java) S 1399 1401 445 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1401/tid=1408] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1408/stat : 1408 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1409] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1409/stat : 1409 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159771350 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 277.15
Current children cumulated vsize (KiB) 915416
[startup+342.592 s]
/proc/loadavg: 4.55 4.46 3.58 3/102 1439
/proc/meminfo: memFree=15144/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=915416 CPUtime=336.81
/proc/1401/stat : 1401 (java) R 1399 1401 445 0 -1 0 23458 0 41 0 33535 146 0 0 25 0 8 0 159771081 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632889 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1401/statm: 228854 23229 2531 14 0 215324 0
[pid=1401/tid=1403] ppid=1399 vsize=915416 CPUtime=0.15
/proc/1401/task/1403/stat : 1403 (java) S 1399 1401 445 0 -1 64 6495 0 0 0 13 2 0 0 16 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1404] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1404/stat : 1404 (java) S 1399 1401 445 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1405] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1405/stat : 1405 (java) S 1399 1401 445 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1406] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1406/stat : 1406 (java) S 1399 1401 445 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1407] ppid=1399 vsize=915416 CPUtime=0.23
/proc/1401/task/1407/stat : 1407 (java) S 1399 1401 445 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1401/tid=1408] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1408/stat : 1408 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1409] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1409/stat : 1409 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159771350 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 336.81
Current children cumulated vsize (KiB) 915416
[startup+402.682 s]
/proc/loadavg: 4.53 4.48 3.64 3/102 1446
/proc/meminfo: memFree=15976/2055920 swapFree=4191880/4192956
[pid=1401] ppid=1399 vsize=915416 CPUtime=396.51
/proc/1401/stat : 1401 (java) R 1399 1401 445 0 -1 0 23458 0 41 0 39483 168 0 0 25 0 8 0 159771081 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1401/statm: 228854 23229 2531 14 0 215324 0
[pid=1401/tid=1403] ppid=1399 vsize=915416 CPUtime=0.15
/proc/1401/task/1403/stat : 1403 (java) S 1399 1401 445 0 -1 64 6495 0 0 0 13 2 0 0 16 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1404] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1404/stat : 1404 (java) S 1399 1401 445 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1405] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1405/stat : 1405 (java) S 1399 1401 445 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159771341 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1406] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1406/stat : 1406 (java) S 1399 1401 445 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1407] ppid=1399 vsize=915416 CPUtime=0.23
/proc/1401/task/1407/stat : 1407 (java) S 1399 1401 445 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1401/tid=1408] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1408/stat : 1408 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 159771349 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1401/tid=1409] ppid=1399 vsize=915416 CPUtime=0
/proc/1401/task/1409/stat : 1409 (java) S 1399 1401 445 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159771350 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 396.51
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 428.602
CPU time (s): 421.256
CPU user time (s): 419.487
CPU system time (s): 1.76873
CPU usage (%): 98.286
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 419.487
system time used= 1.76873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23464
page faults= 43
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9846
involuntary context switches= 15564
runsolver used 0.692894 s user time and 1.55276 s system time
The end
Begin job on node16 on Sat Jan 6 20:02:42 UTC 2007
IDJOB= 195779
IDBENCH= 3301
FILE ID= node16/195779-1168113760
PBS_JOBID= 3477092
Free space on /tmp= 56284 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-38_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195779-1168113760/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-195779-1168113760 -o ROOT/results/node16/solver-195779-1168113760 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195779-1168113760/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 915ffb10afaffa7b121056e55d9bf943
RANDOM SEED= 510299805
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.220
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.220
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: 199280 kB
Buffers: 3232 kB
Cached: 1641180 kB
SwapCached: 32 kB
Active: 137472 kB
Inactive: 1605064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 199280 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 828340 kB
Writeback: 2412 kB
Mapped: 123356 kB
Slab: 98676 kB
Committed_AS: 4284124 kB
PageTables: 2532 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= 48981 MiB
End job on node16 on Sat Jan 6 20:09:53 UTC 2007