0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/238871-1168083639/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.47 nbVariables=208 nbDomainTypes=4 minDomainSize=1 maxDomainSize=52
0.47 => wckTime=0.137 cpuTime=0.1 mem=7M927
0.47
0.47 relations being loaded...
0.49
0.49 constraints being loaded...
0.80 nbConstraints=4217 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.80 nbExtensionStructures=9 nbSharedExtensionStructures=4208 nbConflictsStructures=9
0.80 nbSharedConflictsStructures=4208 nbSharedBinaryRepresentations=372 maxDegree=104 maxArity=2
0.80 => wckTime=0.474 cpuTime=0.31 mem=19M678
0.87
0.87 solver IterativeSystematicSolver being built...
1.05 => wckTime=0.723 cpuTime=0.45 mem=16M668
1.10
1.10 preprocessing
1.10 nbConstraintChecks=323134 nbPropagations=249 nbRevisions=7176 nbUselessRevisions=6857 nbRemovedValues=793
1.10 detectedInconsistency=no
1.10 => wckTime=0.038 cpuTime=0.03 mem=16M668
1.35
1.35 search
1.35 run=0 nbConstraintChecks=4132542 nbPropagations=3607 nbRevisions=98322 nbUselessRevisions=93567
1.35 nbAssignments=55 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=69 nbRestartNogoods=0 mapSize=10
1.35 nbInferences=1 nbTooLargeKeys=0
1.35 => wckTime=0.288 cpuTime=0.24 mem=17M693
1.52
1.52 search
1.52 run=1 nbConstraintChecks=8211324 nbPropagations=10441 nbRevisions=286442 nbUselessRevisions=272856
1.52 nbAssignments=117 nbFailedAssignments=14 nbBacktracks=25 nbVisitedNodes=148 nbRestartNogoods=2 mapSize=25
1.52 nbInferences=2 nbTooLargeKeys=0
1.52 => wckTime=0.46 cpuTime=0.42 mem=17M693
1.70
1.70 search
1.70 run=2 nbConstraintChecks=12665442 nbPropagations=20969 nbRevisions=572969 nbUselessRevisions=545635
1.70 nbAssignments=188 nbFailedAssignments=21 nbBacktracks=48 nbVisitedNodes=237 nbRestartNogoods=4 mapSize=38
1.70 nbInferences=6 nbTooLargeKeys=0
1.70 => wckTime=0.648 cpuTime=0.6 mem=17M693
1.87
1.87 search
1.88 run=3 nbConstraintChecks=16765138 nbPropagations=34680 nbRevisions=949764 nbUselessRevisions=904672
1.88 nbAssignments=282 nbFailedAssignments=36 nbBacktracks=91 nbVisitedNodes=360 nbRestartNogoods=7 mapSize=65
1.88 nbInferences=7 nbTooLargeKeys=0
1.88 => wckTime=0.818 cpuTime=0.77 mem=17M693
2.16
2.16 search
2.16 run=4 nbConstraintChecks=23717945 nbPropagations=55063 nbRevisions=1483554 nbUselessRevisions=1411040
2.16 nbAssignments=406 nbFailedAssignments=57 nbBacktracks=142 nbVisitedNodes=541 nbRestartNogoods=8 mapSize=109
2.16 nbInferences=20 nbTooLargeKeys=0
2.16 => wckTime=1.103 cpuTime=1.05 mem=17M693
2.40
2.40 search
2.40 run=5 nbConstraintChecks=29376571 nbPropagations=80187 nbRevisions=2143787 nbUselessRevisions=2037754
2.40 nbAssignments=565 nbFailedAssignments=91 nbBacktracks=226 nbVisitedNodes=775 nbRestartNogoods=11 mapSize=175
2.40 nbInferences=27 nbTooLargeKeys=0
2.40 => wckTime=1.347 cpuTime=1.28 mem=17M693
2.83
2.83 search
2.83 run=6 nbConstraintChecks=39936286 nbPropagations=115796 nbRevisions=3044816 nbUselessRevisions=2889402
2.83 nbAssignments=791 nbFailedAssignments=141 nbBacktracks=343 nbVisitedNodes=1125 nbRestartNogoods=12 mapSize=275
2.83 nbInferences=49 nbTooLargeKeys=0
2.83 => wckTime=1.771 cpuTime=1.7 mem=17M693
3.35
3.35 search
3.35 run=7 nbConstraintChecks=52835821 nbPropagations=164948 nbRevisions=4242615 nbUselessRevisions=4017559
3.35 nbAssignments=1129 nbFailedAssignments=238 nbBacktracks=514 nbVisitedNodes=1677 nbRestartNogoods=14
3.35 mapSize=430 nbInferences=83 nbTooLargeKeys=0
3.35 => wckTime=2.298 cpuTime=2.23 mem=17M693
3.89
3.89 search
3.89 run=8 nbConstraintChecks=65226434 nbPropagations=225773 nbRevisions=5722214 nbUselessRevisions=5412469
3.89 nbAssignments=1617 nbFailedAssignments=373 nbBacktracks=773 nbVisitedNodes=2481 nbRestartNogoods=19
3.89 mapSize=659 nbInferences=140 nbTooLargeKeys=0
3.89 => wckTime=2.832 cpuTime=2.74 mem=18M668
4.99
4.99 search
4.99 run=9 nbConstraintChecks=91859431 nbPropagations=316659 nbRevisions=7820793 nbUselessRevisions=7382026
4.99 nbAssignments=2400 nbFailedAssignments=498 nbBacktracks=1157 nbVisitedNodes=3738 nbRestartNogoods=23
4.99 mapSize=963 nbInferences=375 nbTooLargeKeys=0
4.99 => wckTime=3.931 cpuTime=3.82 mem=18M668
6.12
6.12 search
6.12 run=10 nbConstraintChecks=119561671 nbPropagations=436776 nbRevisions=10560734 nbUselessRevisions=9954337
6.12 nbAssignments=3523 nbFailedAssignments=903 nbBacktracks=1734 nbVisitedNodes=5636 nbRestartNogoods=29
6.12 mapSize=1472 nbInferences=476 nbTooLargeKeys=0
6.12 => wckTime=5.067 cpuTime=4.94 mem=19M643
7.64
7.64 search
7.64 run=11 nbConstraintChecks=156474526 nbPropagations=596221 nbRevisions=14157623 nbUselessRevisions=13329012
7.64 nbAssignments=5087 nbFailedAssignments=1391 nbBacktracks=2598 nbVisitedNodes=8215 nbRestartNogoods=35
7.64 mapSize=2132 nbInferences=653 nbTooLargeKeys=0
7.64 => wckTime=6.584 cpuTime=6.43 mem=19M643
9.94
9.94 search
9.94 run=12 nbConstraintChecks=213390276 nbPropagations=816064 nbRevisions=19079967 nbUselessRevisions=17951991
9.94 nbAssignments=7483 nbFailedAssignments=2193 nbBacktracks=3896 nbVisitedNodes=12221 nbRestartNogoods=41
9.94 mapSize=3184 nbInferences=914 nbTooLargeKeys=0
9.94 => wckTime=8.888 cpuTime=8.71 mem=20M618
11.36
11.36 search
11.36 run=13 nbConstraintChecks=244991025 nbPropagations=1069686 nbRevisions=24742546 nbUselessRevisions=23267256
11.36 nbAssignments=10178 nbFailedAssignments=2472 nbBacktracks=5844 nbVisitedNodes=15789 nbRestartNogoods=48
11.36 mapSize=3831 nbInferences=1337 nbTooLargeKeys=0
11.36 => wckTime=10.302 cpuTime=10.11 mem=22M569
16.37
16.37 search
16.37 run=14 nbConstraintChecks=365873855 nbPropagations=1459843 nbRevisions=33240311 nbUselessRevisions=31221280
16.37 nbAssignments=15272 nbFailedAssignments=3589 nbBacktracks=8769 nbVisitedNodes=23836 nbRestartNogoods=55
16.37 mapSize=5781 nbInferences=2347 nbTooLargeKeys=0
16.37 => wckTime=15.311 cpuTime=15.08 mem=24M519
29.06
29.06 search
29.06 run=15 nbConstraintChecks=683345287 nbPropagations=2230044 nbRevisions=49079835 nbUselessRevisions=46052066
29.06 nbAssignments=24131 nbFailedAssignments=5137 nbBacktracks=13147 nbVisitedNodes=38390 nbRestartNogoods=61
29.06 mapSize=9105 nbInferences=5239 nbTooLargeKeys=0
29.06 => wckTime=28.001 cpuTime=27.65 mem=30M370
36.53
36.53 search
36.53 run=16 nbConstraintChecks=856146697 nbPropagations=3157571 nbRevisions=69097478 nbUselessRevisions=64880967
36.53 nbAssignments=36804 nbFailedAssignments=7544 nbBacktracks=19715 nbVisitedNodes=58981 nbRestartNogoods=72
36.53 mapSize=14338 nbInferences=8876 nbTooLargeKeys=0
36.53 => wckTime=35.474 cpuTime=35.05 mem=37M196
55.29
55.29 search
55.29 run=17 nbConstraintChecks=1313135856 nbPropagations=4565947 nbRevisions=99947052 nbUselessRevisions=93953276
55.29 nbAssignments=58467 nbFailedAssignments=13203 nbBacktracks=29571 nbVisitedNodes=96308 nbRestartNogoods=82
55.29 mapSize=22713 nbInferences=14985 nbTooLargeKeys=0
55.29 => wckTime=54.237 cpuTime=53.65 mem=48M898
80.94
80.94 search
80.94 run=18 nbConstraintChecks=1917597861 nbPropagations=6644943 nbRevisions=145241099 nbUselessRevisions=136645436
80.94 nbAssignments=86960 nbFailedAssignments=20703 nbBacktracks=44349 nbVisitedNodes=143294 nbRestartNogoods=86
80.94 mapSize=33814 nbInferences=21161 nbTooLargeKeys=0
80.94 => wckTime=79.887 cpuTime=79.0 mem=35M732
112.14
112.14 search
112.14 run=19 nbConstraintChecks=2652803593 nbPropagations=9604115 nbRevisions=208157701 nbUselessRevisions=195818409
112.14 nbAssignments=127627 nbFailedAssignments=29933 nbBacktracks=66519 nbVisitedNodes=208285 nbRestartNogoods=101
112.14 mapSize=47266 nbInferences=30383 nbTooLargeKeys=0
112.14 => wckTime=111.084 cpuTime=109.9 mem=56M621
176.11
176.11 search
176.11 run=20 nbConstraintChecks=4190585758 nbPropagations=14296136 nbRevisions=306950054 nbUselessRevisions=288827590
176.11 nbAssignments=193310 nbFailedAssignments=36875 nbBacktracks=99771 nbVisitedNodes=312819 nbRestartNogoods=108
176.11 mapSize=68786 nbInferences=55828 nbTooLargeKeys=0
176.11 => wckTime=175.052 cpuTime=173.2 mem=69M617
283.87
283.87 search
283.87 run=21 nbConstraintChecks=6804083253 nbPropagations=22138124 nbRevisions=467831018 nbUselessRevisions=439970554
283.87 nbAssignments=297609 nbFailedAssignments=64887 nbBacktracks=149649 nbVisitedNodes=490691 nbRestartNogoods=122
283.87 mapSize=107908 nbInferences=82199 nbTooLargeKeys=0
283.87 => wckTime=282.81 cpuTime=279.88 mem=101M679
376.86
376.86 search
376.87 run=22 nbConstraintChecks=9015771026 nbPropagations=32331219 nbRevisions=681131805 nbUselessRevisions=640710115
376.87 nbAssignments=432083 nbFailedAssignments=88395 nbBacktracks=224467 nbVisitedNodes=702219 nbRestartNogoods=131
376.87 mapSize=158145 nbInferences=118279 nbTooLargeKeys=0
376.87 => wckTime=375.808 cpuTime=371.82 mem=122M691
507.32
507.32 search
507.32 run=23 nbConstraintChecks=12090838662 nbPropagations=46161660 nbRevisions=968678009
507.32 nbUselessRevisions=911062484 nbAssignments=617993 nbFailedAssignments=126316 nbBacktracks=336697
507.32 nbVisitedNodes=994692 nbRestartNogoods=151 mapSize=234805 nbInferences=153991 nbTooLargeKeys=0
507.32 => wckTime=506.263 cpuTime=500.85 mem=177M68
691.65
691.65 search
691.65 run=24 nbConstraintChecks=16481645083 nbPropagations=64827385 nbRevisions=1360395265
691.65 nbUselessRevisions=1280038923 nbAssignments=927035 nbFailedAssignments=169048 nbBacktracks=505038
691.65 nbVisitedNodes=1479284 nbRestartNogoods=166 mapSize=339041 nbInferences=251894 nbTooLargeKeys=0
691.65 => wckTime=690.596 cpuTime=683.23 mem=262M188
926.69
926.69 search
926.69 run=25 nbConstraintChecks=21907874031 nbPropagations=89027993 nbRevisions=1882105782
926.69 nbUselessRevisions=1772803954 nbAssignments=1373877 nbFailedAssignments=235375 nbBacktracks=757551
926.69 nbVisitedNodes=2172511 nbRestartNogoods=183 mapSize=518445 nbInferences=379839 nbTooLargeKeys=0
926.69 => wckTime=925.63 cpuTime=915.56 mem=393M871
1442.48
1442.48 search
1442.48 run=26 nbConstraintChecks=34401852054 nbPropagations=124492248 nbRevisions=2693891688
1442.48 nbUselessRevisions=2543331613 nbAssignments=2165321 nbFailedAssignments=349738 nbBacktracks=1136318
1442.48 nbVisitedNodes=3463674 nbRestartNogoods=193 mapSize=784975 nbInferences=678103 nbTooLargeKeys=0
1442.48 => wckTime=1441.422 cpuTime=1425.47 mem=564M14
1476.61
1476.61 INFO : Stopping hyperNogood (mapSize=807641, nbTooLargekeys=0, mem=601M20)
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-238871-1168083639 -o ROOT/results/node22/solver-238871-1168083639 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238871-1168083639/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: 1.95 1.92 1.90 4/93 10248
/proc/meminfo: memFree=1410672/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=18540 CPUtime=0
/proc/10247/stat : 10247 (runsolver) R 10245 10247 10006 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156758460 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10247/statm: 4635 279 244 17 0 2626 0
[startup+0.10303 s]
/proc/loadavg: 1.95 1.92 1.90 4/93 10248
/proc/meminfo: memFree=1410672/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=913068 CPUtime=0.08
/proc/10247/stat : 10247 (java) S 10245 10247 10006 0 -1 0 2873 0 1 0 7 1 0 0 17 0 8 0 156758460 934981632 2619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10247/statm: 228267 2619 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.511091 s]
/proc/loadavg: 1.95 1.92 1.90 4/93 10248
/proc/meminfo: memFree=1410672/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915328 CPUtime=0.49
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 6364 0 1 0 45 4 0 0 18 0 8 0 156758460 937295872 6103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10247/statm: 228832 6103 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34122 s]
/proc/loadavg: 1.95 1.92 1.90 3/100 10255
/proc/meminfo: memFree=1379256/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=1.31
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 10541 0 1 0 124 7 0 0 23 0 8 0 156758460 937545728 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10247/statm: 228893 10279 2511 14 0 215363 0
[pid=10247/tid=10249] ppid=10245 vsize=915572 CPUtime=0.05
/proc/10247/task/10249/stat : 10249 (java) S 10245 10247 10006 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156758465 937545728 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10250] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10250/stat : 10250 (java) S 10245 10247 10006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10251] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10251/stat : 10251 (java) S 10245 10247 10006 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156758465 937545728 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10252] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10252/stat : 10252 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156758469 937545728 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10253] ppid=10245 vsize=915572 CPUtime=0.29
/proc/10247/task/10253/stat : 10253 (java) S 10245 10247 10006 0 -1 64 409 0 0 0 28 1 0 0 16 0 8 0 156758469 937545728 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10254] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10254/stat : 10254 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156758469 937545728 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10255] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10255/stat : 10255 (java) S 10245 10247 10006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156758469 937545728 10279 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915572
[startup+2.98547 s]
/proc/loadavg: 1.95 1.92 1.90 3/100 10255
/proc/meminfo: memFree=1379128/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=2.94
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 10551 0 1 0 287 7 0 0 25 0 8 0 156758460 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073947481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10247/statm: 228893 10287 2513 14 0 215363 0
[pid=10247/tid=10249] ppid=10245 vsize=915572 CPUtime=0.05
/proc/10247/task/10249/stat : 10249 (java) S 10245 10247 10006 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156758465 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10250] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10250/stat : 10250 (java) S 10245 10247 10006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10251] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10251/stat : 10251 (java) S 10245 10247 10006 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156758465 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10252] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10252/stat : 10252 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156758469 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10253] ppid=10245 vsize=915572 CPUtime=0.3
/proc/10247/task/10253/stat : 10253 (java) S 10245 10247 10006 0 -1 64 414 0 0 0 29 1 0 0 15 0 8 0 156758469 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10254] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10254/stat : 10254 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156758469 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10255] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10255/stat : 10255 (java) S 10245 10247 10006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156758469 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915572
[startup+6.27798 s]
/proc/loadavg: 1.96 1.92 1.90 3/100 10255
/proc/meminfo: memFree=1379064/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=6.2
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 10568 0 1 0 612 8 0 0 25 0 8 0 156758460 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073938761 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10247/statm: 228893 10301 2513 14 0 215363 0
[pid=10247/tid=10249] ppid=10245 vsize=915572 CPUtime=0.05
/proc/10247/task/10249/stat : 10249 (java) S 10245 10247 10006 0 -1 64 719 0 0 0 5 0 0 0 17 0 8 0 156758465 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10250] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10250/stat : 10250 (java) S 10245 10247 10006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10251] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10251/stat : 10251 (java) S 10245 10247 10006 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156758465 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10252] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10252/stat : 10252 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156758469 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10253] ppid=10245 vsize=915572 CPUtime=0.33
/proc/10247/task/10253/stat : 10253 (java) S 10245 10247 10006 0 -1 64 428 0 0 0 32 1 0 0 16 0 8 0 156758469 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10254] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10254/stat : 10254 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156758469 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10255] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10255/stat : 10255 (java) S 10245 10247 10006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156758469 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915572
[startup+12.763 s]
/proc/loadavg: 1.96 1.92 1.90 3/100 10255
/proc/meminfo: memFree=1378872/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=12.62
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 10634 0 1 0 1254 8 0 0 25 0 8 0 156758460 937545728 10367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928605 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10247/statm: 228893 10367 2513 14 0 215363 0
[pid=10247/tid=10249] ppid=10245 vsize=915572 CPUtime=0.05
/proc/10247/task/10249/stat : 10249 (java) S 10245 10247 10006 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156758465 937545728 10367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10250] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10250/stat : 10250 (java) S 10245 10247 10006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 10367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10251] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10251/stat : 10251 (java) S 10245 10247 10006 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156758465 937545728 10367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10252] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10252/stat : 10252 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156758469 937545728 10367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10253] ppid=10245 vsize=915572 CPUtime=0.34
/proc/10247/task/10253/stat : 10253 (java) S 10245 10247 10006 0 -1 64 430 0 0 0 33 1 0 0 15 0 8 0 156758469 937545728 10367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10254] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10254/stat : 10254 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156758469 937545728 10367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10255] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10255/stat : 10255 (java) S 10245 10247 10006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156758469 937545728 10367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915572
[startup+25.611 s]
/proc/loadavg: 2.05 1.94 1.90 3/100 10255
/proc/meminfo: memFree=1350712/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=25.36
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 12022 0 1 0 2528 8 0 0 25 0 8 0 156758460 937545728 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918501 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10247/statm: 228893 11755 2513 14 0 215363 0
[pid=10247/tid=10249] ppid=10245 vsize=915572 CPUtime=0.05
/proc/10247/task/10249/stat : 10249 (java) S 10245 10247 10006 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156758465 937545728 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10250] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10250/stat : 10250 (java) S 10245 10247 10006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10251] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10251/stat : 10251 (java) S 10245 10247 10006 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156758465 937545728 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10252] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10252/stat : 10252 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156758469 937545728 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10253] ppid=10245 vsize=915572 CPUtime=0.34
/proc/10247/task/10253/stat : 10253 (java) S 10245 10247 10006 0 -1 64 430 0 0 0 33 1 0 0 15 0 8 0 156758469 937545728 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10254] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10254/stat : 10254 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156758469 937545728 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10255] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10255/stat : 10255 (java) S 10245 10247 10006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156758469 937545728 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915572
[startup+51.2289 s]
/proc/loadavg: 2.03 1.94 1.91 3/100 10255
/proc/meminfo: memFree=1333496/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=50.73
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 16299 0 1 0 5063 10 0 0 25 0 8 0 156758460 937545728 16032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939829 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10247/statm: 228893 16032 2513 14 0 215363 0
[pid=10247/tid=10249] ppid=10245 vsize=915572 CPUtime=0.05
/proc/10247/task/10249/stat : 10249 (java) S 10245 10247 10006 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156758465 937545728 16032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10250] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10250/stat : 10250 (java) S 10245 10247 10006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 16032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10251] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10251/stat : 10251 (java) S 10245 10247 10006 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156758465 937545728 16032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10252] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10252/stat : 10252 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156758469 937545728 16032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10253] ppid=10245 vsize=915572 CPUtime=0.34
/proc/10247/task/10253/stat : 10253 (java) S 10245 10247 10006 0 -1 64 430 0 0 0 33 1 0 0 15 0 8 0 156758469 937545728 16032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10254] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10254/stat : 10254 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156758469 937545728 16032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10255] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10255/stat : 10255 (java) S 10245 10247 10006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156758469 937545728 16032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915572
[startup+102.46 s]
/proc/loadavg: 2.01 1.95 1.91 3/100 10255
/proc/meminfo: memFree=1284728/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=101.5
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 22386 0 1 0 10137 13 0 0 25 0 8 0 156758460 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10247/statm: 228893 22118 2517 14 0 215363 0
[pid=10247/tid=10249] ppid=10245 vsize=915572 CPUtime=0.11
/proc/10247/task/10249/stat : 10249 (java) S 10245 10247 10006 0 -1 64 5362 0 0 0 10 1 0 0 16 0 8 0 156758465 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10250] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10250/stat : 10250 (java) S 10245 10247 10006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10251] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10251/stat : 10251 (java) S 10245 10247 10006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10252] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10252/stat : 10252 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156758469 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10253] ppid=10245 vsize=915572 CPUtime=0.34
/proc/10247/task/10253/stat : 10253 (java) S 10245 10247 10006 0 -1 64 430 0 0 0 33 1 0 0 15 0 8 0 156758469 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10254] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10254/stat : 10254 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156758469 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10255] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10255/stat : 10255 (java) S 10245 10247 10006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156758469 937545728 22118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915572
[startup+162.538 s]
/proc/loadavg: 2.00 1.95 1.91 3/100 10255
/proc/meminfo: memFree=1233400/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=161.02
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 29240 0 1 0 16086 16 0 0 25 0 8 0 156758460 937545728 28971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073938867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.79
Current children cumulated vsize (KiB) 915572
[startup+1484.15 s]
/proc/loadavg: 2.00 2.00 1.95 3/100 10453
/proc/meminfo: memFree=341232/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=1470.32
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 154777 0 1 0 146955 77 0 0 25 0 8 0 156758460 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073947497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10247/statm: 228893 154485 2517 14 0 215363 0
[pid=10247/tid=10249] ppid=10245 vsize=915572 CPUtime=2.49
/proc/10247/task/10249/stat : 10249 (java) S 10245 10247 10006 0 -1 64 137728 0 0 0 196 53 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10250] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10250/stat : 10250 (java) S 10245 10247 10006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10251] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10251/stat : 10251 (java) S 10245 10247 10006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10252] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10252/stat : 10252 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10253] ppid=10245 vsize=915572 CPUtime=0.34
/proc/10247/task/10253/stat : 10253 (java) S 10245 10247 10006 0 -1 64 431 0 0 0 33 1 0 0 16 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10254] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10254/stat : 10254 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10255] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10255/stat : 10255 (java) S 10245 10247 10006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.32
Current children cumulated vsize (KiB) 915572
[startup+1544.21 s]
/proc/loadavg: 2.00 2.00 1.95 3/100 10453
/proc/meminfo: memFree=341232/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=1529.83
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 154777 0 1 0 152905 78 0 0 25 0 8 0 156758460 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10247/statm: 228893 154485 2517 14 0 215363 0
[pid=10247/tid=10249] ppid=10245 vsize=915572 CPUtime=2.49
/proc/10247/task/10249/stat : 10249 (java) S 10245 10247 10006 0 -1 64 137728 0 0 0 196 53 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10250] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10250/stat : 10250 (java) S 10245 10247 10006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10251] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10251/stat : 10251 (java) S 10245 10247 10006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10252] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10252/stat : 10252 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10253] ppid=10245 vsize=915572 CPUtime=0.34
/proc/10247/task/10253/stat : 10253 (java) S 10245 10247 10006 0 -1 64 431 0 0 0 33 1 0 0 16 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10254] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10254/stat : 10254 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10255] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10255/stat : 10255 (java) S 10245 10247 10006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.83
Current children cumulated vsize (KiB) 915572
[startup+1604.28 s]
/proc/loadavg: 1.85 1.97 1.94 2/88 10463
/proc/meminfo: memFree=951760/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=1589.43
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 154777 0 1 0 158864 79 0 0 25 0 8 0 156758460 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936917 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10247/statm: 228893 154485 2517 14 0 215363 0
[pid=10247/tid=10249] ppid=10245 vsize=915572 CPUtime=2.49
/proc/10247/task/10249/stat : 10249 (java) S 10245 10247 10006 0 -1 64 137728 0 0 0 196 53 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10250] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10250/stat : 10250 (java) S 10245 10247 10006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10251] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10251/stat : 10251 (java) S 10245 10247 10006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10252] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10252/stat : 10252 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10253] ppid=10245 vsize=915572 CPUtime=0.34
/proc/10247/task/10253/stat : 10253 (java) S 10245 10247 10006 0 -1 64 431 0 0 0 33 1 0 0 16 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10254] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10254/stat : 10254 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10255] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10255/stat : 10255 (java) S 10245 10247 10006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.43
Current children cumulated vsize (KiB) 915572
[startup+1664.31 s]
/proc/loadavg: 1.31 1.79 1.87 2/88 10500
/proc/meminfo: memFree=954184/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=1649.42
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 154777 0 1 0 164863 79 0 0 25 0 8 0 156758460 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073947478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10247/statm: 228893 154485 2517 14 0 215363 0
[pid=10247/tid=10249] ppid=10245 vsize=915572 CPUtime=2.49
/proc/10247/task/10249/stat : 10249 (java) S 10245 10247 10006 0 -1 64 137728 0 0 0 196 53 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10250] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10250/stat : 10250 (java) S 10245 10247 10006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10251] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10251/stat : 10251 (java) S 10245 10247 10006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10252] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10252/stat : 10252 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10253] ppid=10245 vsize=915572 CPUtime=0.34
/proc/10247/task/10253/stat : 10253 (java) S 10245 10247 10006 0 -1 64 431 0 0 0 33 1 0 0 16 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10254] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10254/stat : 10254 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10255] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10255/stat : 10255 (java) S 10245 10247 10006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.42
Current children cumulated vsize (KiB) 915572
[startup+1724.36 s]
/proc/loadavg: 1.22 1.67 1.83 2/88 10553
/proc/meminfo: memFree=952456/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=1709.45
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 154777 0 1 0 170865 80 0 0 25 0 8 0 156758460 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928606 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10247/statm: 228893 154485 2517 14 0 215363 0
[pid=10247/tid=10249] ppid=10245 vsize=915572 CPUtime=2.49
/proc/10247/task/10249/stat : 10249 (java) S 10245 10247 10006 0 -1 64 137728 0 0 0 196 53 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10250] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10250/stat : 10250 (java) S 10245 10247 10006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10251] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10251/stat : 10251 (java) S 10245 10247 10006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10252] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10252/stat : 10252 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10253] ppid=10245 vsize=915572 CPUtime=0.34
/proc/10247/task/10253/stat : 10253 (java) S 10245 10247 10006 0 -1 64 431 0 0 0 33 1 0 0 16 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10254] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10254/stat : 10254 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10255] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10255/stat : 10255 (java) S 10245 10247 10006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.45
Current children cumulated vsize (KiB) 915572
[startup+1784.39 s]
/proc/loadavg: 1.08 1.55 1.77 2/88 10554
/proc/meminfo: memFree=954248/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=1769.45
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 154777 0 1 0 176865 80 0 0 25 0 8 0 156758460 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073940940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10247/statm: 228893 154485 2517 14 0 215363 0
[pid=10247/tid=10249] ppid=10245 vsize=915572 CPUtime=2.49
/proc/10247/task/10249/stat : 10249 (java) S 10245 10247 10006 0 -1 64 137728 0 0 0 196 53 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10250] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10250/stat : 10250 (java) S 10245 10247 10006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10251] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10251/stat : 10251 (java) S 10245 10247 10006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10252] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10252/stat : 10252 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10253] ppid=10245 vsize=915572 CPUtime=0.34
/proc/10247/task/10253/stat : 10253 (java) S 10245 10247 10006 0 -1 64 431 0 0 0 33 1 0 0 16 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10254] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10254/stat : 10254 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10255] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10255/stat : 10255 (java) S 10245 10247 10006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.45
Current children cumulated vsize (KiB) 915572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.03 s]
/proc/loadavg: 1.05 1.49 1.75 2/88 10559
/proc/meminfo: memFree=953992/2055920 swapFree=4157532/4192956
[pid=10247] ppid=10245 vsize=915572 CPUtime=1800.09
/proc/10247/stat : 10247 (java) R 10245 10247 10006 0 -1 0 154777 0 1 0 179928 81 0 0 25 0 8 0 156758460 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10247/statm: 228893 154485 2517 14 0 215363 0
[pid=10247/tid=10249] ppid=10245 vsize=915572 CPUtime=2.49
/proc/10247/task/10249/stat : 10249 (java) S 10245 10247 10006 0 -1 64 137728 0 0 0 196 53 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10250] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10250/stat : 10250 (java) S 10245 10247 10006 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10251] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10251/stat : 10251 (java) S 10245 10247 10006 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156758465 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10252] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10252/stat : 10252 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10253] ppid=10245 vsize=915572 CPUtime=0.34
/proc/10247/task/10253/stat : 10253 (java) S 10245 10247 10006 0 -1 64 431 0 0 0 33 1 0 0 16 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10254] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10254/stat : 10254 (java) S 10245 10247 10006 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10247/tid=10255] ppid=10245 vsize=915572 CPUtime=0
/proc/10247/task/10255/stat : 10255 (java) S 10245 10247 10006 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156758469 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1815.16
CPU time (s): 1800.23
CPU user time (s): 1799.32
CPU system time (s): 0.906862
CPU usage (%): 99.1771
Max. virtual memory (cumulated for all children) (KiB): 915572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.906862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154795
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= 38196
involuntary context switches= 84183
runsolver used 1.9897 s user time and 5.9031 s system time
The end
Begin job on node22 on Sat Jan 6 11:40:40 UTC 2007
IDJOB= 238871
IDBENCH= 7025
FILE ID= node22/238871-1168083639
PBS_JOBID= 3476243
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-13/BlackHole-4-13-e-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238871-1168083639/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-238871-1168083639 -o ROOT/results/node22/solver-238871-1168083639 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238871-1168083639/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= de93c5d317c976395f6ee058e260e016
RANDOM SEED= 269899063
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.279
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.279
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: 1411088 kB
Buffers: 41428 kB
Cached: 341568 kB
SwapCached: 13648 kB
Active: 247732 kB
Inactive: 329840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1411088 kB
SwapTotal: 4192956 kB
SwapFree: 4157532 kB
Dirty: 2040 kB
Writeback: 0 kB
Mapped: 219844 kB
Slab: 51760 kB
Committed_AS: 3461516 kB
PageTables: 2608 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= 66549 MiB
End job on node22 on Sat Jan 6 12:11:01 UTC 2007