0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=esac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/200066-1168140310/unknown.xml
0.45
0.45 domains being loaded...
0.46
0.46 variables being loaded...
0.50 nbVariables=56 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.50 => wckTime=0.117 cpuTime=0.1 mem=6M951
0.50
0.50 relations being loaded...
0.69
0.69 constraints being loaded...
0.87 nbConstraints=517 nbRelationTypes=517 nbExtensionStructures=517 nbSharedExtensionStructures=0
0.87 nbConflictsStructures=517 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1040 maxDegree=27
0.87 maxArity=2
0.87 => wckTime=0.491 cpuTime=0.36 mem=20M653
0.92
0.92 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.721 cpuTime=0.5 mem=15M853
1.23
1.23 preprocessing
1.23 nbConstraintChecks=134966 nbPropagations=1305 nbRevisions=11740 nbUselessRevisions=10031 nbSingletonTests=66
1.23 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.23 => wckTime=0.128 cpuTime=0.04 mem=15M853
1.27
1.27 search
1.27 run=0 nbConstraintChecks=60973 nbPropagations=1951 nbRevisions=20054 nbUselessRevisions=16927 nbAssignments=32
1.27 nbFailedAssignments=9 nbBacktracks=12 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.27 nbTooLargeKeys=0
1.27 => wckTime=0.168 cpuTime=0.06 mem=15M853
1.30
1.30 search
1.30 run=1 nbConstraintChecks=179043 nbPropagations=5214 nbRevisions=54935 nbUselessRevisions=46307
1.30 nbAssignments=99 nbFailedAssignments=22 nbBacktracks=33 nbVisitedNodes=115 nbRestartNogoods=4 mapSize=25
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.198 cpuTime=0.09 mem=15M853
1.32
1.32 search
1.32 run=2 nbConstraintChecks=265365 nbPropagations=9429 nbRevisions=102931 nbUselessRevisions=86644
1.32 nbAssignments=147 nbFailedAssignments=35 nbBacktracks=57 nbVisitedNodes=188 nbRestartNogoods=5 mapSize=44
1.32 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.215 cpuTime=0.1 mem=15M853
1.36
1.36 search
1.36 run=3 nbConstraintChecks=387836 nbPropagations=15140 nbRevisions=172207 nbUselessRevisions=144666
1.36 nbAssignments=216 nbFailedAssignments=57 nbBacktracks=91 nbVisitedNodes=299 nbRestartNogoods=7 mapSize=71
1.36 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.252 cpuTime=0.13 mem=15M853
1.39
1.39 search
1.39 run=4 nbConstraintChecks=565807 nbPropagations=22874 nbRevisions=271774 nbUselessRevisions=227641
1.39 nbAssignments=313 nbFailedAssignments=92 nbBacktracks=141 nbVisitedNodes=458 nbRestartNogoods=10 mapSize=111
1.39 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.287 cpuTime=0.16 mem=15M853
1.45
1.45 search
1.45 run=5 nbConstraintChecks=870408 nbPropagations=33731 nbRevisions=414786 nbUselessRevisions=345901
1.45 nbAssignments=456 nbFailedAssignments=128 nbBacktracks=216 nbVisitedNodes=663 nbRestartNogoods=14 mapSize=167
1.45 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.341 cpuTime=0.21 mem=15M853
1.53
1.53 search
1.53 run=6 nbConstraintChecks=1354161 nbPropagations=50085 nbRevisions=635162 nbUselessRevisions=528312
1.53 nbAssignments=699 nbFailedAssignments=190 nbBacktracks=330 nbVisitedNodes=990 nbRestartNogoods=22 mapSize=264
1.53 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.424 cpuTime=0.29 mem=15M853
1.64
1.64 search
1.64 run=7 nbConstraintChecks=1832621 nbPropagations=71971 nbRevisions=942518 nbUselessRevisions=782571
1.64 nbAssignments=987 nbFailedAssignments=292 nbBacktracks=501 nbVisitedNodes=1465 nbRestartNogoods=28 mapSize=389
1.64 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.534 cpuTime=0.38 mem=15M853
1.86
1.86 search
1.86 run=8 nbConstraintChecks=2663596 nbPropagations=103243 nbRevisions=1394301 nbUselessRevisions=1155071
1.86 nbAssignments=1433 nbFailedAssignments=471 nbBacktracks=757 nbVisitedNodes=2237 nbRestartNogoods=36
1.86 mapSize=604 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.751 cpuTime=0.52 mem=16M828
2.17
2.17 search
2.17 run=9 nbConstraintChecks=3804428 nbPropagations=147680 nbRevisions=2058348 nbUselessRevisions=1703263
2.17 nbAssignments=2067 nbFailedAssignments=711 nbBacktracks=1141 nbVisitedNodes=3331 nbRestartNogoods=41
2.17 mapSize=927 nbInferences=0 nbTooLargeKeys=0
2.17 => wckTime=1.067 cpuTime=0.72 mem=16M828
2.23
2.23 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=16M828)
2.51
2.51 search
2.51 run=10 nbConstraintChecks=5276547 nbPropagations=210586 nbRevisions=3001546 nbUselessRevisions=2480964
2.51 nbAssignments=2980 nbFailedAssignments=1035 nbBacktracks=1720 nbVisitedNodes=4871 nbRestartNogoods=46
2.51 => wckTime=1.41 cpuTime=0.97 mem=16M828
3.04
3.04 search
3.04 run=11 nbConstraintChecks=7627560 nbPropagations=301339 nbRevisions=4389827 nbUselessRevisions=3627089
3.04 nbAssignments=4387 nbFailedAssignments=1562 nbBacktracks=2587 nbVisitedNodes=7258 nbRestartNogoods=50
3.04 => wckTime=1.939 cpuTime=1.35 mem=16M828
3.82
3.82 search
3.82 run=12 nbConstraintChecks=11443800 nbPropagations=437508 nbRevisions=6490414 nbUselessRevisions=5359888
3.82 nbAssignments=6602 nbFailedAssignments=2466 nbBacktracks=3886 nbVisitedNodes=11078 nbRestartNogoods=55
3.82 => wckTime=2.718 cpuTime=1.96 mem=16M828
4.96
4.96 search
4.96 run=13 nbConstraintChecks=17084873 nbPropagations=635922 nbRevisions=9572173 nbUselessRevisions=7897667
4.96 nbAssignments=9622 nbFailedAssignments=3523 nbBacktracks=5834 nbVisitedNodes=16124 nbRestartNogoods=63
4.96 => wckTime=3.859 cpuTime=2.82 mem=16M828
6.94
6.94 search
6.94 run=14 nbConstraintChecks=26507150 nbPropagations=933935 nbRevisions=14208364 nbUselessRevisions=11706581
6.94 nbAssignments=14339 nbFailedAssignments=5287 nbBacktracks=8753 nbVisitedNodes=24130 nbRestartNogoods=73
6.94 => wckTime=5.834 cpuTime=4.23 mem=16M828
9.52
9.52 search
9.52 run=15 nbConstraintChecks=39426046 nbPropagations=1379310 nbRevisions=21126162 nbUselessRevisions=17380699
9.52 nbAssignments=21390 nbFailedAssignments=7949 nbBacktracks=13131 nbVisitedNodes=36176 nbRestartNogoods=82
9.52 => wckTime=8.417 cpuTime=6.23 mem=16M828
12.87
12.87 search
12.87 run=16 nbConstraintChecks=58926955 nbPropagations=2048107 nbRevisions=31583183 nbUselessRevisions=25972881
12.87 nbAssignments=31871 nbFailedAssignments=11804 nbBacktracks=19700 nbVisitedNodes=54030 nbRestartNogoods=97
12.87 => wckTime=11.767 cpuTime=9.21 mem=16M828
18.27
18.27 search
18.27 run=17 nbConstraintChecks=91279363 nbPropagations=3066540 nbRevisions=47570169 nbUselessRevisions=39098707
18.27 nbAssignments=47983 nbFailedAssignments=18052 nbBacktracks=29554 nbVisitedNodes=81669 nbRestartNogoods=109
18.28 => wckTime=17.171 cpuTime=13.95 mem=16M828
26.92
26.92 search
26.92 run=18 nbConstraintChecks=135061964 nbPropagations=4572353 nbRevisions=71288383 nbUselessRevisions=58586646
26.92 nbAssignments=71069 nbFailedAssignments=26350 nbBacktracks=44332 nbVisitedNodes=120669 nbRestartNogoods=116
26.92 => wckTime=25.819 cpuTime=20.62 mem=16M828
37.54
37.54 search
37.54 run=19 nbConstraintChecks=205042575 nbPropagations=6854364 nbRevisions=107472100 nbUselessRevisions=88345406
37.54 nbAssignments=107305 nbFailedAssignments=40406 nbBacktracks=66502 nbVisitedNodes=183224 nbRestartNogoods=128
37.54 => wckTime=36.439 cpuTime=30.59 mem=16M828
52.39
52.39 search
52.39 run=20 nbConstraintChecks=304393822 nbPropagations=10272584 nbRevisions=161903963 nbUselessRevisions=133170147
52.39 nbAssignments=161346 nbFailedAssignments=61182 nbBacktracks=99754 nbVisitedNodes=275708 nbRestartNogoods=140
52.39 => wckTime=51.282 cpuTime=44.81 mem=16M828
74.60
74.60 search
74.60 run=21 nbConstraintChecks=455162437 nbPropagations=15435690 nbRevisions=243957852 nbUselessRevisions=200768420
74.60 nbAssignments=242456 nbFailedAssignments=92404 nbBacktracks=149634 nbVisitedNodes=415524 nbRestartNogoods=152
74.60 => wckTime=73.5 cpuTime=66.29 mem=16M828
115.07
115.07 search
115.07 run=22 nbConstraintChecks=696789319 nbPropagations=23150098 nbRevisions=366608030 nbUselessRevisions=301664093
115.07 nbAssignments=361606 nbFailedAssignments=136726 nbBacktracks=224452 nbVisitedNodes=618429 nbRestartNogoods=160
115.07 => wckTime=113.968 cpuTime=100.88 mem=16M828
176.45
176.45 search
176.45 run=23 nbConstraintChecks=1046186303 nbPropagations=34776487 nbRevisions=550563088 nbUselessRevisions=452816232
176.45 nbAssignments=545835 nbFailedAssignments=208715 nbBacktracks=336680 nbVisitedNodes=934785 nbRestartNogoods=179
176.45 => wckTime=175.344 cpuTime=152.7 mem=16M828
252.00
252.01 search
252.01 run=24 nbConstraintChecks=1575584935 nbPropagations=52286232 nbRevisions=831585153 nbUselessRevisions=684363088
252.01 nbAssignments=824039 nbFailedAssignments=318565 nbBacktracks=505022 nbVisitedNodes=1415868 nbRestartNogoods=193
252.01 => wckTime=250.901 cpuTime=227.11 mem=16M828
354.10
354.10 search
354.10 run=25 nbConstraintChecks=2295497266 nbPropagations=78321366 nbRevisions=1245502214
354.10 nbUselessRevisions=1025226776 nbAssignments=1234179 nbFailedAssignments=476181 nbBacktracks=757533
354.10 nbVisitedNodes=2120020 nbRestartNogoods=207
354.10 => wckTime=352.998 cpuTime=328.67 mem=16M828
513.48
513.48 search
513.48 run=26 nbConstraintChecks=3454127397 nbPropagations=117211384 nbRevisions=1865734867
513.48 nbUselessRevisions=1536180961 nbAssignments=1843083 nbFailedAssignments=706303 nbBacktracks=1136303
513.48 nbVisitedNodes=3161262 nbRestartNogoods=225
513.48 => wckTime=512.373 cpuTime=487.26 mem=16M828
756.42
756.42 search
756.42 run=27 nbConstraintChecks=5194593103 nbPropagations=176072502 nbRevisions=2798907069
756.42 nbUselessRevisions=2304035731 nbAssignments=2776849 nbFailedAssignments=1071885 nbBacktracks=1704454
756.42 nbVisitedNodes=4773898 nbRestartNogoods=238
756.42 => wckTime=755.317 cpuTime=728.95 mem=16M828
1132.44
1132.44 search
1132.44 run=28 nbConstraintChecks=7942283064 nbPropagations=265015414 nbRevisions=4214853186
1132.44 nbUselessRevisions=3469559142 nbAssignments=4171947 nbFailedAssignments=1614745 nbBacktracks=2556680
1132.44 nbVisitedNodes=7178867 nbRestartNogoods=251
1132.44 => wckTime=1131.336 cpuTime=1103.05 mem=16M828
1667.75
1667.75 search
1667.75 run=29 nbConstraintChecks=11833831024 nbPropagations=397295070 nbRevisions=6317334435
1667.75 nbUselessRevisions=5199269070 nbAssignments=6212548 nbFailedAssignments=2376976 nbBacktracks=3835021
1667.75 nbVisitedNodes=10655560 nbRestartNogoods=268
1667.75 => wckTime=1666.643 cpuTime=1635.66 mem=16M828
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-200066-1168140310 -o ROOT/results/node19/solver-200066-1168140310 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200066-1168140310/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: 3.07 2.56 2.21 6/93 28369
/proc/meminfo: memFree=1239808/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=12076 CPUtime=0
/proc/28368/stat : 28368 (java) D 28366 28368 9950 0 -1 0 789 0 1 0 0 0 0 0 18 0 1 0 162425683 12365824 538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/28368/statm: 3019 538 443 14 0 1602 0
[startup+0.110487 s]
/proc/loadavg: 3.07 2.56 2.21 6/93 28369
/proc/meminfo: memFree=1239808/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=914988 CPUtime=0.08
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 2968 0 1 0 6 2 0 0 24 0 8 0 162425683 936947712 2714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153788138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28368/statm: 228747 2716 1420 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.518561 s]
/proc/loadavg: 3.07 2.56 2.21 6/93 28369
/proc/meminfo: memFree=1239808/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915328 CPUtime=0.41
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 6155 0 1 0 37 4 0 0 18 0 8 0 162425683 937295872 5894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28368/statm: 228832 5894 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.34372 s]
/proc/loadavg: 3.07 2.56 2.21 4/101 28452
/proc/meminfo: memFree=1207936/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=1.15
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10487 0 1 0 107 8 0 0 22 0 8 0 162425683 937529344 10225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28368/statm: 228889 10225 2524 14 0 215359 0
[pid=28368/tid=28378] ppid=28366 vsize=915556 CPUtime=0.04
/proc/28368/task/28378/stat : 28378 (java) S 28366 28368 9950 0 -1 64 495 0 0 0 4 0 0 0 17 0 8 0 162425687 937529344 10225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28382] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28382/stat : 28382 (java) S 28366 28368 9950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28383] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28383/stat : 28383 (java) S 28366 28368 9950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28386] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28386/stat : 28386 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162425691 937529344 10225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28387] ppid=28366 vsize=915556 CPUtime=0.23
/proc/28368/task/28387/stat : 28387 (java) S 28366 28368 9950 0 -1 64 385 0 0 0 23 0 0 0 15 0 8 0 162425691 937529344 10225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28388] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28388/stat : 28388 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162425691 937529344 10225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28389] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28389/stat : 28389 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162425691 937529344 10225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 915556
[startup+2.99103 s]
/proc/loadavg: 3.07 2.56 2.21 4/101 28582
/proc/meminfo: memFree=1207680/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=2.38
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10506 0 1 0 229 9 0 0 25 0 8 0 162425683 937529344 10243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28368/statm: 228889 10243 2524 14 0 215359 0
[pid=28368/tid=28378] ppid=28366 vsize=915556 CPUtime=0.04
/proc/28368/task/28378/stat : 28378 (java) S 28366 28368 9950 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 162425687 937529344 10243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28382] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28382/stat : 28382 (java) S 28366 28368 9950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28383] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28383/stat : 28383 (java) S 28366 28368 9950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28386] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28386/stat : 28386 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162425691 937529344 10243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28387] ppid=28366 vsize=915556 CPUtime=0.28
/proc/28368/task/28387/stat : 28387 (java) S 28366 28368 9950 0 -1 64 404 0 0 0 27 1 0 0 15 0 8 0 162425691 937529344 10243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28388] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28388/stat : 28388 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162425691 937529344 10243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28389] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28389/stat : 28389 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162425691 937529344 10243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 915556
[startup+6.28565 s]
/proc/loadavg: 3.07 2.57 2.21 3/101 29024
/proc/meminfo: memFree=1207168/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=4.81
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10508 0 1 0 472 9 0 0 25 0 8 0 162425683 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28368/statm: 228889 10244 2524 14 0 215359 0
[pid=28368/tid=28378] ppid=28366 vsize=915556 CPUtime=0.04
/proc/28368/task/28378/stat : 28378 (java) S 28366 28368 9950 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 162425687 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28382] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28382/stat : 28382 (java) S 28366 28368 9950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28383] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28383/stat : 28383 (java) S 28366 28368 9950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28386] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28386/stat : 28386 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162425691 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28387] ppid=28366 vsize=915556 CPUtime=0.28
/proc/28368/task/28387/stat : 28387 (java) S 28366 28368 9950 0 -1 64 406 0 0 0 27 1 0 0 16 0 8 0 162425691 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28388] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28388/stat : 28388 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162425691 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28389] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28389/stat : 28389 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162425691 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 915556
[startup+12.7799 s]
/proc/loadavg: 3.06 2.57 2.22 4/100 29661
/proc/meminfo: memFree=1205960/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=10.2
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10508 0 1 0 1011 9 0 0 25 0 8 0 162425683 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28368/statm: 228889 10244 2524 14 0 215359 0
[pid=28368/tid=28378] ppid=28366 vsize=915556 CPUtime=0.04
/proc/28368/task/28378/stat : 28378 (java) S 28366 28368 9950 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 162425687 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28382] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28382/stat : 28382 (java) S 28366 28368 9950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28383] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28383/stat : 28383 (java) S 28366 28368 9950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28386] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28386/stat : 28386 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162425691 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28387] ppid=28366 vsize=915556 CPUtime=0.28
/proc/28368/task/28387/stat : 28387 (java) S 28366 28368 9950 0 -1 64 406 0 0 0 27 1 0 0 16 0 8 0 162425691 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28388] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28388/stat : 28388 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162425691 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28389] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28389/stat : 28389 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162425691 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.2
Current children cumulated vsize (KiB) 915556
[startup+25.6411 s]
/proc/loadavg: 3.12 2.61 2.23 3/101 30736
/proc/meminfo: memFree=1204096/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=20.78
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10508 0 1 0 2068 10 0 0 25 0 8 0 162425683 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28368/statm: 228889 10244 2524 14 0 215359 0
[pid=28368/tid=28378] ppid=28366 vsize=915556 CPUtime=0.04
/proc/28368/task/28378/stat : 28378 (java) S 28366 28368 9950 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 162425687 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28382] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28382/stat : 28382 (java) S 28366 28368 9950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28383] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28383/stat : 28383 (java) S 28366 28368 9950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28386] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28386/stat : 28386 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162425691 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28387] ppid=28366 vsize=915556 CPUtime=0.28
/proc/28368/task/28387/stat : 28387 (java) S 28366 28368 9950 0 -1 64 406 0 0 0 27 1 0 0 16 0 8 0 162425691 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28388] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28388/stat : 28388 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162425691 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28389] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28389/stat : 28389 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162425691 937529344 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.78
Current children cumulated vsize (KiB) 915556
[startup+51.2729 s]
/proc/loadavg: 3.23 2.67 2.26 5/101 666
/proc/meminfo: memFree=1199424/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=44.78
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10509 0 1 0 4467 11 0 0 25 0 8 0 162425683 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854201 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28368/statm: 228889 10245 2524 14 0 215359 0
[pid=28368/tid=28378] ppid=28366 vsize=915556 CPUtime=0.04
/proc/28368/task/28378/stat : 28378 (java) S 28366 28368 9950 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 162425687 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28382] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28382/stat : 28382 (java) S 28366 28368 9950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28383] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28383/stat : 28383 (java) S 28366 28368 9950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28386] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28386/stat : 28386 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162425691 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28387] ppid=28366 vsize=915556 CPUtime=0.29
/proc/28368/task/28387/stat : 28387 (java) S 28366 28368 9950 0 -1 64 407 0 0 0 28 1 0 0 16 0 8 0 162425691 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28388] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28388/stat : 28388 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162425691 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28389] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28389/stat : 28389 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162425691 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 44.78
Current children cumulated vsize (KiB) 915556
[startup+102.518 s]
/proc/loadavg: 3.22 2.75 2.31 4/100 4969
/proc/meminfo: memFree=1187784/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=91.73
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10509 0 1 0 9160 13 0 0 25 0 8 0 162425683 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28368/statm: 228889 10245 2524 14 0 215359 0
[pid=28368/tid=28378] ppid=28366 vsize=915556 CPUtime=0.04
/proc/28368/task/28378/stat : 28378 (java) S 28366 28368 9950 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 162425687 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28382] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28382/stat : 28382 (java) S 28366 28368 9950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28383] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28383/stat : 28383 (java) S 28366 28368 9950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28386] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28386/stat : 28386 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162425691 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28387] ppid=28366 vsize=915556 CPUtime=0.29
/proc/28368/task/28387/stat : 28387 (java) S 28366 28368 9950 0 -1 64 407 0 0 0 28 1 0 0 16 0 8 0 162425691 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28388] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28388/stat : 28388 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162425691 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28389] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28389/stat : 28389 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162425691 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.73
Current children cumulated vsize (KiB) 915556
[startup+162.547 s]
/proc/loadavg: 3.16 2.83 2.36 4/101 10546
/proc/meminfo: memFree=1173248/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=141.11
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10509 0 1 0 14097 14 0 0 25 0 8 0 162425683 937529344 10245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1393.68
Current children cumulated vsize (KiB) 915556
[startup+1483.48 s]
/proc/loadavg: 2.00 2.02 2.09 3/95 13421
/proc/meminfo: memFree=1471368/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=1453.42
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10512 0 1 0 145319 23 0 0 25 0 8 0 162425683 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845132 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28368/statm: 228889 10246 2524 14 0 215359 0
[pid=28368/tid=28378] ppid=28366 vsize=915556 CPUtime=0.04
/proc/28368/task/28378/stat : 28378 (java) S 28366 28368 9950 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 162425687 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28382] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28382/stat : 28382 (java) S 28366 28368 9950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28383] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28383/stat : 28383 (java) S 28366 28368 9950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28386] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28386/stat : 28386 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28387] ppid=28366 vsize=915556 CPUtime=0.29
/proc/28368/task/28387/stat : 28387 (java) S 28366 28368 9950 0 -1 64 408 0 0 0 28 1 0 0 16 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28388] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28388/stat : 28388 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28389] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28389/stat : 28389 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1453.42
Current children cumulated vsize (KiB) 915556
[startup+1543.52 s]
/proc/loadavg: 2.16 2.05 2.10 3/95 13421
/proc/meminfo: memFree=1471304/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=1513.17
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10512 0 1 0 151294 23 0 0 25 0 8 0 162425683 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28368/statm: 228889 10246 2524 14 0 215359 0
[pid=28368/tid=28378] ppid=28366 vsize=915556 CPUtime=0.04
/proc/28368/task/28378/stat : 28378 (java) S 28366 28368 9950 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 162425687 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28382] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28382/stat : 28382 (java) S 28366 28368 9950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28383] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28383/stat : 28383 (java) S 28366 28368 9950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28386] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28386/stat : 28386 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28387] ppid=28366 vsize=915556 CPUtime=0.29
/proc/28368/task/28387/stat : 28387 (java) S 28366 28368 9950 0 -1 64 408 0 0 0 28 1 0 0 16 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28388] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28388/stat : 28388 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28389] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28389/stat : 28389 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1513.17
Current children cumulated vsize (KiB) 915556
[startup+1603.56 s]
/proc/loadavg: 2.09 2.05 2.09 3/96 13422
/proc/meminfo: memFree=1471360/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=1572.91
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10512 0 1 0 157268 23 0 0 25 0 8 0 162425683 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28368/statm: 228889 10246 2524 14 0 215359 0
[pid=28368/tid=28378] ppid=28366 vsize=915556 CPUtime=0.04
/proc/28368/task/28378/stat : 28378 (java) S 28366 28368 9950 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 162425687 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28382] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28382/stat : 28382 (java) S 28366 28368 9950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28383] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28383/stat : 28383 (java) S 28366 28368 9950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28386] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28386/stat : 28386 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28387] ppid=28366 vsize=915556 CPUtime=0.29
/proc/28368/task/28387/stat : 28387 (java) S 28366 28368 9950 0 -1 64 408 0 0 0 28 1 0 0 16 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28388] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28388/stat : 28388 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28389] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28389/stat : 28389 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1572.91
Current children cumulated vsize (KiB) 915556
[startup+1663.6 s]
/proc/loadavg: 2.03 2.04 2.08 3/96 13422
/proc/meminfo: memFree=1471296/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=1632.62
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10512 0 1 0 163239 23 0 0 25 0 8 0 162425683 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850461 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28368/statm: 228889 10246 2524 14 0 215359 0
[pid=28368/tid=28378] ppid=28366 vsize=915556 CPUtime=0.04
/proc/28368/task/28378/stat : 28378 (java) S 28366 28368 9950 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 162425687 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28382] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28382/stat : 28382 (java) S 28366 28368 9950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28383] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28383/stat : 28383 (java) S 28366 28368 9950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28386] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28386/stat : 28386 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28387] ppid=28366 vsize=915556 CPUtime=0.29
/proc/28368/task/28387/stat : 28387 (java) S 28366 28368 9950 0 -1 64 408 0 0 0 28 1 0 0 16 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28388] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28388/stat : 28388 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28389] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28389/stat : 28389 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1632.62
Current children cumulated vsize (KiB) 915556
[startup+1723.64 s]
/proc/loadavg: 2.01 2.03 2.08 3/96 13422
/proc/meminfo: memFree=1471232/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=1692.37
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10512 0 1 0 169213 24 0 0 25 0 8 0 162425683 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854384 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28368/statm: 228889 10246 2524 14 0 215359 0
[pid=28368/tid=28378] ppid=28366 vsize=915556 CPUtime=0.04
/proc/28368/task/28378/stat : 28378 (java) S 28366 28368 9950 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 162425687 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28382] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28382/stat : 28382 (java) S 28366 28368 9950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28383] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28383/stat : 28383 (java) S 28366 28368 9950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28386] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28386/stat : 28386 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28387] ppid=28366 vsize=915556 CPUtime=0.29
/proc/28368/task/28387/stat : 28387 (java) S 28366 28368 9950 0 -1 64 408 0 0 0 28 1 0 0 16 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28388] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28388/stat : 28388 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28389] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28389/stat : 28389 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1692.37
Current children cumulated vsize (KiB) 915556
[startup+1783.68 s]
/proc/loadavg: 2.00 2.02 2.07 3/96 13422
/proc/meminfo: memFree=1471296/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=1752.11
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10512 0 1 0 175187 24 0 0 25 0 8 0 162425683 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28368/statm: 228889 10246 2524 14 0 215359 0
[pid=28368/tid=28378] ppid=28366 vsize=915556 CPUtime=0.04
/proc/28368/task/28378/stat : 28378 (java) S 28366 28368 9950 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 162425687 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28382] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28382/stat : 28382 (java) S 28366 28368 9950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28383] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28383/stat : 28383 (java) S 28366 28368 9950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28386] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28386/stat : 28386 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28387] ppid=28366 vsize=915556 CPUtime=0.29
/proc/28368/task/28387/stat : 28387 (java) S 28366 28368 9950 0 -1 64 408 0 0 0 28 1 0 0 16 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28388] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28388/stat : 28388 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28389] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28389/stat : 28389 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1752.11
Current children cumulated vsize (KiB) 915556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1831.91 s]
/proc/loadavg: 2.00 2.02 2.07 3/96 13422
/proc/meminfo: memFree=1471232/2055920 swapFree=4171244/4192956
[pid=28368] ppid=28366 vsize=915556 CPUtime=1800.09
/proc/28368/stat : 28368 (java) R 28366 28368 9950 0 -1 0 10512 0 1 0 179985 24 0 0 25 0 8 0 162425683 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073872512 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28368/statm: 228889 10246 2524 14 0 215359 0
[pid=28368/tid=28378] ppid=28366 vsize=915556 CPUtime=0.04
/proc/28368/task/28378/stat : 28378 (java) S 28366 28368 9950 0 -1 64 495 0 0 0 4 0 0 0 16 0 8 0 162425687 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28382] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28382/stat : 28382 (java) S 28366 28368 9950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28383] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28383/stat : 28383 (java) S 28366 28368 9950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162425688 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28368/tid=28386] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28386/stat : 28386 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28387] ppid=28366 vsize=915556 CPUtime=0.29
/proc/28368/task/28387/stat : 28387 (java) S 28366 28368 9950 0 -1 64 408 0 0 0 28 1 0 0 16 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28388] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28388/stat : 28388 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28368/tid=28389] ppid=28366 vsize=915556 CPUtime=0
/proc/28368/task/28389/stat : 28389 (java) S 28366 28368 9950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162425691 937529344 10246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1831.93
CPU time (s): 1800.12
CPU user time (s): 1799.87
CPU system time (s): 0.253961
CPU usage (%): 98.2637
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.253961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10529
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= 38305
involuntary context switches= 99007
runsolver used 2.22366 s user time and 5.13722 s system time
The end
Begin job on node19 on Sun Jan 7 03:25:10 UTC 2007
IDJOB= 200066
IDBENCH= 3687
FILE ID= node19/200066-1168140310
PBS_JOBID= 3477811
Free space on /tmp= 66295 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb56-25/frb56-25-1-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200066-1168140310/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-200066-1168140310 -o ROOT/results/node19/solver-200066-1168140310 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200066-1168140310/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 891289d8273735777c28a9406e4a8bdc
RANDOM SEED= 198348511
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.260
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.260
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: 1240216 kB
Buffers: 64184 kB
Cached: 358776 kB
SwapCached: 10472 kB
Active: 455464 kB
Inactive: 294620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1240216 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 2888 kB
Writeback: 0 kB
Mapped: 337408 kB
Slab: 49344 kB
Committed_AS: 4232872 kB
PageTables: 3236 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= 66315 MiB
End job on node19 on Sun Jan 7 03:55:43 UTC 2007