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/194452-1168101904/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.40 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.55
0.55 constraints being loaded...
0.69 nbConstraints=471 nbRelationTypes=471 nbExtensionStructures=471 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=471 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2457 maxDegree=25
0.69 maxArity=2
0.69 => wckTime=0.384 cpuTime=0.3 mem=17M695
0.73
0.73 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.584 cpuTime=0.43 mem=15M590
0.95
0.95 preprocessing
0.95 nbConstraintChecks=113588 nbPropagations=1238 nbRevisions=9806 nbUselessRevisions=8250 nbSingletonTests=63
0.95 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.95 => wckTime=0.056 cpuTime=0.04 mem=15M590
0.97
0.97 search
0.97 run=0 nbConstraintChecks=50367 nbPropagations=1822 nbRevisions=17195 nbUselessRevisions=14464 nbAssignments=31
0.97 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.084 cpuTime=0.06 mem=15M590
0.99
0.99 search
0.99 run=1 nbConstraintChecks=107150 nbPropagations=4339 nbRevisions=43681 nbUselessRevisions=36654
0.99 nbAssignments=66 nbFailedAssignments=18 nbBacktracks=26 nbVisitedNodes=98 nbRestartNogoods=4 mapSize=22
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.103 cpuTime=0.07 mem=15M590
1.00
1.00 search
1.00 run=2 nbConstraintChecks=167867 nbPropagations=7607 nbRevisions=80278 nbUselessRevisions=67239
1.00 nbAssignments=111 nbFailedAssignments=28 nbBacktracks=51 nbVisitedNodes=166 nbRestartNogoods=6 mapSize=42
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.116 cpuTime=0.09 mem=15M590
1.02
1.02 search
1.02 run=3 nbConstraintChecks=259745 nbPropagations=12133 nbRevisions=134067 nbUselessRevisions=112158
1.02 nbAssignments=179 nbFailedAssignments=50 nbBacktracks=86 nbVisitedNodes=276 nbRestartNogoods=7 mapSize=72
1.02 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.136 cpuTime=0.11 mem=15M590
1.06
1.06 search
1.06 run=4 nbConstraintChecks=407969 nbPropagations=18506 nbRevisions=214839 nbUselessRevisions=179588
1.06 nbAssignments=280 nbFailedAssignments=85 nbBacktracks=140 nbVisitedNodes=443 nbRestartNogoods=8 mapSize=115
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.168 cpuTime=0.14 mem=15M590
1.10
1.10 search
1.10 run=5 nbConstraintChecks=598682 nbPropagations=27218 nbRevisions=329444 nbUselessRevisions=274651
1.10 nbAssignments=408 nbFailedAssignments=128 nbBacktracks=215 nbVisitedNodes=649 nbRestartNogoods=12 mapSize=173
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.208 cpuTime=0.18 mem=15M590
1.16
1.16 search
1.16 run=6 nbConstraintChecks=958185 nbPropagations=40266 nbRevisions=505175 nbUselessRevisions=420461
1.16 nbAssignments=640 nbFailedAssignments=197 nbBacktracks=328 nbVisitedNodes=972 nbRestartNogoods=17 mapSize=266
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.272 cpuTime=0.24 mem=15M590
1.23
1.23 search
1.23 run=7 nbConstraintChecks=1320265 nbPropagations=57834 nbRevisions=748320 nbUselessRevisions=621732
1.23 nbAssignments=904 nbFailedAssignments=279 nbBacktracks=498 nbVisitedNodes=1403 nbRestartNogoods=21 mapSize=394
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.341 cpuTime=0.31 mem=15M590
1.35
1.35 search
1.35 run=8 nbConstraintChecks=1969535 nbPropagations=83061 nbRevisions=1112253 nbUselessRevisions=923796
1.35 nbAssignments=1325 nbFailedAssignments=431 nbBacktracks=754 nbVisitedNodes=2106 nbRestartNogoods=27
1.35 mapSize=604 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.462 cpuTime=0.43 mem=15M590
1.53
1.53 search
1.53 run=9 nbConstraintChecks=2917962 nbPropagations=120187 nbRevisions=1652334 nbUselessRevisions=1371072
1.53 nbAssignments=1976 nbFailedAssignments=661 nbBacktracks=1139 nbVisitedNodes=3150 nbRestartNogoods=34
1.53 mapSize=887 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.641 cpuTime=0.59 mem=15M590
1.60
1.60 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=15M590)
1.76
1.76 search
1.76 run=10 nbConstraintChecks=4202748 nbPropagations=173952 nbRevisions=2449590 nbUselessRevisions=2032555
1.76 nbAssignments=2911 nbFailedAssignments=1006 nbBacktracks=1715 nbVisitedNodes=4742 nbRestartNogoods=39
1.76 => wckTime=0.871 cpuTime=0.81 mem=15M590
2.11
2.11 search
2.11 run=11 nbConstraintChecks=6382306 nbPropagations=254428 nbRevisions=3673653 nbUselessRevisions=3047761
2.11 nbAssignments=4335 nbFailedAssignments=1556 nbBacktracks=2580 nbVisitedNodes=7168 nbRestartNogoods=51
2.11 => wckTime=1.219 cpuTime=1.16 mem=15M590
2.60
2.60 search
2.60 run=12 nbConstraintChecks=9322029 nbPropagations=374113 nbRevisions=5507443 nbUselessRevisions=4567649
2.60 nbAssignments=6528 nbFailedAssignments=2439 nbBacktracks=3877 nbVisitedNodes=10934 nbRestartNogoods=57
2.60 => wckTime=1.713 cpuTime=1.65 mem=15M590
3.33
3.33 search
3.33 run=13 nbConstraintChecks=13753859 nbPropagations=550688 nbRevisions=8244361 nbUselessRevisions=6837066
3.33 nbAssignments=9707 nbFailedAssignments=3660 nbBacktracks=5825 nbVisitedNodes=16358 nbRestartNogoods=62
3.33 => wckTime=2.439 cpuTime=2.38 mem=15M590
4.51
4.51 search
4.51 run=14 nbConstraintChecks=21491689 nbPropagations=817879 nbRevisions=12428611 nbUselessRevisions=10303578
4.51 nbAssignments=14463 nbFailedAssignments=5486 nbBacktracks=8744 nbVisitedNodes=24522 nbRestartNogoods=67
4.51 => wckTime=3.624 cpuTime=3.56 mem=15M590
6.29
6.29 search
6.29 run=15 nbConstraintChecks=32910098 nbPropagations=1221733 nbRevisions=18779828 nbUselessRevisions=15562289
6.29 nbAssignments=21594 nbFailedAssignments=8229 nbBacktracks=13122 nbVisitedNodes=36758 nbRestartNogoods=77
6.29 => wckTime=5.403 cpuTime=5.34 mem=16M565
8.95
8.95 search
8.95 run=16 nbConstraintChecks=49698616 nbPropagations=1830152 nbRevisions=28337427 nbUselessRevisions=23464110
8.95 nbAssignments=32227 nbFailedAssignments=12284 nbBacktracks=19692 nbVisitedNodes=54996 nbRestartNogoods=90
8.95 => wckTime=8.06 cpuTime=7.99 mem=16M565
12.98
12.98 search
12.98 run=17 nbConstraintChecks=75674779 nbPropagations=2748309 nbRevisions=42874958 nbUselessRevisions=35489455
12.98 nbAssignments=48478 nbFailedAssignments=18673 nbBacktracks=29544 nbVisitedNodes=83024 nbRestartNogoods=95
12.98 => wckTime=12.087 cpuTime=12.02 mem=16M565
18.59
18.59 search
18.59 run=18 nbConstraintChecks=111093133 nbPropagations=4112758 nbRevisions=64401973 nbUselessRevisions=53298281
18.59 nbAssignments=72203 nbFailedAssignments=27609 nbBacktracks=44322 nbVisitedNodes=123608 nbRestartNogoods=103
18.59 => wckTime=17.7 cpuTime=17.63 mem=16M565
27.72
27.72 search
27.72 run=19 nbConstraintChecks=169970376 nbPropagations=6175950 nbRevisions=96938175 nbUselessRevisions=80163615
27.72 nbAssignments=108390 nbFailedAssignments=41618 nbBacktracks=66490 nbVisitedNodes=186008 nbRestartNogoods=110
27.72 => wckTime=26.83 cpuTime=26.75 mem=16M565
41.55
41.55 search
41.55 run=20 nbConstraintChecks=259752789 nbPropagations=9298697 nbRevisions=146502867 nbUselessRevisions=121109089
41.55 nbAssignments=163156 nbFailedAssignments=63115 nbBacktracks=99748 nbVisitedNodes=280511 nbRestartNogoods=119
41.55 => wckTime=40.663 cpuTime=40.58 mem=16M565
60.64
60.64 search
60.64 run=21 nbConstraintChecks=382434037 nbPropagations=13917881 nbRevisions=219116838 nbUselessRevisions=181007451
60.64 nbAssignments=242628 nbFailedAssignments=92653 nbBacktracks=149626 nbVisitedNodes=414991 nbRestartNogoods=135
60.64 => wckTime=59.753 cpuTime=59.66 mem=16M565
91.17
91.17 search
91.17 run=22 nbConstraintChecks=579064124 nbPropagations=20876159 nbRevisions=329279594 nbUselessRevisions=272005625
91.17 nbAssignments=365058 nbFailedAssignments=140223 nbBacktracks=224450 nbVisitedNodes=625717 nbRestartNogoods=156
91.17 => wckTime=90.283 cpuTime=90.18 mem=16M565
134.75
134.75 search
134.75 run=23 nbConstraintChecks=859289756 nbPropagations=31241979 nbRevisions=492371174 nbUselessRevisions=406590966
134.75 nbAssignments=543259 nbFailedAssignments=206184 nbBacktracks=336681 nbVisitedNodes=928318 nbRestartNogoods=167
134.75 => wckTime=133.863 cpuTime=133.75 mem=16M565
201.96
201.96 search
201.96 run=24 nbConstraintChecks=1281434007 nbPropagations=46866051 nbRevisions=739947371 nbUselessRevisions=611406081
201.96 nbAssignments=818174 nbFailedAssignments=312748 nbBacktracks=505023 nbVisitedNodes=1402941 nbRestartNogoods=178
201.96 => wckTime=201.069 cpuTime=200.94 mem=16M565
303.42
303.42 search
303.42 run=25 nbConstraintChecks=1935939607 nbPropagations=70296180 nbRevisions=1109922702
303.42 nbUselessRevisions=916962782 nbAssignments=1226260 nbFailedAssignments=468311 nbBacktracks=757535
303.42 nbVisitedNodes=2100958 nbRestartNogoods=191
303.42 => wckTime=302.535 cpuTime=302.38 mem=16M565
453.59
453.59 search
453.59 run=26 nbConstraintChecks=2906078646 nbPropagations=105262787 nbRevisions=1664119412
453.59 nbUselessRevisions=1374943104 nbAssignments=1834040 nbFailedAssignments=697311 nbBacktracks=1136303
453.59 nbVisitedNodes=3140506 nbRestartNogoods=205
453.59 => wckTime=452.702 cpuTime=452.5 mem=16M565
675.55
675.55 search
675.55 run=27 nbConstraintChecks=4337436801 nbPropagations=157407677 nbRevisions=2484377744
675.55 nbUselessRevisions=2051675939 nbAssignments=2729803 nbFailedAssignments=1024910 nbBacktracks=1704455
675.55 nbVisitedNodes=4654811 nbRestartNogoods=219
675.55 => wckTime=674.66 cpuTime=674.39 mem=16M565
1015.36
1015.36 search
1015.36 run=28 nbConstraintChecks=6507426392 nbPropagations=235867865 nbRevisions=3725364808
1015.36 nbUselessRevisions=3077530314 nbAssignments=4096111 nbFailedAssignments=1538983 nbBacktracks=2556682
1015.36 nbVisitedNodes=6994233 nbRestartNogoods=233
1015.36 => wckTime=1014.475 cpuTime=1013.97 mem=16M565
1534.89
1534.89 search
1534.89 run=29 nbConstraintChecks=9871425635 nbPropagations=354118130 nbRevisions=5599457160
1534.89 nbUselessRevisions=4626516106 nbAssignments=6152655 nbFailedAssignments=2317172 nbBacktracks=3835025
1534.89 nbVisitedNodes=10508756 nbRestartNogoods=250
1534.89 => wckTime=1534.006 cpuTime=1533.33 mem=16M565
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-194452-1168101904 -o ROOT/results/node14/solver-194452-1168101904 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194452-1168101904/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.06 0.97 1.38 3/81 4056
/proc/meminfo: memFree=1405912/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=308 CPUtime=0
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 58 0 0 0 0 0 0 0 19 0 1 0 158587111 315392 41 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6914496 0 0 4096 0 0 0 0 17 1 0 0
/proc/4055/statm: 374 44 34 14 0 7 0
[startup+0.103797 s]
/proc/loadavg: 0.06 0.97 1.38 3/81 4056
/proc/meminfo: memFree=1405912/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=914988 CPUtime=0.08
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 3001 0 1 0 7 1 0 0 16 0 8 0 158587111 936947712 2747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072931794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228747 2748 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511832 s]
/proc/loadavg: 0.06 0.97 1.38 3/81 4056
/proc/meminfo: memFree=1405912/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915328 CPUtime=0.48
/proc/4055/stat : 4055 (java) S 4053 4055 3878 0 -1 0 7129 0 1 0 44 4 0 0 16 0 8 0 158587111 937295872 6868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228832 6868 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33391 s]
/proc/loadavg: 0.06 0.97 1.38 2/88 4063
/proc/meminfo: memFree=1378208/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=1.29
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9651 0 1 0 123 6 0 0 16 0 8 0 158587111 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942099 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228865 9389 2524 14 0 215335 0
[pid=4055/tid=4057] ppid=4053 vsize=915460 CPUtime=0.03
/proc/4055/task/4057/stat : 4057 (java) S 4053 4055 3878 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587115 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4058] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4058/stat : 4058 (java) S 4053 4055 3878 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4059] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 4053 4055 3878 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4060] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158587119 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4061] ppid=4053 vsize=915460 CPUtime=0.19
/proc/4055/task/4061/stat : 4061 (java) S 4053 4055 3878 0 -1 64 384 0 0 0 18 1 0 0 16 0 8 0 158587119 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4062] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158587119 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4063] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4063/stat : 4063 (java) S 4053 4055 3878 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158587119 937431040 9389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.98606 s]
/proc/loadavg: 0.06 0.97 1.38 2/88 4063
/proc/meminfo: memFree=1378144/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=2.94
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9666 0 1 0 288 6 0 0 18 0 8 0 158587111 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073892347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228865 9403 2524 14 0 215335 0
[pid=4055/tid=4057] ppid=4053 vsize=915460 CPUtime=0.03
/proc/4055/task/4057/stat : 4057 (java) S 4053 4055 3878 0 -1 64 411 0 0 0 3 0 0 0 17 0 8 0 158587115 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4058] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4058/stat : 4058 (java) S 4053 4055 3878 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4059] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 4053 4055 3878 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4060] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4061] ppid=4053 vsize=915460 CPUtime=0.21
/proc/4055/task/4061/stat : 4061 (java) S 4053 4055 3878 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4062] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4063] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4063/stat : 4063 (java) S 4053 4055 3878 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.27137 s]
/proc/loadavg: 0.14 0.97 1.38 2/88 4093
/proc/meminfo: memFree=1375392/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=6.22
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9667 0 1 0 616 6 0 0 20 0 8 0 158587111 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810743 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228865 9403 2524 14 0 215335 0
[pid=4055/tid=4057] ppid=4053 vsize=915460 CPUtime=0.03
/proc/4055/task/4057/stat : 4057 (java) S 4053 4055 3878 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587115 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4058] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4058/stat : 4058 (java) S 4053 4055 3878 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4059] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 4053 4055 3878 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4060] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4061] ppid=4053 vsize=915460 CPUtime=0.21
/proc/4055/task/4061/stat : 4061 (java) S 4053 4055 3878 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4062] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4063] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4063/stat : 4063 (java) S 4053 4055 3878 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.762 s]
/proc/loadavg: 0.20 0.97 1.37 3/100 4105
/proc/meminfo: memFree=1346944/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=12.72
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9667 0 1 0 1265 7 0 0 25 0 8 0 158587111 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821057 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228865 9403 2524 14 0 215335 0
[pid=4055/tid=4057] ppid=4053 vsize=915460 CPUtime=0.03
/proc/4055/task/4057/stat : 4057 (java) S 4053 4055 3878 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587115 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4058] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4058/stat : 4058 (java) S 4053 4055 3878 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4059] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 4053 4055 3878 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4060] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4061] ppid=4053 vsize=915460 CPUtime=0.21
/proc/4055/task/4061/stat : 4061 (java) S 4053 4055 3878 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4062] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4063] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4063/stat : 4063 (java) S 4053 4055 3878 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915460
[startup+25.5982 s]
/proc/loadavg: 0.60 1.02 1.38 3/100 4105
/proc/meminfo: memFree=1346944/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=25.55
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9667 0 1 0 2548 7 0 0 25 0 8 0 158587111 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821131 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228865 9403 2524 14 0 215335 0
[pid=4055/tid=4057] ppid=4053 vsize=915460 CPUtime=0.03
/proc/4055/task/4057/stat : 4057 (java) S 4053 4055 3878 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587115 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4058] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4058/stat : 4058 (java) S 4053 4055 3878 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4059] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 4053 4055 3878 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4060] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4061] ppid=4053 vsize=915460 CPUtime=0.21
/proc/4055/task/4061/stat : 4061 (java) S 4053 4055 3878 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4062] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4063] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4063/stat : 4063 (java) S 4053 4055 3878 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915460
[startup+51.1996 s]
/proc/loadavg: 1.08 1.10 1.40 3/100 4105
/proc/meminfo: memFree=1346944/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=51.14
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9667 0 1 0 5107 7 0 0 25 0 8 0 158587111 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228865 9403 2524 14 0 215335 0
[pid=4055/tid=4057] ppid=4053 vsize=915460 CPUtime=0.03
/proc/4055/task/4057/stat : 4057 (java) S 4053 4055 3878 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587115 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4058] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4058/stat : 4058 (java) S 4053 4055 3878 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4059] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 4053 4055 3878 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4060] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4061] ppid=4053 vsize=915460 CPUtime=0.21
/proc/4055/task/4061/stat : 4061 (java) S 4053 4055 3878 0 -1 64 398 0 0 0 20 1 0 0 16 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4062] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4063] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4063/stat : 4063 (java) S 4053 4055 3878 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158587119 937431040 9403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915460
[startup+102.499 s]
/proc/loadavg: 1.64 1.25 1.43 3/100 4105
/proc/meminfo: memFree=1347008/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=102.42
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9670 0 1 0 10235 7 0 0 25 0 8 0 158587111 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228865 9405 2524 14 0 215335 0
[pid=4055/tid=4057] ppid=4053 vsize=915460 CPUtime=0.03
/proc/4055/task/4057/stat : 4057 (java) S 4053 4055 3878 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587115 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4058] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4058/stat : 4058 (java) S 4053 4055 3878 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4059] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 4053 4055 3878 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4060] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4061] ppid=4053 vsize=915460 CPUtime=0.21
/proc/4055/task/4061/stat : 4061 (java) S 4053 4055 3878 0 -1 64 400 0 0 0 20 1 0 0 16 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4062] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4063] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4063/stat : 4063 (java) S 4053 4055 3878 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 915460
[startup+162.535 s]
/proc/loadavg: 1.95 1.40 1.47 3/100 4105
/proc/meminfo: memFree=1347008/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=162.45
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9670 0 1 0 16237 8 0 0 25 0 8 0 158587111 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.79
Current children cumulated vsize (KiB) 915460
[startup+1483.39 s]
/proc/loadavg: 2.09 2.02 1.85 3/100 4303
/proc/meminfo: memFree=1346880/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=1482.8
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9670 0 1 0 148261 19 0 0 25 0 8 0 158587111 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228865 9405 2524 14 0 215335 0
[pid=4055/tid=4057] ppid=4053 vsize=915460 CPUtime=0.03
/proc/4055/task/4057/stat : 4057 (java) S 4053 4055 3878 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587115 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4058] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4058/stat : 4058 (java) S 4053 4055 3878 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4059] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 4053 4055 3878 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4060] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4061] ppid=4053 vsize=915460 CPUtime=0.21
/proc/4055/task/4061/stat : 4061 (java) S 4053 4055 3878 0 -1 64 400 0 0 0 20 1 0 0 16 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4062] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4063] ppid=4053 vsize=915460 CPUtime=0.04
/proc/4055/task/4063/stat : 4063 (java) S 4053 4055 3878 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.8
Current children cumulated vsize (KiB) 915460
[startup+1543.43 s]
/proc/loadavg: 2.03 2.01 1.86 3/100 4303
/proc/meminfo: memFree=1346880/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=1542.83
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9670 0 1 0 154263 20 0 0 25 0 8 0 158587111 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228865 9405 2524 14 0 215335 0
[pid=4055/tid=4057] ppid=4053 vsize=915460 CPUtime=0.03
/proc/4055/task/4057/stat : 4057 (java) S 4053 4055 3878 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587115 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4058] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4058/stat : 4058 (java) S 4053 4055 3878 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4059] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 4053 4055 3878 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4060] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4061] ppid=4053 vsize=915460 CPUtime=0.21
/proc/4055/task/4061/stat : 4061 (java) S 4053 4055 3878 0 -1 64 400 0 0 0 20 1 0 0 16 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4062] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4063] ppid=4053 vsize=915460 CPUtime=0.04
/proc/4055/task/4063/stat : 4063 (java) S 4053 4055 3878 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.83
Current children cumulated vsize (KiB) 915460
[startup+1603.47 s]
/proc/loadavg: 2.01 2.00 1.87 3/100 4303
/proc/meminfo: memFree=1346880/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=1602.85
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9670 0 1 0 160265 20 0 0 25 0 8 0 158587111 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228865 9405 2524 14 0 215335 0
[pid=4055/tid=4057] ppid=4053 vsize=915460 CPUtime=0.03
/proc/4055/task/4057/stat : 4057 (java) S 4053 4055 3878 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587115 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4058] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4058/stat : 4058 (java) S 4053 4055 3878 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4059] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 4053 4055 3878 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4060] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4061] ppid=4053 vsize=915460 CPUtime=0.21
/proc/4055/task/4061/stat : 4061 (java) S 4053 4055 3878 0 -1 64 400 0 0 0 20 1 0 0 16 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4062] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4063] ppid=4053 vsize=915460 CPUtime=0.04
/proc/4055/task/4063/stat : 4063 (java) S 4053 4055 3878 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.85
Current children cumulated vsize (KiB) 915460
[startup+1663.5 s]
/proc/loadavg: 2.00 2.00 1.87 3/100 4303
/proc/meminfo: memFree=1346880/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=1662.88
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9670 0 1 0 166267 21 0 0 25 0 8 0 158587111 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228865 9405 2524 14 0 215335 0
[pid=4055/tid=4057] ppid=4053 vsize=915460 CPUtime=0.03
/proc/4055/task/4057/stat : 4057 (java) S 4053 4055 3878 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587115 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4058] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4058/stat : 4058 (java) S 4053 4055 3878 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4059] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 4053 4055 3878 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4060] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4061] ppid=4053 vsize=915460 CPUtime=0.21
/proc/4055/task/4061/stat : 4061 (java) S 4053 4055 3878 0 -1 64 400 0 0 0 20 1 0 0 16 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4062] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4063] ppid=4053 vsize=915460 CPUtime=0.04
/proc/4055/task/4063/stat : 4063 (java) S 4053 4055 3878 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.88
Current children cumulated vsize (KiB) 915460
[startup+1723.55 s]
/proc/loadavg: 2.07 2.03 1.89 3/100 4303
/proc/meminfo: memFree=1346880/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=1722.91
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9670 0 1 0 172270 21 0 0 25 0 8 0 158587111 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811688 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228865 9405 2524 14 0 215335 0
[pid=4055/tid=4057] ppid=4053 vsize=915460 CPUtime=0.03
/proc/4055/task/4057/stat : 4057 (java) S 4053 4055 3878 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587115 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4058] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4058/stat : 4058 (java) S 4053 4055 3878 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4059] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 4053 4055 3878 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4060] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4061] ppid=4053 vsize=915460 CPUtime=0.21
/proc/4055/task/4061/stat : 4061 (java) S 4053 4055 3878 0 -1 64 400 0 0 0 20 1 0 0 16 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4062] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4063] ppid=4053 vsize=915460 CPUtime=0.04
/proc/4055/task/4063/stat : 4063 (java) S 4053 4055 3878 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.91
Current children cumulated vsize (KiB) 915460
[startup+1783.59 s]
/proc/loadavg: 2.02 2.02 1.89 3/100 4303
/proc/meminfo: memFree=1346880/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=1782.92
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9670 0 1 0 178271 21 0 0 25 0 8 0 158587111 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812559 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228865 9405 2524 14 0 215335 0
[pid=4055/tid=4057] ppid=4053 vsize=915460 CPUtime=0.03
/proc/4055/task/4057/stat : 4057 (java) S 4053 4055 3878 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587115 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4058] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4058/stat : 4058 (java) S 4053 4055 3878 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4059] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 4053 4055 3878 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4060] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4061] ppid=4053 vsize=915460 CPUtime=0.21
/proc/4055/task/4061/stat : 4061 (java) S 4053 4055 3878 0 -1 64 400 0 0 0 20 1 0 0 16 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4062] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4063] ppid=4053 vsize=915460 CPUtime=0.04
/proc/4055/task/4063/stat : 4063 (java) S 4053 4055 3878 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.92
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.76 s]
/proc/loadavg: 2.02 2.02 1.90 3/100 4303
/proc/meminfo: memFree=1346880/2055920 swapFree=4182236/4192956
[pid=4055] ppid=4053 vsize=915460 CPUtime=1800.1
/proc/4055/stat : 4055 (java) R 4053 4055 3878 0 -1 0 9670 0 1 0 179988 22 0 0 25 0 8 0 158587111 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4055/statm: 228865 9405 2524 14 0 215335 0
[pid=4055/tid=4057] ppid=4053 vsize=915460 CPUtime=0.03
/proc/4055/task/4057/stat : 4057 (java) S 4053 4055 3878 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 158587115 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4058] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4058/stat : 4058 (java) S 4053 4055 3878 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4059] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4059/stat : 4059 (java) S 4053 4055 3878 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158587116 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4060] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4060/stat : 4060 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4061] ppid=4053 vsize=915460 CPUtime=0.21
/proc/4055/task/4061/stat : 4061 (java) S 4053 4055 3878 0 -1 64 400 0 0 0 20 1 0 0 16 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4055/tid=4062] ppid=4053 vsize=915460 CPUtime=0
/proc/4055/task/4062/stat : 4062 (java) S 4053 4055 3878 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4055/tid=4063] ppid=4053 vsize=915460 CPUtime=0.04
/proc/4055/task/4063/stat : 4063 (java) S 4053 4055 3878 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 158587119 937431040 9405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.81
CPU time (s): 1800.16
CPU user time (s): 1799.93
CPU system time (s): 0.226965
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.226965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9688
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= 37273
involuntary context switches= 42214
runsolver used 2.01769 s user time and 4.83926 s system time
The end
Begin job on node14 on Sat Jan 6 16:45:07 UTC 2007
IDJOB= 194452
IDBENCH= 3215
FILE ID= node14/194452-1168101904
PBS_JOBID= 3477051
Free space on /tmp= 66330 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-14_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194452-1168101904/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-194452-1168101904 -o ROOT/results/node14/solver-194452-1168101904 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194452-1168101904/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b693e6ce086cbc963d32ce1c1b817361
RANDOM SEED= 252315140
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: 1406328 kB
Buffers: 62252 kB
Cached: 434668 kB
SwapCached: 3696 kB
Active: 182828 kB
Inactive: 366860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1406328 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 2124 kB
Writeback: 0 kB
Mapped: 62168 kB
Slab: 85072 kB
Committed_AS: 4815820 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= 66328 MiB
End job on node14 on Sat Jan 6 17:15:23 UTC 2007