0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/194927-1168108327/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.40 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.54
0.54 constraints being loaded...
0.68 nbConstraints=473 nbRelationTypes=473 nbExtensionStructures=473 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=473 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2522 maxDegree=25
0.68 maxArity=2
0.68 => wckTime=0.377 cpuTime=0.29 mem=17M695
0.72
0.72 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.581 cpuTime=0.42 mem=15M593
0.94
0.94 preprocessing
0.94 nbConstraintChecks=114443 nbPropagations=1253 nbRevisions=10237 nbUselessRevisions=8688 nbSingletonTests=66
0.94 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.94 => wckTime=0.058 cpuTime=0.04 mem=15M593
0.97
0.97 search
0.97 run=0 nbConstraintChecks=45244 nbPropagations=1779 nbRevisions=16240 nbUselessRevisions=13685 nbAssignments=28
0.97 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.086 cpuTime=0.06 mem=15M593
0.99
0.99 search
0.99 run=1 nbConstraintChecks=112662 nbPropagations=4343 nbRevisions=42644 nbUselessRevisions=35669
0.99 nbAssignments=65 nbFailedAssignments=17 nbBacktracks=26 nbVisitedNodes=98 nbRestartNogoods=3 mapSize=22
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.108 cpuTime=0.08 mem=15M593
1.01
1.01 search
1.01 run=2 nbConstraintChecks=190042 nbPropagations=7886 nbRevisions=82382 nbUselessRevisions=68606
1.01 nbAssignments=116 nbFailedAssignments=32 nbBacktracks=48 nbVisitedNodes=176 nbRestartNogoods=7 mapSize=40
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.123 cpuTime=0.09 mem=15M593
1.03
1.03 search
1.03 run=3 nbConstraintChecks=292046 nbPropagations=12704 nbRevisions=139863 nbUselessRevisions=116214
1.03 nbAssignments=187 nbFailedAssignments=56 nbBacktracks=85 nbVisitedNodes=290 nbRestartNogoods=11 mapSize=68
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.145 cpuTime=0.11 mem=15M593
1.05
1.05 search
1.05 run=4 nbConstraintChecks=409818 nbPropagations=18914 nbRevisions=216965 nbUselessRevisions=179840
1.05 nbAssignments=272 nbFailedAssignments=80 nbBacktracks=138 nbVisitedNodes=417 nbRestartNogoods=13 mapSize=100
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.168 cpuTime=0.13 mem=15M593
1.10
1.10 search
1.10 run=5 nbConstraintChecks=661044 nbPropagations=27925 nbRevisions=333256 nbUselessRevisions=275170
1.10 nbAssignments=423 nbFailedAssignments=130 nbBacktracks=217 nbVisitedNodes=645 nbRestartNogoods=16 mapSize=166
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.215 cpuTime=0.18 mem=15M593
1.15
1.15 search
1.15 run=6 nbConstraintChecks=965182 nbPropagations=40567 nbRevisions=505046 nbUselessRevisions=416351
1.15 nbAssignments=615 nbFailedAssignments=198 nbBacktracks=332 nbVisitedNodes=966 nbRestartNogoods=17 mapSize=258
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.268 cpuTime=0.23 mem=15M593
1.23
1.23 search
1.23 run=7 nbConstraintChecks=1409071 nbPropagations=58753 nbRevisions=760624 nbUselessRevisions=626218
1.23 nbAssignments=911 nbFailedAssignments=312 nbBacktracks=503 nbVisitedNodes=1465 nbRestartNogoods=20 mapSize=397
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.347 cpuTime=0.31 mem=15M593
1.35
1.35 search
1.35 run=8 nbConstraintChecks=2101816 nbPropagations=85204 nbRevisions=1141412 nbUselessRevisions=938956
1.35 nbAssignments=1333 nbFailedAssignments=469 nbBacktracks=759 nbVisitedNodes=2196 nbRestartNogoods=25
1.35 mapSize=615 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.469 cpuTime=0.42 mem=15M593
1.54
1.54 search
1.54 run=9 nbConstraintChecks=3173191 nbPropagations=123725 nbRevisions=1709484 nbUselessRevisions=1405285
1.54 nbAssignments=1960 nbFailedAssignments=699 nbBacktracks=1145 nbVisitedNodes=3255 nbRestartNogoods=28
1.54 mapSize=929 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.65 cpuTime=0.59 mem=15M593
1.58
1.58 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=15M593)
1.79
1.79 search
1.79 run=10 nbConstraintChecks=4830813 nbPropagations=181091 nbRevisions=2563933 nbUselessRevisions=2103788
1.79 nbAssignments=2917 nbFailedAssignments=1069 nbBacktracks=1722 nbVisitedNodes=4900 nbRestartNogoods=35
1.79 => wckTime=0.907 cpuTime=0.83 mem=15M593
2.16
2.16 search
2.16 run=11 nbConstraintChecks=7438185 nbPropagations=267255 nbRevisions=3888543 nbUselessRevisions=3191748
2.16 nbAssignments=4396 nbFailedAssignments=1660 nbBacktracks=2586 nbVisitedNodes=7442 nbRestartNogoods=44
2.16 => wckTime=1.279 cpuTime=1.2 mem=15M593
2.73
2.73 search
2.73 run=12 nbConstraintChecks=11352132 nbPropagations=398741 nbRevisions=5945023 nbUselessRevisions=4883085
2.73 nbAssignments=6760 nbFailedAssignments=2714 nbBacktracks=3883 nbVisitedNodes=11580 nbRestartNogoods=53
2.73 => wckTime=1.845 cpuTime=1.76 mem=15M593
3.50
3.50 search
3.50 run=13 nbConstraintChecks=16479843 nbPropagations=592758 nbRevisions=8975777 nbUselessRevisions=7374042
3.50 nbAssignments=10046 nbFailedAssignments=4044 nbBacktracks=5830 nbVisitedNodes=17272 nbRestartNogoods=62
3.50 => wckTime=2.611 cpuTime=2.52 mem=15M593
4.57
4.57 search
4.57 run=14 nbConstraintChecks=23865126 nbPropagations=874254 nbRevisions=13366251 nbUselessRevisions=10979116
4.57 nbAssignments=14733 nbFailedAssignments=5798 nbBacktracks=8749 nbVisitedNodes=25213 nbRestartNogoods=71
4.57 => wckTime=3.688 cpuTime=3.6 mem=15M593
6.25
6.25 search
6.25 run=15 nbConstraintChecks=35872904 nbPropagations=1289607 nbRevisions=19827170 nbUselessRevisions=16271755
6.25 nbAssignments=21785 nbFailedAssignments=8460 nbBacktracks=13128 nbVisitedNodes=37126 nbRestartNogoods=81
6.25 => wckTime=5.365 cpuTime=5.27 mem=15M593
8.73
8.73 search
8.73 run=16 nbConstraintChecks=52998806 nbPropagations=1908402 nbRevisions=29450791 nbUselessRevisions=24161551
8.73 nbAssignments=32402 nbFailedAssignments=12500 nbBacktracks=19696 nbVisitedNodes=55239 nbRestartNogoods=89
8.73 => wckTime=7.845 cpuTime=7.74 mem=16M568
12.73
12.73 search
12.73 run=17 nbConstraintChecks=81428611 nbPropagations=2851237 nbRevisions=44153922 nbUselessRevisions=36210599
12.73 nbAssignments=49002 nbFailedAssignments=19237 nbBacktracks=29548 nbVisitedNodes=83982 nbRestartNogoods=104
12.73 => wckTime=11.841 cpuTime=11.71 mem=16M568
18.43
18.43 search
18.43 run=18 nbConstraintChecks=122379777 nbPropagations=4251622 nbRevisions=66104193 nbUselessRevisions=54214431
18.43 nbAssignments=72814 nbFailedAssignments=28243 nbBacktracks=44329 nbVisitedNodes=124553 nbRestartNogoods=114
18.43 => wckTime=17.544 cpuTime=17.39 mem=16M568
26.84
26.84 search
26.84 run=19 nbConstraintChecks=180424923 nbPropagations=6337969 nbRevisions=98609906 nbUselessRevisions=80853069
26.84 nbAssignments=108721 nbFailedAssignments=41969 nbBacktracks=66500 nbVisitedNodes=186155 nbRestartNogoods=125
26.84 => wckTime=25.952 cpuTime=25.74 mem=16M568
39.45
39.45 search
39.45 run=20 nbConstraintChecks=269229607 nbPropagations=9437741 nbRevisions=147381877 nbUselessRevisions=120905887
39.45 nbAssignments=161786 nbFailedAssignments=61773 nbBacktracks=99752 nbVisitedNodes=276813 nbRestartNogoods=132
39.45 => wckTime=38.568 cpuTime=38.3 mem=16M568
59.36
59.36 search
59.36 run=21 nbConstraintChecks=409318646 nbPropagations=14149402 nbRevisions=221569702 nbUselessRevisions=181838931
59.36 nbAssignments=243672 nbFailedAssignments=93769 nbBacktracks=149631 nbVisitedNodes=418114 nbRestartNogoods=150
59.36 => wckTime=58.471 cpuTime=58.13 mem=16M568
87.10
87.10 search
87.10 run=22 nbConstraintChecks=600469282 nbPropagations=21117625 nbRevisions=331009754 nbUselessRevisions=271723989
87.10 nbAssignments=363654 nbFailedAssignments=138920 nbBacktracks=224451 nbVisitedNodes=622523 nbRestartNogoods=168
87.10 => wckTime=86.214 cpuTime=85.73 mem=16M568
129.43
129.52 search
129.52 run=23 nbConstraintChecks=898511974 nbPropagations=31535459 nbRevisions=493955229 nbUselessRevisions=405482780
129.52 nbAssignments=543755 nbFailedAssignments=206767 nbBacktracks=336679 nbVisitedNodes=929802 nbRestartNogoods=181
129.52 => wckTime=128.548 cpuTime=127.87 mem=16M568
194.89
194.89 search
194.89 run=24 nbConstraintChecks=1359708989 nbPropagations=47241271 nbRevisions=740155191 nbUselessRevisions=607615979
194.89 nbAssignments=815658 nbFailedAssignments=310315 nbBacktracks=505024 nbVisitedNodes=1396287 nbRestartNogoods=197
194.89 => wckTime=194.004 cpuTime=193.05 mem=16M568
288.59
288.59 search
288.59 run=25 nbConstraintChecks=2019547618 nbPropagations=70562203 nbRevisions=1104261025
288.59 nbUselessRevisions=906329956 nbAssignments=1217310 nbFailedAssignments=459444 nbBacktracks=757536
288.59 nbVisitedNodes=2078634 nbRestartNogoods=213
288.59 => wckTime=287.705 cpuTime=286.33 mem=16M568
430.54
430.54 search
430.54 run=26 nbConstraintChecks=3011309193 nbPropagations=105411651 nbRevisions=1648553354
430.54 nbUselessRevisions=1353037883 nbAssignments=1819312 nbFailedAssignments=682667 nbBacktracks=1136303
430.54 nbVisitedNodes=3104024 nbRestartNogoods=233
430.54 => wckTime=429.656 cpuTime=427.62 mem=16M568
647.14
647.14 search
647.14 run=27 nbConstraintChecks=4539642271 nbPropagations=157830777 nbRevisions=2467482652
647.14 nbUselessRevisions=2025199212 nbAssignments=2730733 nbFailedAssignments=1025926 nbBacktracks=1704457
647.14 nbVisitedNodes=4659205 nbRestartNogoods=251
647.14 => wckTime=646.255 cpuTime=643.25 mem=16M568
978.46
978.46 search
978.46 run=28 nbConstraintChecks=6894798156 nbPropagations=236792955 nbRevisions=3707384139
978.46 nbUselessRevisions=3043406964 nbAssignments=4100471 nbFailedAssignments=1543427 nbBacktracks=2556685
978.46 nbVisitedNodes=6999810 nbRestartNogoods=267
978.46 => wckTime=977.572 cpuTime=973.05 mem=16M568
1464.60
1464.60 search
1464.60 run=29 nbConstraintChecks=10330337523 nbPropagations=355065754 nbRevisions=5558107439
1464.60 nbUselessRevisions=4561739716 nbAssignments=6141254 nbFailedAssignments=2305848 nbBacktracks=3835025
1464.60 nbVisitedNodes=10467739 nbRestartNogoods=289
1464.60 => wckTime=1463.717 cpuTime=1457.01 mem=16M568
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-194927-1168108327 -o ROOT/results/node56/solver-194927-1168108327 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194927-1168108327/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: 2.00 2.00 1.93 4/75 17689
/proc/meminfo: memFree=1579576/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=172 CPUtime=0
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 159230881 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10027307 0 0 4096 0 0 0 0 17 0 0 0
/proc/17688/statm: 43 24 18 14 0 3 0
[startup+0.108363 s]
/proc/loadavg: 2.00 2.00 1.93 4/75 17689
/proc/meminfo: memFree=1579576/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=914988 CPUtime=0.08
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 3018 0 1 0 7 1 0 0 22 0 8 0 159230881 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516401 s]
/proc/loadavg: 2.00 2.00 1.93 4/75 17689
/proc/meminfo: memFree=1579576/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915328 CPUtime=0.49
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 7179 0 1 0 45 4 0 0 25 0 8 0 159230881 937295872 6918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228832 6919 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33848 s]
/proc/loadavg: 2.00 2.00 1.93 3/82 17696
/proc/meminfo: memFree=1551872/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=1.31
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9650 0 1 0 124 7 0 0 25 0 8 0 159230881 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821459 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228865 9388 2524 14 0 215335 0
[pid=17688/tid=17690] ppid=17686 vsize=915460 CPUtime=0.03
/proc/17688/task/17690/stat : 17690 (java) S 17686 17688 16860 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159230885 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17691] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17691/stat : 17691 (java) S 17686 17688 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159230886 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17692] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17692/stat : 17692 (java) S 17686 17688 16860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159230886 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17693] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17693/stat : 17693 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159230889 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17694] ppid=17686 vsize=915460 CPUtime=0.2
/proc/17688/task/17694/stat : 17694 (java) S 17686 17688 16860 0 -1 64 384 0 0 0 19 1 0 0 15 0 8 0 159230889 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17695] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17695/stat : 17695 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159230889 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17696] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17696/stat : 17696 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159230889 937431040 9388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.99164 s]
/proc/loadavg: 2.00 2.00 1.93 3/82 17696
/proc/meminfo: memFree=1551808/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=2.96
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9667 0 1 0 288 8 0 0 25 0 8 0 159230881 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228865 9403 2524 14 0 215335 0
[pid=17688/tid=17690] ppid=17686 vsize=915460 CPUtime=0.03
/proc/17688/task/17690/stat : 17690 (java) S 17686 17688 16860 0 -1 64 410 0 0 0 3 0 0 0 17 0 8 0 159230885 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17691] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17691/stat : 17691 (java) S 17686 17688 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159230886 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17692] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17692/stat : 17692 (java) S 17686 17688 16860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159230886 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17693] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17693/stat : 17693 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17694] ppid=17686 vsize=915460 CPUtime=0.23
/proc/17688/task/17694/stat : 17694 (java) S 17686 17688 16860 0 -1 64 399 0 0 0 22 1 0 0 15 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17695] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17695/stat : 17695 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17696] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17696/stat : 17696 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.29097 s]
/proc/loadavg: 2.00 2.00 1.93 3/82 17696
/proc/meminfo: memFree=1551744/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=6.24
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9667 0 1 0 616 8 0 0 25 0 8 0 159230881 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832964 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228865 9403 2524 14 0 215335 0
[pid=17688/tid=17690] ppid=17686 vsize=915460 CPUtime=0.03
/proc/17688/task/17690/stat : 17690 (java) S 17686 17688 16860 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159230885 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17691] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17691/stat : 17691 (java) S 17686 17688 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159230886 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17692] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17692/stat : 17692 (java) S 17686 17688 16860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159230886 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17693] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17693/stat : 17693 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17694] ppid=17686 vsize=915460 CPUtime=0.23
/proc/17688/task/17694/stat : 17694 (java) S 17686 17688 16860 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17695] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17695/stat : 17695 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17696] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17696/stat : 17696 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915460
[startup+12.7796 s]
/proc/loadavg: 2.00 2.00 1.93 3/82 17696
/proc/meminfo: memFree=1551744/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=12.7
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9667 0 1 0 1262 8 0 0 25 0 8 0 159230881 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813351 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228865 9403 2524 14 0 215335 0
[pid=17688/tid=17690] ppid=17686 vsize=915460 CPUtime=0.03
/proc/17688/task/17690/stat : 17690 (java) S 17686 17688 16860 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159230885 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17691] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17691/stat : 17691 (java) S 17686 17688 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159230886 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17692] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17692/stat : 17692 (java) S 17686 17688 16860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159230886 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17693] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17693/stat : 17693 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17694] ppid=17686 vsize=915460 CPUtime=0.23
/proc/17688/task/17694/stat : 17694 (java) S 17686 17688 16860 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17695] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17695/stat : 17695 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17696] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17696/stat : 17696 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915460
[startup+25.6309 s]
/proc/loadavg: 2.00 2.00 1.93 3/82 17696
/proc/meminfo: memFree=1551680/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=25.48
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9667 0 1 0 2540 8 0 0 25 0 8 0 159230881 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821433 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228865 9403 2524 14 0 215335 0
[pid=17688/tid=17690] ppid=17686 vsize=915460 CPUtime=0.03
/proc/17688/task/17690/stat : 17690 (java) S 17686 17688 16860 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159230885 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17691] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17691/stat : 17691 (java) S 17686 17688 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159230886 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17692] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17692/stat : 17692 (java) S 17686 17688 16860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159230886 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17693] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17693/stat : 17693 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17694] ppid=17686 vsize=915460 CPUtime=0.23
/proc/17688/task/17694/stat : 17694 (java) S 17686 17688 16860 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17695] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17695/stat : 17695 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17696] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17696/stat : 17696 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915460
[startup+51.2624 s]
/proc/loadavg: 2.07 2.02 1.94 3/82 17696
/proc/meminfo: memFree=1551808/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=51.01
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9667 0 1 0 5093 8 0 0 25 0 8 0 159230881 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228865 9403 2524 14 0 215335 0
[pid=17688/tid=17690] ppid=17686 vsize=915460 CPUtime=0.03
/proc/17688/task/17690/stat : 17690 (java) S 17686 17688 16860 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159230885 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17691] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17691/stat : 17691 (java) S 17686 17688 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159230886 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17692] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17692/stat : 17692 (java) S 17686 17688 16860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159230886 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17693] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17693/stat : 17693 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17694] ppid=17686 vsize=915460 CPUtime=0.23
/proc/17688/task/17694/stat : 17694 (java) S 17686 17688 16860 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17695] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17695/stat : 17695 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17696] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17696/stat : 17696 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159230889 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 915460
[startup+102.522 s]
/proc/loadavg: 2.03 2.01 1.94 3/82 17696
/proc/meminfo: memFree=1551808/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=102.03
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9670 0 1 0 10195 8 0 0 25 0 8 0 159230881 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228865 9405 2524 14 0 215335 0
[pid=17688/tid=17690] ppid=17686 vsize=915460 CPUtime=0.03
/proc/17688/task/17690/stat : 17690 (java) S 17686 17688 16860 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159230885 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17691] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17691/stat : 17691 (java) S 17686 17688 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17692] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17692/stat : 17692 (java) S 17686 17688 16860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17693] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17693/stat : 17693 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17694] ppid=17686 vsize=915460 CPUtime=0.23
/proc/17688/task/17694/stat : 17694 (java) S 17686 17688 16860 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17695] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17695/stat : 17695 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17696] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17696/stat : 17696 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 915460
[startup+162.528 s]
/proc/loadavg: 2.01 2.00 1.94 3/82 17696
/proc/meminfo: memFree=1551808/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=161.76
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9670 0 1 0 16168 8 0 0 25 0 8 0 159230881 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.22
Current children cumulated vsize (KiB) 915460
[startup+1482.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/82 17696
/proc/meminfo: memFree=1551616/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=1475.96
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9670 0 1 0 147586 10 0 0 25 0 8 0 159230881 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834857 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228865 9405 2524 14 0 215335 0
[pid=17688/tid=17690] ppid=17686 vsize=915460 CPUtime=0.03
/proc/17688/task/17690/stat : 17690 (java) S 17686 17688 16860 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159230885 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17691] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17691/stat : 17691 (java) S 17686 17688 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17692] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17692/stat : 17692 (java) S 17686 17688 16860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17693] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17693/stat : 17693 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17694] ppid=17686 vsize=915460 CPUtime=0.23
/proc/17688/task/17694/stat : 17694 (java) S 17686 17688 16860 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17695] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17695/stat : 17695 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17696] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17696/stat : 17696 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1475.96
Current children cumulated vsize (KiB) 915460
[startup+1542.71 s]
/proc/loadavg: 2.04 2.01 1.95 3/82 17696
/proc/meminfo: memFree=1551616/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=1535.71
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9670 0 1 0 153561 10 0 0 25 0 8 0 159230881 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834873 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228865 9405 2524 14 0 215335 0
[pid=17688/tid=17690] ppid=17686 vsize=915460 CPUtime=0.03
/proc/17688/task/17690/stat : 17690 (java) S 17686 17688 16860 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159230885 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17691] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17691/stat : 17691 (java) S 17686 17688 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17692] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17692/stat : 17692 (java) S 17686 17688 16860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17693] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17693/stat : 17693 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17694] ppid=17686 vsize=915460 CPUtime=0.23
/proc/17688/task/17694/stat : 17694 (java) S 17686 17688 16860 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17695] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17695/stat : 17695 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17696] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17696/stat : 17696 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.71
Current children cumulated vsize (KiB) 915460
[startup+1602.71 s]
/proc/loadavg: 2.01 2.01 1.95 3/82 17696
/proc/meminfo: memFree=1551616/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=1595.42
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9670 0 1 0 159532 10 0 0 25 0 8 0 159230881 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228865 9405 2524 14 0 215335 0
[pid=17688/tid=17690] ppid=17686 vsize=915460 CPUtime=0.03
/proc/17688/task/17690/stat : 17690 (java) S 17686 17688 16860 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159230885 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17691] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17691/stat : 17691 (java) S 17686 17688 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17692] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17692/stat : 17692 (java) S 17686 17688 16860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17693] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17693/stat : 17693 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17694] ppid=17686 vsize=915460 CPUtime=0.23
/proc/17688/task/17694/stat : 17694 (java) S 17686 17688 16860 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17695] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17695/stat : 17695 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17696] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17696/stat : 17696 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.42
Current children cumulated vsize (KiB) 915460
[startup+1662.72 s]
/proc/loadavg: 2.00 2.00 1.95 3/82 17696
/proc/meminfo: memFree=1551616/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=1655.16
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9670 0 1 0 165506 10 0 0 25 0 8 0 159230881 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812455 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228865 9405 2524 14 0 215335 0
[pid=17688/tid=17690] ppid=17686 vsize=915460 CPUtime=0.03
/proc/17688/task/17690/stat : 17690 (java) S 17686 17688 16860 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159230885 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17691] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17691/stat : 17691 (java) S 17686 17688 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17692] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17692/stat : 17692 (java) S 17686 17688 16860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17693] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17693/stat : 17693 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17694] ppid=17686 vsize=915460 CPUtime=0.23
/proc/17688/task/17694/stat : 17694 (java) S 17686 17688 16860 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17695] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17695/stat : 17695 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17696] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17696/stat : 17696 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.16
Current children cumulated vsize (KiB) 915460
[startup+1722.73 s]
/proc/loadavg: 2.00 2.00 1.95 3/82 17696
/proc/meminfo: memFree=1551616/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=1714.91
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9670 0 1 0 171481 10 0 0 25 0 8 0 159230881 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833171 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228865 9405 2524 14 0 215335 0
[pid=17688/tid=17690] ppid=17686 vsize=915460 CPUtime=0.03
/proc/17688/task/17690/stat : 17690 (java) S 17686 17688 16860 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159230885 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17691] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17691/stat : 17691 (java) S 17686 17688 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17692] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17692/stat : 17692 (java) S 17686 17688 16860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17693] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17693/stat : 17693 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17694] ppid=17686 vsize=915460 CPUtime=0.23
/proc/17688/task/17694/stat : 17694 (java) S 17686 17688 16860 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17695] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17695/stat : 17695 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17696] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17696/stat : 17696 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.91
Current children cumulated vsize (KiB) 915460
[startup+1782.77 s]
/proc/loadavg: 2.05 2.01 1.95 3/88 17838
/proc/meminfo: memFree=1550160/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=1774.59
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9670 0 1 0 177444 15 0 0 25 0 8 0 159230881 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836929 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228865 9405 2524 14 0 215335 0
[pid=17688/tid=17690] ppid=17686 vsize=915460 CPUtime=0.03
/proc/17688/task/17690/stat : 17690 (java) S 17686 17688 16860 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159230885 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17691] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17691/stat : 17691 (java) S 17686 17688 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17692] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17692/stat : 17692 (java) S 17686 17688 16860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17693] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17693/stat : 17693 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17694] ppid=17686 vsize=915460 CPUtime=0.23
/proc/17688/task/17694/stat : 17694 (java) S 17686 17688 16860 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17695] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17695/stat : 17695 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17696] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17696/stat : 17696 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.59
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/87 17938
/proc/meminfo: memFree=1534616/2055920 swapFree=4184772/4192956
[pid=17688] ppid=17686 vsize=915460 CPUtime=1800.03
/proc/17688/stat : 17688 (java) R 17686 17688 16860 0 -1 0 9670 0 1 0 179985 18 0 0 25 0 8 0 159230881 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827905 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17688/statm: 228865 9405 2524 14 0 215335 0
[pid=17688/tid=17690] ppid=17686 vsize=915460 CPUtime=0.03
/proc/17688/task/17690/stat : 17690 (java) S 17686 17688 16860 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159230885 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17691] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17691/stat : 17691 (java) S 17686 17688 16860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17692] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17692/stat : 17692 (java) S 17686 17688 16860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159230886 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17693] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17693/stat : 17693 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17694] ppid=17686 vsize=915460 CPUtime=0.23
/proc/17688/task/17694/stat : 17694 (java) S 17686 17688 16860 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17695] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17695/stat : 17695 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17688/tid=17696] ppid=17686 vsize=915460 CPUtime=0
/proc/17688/task/17696/stat : 17696 (java) S 17686 17688 16860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159230889 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.36
CPU time (s): 1800.09
CPU user time (s): 1799.9
CPU system time (s): 0.19097
CPU usage (%): 99.5425
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.19097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9687
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= 37786
involuntary context switches= 61856
runsolver used 2.13167 s user time and 5.8841 s system time
The end
Begin job on node56 on Sat Jan 6 18:32:07 UTC 2007
IDJOB= 194927
IDBENCH= 3240
FILE ID= node56/194927-1168108327
PBS_JOBID= 3477318
Free space on /tmp= 66519 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194927-1168108327/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-194927-1168108327 -o ROOT/results/node56/solver-194927-1168108327 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194927-1168108327/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 11837e61d3857250de15237ade492712
RANDOM SEED= 433289356
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.232
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.232
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: 1580056 kB
Buffers: 39600 kB
Cached: 348456 kB
SwapCached: 2060 kB
Active: 104348 kB
Inactive: 304044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1580056 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 3752 kB
Writeback: 0 kB
Mapped: 28812 kB
Slab: 52788 kB
Committed_AS: 2939344 kB
PageTables: 1892 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= 66517 MiB
End job on node56 on Sat Jan 6 19:02:16 UTC 2007