0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/210137-1168195895/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.54 nbVariables=1972 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.54 => wckTime=0.234 cpuTime=0.16 mem=9M844
0.54
0.54 predicates being loaded...
0.54
0.54 constraints being loaded...
1.11 nbConstraints=3297 nbSingletonDomainVariables=30 nbConvertedConstraints=2828 nbConvertConstraintsChecks=779
1.11 nbExtensionStructures=7 nbSharedExtensionStructures=2821 nbConflictsStructures=53
1.11 nbSharedConflictsStructures=3244 nbSharedBinaryRepresentations=15 nbEvaluationManagers=46
1.11 nbSharedEvaluationManagers=423 maxDegree=32 maxArity=5
1.11 => wckTime=0.805 cpuTime=0.65 mem=30M323
1.18
1.18 solver IterativeSystematicSolver being built...
1.45 => wckTime=1.153 cpuTime=0.87 mem=28M478
3.20
3.20 preprocessing
3.20 nbConstraintChecks=41193 nbValidityChecks=3780 nbPropagations=14829 nbRevisions=31662 nbUselessRevisions=22628
3.20 nbSingletonTests=4017 nbEffectiveSingletonTests=1 nbESACBranches=11 nbRemovedValues=6 detectedInconsistency=no
3.20 => wckTime=1.739 cpuTime=1.69 mem=28M478
3.66
3.66 search
3.66 run=0 nbConstraintChecks=6582 nbValidityChecks=744 nbPropagations=16608 nbRevisions=36267
3.66 nbUselessRevisions=25464 nbAssignments=327 nbFailedAssignments=2 nbBacktracks=32 nbVisitedNodes=333
3.66 nbRestartNogoods=0 mapSize=1 nbInferences=2 nbTooLargeKeys=0
3.66 => wckTime=2.204 cpuTime=2.13 mem=28M478
4.15
4.15 search
4.15 run=1 nbConstraintChecks=22103 nbValidityChecks=2520 nbPropagations=37562 nbRevisions=83557
4.15 nbUselessRevisions=57723 nbAssignments=907 nbFailedAssignments=3 nbBacktracks=281 nbVisitedNodes=675
4.15 nbRestartNogoods=2 mapSize=3 nbInferences=4 nbTooLargeKeys=0
4.15 => wckTime=2.693 cpuTime=2.62 mem=29M451
4.58
4.58 search
4.58 run=2 nbConstraintChecks=30230 nbValidityChecks=3522 nbPropagations=60832 nbRevisions=136628
4.58 nbUselessRevisions=93461 nbAssignments=1258 nbFailedAssignments=6 nbBacktracks=334 nbVisitedNodes=1033
4.58 nbRestartNogoods=3 mapSize=8 nbInferences=5 nbTooLargeKeys=0
4.58 => wckTime=3.116 cpuTime=3.04 mem=29M451
5.07
5.07 search
5.07 run=3 nbConstraintChecks=45399 nbValidityChecks=5276 nbPropagations=88376 nbRevisions=200358
5.07 nbUselessRevisions=135647 nbAssignments=1754 nbFailedAssignments=8 nbBacktracks=377 nbVisitedNodes=1403
5.07 nbRestartNogoods=5 mapSize=12 nbInferences=7 nbTooLargeKeys=0
5.07 => wckTime=3.615 cpuTime=3.53 mem=29M451
5.54
5.54 search
5.54 run=4 nbConstraintChecks=52763 nbValidityChecks=6219 nbPropagations=118050 nbRevisions=269416
5.54 nbUselessRevisions=181051 nbAssignments=2112 nbFailedAssignments=10 nbBacktracks=431 nbVisitedNodes=1766
5.54 nbRestartNogoods=8 mapSize=15 nbInferences=8 nbTooLargeKeys=0
5.54 => wckTime=4.077 cpuTime=3.98 mem=29M451
6.01
6.01 search
6.01 run=5 nbConstraintChecks=61224 nbValidityChecks=7362 nbPropagations=150172 nbRevisions=344628
6.01 nbUselessRevisions=230176 nbAssignments=2500 nbFailedAssignments=13 nbBacktracks=519 nbVisitedNodes=2164
6.01 nbRestartNogoods=9 mapSize=19 nbInferences=12 nbTooLargeKeys=0
6.01 => wckTime=4.555 cpuTime=4.46 mem=29M451
6.50
6.50 search
6.50 run=6 nbConstraintChecks=69571 nbValidityChecks=8562 nbPropagations=184687 nbRevisions=425980
6.50 nbUselessRevisions=283069 nbAssignments=2906 nbFailedAssignments=17 nbBacktracks=656 nbVisitedNodes=2578
6.50 nbRestartNogoods=11 mapSize=23 nbInferences=14 nbTooLargeKeys=0
6.50 => wckTime=5.044 cpuTime=4.94 mem=29M451
7.05
7.05 search
7.05 run=7 nbConstraintChecks=79163 nbValidityChecks=9835 nbPropagations=221934 nbRevisions=514228
7.05 nbUselessRevisions=340143 nbAssignments=3360 nbFailedAssignments=23 nbBacktracks=855 nbVisitedNodes=3050
7.05 nbRestartNogoods=13 mapSize=34 nbInferences=22 nbTooLargeKeys=0
7.05 => wckTime=5.591 cpuTime=5.49 mem=30M425
7.60
7.60 search
7.60 run=8 nbConstraintChecks=96950 nbValidityChecks=12594 nbPropagations=264241 nbRevisions=615735
7.60 nbUselessRevisions=405403 nbAssignments=3822 nbFailedAssignments=33 nbBacktracks=1210 nbVisitedNodes=3537
7.60 nbRestartNogoods=14 mapSize=58 nbInferences=25 nbTooLargeKeys=0
7.60 => wckTime=6.14 cpuTime=6.04 mem=30M425
8.46
8.46 search
8.46 run=9 nbConstraintChecks=116807 nbValidityChecks=15444 nbPropagations=312205 nbRevisions=731854
8.46 nbUselessRevisions=479613 nbAssignments=4496 nbFailedAssignments=46 nbBacktracks=1774 nbVisitedNodes=4240
8.46 nbRestartNogoods=15 mapSize=86 nbInferences=32 nbTooLargeKeys=0
8.46 => wckTime=7.006 cpuTime=6.89 mem=30M425
9.44
9.44 search
9.44 run=10 nbConstraintChecks=145993 nbValidityChecks=19625 nbPropagations=368335 nbRevisions=869428
9.44 nbUselessRevisions=567024 nbAssignments=5259 nbFailedAssignments=65 nbBacktracks=2417 nbVisitedNodes=5049
9.44 nbRestartNogoods=16 mapSize=130 nbInferences=38 nbTooLargeKeys=0
9.44 => wckTime=7.986 cpuTime=7.87 mem=30M425
10.74
10.74 search
10.74 run=11 nbConstraintChecks=174024 nbValidityChecks=23995 nbPropagations=432387 nbRevisions=1028133
10.74 nbUselessRevisions=667598 nbAssignments=6319 nbFailedAssignments=82 nbBacktracks=3312 nbVisitedNodes=6147
10.74 nbRestartNogoods=18 mapSize=164 nbInferences=44 nbTooLargeKeys=0
10.74 => wckTime=9.285 cpuTime=9.17 mem=31M399
12.67
12.67 search
12.67 run=12 nbConstraintChecks=223801 nbValidityChecks=31243 nbPropagations=510547 nbRevisions=1223861
12.67 nbUselessRevisions=791031 nbAssignments=7807 nbFailedAssignments=110 nbBacktracks=4609 nbVisitedNodes=7701
12.67 nbRestartNogoods=22 mapSize=227 nbInferences=55 nbTooLargeKeys=0
12.67 => wckTime=11.207 cpuTime=11.09 mem=31M399
15.45
15.45 search
15.45 run=13 nbConstraintChecks=368883 nbValidityChecks=52723 nbPropagations=628822 nbRevisions=1528193
15.45 nbUselessRevisions=982545 nbAssignments=10102 nbFailedAssignments=195 nbBacktracks=6570 nbVisitedNodes=10112
15.45 nbRestartNogoods=25 mapSize=452 nbInferences=116 nbTooLargeKeys=0
15.45 => wckTime=13.989 cpuTime=13.87 mem=32M372
19.76
19.76 search
19.76 run=14 nbConstraintChecks=457500 nbValidityChecks=65494 nbPropagations=771548 nbRevisions=1898009
19.76 nbUselessRevisions=1214859 nbAssignments=13241 nbFailedAssignments=271 nbBacktracks=9492 nbVisitedNodes=13412
19.76 nbRestartNogoods=27 mapSize=610 nbInferences=132 nbTooLargeKeys=0
19.76 => wckTime=18.297 cpuTime=18.17 mem=33M346
25.80
25.80 search
25.80 run=15 nbConstraintChecks=662887 nbValidityChecks=96871 nbPropagations=970798 nbRevisions=2422996
25.80 nbUselessRevisions=1545334 nbAssignments=18052 nbFailedAssignments=422 nbBacktracks=13889 nbVisitedNodes=18583
25.80 nbRestartNogoods=29 mapSize=1010 nbInferences=223 nbTooLargeKeys=0
25.80 => wckTime=24.34 cpuTime=24.21 mem=36M267
34.75
34.75 search
34.75 run=16 nbConstraintChecks=1118510 nbValidityChecks=166485 nbPropagations=1296363 nbRevisions=3294150
34.75 nbUselessRevisions=2093510 nbAssignments=25313 nbFailedAssignments=702 nbBacktracks=20457 nbVisitedNodes=26479
34.75 nbRestartNogoods=37 mapSize=1693 nbInferences=395 nbTooLargeKeys=0
34.75 => wckTime=33.295 cpuTime=33.16 mem=39M188
48.62
48.62 search
48.62 run=17 nbConstraintChecks=1772345 nbValidityChecks=265419 nbPropagations=1802996 nbRevisions=4660811
48.62 nbUselessRevisions=2954255 nbAssignments=36172 nbFailedAssignments=1083 nbBacktracks=30323 nbVisitedNodes=38232
48.62 nbRestartNogoods=46 mapSize=2772 nbInferences=675 nbTooLargeKeys=0
48.63 => wckTime=47.166 cpuTime=47.02 mem=43M83
66.97
66.97 search
66.97 run=18 nbConstraintChecks=3025738 nbValidityChecks=440570 nbPropagations=2654316 nbRevisions=6950332
66.97 nbUselessRevisions=4389238 nbAssignments=52518 nbFailedAssignments=1899 nbBacktracks=45103 nbVisitedNodes=56095
66.97 nbRestartNogoods=60 mapSize=4610 nbInferences=991 nbTooLargeKeys=0
66.97 => wckTime=65.515 cpuTime=65.33 mem=48M925
90.87
90.87 search
90.87 run=19 nbConstraintChecks=5230222 nbValidityChecks=692154 nbPropagations=4086378 nbRevisions=10789557
90.87 nbUselessRevisions=6767681 nbAssignments=76817 nbFailedAssignments=3557 nbBacktracks=67290 nbVisitedNodes=83187
90.87 nbRestartNogoods=68 mapSize=7725 nbInferences=1020 nbTooLargeKeys=0
90.87 => wckTime=89.408 cpuTime=89.19 mem=11M712
128.02
128.02 search
128.02 run=20 nbConstraintChecks=7891196 nbValidityChecks=1065259 nbPropagations=6256467 nbRevisions=16612165
128.02 nbUselessRevisions=10381931 nbAssignments=112363 nbFailedAssignments=5565 nbBacktracks=100545
128.02 nbVisitedNodes=123165 nbRestartNogoods=72 mapSize=12151 nbInferences=1268 nbTooLargeKeys=0
128.02 => wckTime=126.56 cpuTime=126.3 mem=21M585
183.81
183.81 search
183.81 run=21 nbConstraintChecks=11586046 nbValidityChecks=1531195 nbPropagations=9430641 nbRevisions=25108422
183.81 nbUselessRevisions=15639305 nbAssignments=166121 nbFailedAssignments=8448 nbBacktracks=150445
183.81 nbVisitedNodes=183701 nbRestartNogoods=78 mapSize=18916 nbInferences=2116 nbTooLargeKeys=0
183.81 => wckTime=182.35 cpuTime=182.03 mem=35M407
265.33
265.33 search
265.33 run=22 nbConstraintChecks=17258066 nbValidityChecks=2255514 nbPropagations=14163617 nbRevisions=37728525
265.33 nbUselessRevisions=23434216 nbAssignments=247045 nbFailedAssignments=12523 nbBacktracks=225313
265.33 nbVisitedNodes=274207 nbRestartNogoods=90 mapSize=28611 nbInferences=3882 nbTooLargeKeys=0
265.33 => wckTime=263.876 cpuTime=263.43 mem=16M822
385.12
385.12 search
385.12 run=23 nbConstraintChecks=26107694 nbValidityChecks=3350462 nbPropagations=21303246 nbRevisions=56735885
385.12 nbUselessRevisions=35155072 nbAssignments=367607 nbFailedAssignments=19567 nbBacktracks=337544
385.12 nbVisitedNodes=409038 nbRestartNogoods=103 mapSize=42834 nbInferences=5011 nbTooLargeKeys=0
385.12 => wckTime=383.658 cpuTime=383.08 mem=51M619
440.07
440.07 search
440.07 run=24 nbConstraintChecks=30321422 nbValidityChecks=3861710 nbPropagations=29589248 nbRevisions=78781812
440.07 nbUselessRevisions=48742988 nbAssignments=422131 nbFailedAssignments=22519 nbBacktracks=388643
440.07 nbVisitedNodes=469539 nbRestartNogoods=118 mapSize=48839 nbInferences=5457 nbTooLargeKeys=0
440.07 => wckTime=438.612 cpuTime=437.93 mem=25M489
440.07
440.07 global
440.07 nbConstraintChecks=30362615 nbValidityChecks=3865490 nbPropagations=29604077 nbRevisions=78813474
440.07 nbUselessRevisions=48765616 nbRestartNogoods=118 solvingWckTime=438.613 solvingCpuTime=437.93 expiredTime=no
440.07 totalExploration=yes nbFoundSolutions=0 globalCpuTime=438.86
440.07 => wckTime=439.771 cpuTime=438.81 mem=26M497
440.08
440.08 s UNSATISFIABLE
440.08 d NODES 422131
440.08 d CHECKS 30362615
440.08
440.08 totalWckTime=439.848 totalCpuTime=438.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-210137-1168195895 -o ROOT/results/node14/solver-210137-1168195895 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210137-1168195895/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: 0.19 0.57 1.19 3/81 4627
/proc/meminfo: memFree=1562584/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=1452 CPUtime=0
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 110 0 0 0 0 0 0 0 20 0 1 0 167984582 1486848 82 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 134557648 0 0 4096 0 0 0 0 17 1 0 0
/proc/4626/statm: 365 94 74 14 0 10 0
[startup+0.105381 s]
/proc/loadavg: 0.19 0.57 1.19 3/81 4627
/proc/meminfo: memFree=1562584/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=914988 CPUtime=0.08
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 3030 0 1 0 7 1 0 0 16 0 8 0 167984582 936947712 2776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155082757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4626/statm: 228747 2776 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513417 s]
/proc/loadavg: 0.19 0.57 1.19 3/81 4627
/proc/meminfo: memFree=1562584/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915328 CPUtime=0.5
/proc/4626/stat : 4626 (java) S 4624 4626 4298 0 -1 0 6704 0 1 0 46 4 0 0 16 0 8 0 167984582 937295872 6443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4626/statm: 228832 6443 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.3345 s]
/proc/loadavg: 0.26 0.58 1.19 2/88 4634
/proc/meminfo: memFree=1524256/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=1.32
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 13324 0 1 0 110 22 0 0 16 0 8 0 167984582 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154585468 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4626/statm: 228932 13061 2530 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.05
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 973 0 0 0 5 0 0 0 17 0 8 0 167984586 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.23
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 457 0 0 0 22 1 0 0 16 0 8 0 167984590 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 13061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915728
[startup+2.97865 s]
/proc/loadavg: 0.26 0.58 1.19 2/88 4634
/proc/meminfo: memFree=1519904/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=2.96
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 13408 0 1 0 273 23 0 0 17 0 8 0 167984582 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074157751 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4626/statm: 228932 13144 2544 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.05
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 973 0 0 0 5 0 0 0 16 0 8 0 167984586 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.3
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 503 0 0 0 28 2 0 0 16 0 8 0 167984590 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 13144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915728
[startup+6.18396 s]
/proc/loadavg: 0.26 0.58 1.19 2/88 4635
/proc/meminfo: memFree=1519520/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=6.14
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 13433 0 1 0 591 23 0 0 17 0 8 0 167984582 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074190465 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 13165 2545 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.05
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 973 0 0 0 5 0 0 0 16 0 8 0 167984586 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.33
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 524 0 0 0 31 2 0 0 16 0 8 0 167984590 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 13165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915728
[startup+12.6506 s]
/proc/loadavg: 0.37 0.59 1.19 2/88 4636
/proc/meminfo: memFree=1519528/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=12.61
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 13442 0 1 0 1237 24 0 0 25 0 8 0 167984582 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074083510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 13171 2545 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.05
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 973 0 0 0 5 0 0 0 16 0 8 0 167984586 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.34
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 530 0 0 0 32 2 0 0 16 0 8 0 167984590 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 13171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 13171 18446744073709551615 134512640 134570532 4294956464 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) 915728
[startup+25.5048 s]
/proc/loadavg: 0.47 0.60 1.19 3/93 4864
/proc/meminfo: memFree=1510976/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=25.45
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 13969 0 1 0 2521 24 0 0 25 0 8 0 167984582 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074082447 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 13697 2545 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.05
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 973 0 0 0 5 0 0 0 16 0 8 0 167984586 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.34
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 531 0 0 0 32 2 0 0 16 0 8 0 167984590 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 13697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915728
[startup+51.1262 s]
/proc/loadavg: 0.99 0.71 1.21 4/93 4864
/proc/meminfo: memFree=1502976/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=51.05
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 15980 0 1 0 5079 26 0 0 25 0 8 0 167984582 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855447 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 15707 2545 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.05
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 973 0 0 0 5 0 0 0 16 0 8 0 167984586 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.34
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 534 0 0 0 32 2 0 0 16 0 8 0 167984590 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 15707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915728
[startup+102.366 s]
/proc/loadavg: 1.60 0.93 1.25 3/93 4864
/proc/meminfo: memFree=1490368/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=102.24
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 19128 0 1 0 10196 28 0 0 25 0 8 0 167984582 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074196451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 18853 2549 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.07
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 1936 0 0 0 7 0 0 0 16 0 8 0 167984586 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.35
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 534 0 0 0 33 2 0 0 17 0 8 0 167984590 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 915728
[startup+162.443 s]
/proc/loadavg: 1.94 1.15 1.30 3/93 4864
/proc/meminfo: memFree=1490304/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=162.24
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 19128 0 1 0 16196 28 0 0 25 0 8 0 167984582 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074196451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 18853 2549 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.07
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 1936 0 0 0 7 0 0 0 16 0 8 0 167984586 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.35
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 534 0 0 0 33 2 0 0 17 0 8 0 167984590 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 18853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 915728
[startup+222.525 s]
/proc/loadavg: 1.98 1.30 1.35 3/93 4864
/proc/meminfo: memFree=1490304/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=222.28
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 19130 0 1 0 22200 28 0 0 25 0 8 0 167984582 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 18854 2549 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.07
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 1936 0 0 0 7 0 0 0 16 0 8 0 167984586 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.35
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 535 0 0 0 33 2 0 0 16 0 8 0 167984590 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 18854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 915728
[startup+282.602 s]
/proc/loadavg: 1.99 1.43 1.38 3/93 4864
/proc/meminfo: memFree=1479616/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=282.3
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 21819 0 1 0 28200 30 0 0 25 0 8 0 167984582 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074196444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 21542 2549 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.12
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 4624 0 0 0 11 1 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.35
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 535 0 0 0 33 2 0 0 16 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 915728
[startup+342.686 s]
/proc/loadavg: 1.99 1.53 1.42 3/93 4864
/proc/meminfo: memFree=1479552/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=342.3
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 21819 0 1 0 34200 30 0 0 25 0 8 0 167984582 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074082478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 21542 2549 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.12
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 4624 0 0 0 11 1 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.35
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 535 0 0 0 33 2 0 0 16 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 915728
[startup+402.705 s]
/proc/loadavg: 1.96 1.60 1.45 3/95 4927
/proc/meminfo: memFree=1469296/2055920 swapFree=4182236/4192956
[pid=4626] ppid=4624 vsize=915728 CPUtime=402.26
/proc/4626/stat : 4626 (java) R 4624 4626 4298 0 -1 0 21819 0 1 0 40195 31 0 0 25 0 8 0 167984582 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074096996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4626/statm: 228932 21542 2549 14 0 215402 0
[pid=4626/tid=4628] ppid=4624 vsize=915728 CPUtime=0.12
/proc/4626/task/4628/stat : 4628 (java) S 4624 4626 4298 0 -1 64 4624 0 0 0 11 1 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4629] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4629/stat : 4629 (java) S 4624 4626 4298 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4630] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4630/stat : 4630 (java) S 4624 4626 4298 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167984586 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4631] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4631/stat : 4631 (java) S 4624 4626 4298 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 167984589 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4632] ppid=4624 vsize=915728 CPUtime=0.35
/proc/4626/task/4632/stat : 4632 (java) S 4624 4626 4298 0 -1 64 535 0 0 0 33 2 0 0 16 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4633] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4633/stat : 4633 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4626/tid=4634] ppid=4624 vsize=915728 CPUtime=0
/proc/4626/task/4634/stat : 4634 (java) S 4624 4626 4298 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167984590 937705472 21542 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 915728
Child status: 0
Real time (s): 440.146
CPU time (s): 439.623
CPU user time (s): 439.278
CPU system time (s): 0.344947
CPU usage (%): 99.8813
Max. virtual memory (cumulated for all children) (KiB): 915824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 439.278
system time used= 0.344947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23974
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= 10211
involuntary context switches= 12471
runsolver used 0.575912 s user time and 1.37379 s system time
The end
Begin job on node14 on Sun Jan 7 18:51:36 UTC 2007
IDJOB= 210137
IDBENCH= 4597
FILE ID= node14/210137-1168195895
PBS_JOBID= 3480489
Free space on /tmp= 66344 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ssa/ssa-2670-141.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210137-1168195895/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-210137-1168195895 -o ROOT/results/node14/solver-210137-1168195895 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210137-1168195895/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0c506b62d09cb6d96e76e839d1a3bf47
RANDOM SEED= 518915238
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.227
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.227
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: 1563064 kB
Buffers: 48752 kB
Cached: 323540 kB
SwapCached: 4156 kB
Active: 164640 kB
Inactive: 260676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1563064 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 2320 kB
Writeback: 0 kB
Mapped: 61984 kB
Slab: 52768 kB
Committed_AS: 5281604 kB
PageTables: 2016 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= 66343 MiB
End job on node14 on Sun Jan 7 18:58:57 UTC 2007