0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/195974-1168117121/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.43 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
1.05
1.05 constraints being loaded...
1.32 nbConstraints=76 nbRelationTypes=76 nbExtensionStructures=76 nbSharedExtensionStructures=0
1.32 nbConflictsStructures=76 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.32 => wckTime=0.985 cpuTime=0.85 mem=50M860
1.44
1.44 solver IterativeSystematicSolver being built...
1.60 => wckTime=1.268 cpuTime=0.99 mem=35M596
1.70
1.70 preprocessing
1.70 nbConstraintChecks=32827 nbValidityChecks=51820 nbPropagations=204 nbRevisions=2105 nbUselessRevisions=1825
1.70 nbSingletonTests=34 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.71 => wckTime=0.101 cpuTime=0.07 mem=35M596
1.75
1.75 search
1.75 run=0 nbConstraintChecks=22554 nbValidityChecks=43033 nbPropagations=434 nbRevisions=4618
1.76 nbUselessRevisions=3850 nbAssignments=21 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=33
1.76 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.152 cpuTime=0.11 mem=35M596
1.87
1.87 search
1.87 run=1 nbConstraintChecks=87374 nbValidityChecks=185049 nbPropagations=1604 nbRevisions=17209
1.87 nbUselessRevisions=14052 nbAssignments=79 nbFailedAssignments=33 nbBacktracks=25 nbVisitedNodes=119
1.87 nbRestartNogoods=3 mapSize=20 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.263 cpuTime=0.22 mem=35M596
2.03
2.03 search
2.03 run=2 nbConstraintChecks=183894 nbValidityChecks=377539 nbPropagations=3720 nbRevisions=40796
2.03 nbUselessRevisions=32928 nbAssignments=167 nbFailedAssignments=81 nbBacktracks=48 nbVisitedNodes=260
2.03 nbRestartNogoods=14 mapSize=39 nbInferences=0 nbTooLargeKeys=0
2.03 => wckTime=0.427 cpuTime=0.37 mem=35M596
2.18
2.18 search
2.18 run=3 nbConstraintChecks=283050 nbValidityChecks=576788 nbPropagations=6866 nbRevisions=77359
2.18 nbUselessRevisions=62165 nbAssignments=268 nbFailedAssignments=135 nbBacktracks=82 nbVisitedNodes=429
2.18 nbRestartNogoods=19 mapSize=72 nbInferences=0 nbTooLargeKeys=0
2.18 => wckTime=0.574 cpuTime=0.51 mem=35M596
2.40
2.40 search
2.40 run=4 nbConstraintChecks=427961 nbValidityChecks=858428 nbPropagations=11561 nbRevisions=131533
2.40 nbUselessRevisions=105029 nbAssignments=399 nbFailedAssignments=210 nbBacktracks=133 nbVisitedNodes=668
2.40 nbRestartNogoods=21 mapSize=112 nbInferences=0 nbTooLargeKeys=0
2.40 => wckTime=0.797 cpuTime=0.72 mem=35M596
2.70
2.70 search
2.70 run=5 nbConstraintChecks=633589 nbValidityChecks=1267847 nbPropagations=18385 nbRevisions=212634
2.70 nbUselessRevisions=169241 nbAssignments=585 nbFailedAssignments=315 nbBacktracks=208 nbVisitedNodes=1011
2.70 nbRestartNogoods=26 mapSize=185 nbInferences=0 nbTooLargeKeys=0
2.70 => wckTime=1.101 cpuTime=1.02 mem=35M596
3.16
3.16 search
3.16 run=6 nbConstraintChecks=961794 nbValidityChecks=1931040 nbPropagations=28864 nbRevisions=339442
3.16 nbUselessRevisions=269111 nbAssignments=873 nbFailedAssignments=484 nbBacktracks=322 nbVisitedNodes=1552
3.16 nbRestartNogoods=32 mapSize=293 nbInferences=0 nbTooLargeKeys=0
3.16 => wckTime=1.558 cpuTime=1.47 mem=35M596
3.83
3.83 search
3.83 run=7 nbConstraintChecks=1423520 nbValidityChecks=2838460 nbPropagations=44672 nbRevisions=525805
3.83 nbUselessRevisions=415481 nbAssignments=1249 nbFailedAssignments=682 nbBacktracks=495 nbVisitedNodes=2243
3.83 nbRestartNogoods=36 mapSize=442 nbInferences=0 nbTooLargeKeys=0
3.83 => wckTime=2.23 cpuTime=2.13 mem=35M596
4.69
4.69 search
4.69 run=8 nbConstraintChecks=1989700 nbValidityChecks=4035993 nbPropagations=67926 nbRevisions=799674
4.69 nbUselessRevisions=630154 nbAssignments=1891 nbFailedAssignments=1061 nbBacktracks=753 nbVisitedNodes=3429
4.69 nbRestartNogoods=46 mapSize=665 nbInferences=0 nbTooLargeKeys=0
4.69 => wckTime=3.086 cpuTime=2.94 mem=35M596
6.03
6.03 search
6.03 run=9 nbConstraintChecks=2948135 nbValidityChecks=5923607 nbPropagations=101541 nbRevisions=1198445
6.03 nbUselessRevisions=942872 nbAssignments=2747 nbFailedAssignments=1526 nbBacktracks=1137 nbVisitedNodes=4987
6.03 nbRestartNogoods=52 mapSize=988 nbInferences=0 nbTooLargeKeys=0
6.03 => wckTime=4.426 cpuTime=4.26 mem=35M596
6.22
6.22 INFO : Stopping hyperNogood (mapSize=1047, nbTooLargekeys=0, mem=35M596)
8.03
8.03 search
8.03 run=10 nbConstraintChecks=4418065 nbValidityChecks=8979690 nbPropagations=154282 nbRevisions=1821694
8.03 nbUselessRevisions=1430785 nbAssignments=4267 nbFailedAssignments=2453 nbBacktracks=1716 nbVisitedNodes=7837
8.03 nbRestartNogoods=59
8.03 => wckTime=6.427 cpuTime=6.23 mem=35M596
10.40
10.40 search
10.40 run=11 nbConstraintChecks=6236691 nbValidityChecks=12532889 nbPropagations=226377 nbRevisions=2687793
10.40 nbUselessRevisions=2114765 nbAssignments=6071 nbFailedAssignments=3386 nbBacktracks=2582 nbVisitedNodes=11088
10.40 nbRestartNogoods=62
10.40 => wckTime=8.794 cpuTime=8.58 mem=35M596
14.60
14.60 search
14.60 run=12 nbConstraintChecks=9327175 nbValidityChecks=18892374 nbPropagations=336764 nbRevisions=4012395
14.60 nbUselessRevisions=3163844 nbAssignments=9402 nbFailedAssignments=5380 nbBacktracks=3879 nbVisitedNodes=17238
14.60 nbRestartNogoods=79
14.60 => wckTime=13.002 cpuTime=12.75 mem=35M596
22.64
22.64 search
22.64 run=13 nbConstraintChecks=15168724 nbValidityChecks=30636607 nbPropagations=510093 nbRevisions=6125882
22.64 nbUselessRevisions=4833199 nbAssignments=14146 nbFailedAssignments=8172 nbBacktracks=5826 nbVisitedNodes=26122
22.64 nbRestartNogoods=97
22.64 => wckTime=21.04 cpuTime=20.71 mem=35M596
35.59
35.59 search
35.59 run=14 nbConstraintChecks=24920392 nbValidityChecks=49479464 nbPropagations=783019 nbRevisions=9414674
35.59 nbUselessRevisions=7422501 nbAssignments=21528 nbFailedAssignments=12628 nbBacktracks=8747 nbVisitedNodes=40004
35.59 nbRestartNogoods=105
35.59 => wckTime=33.988 cpuTime=33.54 mem=35M596
51.93
51.93 search
51.93 run=15 nbConstraintChecks=36760670 nbValidityChecks=73516857 nbPropagations=1204869 nbRevisions=14356831
51.93 nbUselessRevisions=11296466 nbAssignments=32933 nbFailedAssignments=19650 nbBacktracks=13125
51.93 nbVisitedNodes=61473 nbRestartNogoods=115
51.93 => wckTime=50.323 cpuTime=49.7 mem=35M596
73.84
73.85 search
73.85 run=16 nbConstraintChecks=53015512 nbValidityChecks=107105075 nbPropagations=1842713 nbRevisions=21772952
73.85 nbUselessRevisions=17095790 nbAssignments=51407 nbFailedAssignments=31549 nbBacktracks=19693
73.85 nbVisitedNodes=96428 nbRestartNogoods=124
73.85 => wckTime=72.242 cpuTime=71.4 mem=35M596
113.45
113.45 search
113.45 run=17 nbConstraintChecks=82824196 nbValidityChecks=163863042 nbPropagations=2778121 nbRevisions=32900163
113.45 nbUselessRevisions=25868643 nbAssignments=75166 nbFailedAssignments=45440 nbBacktracks=29545
113.45 nbVisitedNodes=140509 nbRestartNogoods=137
113.45 => wckTime=111.847 cpuTime=110.62 mem=35M596
159.60
159.60 search
159.60 run=18 nbConstraintChecks=118367305 nbValidityChecks=231582734 nbPropagations=4077435 nbRevisions=48640661
159.60 nbUselessRevisions=38351624 nbAssignments=105708 nbFailedAssignments=61197 nbBacktracks=44323
159.60 nbVisitedNodes=195824 nbRestartNogoods=159
159.60 => wckTime=157.999 cpuTime=156.29 mem=35M596
240.55
240.55 search
240.55 run=19 nbConstraintChecks=178631954 nbValidityChecks=352665075 nbPropagations=6117921 nbRevisions=72882930
240.55 nbUselessRevisions=57463938 nbAssignments=164101 nbFailedAssignments=97416 nbBacktracks=66492
240.55 nbVisitedNodes=305516 nbRestartNogoods=169
240.55 => wckTime=238.945 cpuTime=236.35 mem=35M596
362.59
362.59 search
362.59 run=20 nbConstraintChecks=271198253 nbValidityChecks=530511682 nbPropagations=9110773 nbRevisions=108799271
362.59 nbUselessRevisions=85851785 nbAssignments=239680 nbFailedAssignments=139736 nbBacktracks=99745
362.59 nbVisitedNodes=445438 nbRestartNogoods=185
362.59 => wckTime=360.985 cpuTime=357.2 mem=35M596
535.54
535.54 search
535.54 run=21 nbConstraintChecks=399539928 nbValidityChecks=785394283 nbPropagations=13565304 nbRevisions=162190354
535.54 nbUselessRevisions=128065515 nbAssignments=359581 nbFailedAssignments=209752 nbBacktracks=149624
535.54 nbVisitedNodes=668094 nbRestartNogoods=203
535.54 => wckTime=533.937 cpuTime=528.47 mem=35M596
820.76
820.76 search
820.76 run=22 nbConstraintChecks=610799568 nbValidityChecks=1211366202 nbPropagations=20473324 nbRevisions=245155118
820.76 nbUselessRevisions=193480057 nbAssignments=551503 nbFailedAssignments=326841 nbBacktracks=224442
820.76 nbVisitedNodes=1029306 nbRestartNogoods=228
820.76 => wckTime=819.161 cpuTime=810.88 mem=35M596
1206.79
1206.79 search
1206.79 run=23 nbConstraintChecks=907706966 nbValidityChecks=1771170728 nbPropagations=30304049 nbRevisions=364695422
1206.79 nbUselessRevisions=288188485 nbAssignments=790192 nbFailedAssignments=453299 nbBacktracks=336669
1206.79 nbVisitedNodes=1464768 nbRestartNogoods=243
1206.79 => wckTime=1205.19 cpuTime=1193.14 mem=35M596
1394.30
1394.30 search
1394.30 run=24 nbConstraintChecks=1048283818 nbValidityChecks=2051754608 nbPropagations=41775783 nbRevisions=504036977
1394.30 nbUselessRevisions=398382875 nbAssignments=919430 nbFailedAssignments=533390 nbBacktracks=385792
1394.30 nbVisitedNodes=1708845 nbRestartNogoods=281
1394.30 => wckTime=1392.695 cpuTime=1378.82 mem=35M596
1394.30
1394.30 global
1394.30 nbConstraintChecks=1048316645 nbValidityChecks=2051806428 nbPropagations=41775987 nbRevisions=504039082
1394.30 nbUselessRevisions=398384700 nbRestartNogoods=281 solvingWckTime=1392.696 solvingCpuTime=1378.82 expiredTime=no
1394.30 totalExploration=no nbFoundSolutions=1 globalCpuTime=1379.86
1394.30 => wckTime=1393.967 cpuTime=1379.81 mem=35M596
1394.30
1394.30 s SATISFIABLE
1394.30 v 23 21 15 5 6 22 1 19 18 6 2 22 22 8 5 16 2 10 15 17 19 15 9 18
1394.30 d NODES 919430
1394.30 d CHECKS 1048316645
1394.30
1394.30 totalWckTime=1394.045 totalCpuTime=1379.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-195974-1168117121 -o ROOT/results/node29/solver-195974-1168117121 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195974-1168117121/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.92 0.98 1.21 4/82 28938
/proc/meminfo: memFree=1833184/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=18540 CPUtime=0
/proc/28937/stat : 28937 (runsolver) R 28934 28937 28808 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 160106363 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221780700455 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/28937/statm: 4635 279 244 17 0 2626 0
[startup+0.103574 s]
/proc/loadavg: 0.92 0.98 1.21 4/82 28938
/proc/meminfo: memFree=1833184/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=907808 CPUtime=0.05
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 2503 0 1 0 4 1 0 0 20 0 4 0 160106363 929595392 2250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020566 0 4 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 226952 2250 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.511596 s]
/proc/loadavg: 0.92 0.98 1.21 4/82 28938
/proc/meminfo: memFree=1833184/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915328 CPUtime=0.46
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 7277 0 1 0 41 5 0 0 19 0 8 0 160106363 937295872 7016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073556462 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228832 7016 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33365 s]
/proc/loadavg: 0.92 0.98 1.21 4/101 28964
/proc/meminfo: memFree=1741640/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=1.26
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 19141 0 1 0 116 10 0 0 25 0 8 0 160106363 937390080 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228855 18878 2169 14 0 215325 0
[pid=28937/tid=28950] ppid=28934 vsize=915420 CPUtime=0.06
/proc/28937/task/28950/stat : 28950 (java) R 28934 28937 28808 0 -1 64 2653 0 0 0 5 1 0 0 16 0 8 0 160106370 937390080 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28952] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28952/stat : 28952 (java) S 28934 28937 28808 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28953] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28953/stat : 28953 (java) S 28934 28937 28808 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28954] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.09
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 323 0 0 0 9 0 0 0 16 0 8 0 160106374 937390080 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 18878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915420
[startup+2.97976 s]
/proc/loadavg: 0.92 0.98 1.21 3/101 28964
/proc/meminfo: memFree=1715592/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=2.89
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 23565 0 1 0 276 13 0 0 25 0 8 0 160106363 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755161 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228855 23301 2531 14 0 215325 0
[pid=28937/tid=28950] ppid=28934 vsize=915420 CPUtime=0.15
/proc/28937/task/28950/stat : 28950 (java) S 28934 28937 28808 0 -1 64 6584 0 0 0 13 2 0 0 17 0 8 0 160106370 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28952] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28952/stat : 28952 (java) S 28934 28937 28808 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28953] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28953/stat : 28953 (java) S 28934 28937 28808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160106370 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28954] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.2
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 372 0 0 0 19 1 0 0 15 0 8 0 160106374 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915420
[startup+6.18596 s]
/proc/loadavg: 1.01 1.00 1.21 3/101 28964
/proc/meminfo: memFree=1712344/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=6.04
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 23581 0 1 0 590 14 0 0 25 0 8 0 160106363 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228855 23314 2531 14 0 215325 0
[pid=28937/tid=28950] ppid=28934 vsize=915420 CPUtime=0.15
/proc/28937/task/28950/stat : 28950 (java) S 28934 28937 28808 0 -1 64 6584 0 0 0 13 2 0 0 17 0 8 0 160106370 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28952] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28952/stat : 28952 (java) S 28934 28937 28808 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28953] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28953/stat : 28953 (java) S 28934 28937 28808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160106370 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28954] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.23
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 386 0 0 0 22 1 0 0 15 0 8 0 160106374 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 23314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 915420
[startup+12.6584 s]
/proc/loadavg: 1.09 1.02 1.22 3/101 28964
/proc/meminfo: memFree=1712544/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=12.45
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 23585 0 1 0 1231 14 0 0 25 0 8 0 160106363 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228855 23317 2531 14 0 215325 0
[pid=28937/tid=28950] ppid=28934 vsize=915420 CPUtime=0.15
/proc/28937/task/28950/stat : 28950 (java) S 28934 28937 28808 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 160106370 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28952] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28952/stat : 28952 (java) S 28934 28937 28808 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28953] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28953/stat : 28953 (java) S 28934 28937 28808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160106370 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28954] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.23
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 160106374 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 915420
[startup+25.5201 s]
/proc/loadavg: 1.29 1.06 1.23 3/101 28964
/proc/meminfo: memFree=1712736/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=25.18
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 23585 0 1 0 2504 14 0 0 25 0 8 0 160106363 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228855 23317 2531 14 0 215325 0
[pid=28937/tid=28950] ppid=28934 vsize=915420 CPUtime=0.15
/proc/28937/task/28950/stat : 28950 (java) S 28934 28937 28808 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 160106370 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28952] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28952/stat : 28952 (java) S 28934 28937 28808 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28953] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28953/stat : 28953 (java) S 28934 28937 28808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160106370 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28954] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.23
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 160106374 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 23317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 915420
[startup+51.1387 s]
/proc/loadavg: 1.53 1.14 1.25 3/101 28964
/proc/meminfo: memFree=1712864/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=50.55
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 23587 0 1 0 5040 15 0 0 25 0 8 0 160106363 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754292 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228855 23318 2531 14 0 215325 0
[pid=28937/tid=28950] ppid=28934 vsize=915420 CPUtime=0.15
/proc/28937/task/28950/stat : 28950 (java) S 28934 28937 28808 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28952] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28952/stat : 28952 (java) S 28934 28937 28808 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28953] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28953/stat : 28953 (java) S 28934 28937 28808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28954] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.23
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 915420
[startup+102.372 s]
/proc/loadavg: 1.79 1.27 1.28 4/101 28964
/proc/meminfo: memFree=1712928/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=101.28
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 23587 0 1 0 10113 15 0 0 25 0 8 0 160106363 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228855 23318 2531 14 0 215325 0
[pid=28937/tid=28950] ppid=28934 vsize=915420 CPUtime=0.15
/proc/28937/task/28950/stat : 28950 (java) S 28934 28937 28808 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28952] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28952/stat : 28952 (java) S 28934 28937 28808 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28953] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28953/stat : 28953 (java) S 28934 28937 28808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28954] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.23
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.28
Current children cumulated vsize (KiB) 915420
[startup+162.385 s]
/proc/loadavg: 1.92 1.40 1.33 3/107 29066
/proc/meminfo: memFree=1711136/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=160.67
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 23587 0 1 0 16045 22 0 0 25 0 8 0 160106363 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759256 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.23
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 933.25
Current children cumulated vsize (KiB) 915420
[startup+1002.68 s]
/proc/loadavg: 2.02 1.97 1.71 3/101 29162
/proc/meminfo: memFree=1711264/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=992.66
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 23587 0 1 0 99231 35 0 0 25 0 8 0 160106363 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228855 23318 2531 14 0 215325 0
[pid=28937/tid=28950] ppid=28934 vsize=915420 CPUtime=0.15
/proc/28937/task/28950/stat : 28950 (java) S 28934 28937 28808 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28952] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28952/stat : 28952 (java) S 28934 28937 28808 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28953] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28953/stat : 28953 (java) S 28934 28937 28808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28954] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.23
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 992.66
Current children cumulated vsize (KiB) 915420
[startup+1062.69 s]
/proc/loadavg: 2.01 1.97 1.73 3/101 29162
/proc/meminfo: memFree=1711136/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=1052.09
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 23587 0 1 0 105174 35 0 0 25 0 8 0 160106363 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228855 23318 2531 14 0 215325 0
[pid=28937/tid=28950] ppid=28934 vsize=915420 CPUtime=0.15
/proc/28937/task/28950/stat : 28950 (java) S 28934 28937 28808 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28952] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28952/stat : 28952 (java) S 28934 28937 28808 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28953] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28953/stat : 28953 (java) S 28934 28937 28808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28954] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.23
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1052.09
Current children cumulated vsize (KiB) 915420
[startup+1122.71 s]
/proc/loadavg: 2.00 1.97 1.74 3/101 29162
/proc/meminfo: memFree=1711072/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=1111.52
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 23587 0 1 0 111117 35 0 0 25 0 8 0 160106363 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228855 23318 2531 14 0 215325 0
[pid=28937/tid=28950] ppid=28934 vsize=915420 CPUtime=0.15
/proc/28937/task/28950/stat : 28950 (java) S 28934 28937 28808 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28952] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28952/stat : 28952 (java) S 28934 28937 28808 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28953] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28953/stat : 28953 (java) S 28934 28937 28808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28954] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.23
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1111.52
Current children cumulated vsize (KiB) 915420
[startup+1182.73 s]
/proc/loadavg: 2.00 1.97 1.75 3/101 29164
/proc/meminfo: memFree=1710048/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=1170.93
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 23587 0 1 0 117058 35 0 0 25 0 8 0 160106363 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228855 23318 2531 14 0 215325 0
[pid=28937/tid=28950] ppid=28934 vsize=915420 CPUtime=0.15
/proc/28937/task/28950/stat : 28950 (java) S 28934 28937 28808 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28952] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28952/stat : 28952 (java) S 28934 28937 28808 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28953] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28953/stat : 28953 (java) S 28934 28937 28808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28954] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.23
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1170.93
Current children cumulated vsize (KiB) 915420
[startup+1242.75 s]
/proc/loadavg: 2.04 1.99 1.77 3/101 29164
/proc/meminfo: memFree=1709984/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=1230.38
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 23587 0 1 0 123002 36 0 0 25 0 8 0 160106363 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228855 23318 2531 14 0 215325 0
[pid=28937/tid=28950] ppid=28934 vsize=915420 CPUtime=0.15
/proc/28937/task/28950/stat : 28950 (java) S 28934 28937 28808 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28952] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28952/stat : 28952 (java) S 28934 28937 28808 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28953] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28953/stat : 28953 (java) S 28934 28937 28808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28954] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.23
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1230.38
Current children cumulated vsize (KiB) 915420
[startup+1302.76 s]
/proc/loadavg: 2.01 1.99 1.78 3/101 29164
/proc/meminfo: memFree=1709920/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=1289.82
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 23587 0 1 0 128946 36 0 0 25 0 8 0 160106363 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228855 23318 2531 14 0 215325 0
[pid=28937/tid=28950] ppid=28934 vsize=915420 CPUtime=0.15
/proc/28937/task/28950/stat : 28950 (java) S 28934 28937 28808 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28952] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28952/stat : 28952 (java) S 28934 28937 28808 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28953] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28953/stat : 28953 (java) S 28934 28937 28808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28954] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.23
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1289.82
Current children cumulated vsize (KiB) 915420
[startup+1362.85 s]
/proc/loadavg: 2.00 1.99 1.79 3/101 29164
/proc/meminfo: memFree=1709856/2055920 swapFree=4191880/4192956
[pid=28937] ppid=28934 vsize=915420 CPUtime=1349.29
/proc/28937/stat : 28937 (java) R 28934 28937 28808 0 -1 0 23587 0 1 0 134893 36 0 0 25 0 8 0 160106363 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756046 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28937/statm: 228855 23318 2531 14 0 215325 0
[pid=28937/tid=28950] ppid=28934 vsize=915420 CPUtime=0.15
/proc/28937/task/28950/stat : 28950 (java) S 28934 28937 28808 0 -1 64 6584 0 0 0 13 2 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28952] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28952/stat : 28952 (java) S 28934 28937 28808 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28953] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28953/stat : 28953 (java) S 28934 28937 28808 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160106370 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28954] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28954/stat : 28954 (java) S 28934 28937 28808 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28955] ppid=28934 vsize=915420 CPUtime=0.23
/proc/28937/task/28955/stat : 28955 (java) S 28934 28937 28808 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28956] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28956/stat : 28956 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28937/tid=28957] ppid=28934 vsize=915420 CPUtime=0
/proc/28937/task/28957/stat : 28957 (java) S 28934 28937 28808 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160106374 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1349.29
Current children cumulated vsize (KiB) 915420
Child status: 0
Real time (s): 1394.34
CPU time (s): 1380.49
CPU user time (s): 1380.11
CPU system time (s): 0.379942
CPU usage (%): 99.0067
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1380.11
system time used= 0.379942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23595
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= 29385
involuntary context switches= 35767
runsolver used 1.56476 s user time and 4.66929 s system time
The end
Begin job on node29 on Sat Jan 6 20:58:43 UTC 2007
IDJOB= 195974
IDBENCH= 3316
FILE ID= node29/195974-1168117121
PBS_JOBID= 3477443
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-44_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195974-1168117121/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-195974-1168117121 -o ROOT/results/node29/solver-195974-1168117121 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195974-1168117121/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6a8989343c1399ffbb5761ed2389c00b
RANDOM SEED= 334511451
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.241
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.241
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: 1833464 kB
Buffers: 35536 kB
Cached: 67180 kB
SwapCached: 32 kB
Active: 112136 kB
Inactive: 48416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1833464 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 7976 kB
Writeback: 0 kB
Mapped: 75828 kB
Slab: 46724 kB
Committed_AS: 3136820 kB
PageTables: 2296 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= 66542 MiB
End job on node29 on Sat Jan 6 21:21:57 UTC 2007