0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/238909-1168083643/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.46 nbVariables=208 nbDomainTypes=4 minDomainSize=1 maxDomainSize=52
0.46 => wckTime=0.129 cpuTime=0.1 mem=7M927
0.46
0.46 relations being loaded...
0.48
0.48 constraints being loaded...
0.78 nbConstraints=4217 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.78 nbExtensionStructures=9 nbSharedExtensionStructures=4208 nbConflictsStructures=9
0.78 nbSharedConflictsStructures=4208 nbSharedBinaryRepresentations=372 maxDegree=104 maxArity=2
0.78 => wckTime=0.45 cpuTime=0.31 mem=19M678
0.84
0.84 solver IterativeSystematicSolver being built...
1.01 => wckTime=0.684 cpuTime=0.45 mem=16M668
1.05
1.05 preprocessing
1.05 nbConstraintChecks=319893 nbPropagations=248 nbRevisions=7108 nbUselessRevisions=6789 nbRemovedValues=793
1.05 detectedInconsistency=no
1.05 => wckTime=0.036 cpuTime=0.02 mem=16M668
1.30
1.30 search
1.30 run=0 nbConstraintChecks=4132542 nbPropagations=3606 nbRevisions=98254 nbUselessRevisions=93499
1.30 nbAssignments=55 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=69 nbRestartNogoods=0 mapSize=10
1.30 nbInferences=1 nbTooLargeKeys=0
1.30 => wckTime=0.282 cpuTime=0.23 mem=17M693
1.47
1.47 search
1.47 run=1 nbConstraintChecks=8211324 nbPropagations=10439 nbRevisions=286306 nbUselessRevisions=272720
1.47 nbAssignments=117 nbFailedAssignments=14 nbBacktracks=25 nbVisitedNodes=148 nbRestartNogoods=2 mapSize=25
1.47 nbInferences=2 nbTooLargeKeys=0
1.47 => wckTime=0.454 cpuTime=0.4 mem=17M693
1.66
1.66 search
1.66 run=2 nbConstraintChecks=12665442 nbPropagations=20966 nbRevisions=572765 nbUselessRevisions=545431
1.66 nbAssignments=188 nbFailedAssignments=21 nbBacktracks=48 nbVisitedNodes=237 nbRestartNogoods=4 mapSize=38
1.66 nbInferences=6 nbTooLargeKeys=0
1.66 => wckTime=0.641 cpuTime=0.59 mem=17M693
1.83
1.83 search
1.83 run=3 nbConstraintChecks=16765138 nbPropagations=34676 nbRevisions=949492 nbUselessRevisions=904400
1.83 nbAssignments=282 nbFailedAssignments=36 nbBacktracks=91 nbVisitedNodes=360 nbRestartNogoods=7 mapSize=65
1.83 nbInferences=7 nbTooLargeKeys=0
1.83 => wckTime=0.81 cpuTime=0.75 mem=17M693
2.11
2.11 search
2.11 run=4 nbConstraintChecks=23717945 nbPropagations=55058 nbRevisions=1483214 nbUselessRevisions=1410700
2.11 nbAssignments=406 nbFailedAssignments=57 nbBacktracks=142 nbVisitedNodes=541 nbRestartNogoods=8 mapSize=109
2.11 nbInferences=20 nbTooLargeKeys=0
2.11 => wckTime=1.092 cpuTime=1.03 mem=17M693
2.35
2.35 search
2.35 run=5 nbConstraintChecks=29376571 nbPropagations=80181 nbRevisions=2143379 nbUselessRevisions=2037346
2.35 nbAssignments=565 nbFailedAssignments=91 nbBacktracks=226 nbVisitedNodes=775 nbRestartNogoods=11 mapSize=175
2.35 nbInferences=27 nbTooLargeKeys=0
2.35 => wckTime=1.335 cpuTime=1.27 mem=17M693
2.78
2.78 search
2.78 run=6 nbConstraintChecks=39936286 nbPropagations=115789 nbRevisions=3044340 nbUselessRevisions=2888926
2.78 nbAssignments=791 nbFailedAssignments=141 nbBacktracks=343 nbVisitedNodes=1125 nbRestartNogoods=12 mapSize=275
2.78 nbInferences=49 nbTooLargeKeys=0
2.78 => wckTime=1.763 cpuTime=1.7 mem=17M693
3.30
3.30 search
3.30 run=7 nbConstraintChecks=52835821 nbPropagations=164940 nbRevisions=4242071 nbUselessRevisions=4017015
3.30 nbAssignments=1129 nbFailedAssignments=238 nbBacktracks=514 nbVisitedNodes=1677 nbRestartNogoods=14
3.30 mapSize=430 nbInferences=83 nbTooLargeKeys=0
3.30 => wckTime=2.286 cpuTime=2.23 mem=17M693
3.84
3.84 search
3.84 run=8 nbConstraintChecks=65226434 nbPropagations=225764 nbRevisions=5721602 nbUselessRevisions=5411857
3.84 nbAssignments=1617 nbFailedAssignments=373 nbBacktracks=773 nbVisitedNodes=2481 nbRestartNogoods=19
3.84 mapSize=659 nbInferences=140 nbTooLargeKeys=0
3.84 => wckTime=2.821 cpuTime=2.74 mem=18M668
4.94
4.94 search
4.94 run=9 nbConstraintChecks=91859431 nbPropagations=316649 nbRevisions=7820113 nbUselessRevisions=7381346
4.94 nbAssignments=2400 nbFailedAssignments=498 nbBacktracks=1157 nbVisitedNodes=3738 nbRestartNogoods=23
4.94 mapSize=963 nbInferences=375 nbTooLargeKeys=0
4.94 => wckTime=3.921 cpuTime=3.82 mem=18M668
6.07
6.07 search
6.07 run=10 nbConstraintChecks=119561671 nbPropagations=436765 nbRevisions=10559986 nbUselessRevisions=9953589
6.07 nbAssignments=3523 nbFailedAssignments=903 nbBacktracks=1734 nbVisitedNodes=5636 nbRestartNogoods=29
6.07 mapSize=1472 nbInferences=476 nbTooLargeKeys=0
6.07 => wckTime=5.057 cpuTime=4.95 mem=19M643
7.58
7.58 search
7.58 run=11 nbConstraintChecks=156474526 nbPropagations=596209 nbRevisions=14156807 nbUselessRevisions=13328196
7.58 nbAssignments=5087 nbFailedAssignments=1391 nbBacktracks=2598 nbVisitedNodes=8215 nbRestartNogoods=35
7.58 mapSize=2132 nbInferences=653 nbTooLargeKeys=0
7.58 => wckTime=6.567 cpuTime=6.45 mem=19M643
9.87
9.87 search
9.87 run=12 nbConstraintChecks=213390276 nbPropagations=816051 nbRevisions=19079083 nbUselessRevisions=17951107
9.87 nbAssignments=7483 nbFailedAssignments=2193 nbBacktracks=3896 nbVisitedNodes=12221 nbRestartNogoods=41
9.87 mapSize=3184 nbInferences=914 nbTooLargeKeys=0
9.87 => wckTime=8.856 cpuTime=8.72 mem=20M618
11.27
11.27 search
11.27 run=13 nbConstraintChecks=244991025 nbPropagations=1069672 nbRevisions=24741594 nbUselessRevisions=23266304
11.27 nbAssignments=10178 nbFailedAssignments=2472 nbBacktracks=5844 nbVisitedNodes=15789 nbRestartNogoods=48
11.27 mapSize=3831 nbInferences=1337 nbTooLargeKeys=0
11.27 => wckTime=10.259 cpuTime=10.12 mem=22M569
16.20
16.20 search
16.20 run=14 nbConstraintChecks=365873855 nbPropagations=1459828 nbRevisions=33239291 nbUselessRevisions=31220260
16.20 nbAssignments=15272 nbFailedAssignments=3589 nbBacktracks=8769 nbVisitedNodes=23836 nbRestartNogoods=55
16.20 mapSize=5781 nbInferences=2347 nbTooLargeKeys=0
16.20 => wckTime=15.189 cpuTime=15.02 mem=24M519
28.76
28.76 search
28.76 run=15 nbConstraintChecks=683345287 nbPropagations=2230028 nbRevisions=49078747 nbUselessRevisions=46050978
28.76 nbAssignments=24131 nbFailedAssignments=5137 nbBacktracks=13147 nbVisitedNodes=38390 nbRestartNogoods=61
28.76 mapSize=9105 nbInferences=5239 nbTooLargeKeys=0
28.76 => wckTime=27.741 cpuTime=27.52 mem=30M370
36.11
36.11 search
36.11 run=16 nbConstraintChecks=856146697 nbPropagations=3157554 nbRevisions=69096322 nbUselessRevisions=64879811
36.11 nbAssignments=36804 nbFailedAssignments=7544 nbBacktracks=19715 nbVisitedNodes=58981 nbRestartNogoods=72
36.11 mapSize=14338 nbInferences=8876 nbTooLargeKeys=0
36.11 => wckTime=35.098 cpuTime=34.84 mem=37M196
54.64
54.64 search
54.64 run=17 nbConstraintChecks=1313135856 nbPropagations=4565929 nbRevisions=99945828 nbUselessRevisions=93952052
54.64 nbAssignments=58467 nbFailedAssignments=13203 nbBacktracks=29571 nbVisitedNodes=96308 nbRestartNogoods=82
54.64 mapSize=22713 nbInferences=14985 nbTooLargeKeys=0
54.64 => wckTime=53.625 cpuTime=53.27 mem=48M898
79.96
79.96 search
79.96 run=18 nbConstraintChecks=1917597861 nbPropagations=6644924 nbRevisions=145239807 nbUselessRevisions=136644144
79.96 nbAssignments=86960 nbFailedAssignments=20703 nbBacktracks=44349 nbVisitedNodes=143294 nbRestartNogoods=86
79.96 mapSize=33814 nbInferences=21161 nbTooLargeKeys=0
79.96 => wckTime=78.941 cpuTime=78.41 mem=35M732
110.84
110.84 search
110.84 run=19 nbConstraintChecks=2652803593 nbPropagations=9604095 nbRevisions=208156341 nbUselessRevisions=195817049
110.84 nbAssignments=127627 nbFailedAssignments=29933 nbBacktracks=66519 nbVisitedNodes=208285 nbRestartNogoods=101
110.84 mapSize=47266 nbInferences=30383 nbTooLargeKeys=0
110.84 => wckTime=109.825 cpuTime=109.15 mem=56M621
173.93
173.93 search
173.93 run=20 nbConstraintChecks=4190585758 nbPropagations=14296115 nbRevisions=306948626 nbUselessRevisions=288826162
173.93 nbAssignments=193310 nbFailedAssignments=36875 nbBacktracks=99771 nbVisitedNodes=312819 nbRestartNogoods=108
173.93 mapSize=68786 nbInferences=55828 nbTooLargeKeys=0
173.93 => wckTime=172.917 cpuTime=171.85 mem=69M617
280.16
280.16 search
280.16 run=21 nbConstraintChecks=6804083253 nbPropagations=22138102 nbRevisions=467829522 nbUselessRevisions=439969058
280.16 nbAssignments=297609 nbFailedAssignments=64887 nbBacktracks=149649 nbVisitedNodes=490691 nbRestartNogoods=122
280.16 mapSize=107908 nbInferences=82199 nbTooLargeKeys=0
280.16 => wckTime=279.148 cpuTime=277.48 mem=101M679
372.08
372.08 search
372.08 run=22 nbConstraintChecks=9015771026 nbPropagations=32331196 nbRevisions=681130241 nbUselessRevisions=640708551
372.08 nbAssignments=432083 nbFailedAssignments=88395 nbBacktracks=224467 nbVisitedNodes=702219 nbRestartNogoods=131
372.08 mapSize=158145 nbInferences=118279 nbTooLargeKeys=0
372.08 => wckTime=371.062 cpuTime=368.75 mem=122M691
501.35
501.35 search
501.35 run=23 nbConstraintChecks=12090838662 nbPropagations=46161636 nbRevisions=968676377
501.35 nbUselessRevisions=911060852 nbAssignments=617993 nbFailedAssignments=126316 nbBacktracks=336697
501.35 nbVisitedNodes=994692 nbRestartNogoods=151 mapSize=234805 nbInferences=153991 nbTooLargeKeys=0
501.35 => wckTime=500.338 cpuTime=497.17 mem=177M68
683.09
683.09 search
683.09 run=24 nbConstraintChecks=16481645083 nbPropagations=64827360 nbRevisions=1360393565
683.09 nbUselessRevisions=1280037223 nbAssignments=927035 nbFailedAssignments=169048 nbBacktracks=505038
683.09 nbVisitedNodes=1479284 nbRestartNogoods=166 mapSize=339041 nbInferences=251894 nbTooLargeKeys=0
683.09 => wckTime=682.076 cpuTime=677.78 mem=262M188
915.30
915.30 search
915.30 run=25 nbConstraintChecks=21907874031 nbPropagations=89027967 nbRevisions=1882104014
915.30 nbUselessRevisions=1772802186 nbAssignments=1373877 nbFailedAssignments=235375 nbBacktracks=757551
915.30 nbVisitedNodes=2172511 nbRestartNogoods=183 mapSize=518445 nbInferences=379839 nbTooLargeKeys=0
915.30 => wckTime=914.287 cpuTime=908.33 mem=393M871
1420.42
1420.42 search
1420.42 run=26 nbConstraintChecks=34401852054 nbPropagations=124492221 nbRevisions=2693889852
1420.42 nbUselessRevisions=2543329777 nbAssignments=2165321 nbFailedAssignments=349738 nbBacktracks=1136318
1420.42 nbVisitedNodes=3463674 nbRestartNogoods=193 mapSize=784975 nbInferences=678103 nbTooLargeKeys=0
1420.42 => wckTime=1419.404 cpuTime=1410.09 mem=564M14
1452.01
1452.01 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/node12/watcher-238909-1168083643 -o ROOT/results/node12/solver-238909-1168083643 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238909-1168083643/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.05 1.96 1.91 4/93 22992
/proc/meminfo: memFree=846696/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=18540 CPUtime=0
/proc/22991/stat : 22991 (runsolver) R 22989 22991 22604 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156759296 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22991/statm: 4635 279 244 17 0 2626 0
[startup+0.102598 s]
/proc/loadavg: 2.05 1.96 1.91 4/93 22992
/proc/meminfo: memFree=846696/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=912272 CPUtime=0.06
/proc/22991/stat : 22991 (java) S 22989 22991 22604 0 -1 0 2653 0 1 0 5 1 0 0 18 0 8 0 156759296 934166528 2400 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22991/statm: 228068 2400 1294 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912272
[startup+0.510673 s]
/proc/loadavg: 2.05 1.96 1.91 4/93 22992
/proc/meminfo: memFree=846696/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915328 CPUtime=0.48
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 6399 0 1 0 44 4 0 0 18 0 8 0 156759296 937295872 6138 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072917847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22991/statm: 228832 6138 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33182 s]
/proc/loadavg: 2.13 1.98 1.92 4/100 22999
/proc/meminfo: memFree=815408/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=1.29
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 10545 0 1 0 122 7 0 0 24 0 8 0 156759296 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928422 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22991/statm: 228893 10283 2513 14 0 215363 0
[pid=22991/tid=22993] ppid=22989 vsize=915572 CPUtime=0.05
/proc/22991/task/22993/stat : 22993 (java) S 22989 22991 22604 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156759302 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22994] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22994/stat : 22994 (java) S 22989 22991 22604 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22995] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22995/stat : 22995 (java) S 22989 22991 22604 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156759302 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22996] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22996/stat : 22996 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156759306 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22997] ppid=22989 vsize=915572 CPUtime=0.26
/proc/22991/task/22997/stat : 22997 (java) S 22989 22991 22604 0 -1 64 410 0 0 0 25 1 0 0 16 0 8 0 156759306 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22998] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22998/stat : 22998 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156759306 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22999] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22999/stat : 22999 (java) S 22989 22991 22604 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156759306 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915572
[startup+2.98511 s]
/proc/loadavg: 2.13 1.98 1.92 3/100 22999
/proc/meminfo: memFree=815344/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=2.93
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 10551 0 1 0 286 7 0 0 25 0 8 0 156759296 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22991/statm: 228893 10287 2513 14 0 215363 0
[pid=22991/tid=22993] ppid=22989 vsize=915572 CPUtime=0.05
/proc/22991/task/22993/stat : 22993 (java) S 22989 22991 22604 0 -1 64 719 0 0 0 5 0 0 0 17 0 8 0 156759302 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22994] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22994/stat : 22994 (java) S 22989 22991 22604 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22995] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22995/stat : 22995 (java) S 22989 22991 22604 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156759302 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22996] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22996/stat : 22996 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156759306 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22997] ppid=22989 vsize=915572 CPUtime=0.26
/proc/22991/task/22997/stat : 22997 (java) S 22989 22991 22604 0 -1 64 414 0 0 0 25 1 0 0 15 0 8 0 156759306 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22998] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22998/stat : 22998 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156759306 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22999] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22999/stat : 22999 (java) S 22989 22991 22604 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156759306 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.93
Current children cumulated vsize (KiB) 915572
[startup+6.2747 s]
/proc/loadavg: 2.12 1.98 1.92 3/100 22999
/proc/meminfo: memFree=815216/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=6.21
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 10568 0 1 0 613 8 0 0 25 0 8 0 156759296 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073940940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22991/statm: 228893 10301 2513 14 0 215363 0
[pid=22991/tid=22993] ppid=22989 vsize=915572 CPUtime=0.05
/proc/22991/task/22993/stat : 22993 (java) S 22989 22991 22604 0 -1 64 719 0 0 0 5 0 0 0 17 0 8 0 156759302 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22994] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22994/stat : 22994 (java) S 22989 22991 22604 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22995] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22995/stat : 22995 (java) S 22989 22991 22604 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156759302 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22996] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22996/stat : 22996 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156759306 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22997] ppid=22989 vsize=915572 CPUtime=0.29
/proc/22991/task/22997/stat : 22997 (java) S 22989 22991 22604 0 -1 64 428 0 0 0 28 1 0 0 16 0 8 0 156759306 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22998] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22998/stat : 22998 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156759306 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22999] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22999/stat : 22999 (java) S 22989 22991 22604 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156759306 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.21
Current children cumulated vsize (KiB) 915572
[startup+12.7609 s]
/proc/loadavg: 2.11 1.98 1.92 3/100 22999
/proc/meminfo: memFree=815024/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=12.66
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 10643 0 1 0 1258 8 0 0 25 0 8 0 156759296 937545728 10376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22991/statm: 228893 10376 2513 14 0 215363 0
[pid=22991/tid=22993] ppid=22989 vsize=915572 CPUtime=0.05
/proc/22991/task/22993/stat : 22993 (java) S 22989 22991 22604 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156759302 937545728 10376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22994] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22994/stat : 22994 (java) S 22989 22991 22604 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 10376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22995] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22995/stat : 22995 (java) S 22989 22991 22604 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156759302 937545728 10376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22996] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22996/stat : 22996 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156759306 937545728 10376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22997] ppid=22989 vsize=915572 CPUtime=0.3
/proc/22991/task/22997/stat : 22997 (java) S 22989 22991 22604 0 -1 64 431 0 0 0 29 1 0 0 15 0 8 0 156759306 937545728 10376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22998] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22998/stat : 22998 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156759306 937545728 10376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22999] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22999/stat : 22999 (java) S 22989 22991 22604 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156759306 937545728 10376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915572
[startup+25.6222 s]
/proc/loadavg: 2.09 1.98 1.92 3/100 22999
/proc/meminfo: memFree=809720/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=25.46
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 12068 0 1 0 2538 8 0 0 25 0 8 0 156759296 937545728 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928382 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22991/statm: 228893 11801 2513 14 0 215363 0
[pid=22991/tid=22993] ppid=22989 vsize=915572 CPUtime=0.05
/proc/22991/task/22993/stat : 22993 (java) S 22989 22991 22604 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156759302 937545728 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22994] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22994/stat : 22994 (java) S 22989 22991 22604 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22995] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22995/stat : 22995 (java) S 22989 22991 22604 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156759302 937545728 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22996] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22996/stat : 22996 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156759306 937545728 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22997] ppid=22989 vsize=915572 CPUtime=0.3
/proc/22991/task/22997/stat : 22997 (java) S 22989 22991 22604 0 -1 64 431 0 0 0 29 1 0 0 15 0 8 0 156759306 937545728 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22998] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22998/stat : 22998 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156759306 937545728 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22999] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22999/stat : 22999 (java) S 22989 22991 22604 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156759306 937545728 11801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915572
[startup+51.2408 s]
/proc/loadavg: 2.12 2.00 1.93 3/100 22999
/proc/meminfo: memFree=792248/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=50.96
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 16406 0 1 0 5084 12 0 0 25 0 8 0 156759296 937545728 16139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22991/statm: 228893 16139 2513 14 0 215363 0
[pid=22991/tid=22993] ppid=22989 vsize=915572 CPUtime=0.05
/proc/22991/task/22993/stat : 22993 (java) S 22989 22991 22604 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156759302 937545728 16139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22994] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22994/stat : 22994 (java) S 22989 22991 22604 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 16139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22995] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22995/stat : 22995 (java) S 22989 22991 22604 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156759302 937545728 16139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22996] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22996/stat : 22996 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156759306 937545728 16139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22997] ppid=22989 vsize=915572 CPUtime=0.3
/proc/22991/task/22997/stat : 22997 (java) S 22989 22991 22604 0 -1 64 431 0 0 0 29 1 0 0 15 0 8 0 156759306 937545728 16139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22998] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22998/stat : 22998 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156759306 937545728 16139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22999] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22999/stat : 22999 (java) S 22989 22991 22604 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156759306 937545728 16139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915572
[startup+102.47 s]
/proc/loadavg: 2.05 2.00 1.93 3/100 22999
/proc/meminfo: memFree=768056/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=101.93
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 22387 0 1 0 10179 14 0 0 25 0 8 0 156759296 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073991486 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22991/statm: 228893 22119 2517 14 0 215363 0
[pid=22991/tid=22993] ppid=22989 vsize=915572 CPUtime=0.11
/proc/22991/task/22993/stat : 22993 (java) S 22989 22991 22604 0 -1 64 5362 0 0 0 10 1 0 0 16 0 8 0 156759302 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22994] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22994/stat : 22994 (java) S 22989 22991 22604 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22995] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22995/stat : 22995 (java) S 22989 22991 22604 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22996] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22996/stat : 22996 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156759306 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22997] ppid=22989 vsize=915572 CPUtime=0.3
/proc/22991/task/22997/stat : 22997 (java) S 22989 22991 22604 0 -1 64 431 0 0 0 29 1 0 0 15 0 8 0 156759306 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22998] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22998/stat : 22998 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156759306 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22999] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22999/stat : 22999 (java) S 22989 22991 22604 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156759306 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915572
[startup+162.555 s]
/proc/loadavg: 2.02 2.00 1.93 3/100 22999
/proc/meminfo: memFree=740600/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=161.74
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 29240 0 1 0 16157 17 0 0 25 0 8 0 156759296 937545728 28971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.21
Current children cumulated vsize (KiB) 915572
[startup+1484.07 s]
/proc/loadavg: 2.01 2.02 1.97 3/100 23255
/proc/meminfo: memFree=969192/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=1477.17
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 154777 0 1 0 147643 74 0 0 25 0 8 0 156759296 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928619 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22991/statm: 228893 154485 2517 14 0 215363 0
[pid=22991/tid=22993] ppid=22989 vsize=915572 CPUtime=2.47
/proc/22991/task/22993/stat : 22993 (java) S 22989 22991 22604 0 -1 64 137728 0 0 0 198 49 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22991/tid=22994] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22994/stat : 22994 (java) S 22989 22991 22604 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22995] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22995/stat : 22995 (java) S 22989 22991 22604 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22996] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22996/stat : 22996 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22997] ppid=22989 vsize=915572 CPUtime=0.3
/proc/22991/task/22997/stat : 22997 (java) S 22989 22991 22604 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22998] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22998/stat : 22998 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22999] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22999/stat : 22999 (java) S 22989 22991 22604 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.17
Current children cumulated vsize (KiB) 915572
[startup+1544.08 s]
/proc/loadavg: 2.03 2.03 1.97 3/100 23255
/proc/meminfo: memFree=969128/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=1537.1
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 154777 0 1 0 153635 75 0 0 25 0 8 0 156759296 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937882 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22991/statm: 228893 154485 2517 14 0 215363 0
[pid=22991/tid=22993] ppid=22989 vsize=915572 CPUtime=2.47
/proc/22991/task/22993/stat : 22993 (java) S 22989 22991 22604 0 -1 64 137728 0 0 0 198 49 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22991/tid=22994] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22994/stat : 22994 (java) S 22989 22991 22604 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22995] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22995/stat : 22995 (java) S 22989 22991 22604 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22996] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22996/stat : 22996 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22997] ppid=22989 vsize=915572 CPUtime=0.3
/proc/22991/task/22997/stat : 22997 (java) S 22989 22991 22604 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22998] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22998/stat : 22998 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22999] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22999/stat : 22999 (java) S 22989 22991 22604 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.1
Current children cumulated vsize (KiB) 915572
[startup+1604.1 s]
/proc/loadavg: 2.01 2.02 1.97 3/100 23255
/proc/meminfo: memFree=969128/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=1597.06
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 154777 0 1 0 159631 75 0 0 25 0 8 0 156759296 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073948761 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22991/statm: 228893 154485 2517 14 0 215363 0
[pid=22991/tid=22993] ppid=22989 vsize=915572 CPUtime=2.47
/proc/22991/task/22993/stat : 22993 (java) S 22989 22991 22604 0 -1 64 137728 0 0 0 198 49 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22991/tid=22994] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22994/stat : 22994 (java) S 22989 22991 22604 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22995] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22995/stat : 22995 (java) S 22989 22991 22604 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22996] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22996/stat : 22996 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22997] ppid=22989 vsize=915572 CPUtime=0.3
/proc/22991/task/22997/stat : 22997 (java) S 22989 22991 22604 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22998] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22998/stat : 22998 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22999] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22999/stat : 22999 (java) S 22989 22991 22604 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.06
Current children cumulated vsize (KiB) 915572
[startup+1664.1 s]
/proc/loadavg: 2.00 2.01 1.97 3/100 23255
/proc/meminfo: memFree=969072/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=1657
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 154777 0 1 0 165625 75 0 0 25 0 8 0 156759296 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073995809 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22991/statm: 228893 154485 2517 14 0 215363 0
[pid=22991/tid=22993] ppid=22989 vsize=915572 CPUtime=2.47
/proc/22991/task/22993/stat : 22993 (java) S 22989 22991 22604 0 -1 64 137728 0 0 0 198 49 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22991/tid=22994] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22994/stat : 22994 (java) S 22989 22991 22604 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22995] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22995/stat : 22995 (java) S 22989 22991 22604 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22996] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22996/stat : 22996 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22997] ppid=22989 vsize=915572 CPUtime=0.3
/proc/22991/task/22997/stat : 22997 (java) S 22989 22991 22604 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22998] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22998/stat : 22998 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22999] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22999/stat : 22999 (java) S 22989 22991 22604 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657
Current children cumulated vsize (KiB) 915572
[startup+1724.11 s]
/proc/loadavg: 2.00 2.01 1.97 3/100 23255
/proc/meminfo: memFree=969072/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=1716.92
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 154777 0 1 0 171617 75 0 0 25 0 8 0 156759296 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073941427 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22991/statm: 228893 154485 2517 14 0 215363 0
[pid=22991/tid=22993] ppid=22989 vsize=915572 CPUtime=2.47
/proc/22991/task/22993/stat : 22993 (java) S 22989 22991 22604 0 -1 64 137728 0 0 0 198 49 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22991/tid=22994] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22994/stat : 22994 (java) S 22989 22991 22604 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22995] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22995/stat : 22995 (java) S 22989 22991 22604 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22996] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22996/stat : 22996 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22997] ppid=22989 vsize=915572 CPUtime=0.3
/proc/22991/task/22997/stat : 22997 (java) S 22989 22991 22604 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22998] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22998/stat : 22998 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22999] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22999/stat : 22999 (java) S 22989 22991 22604 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.92
Current children cumulated vsize (KiB) 915572
[startup+1784.11 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 23255
/proc/meminfo: memFree=969072/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=1776.88
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 154777 0 1 0 177612 76 0 0 25 0 8 0 156759296 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22991/statm: 228893 154485 2517 14 0 215363 0
[pid=22991/tid=22993] ppid=22989 vsize=915572 CPUtime=2.47
/proc/22991/task/22993/stat : 22993 (java) S 22989 22991 22604 0 -1 64 137728 0 0 0 198 49 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22991/tid=22994] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22994/stat : 22994 (java) S 22989 22991 22604 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22995] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22995/stat : 22995 (java) S 22989 22991 22604 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22996] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22996/stat : 22996 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22997] ppid=22989 vsize=915572 CPUtime=0.3
/proc/22991/task/22997/stat : 22997 (java) S 22989 22991 22604 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22998] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22998/stat : 22998 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22999] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22999/stat : 22999 (java) S 22989 22991 22604 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.88
Current children cumulated vsize (KiB) 915572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.29 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 23255
/proc/meminfo: memFree=969008/2055920 swapFree=4160348/4192956
[pid=22991] ppid=22989 vsize=915572 CPUtime=1800.01
/proc/22991/stat : 22991 (java) R 22989 22991 22604 0 -1 0 154777 0 1 0 179925 76 0 0 25 0 8 0 156759296 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923477 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22991/statm: 228893 154485 2517 14 0 215363 0
[pid=22991/tid=22993] ppid=22989 vsize=915572 CPUtime=2.47
/proc/22991/task/22993/stat : 22993 (java) S 22989 22991 22604 0 -1 64 137728 0 0 0 198 49 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22991/tid=22994] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22994/stat : 22994 (java) S 22989 22991 22604 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22995] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22995/stat : 22995 (java) S 22989 22991 22604 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156759302 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22996] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22996/stat : 22996 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22997] ppid=22989 vsize=915572 CPUtime=0.3
/proc/22991/task/22997/stat : 22997 (java) S 22989 22991 22604 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22998] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22998/stat : 22998 (java) S 22989 22991 22604 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22991/tid=22999] ppid=22989 vsize=915572 CPUtime=0
/proc/22991/task/22999/stat : 22999 (java) S 22989 22991 22604 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156759306 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.43
CPU time (s): 1800.15
CPU user time (s): 1799.3
CPU system time (s): 0.85387
CPU usage (%): 99.5976
Max. virtual memory (cumulated for all children) (KiB): 915572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.85387
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154794
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= 38019
involuntary context switches= 55974
runsolver used 2.48062 s user time and 5.52916 s system time
The end
Begin job on node12 on Sat Jan 6 11:40:43 UTC 2007
IDJOB= 238909
IDBENCH= 7027
FILE ID= node12/238909-1168083643
PBS_JOBID= 3476244
Free space on /tmp= 66316 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-13/BlackHole-4-13-e-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238909-1168083643/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-238909-1168083643 -o ROOT/results/node12/solver-238909-1168083643 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238909-1168083643/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4fd3da60666aa17646751e550d3ce3db
RANDOM SEED= 76414354
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.265
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.265
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: 847176 kB
Buffers: 37164 kB
Cached: 269728 kB
SwapCached: 4684 kB
Active: 885312 kB
Inactive: 241056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 847176 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2020 kB
Writeback: 0 kB
Mapped: 839216 kB
Slab: 65648 kB
Committed_AS: 4794524 kB
PageTables: 3652 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66315 MiB
End job on node12 on Sat Jan 6 12:10:51 UTC 2007